Top Qs
Chronologie
Chat
Contexte
Denis Miéville
De Wikipédia, l'encyclopédie libre
Remove ads
Denis Miéville est un philosophe et mathématicien suisse né le et mort le [1].
Remove ads
Biographie
Résumé
Contexte
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, 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.
Remove ads
Domaines de recherche
Résumé
Contexte
Le professeur Denis Miéville est un expert des logiques de Leśniewski.
Remove ads
Publications
Ouvrages
- Introduction à l'œuvre de S. Leśniewski. VI: La métalangue d'une syntaxe inscriptionnelle, Neuchâtel, Travaux de logique, 2009
- Introduction à l'œuvre de S. Leśniewski. II. L'Ontologie. Neuchâtel, Travaux de logique, 2004
- Introduction à l'œuvre de S. Leśniewski. I. La Protothétique. Neuchâtel, Travaux de logique, 2001
- Pensée logico-mathématique. Nouveaux objets interdisciplinaires. Paris: P.U.F., 1993 (en collaboration avec O. Houdé).
- Logique naturelle. Berne, Lang, 1992 (en collaboration avec J. Kohler-Chesny, M. Ebel, J.-B. Grize et M.-J. Borel)
Éditeur scientifique
- Stanislaw Leśniewski aujourd’hui (éditeur, avec Denis Vernant), Grenoble/Neuchâtel, Groupe de Recherches sur la philosophie et le langage/ Centre de Recherches Sémiologiques 1995.
Notes et références
Liens externes
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads