La Philosophie de la logique

Des questions philosophiques diverses présentent quelque rapport avec la logique. Certaines ont trait à la philosophie des mathématiques (qui, ici, ne sera pas distinguée très précisément de la philosophie de la logique), tandis que d'autres se rapportent à la philosophie du langage ou à la théorie de la connaissance. Cet essai s'intéressera au prétendu problème ontologique interne à la philosophie de la logique et des mathématiques; c'est-à-dire, à la question de savoir si les entités abstraites dont on parle en logique et en mathématiques existent réellement. L’auteur se demande encore si, dans la logique elle-même (distinguée cette fois des mathématiques en général), la référence à des entités abstraites est vraiment indispensable. Est abordée par extension la question de savoir si la référence à de telles entités est nécessaire dans les sciences physiques. Le propos dans cet essai n'est pas de présenter un panorama complet des opinions relatives à ces problèmes, mais d'exposer et de défendre en détail l'une d'entre elles. – I. Ce qu'est la logique; – II. La controverse du nominalisme et du réalisme; – III. La controverse du nominalisme et du réalisme et la logique; – IV. Logique contre mathématiques; – V. L'insuffisance du langage nominaliste; – VI. Conception prédicative contre conception imprédicative de la notion d'"ensemble"; – VII. Quelle quantité de théorie des ensembles est réellement indispensable pour la Science ?; – VIII. Arguments d'indispensabilité; – IX. Complications non examinées. M.-M. V.