Denis Miéville

Denis Miéville is an expert on the logic of Stanislaw Lesniewski and natural logic. He was born in Switzerland on 15 September 1946.

Denis Miéville was raised in the towns of Colombier (Canton of Neuchâtel) and Essert-Pittet (Canton of Vaud). After studying mathematics and logic at the University of Neuchâtel (Switzerland) and Bowling Green University (Ohio, United States), Denis Miéville developed an interest in the development and formalization of natural logic that led him to study both the theory of collective classes and the foundations of maximal predicates in propositional logic. These interests were integrated in the doctoral thesis that he defended in 1984 ("A Development of Stanislaw Lesniewski's logical systems: Protothetic, ontology and mereology") at the University of Neuchâtel, supervised by the eminent logician Jean-Blaise Grize. Appointed Professor at the University of Neuchâtel in 1987 (he will become its rector from 1999 to 2003), he taught logic and chaired the Semiologic Research Centre.

Professor Miéville has taught at various institutions such as the University of Geneva, the University of Rennes in France and the University of Iasi in Romania. The University of Iasi awarded him a degree Honoris causa in 2003. He also received the Honorary Certificate of the Francophony in 2001.

...
Wikipedia