Denis Miéville (15 de septiembre de 1946-27 de octubre de 2018) fue un experto suizo en la lógica de Stanislaw Lesniewski y la lógica natural.
Biografía
Denis Miéville se crió en las localidades de Colombier ( cantón de Neuchâtel ) y Essert-Pittet ( cantón de Vaud ). Después de estudiar matemáticas y lógica en la Universidad de Neuchâtel (Suiza) y la Universidad Bowling Green (Ohio, Estados Unidos), Denis Miéville desarrolló un interés por el desarrollo y formalización de la lógica natural que lo llevó a estudiar tanto la teoría de clases colectivas como la fundamentos de los predicados máximos en la lógica proposicional. Estos intereses se integraron en la tesis doctoral que defendió en 1984 ("Un desarrollo de los sistemas lógicos de Stanislaw Lesniewski : prototético,ontología y mereología ") en la Universidad de Neuchâtel , bajo la dirección del eminente lógico Jean-Blaise Grize. Nombrado profesor de la Universidad de Neuchâtel en 1987 (será su rector de 1999 a 2003), enseñó lógica y presidió la Investigación Semiológica Centrar.
El profesor Miéville ha enseñado en diversas instituciones como la Universidad de Ginebra , la Universidad de Rennes en Francia y la Universidad de Iasi en Rumania . La Universidad de Iasi le otorgó un título honoris causa en 2003. También recibió el Certificado Honorífico de la Francofonía en 2001.
Intereses de investigación
El profesor Miéville desarrolló una experiencia en la lógica de Lesniewski debido a su interés en los sistemas de desarrollo, que tienen la ventaja de ser dinámicos, universales, libres y de orden superior. Además, al desarrollar una teoría de categorías sintáctico-semánticas, se centró en una metodología capaz de identificar índices lógico-discursivos en los textos, representándolos como estructuras argumentativas y razonadas. Sus intereses se inclinaron cada vez más hacia la comprensión de la forma en que el pensamiento discursivo crea significado, inscribiéndolo en redes de razonamiento. Ésta es una de las razones que llevaron al profesor Miéville a examinar específicamente los procedimientos discursivos a partir de los cuales se desarrollan nuevos conocimientos, como los que proceden por analogía, y los que estructuran definiciones creativas. Muy sensible a la dimensión epistemológica del conocimiento, se ha interesado en cómo los conceptos se desarrollan gradualmente y se cristalizan en entidades estables.
Publicaciones
Libros
- Introducción a la obra de S. Leśniewski. VI: La métalangue d'une syntaxe inscriptionnelle , Neuchâtel, Travaux de logique, 2009.
- Introducción a la obra de S. Leśniewski. II. L'Ontologie . Neuchâtel, Travaux de logique, 2004.
- Introducción a la obra de S. Leśniewski. I. La Protothétique . Neuchâtel, Travaux de logique, 2001.
- Pensée logico-mathématique. Nouveaux objets interdisciplinaires . París: PUF , 1993 (Colaboración con O. Houdé).
- Essai de logique naturelle . Berne, Lang, 1992 (Colaboración con J.-B. Grize y M.-J. Borel)
Editor científico
- Stanislaw Leśniewski aujourd'hui (Ed., Con Denis Vernant ), Grenoble / Neuchâtel, Groupe de Recherches sur la philosophie et le langage / Centre de Recherches Sémiologiques 1995.