« Philosophie de la logique »

L'objectif de cet article est de proposer une introduction à la philosophie de la logique à partir du traitement de la question centrale de la logique philosophique : celle « du contenu des différentes catégories d'expression du langage ordinaire » (p. 267). L'auteur est ainsi conduit à présenter trois grandes logiques : 1° la logique du sens et de la dénotation (LSD) 2° la logique de la signification et de la dénotation (LMD) 3° la logique de la signification (LM). La question du contenu est posée à travers l'analyse de deux catégories d'expressions : d'une part celle des termes singuliers (comme les noms propres), d'autre part celle des attitudes propositionnelles (telles que croire ou savoir). C'est pourquoi la première partie commence par analyser deux types de termes singuliers, les noms propres et les descriptions définies : elle permet ainsi de présenter la LSD telle qu'elle se construit de Frege à Quine en passant par Church. Dès lors, elle conduit l'auteur à pouvoir présenter la LMD telle qu'elle se construit à partir de la variante de la LSD élaborée par Quine, à la lumière de la logique des noms propres (Kripke) et de la théorie des expressions indexicales (Kaplan). Ce qui permet dans un dernier temps d'exposer la LM telle qu'elle se construit de Russell à Smullyan, à partir de la LMD.

F. F.