Denis Miéville

Cette section ne cite pas suffisamment ses sources (octobre 2018). 

Pour l'améliorer, ajoutez des références de qualité et vérifiables (comment faire ?) ou le modèle {{Référence nécessaire}} sur les passages nécessitant une source.

Denis Miéville a passé son enfance dans les villes de Colombier (canton de Neuchâtel) et Essert-Pittet (canton de Vaud). Il a fait ses études de mathématiques et de logique à l'université de Neuchâtel et à la Bowling Green University (Ohio, États-Unis). Sa thèse de doctorat, soutenue en 1984 à l’université de Neuchâtel, a souligné l’intérêt qu’il porte au développement d’une logique naturelle et à sa formalisation. Ce parcours particulier l'a conduit à étudier une théorie des classes collectives et les fondements d’une logique des propositions et des prédicats maximale. Cette réflexion constitue le thème de sa thèse, Un développement des systèmes logiques de Stanislaw Leśniewski : protothétique, ontologie et méréologie.

Denis Miéville a été nommé professeur ordinaire à l’université de Neuchâtel en 1987. Il y enseigne la logique, en plus de diriger le Centre de recherches sémiologiques fondé par le logicien Jean-Blaise Grize, son directeur de thèse. Recteur de l'université de Neuchâtel de 1999 à 2003^[2], le professeur Miéville a enseigné dans diverses universités. Parmi les principales, on trouve l'université de Genève, l'université de Rennes en France et l'université Iasi en Roumanie. Cette dernière lui a décerné, en 2003, le statut de docteur honoris causa. En 2001 il a reçu le certificat d’honneur de la francophonie.

Cette section ne cite pas suffisamment ses sources (octobre 2018). 

Pour l'améliorer, ajoutez des références de qualité et vérifiables (comment faire ?) ou le modèle {{Référence nécessaire}} sur les passages nécessitant une source.

Le professeur Denis Miéville est un expert des logiques de Leśniewski.