Philosophie de la notation logique : une approche sémiotique

Bricteux, Gwennaël (2014). « Philosophie de la notation logique : une approche sémiotique » Thèse. Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en philosophie.

Fichier(s) associé(s) à ce document :
[img]
Prévisualisation
PDF
Télécharger (47MB)

Résumé

Le but de la thèse est de développer une approche critique de la notation logique d'un point de vue sémiotique, par contraste avec la grammaire stipulée des approches standard de la logique. La grammaire spéculative de la sémiotique de Charles Sanders Peirce est d'abord présentée et conçue comme une grammaire pure de la logique. La notation logique est plus spécifiquement définie comme une grammaire particulière effective de la logique. Trois principaux types de notation (algébrique linéaire, algébrique arborescent, graphique) pour différents systèmes de critique logique (classique, intuitionniste, linéaire), élaborés selon plusieurs méthodes (axiomatique, séquents, déduction naturelle, graphes existentiels), sont ensuite analysés et critiqués dans une perspective sémiotique. Les développements de la grammaire catégorielle et la théorie des types constructive, de même que de la logique dialogique et la ludique, au niveau de la méthode, permettent d'effectuer des distinctions grammaticales supplémentaires, explicitées dans la notation. L'ensemble de la thèse constitue de la sorte une théorie générale de la notation logique, qui fait ressortir la diversité des formes sémiotiques en présence et leur fondement empirique dans le phénomène, de même que la finalité de la notation, qui se trouve être l'adéquation de l'expression au raisonnement nécessaire de la logique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Logique (Philosophie), Notation logique, Sémiotique, Peirce Charles S. (Charles Sanders) 1839-1914.

Type: Thèse ou essai doctoral accepté ()
Informations complémentaires: La thèse a été numérisée telle que transmise par l'auteur.
Directeur de thèse: Latraverse, François
Mots-clés ou Sujets: Peirce Charles S. (Charles Sanders) 1839-1914, Logique, Logique. Notation, Sémiotique
Unité d'appartenance: Faculté des sciences humaines > Département de philosophie
Déposé par: Service des bibliothèques
Date de dépôt: 22 juin 2015 13:20
Dernière modification: 22 juin 2015 13:20
Adresse URL : http://www.archipel.uqam.ca/id/eprint/7061

Statistiques

Voir les statistiques sur cinq ans...