RESSOURCES EN LIGNE ET ACTUALITÉS
SCIENTIFIQUES FRANCOPHONES

6000 - Philosophie de la logique : Philosophy of Logic

Ressource pédagogique

Auteur :: Putnam, Hilary (Harvard University. Faculty of Arts and Sciences. Cambridge. États-Unis) ; Peccatte, Patrick (trad.)
Page source :: PIM, philosophie informatique mathématiques, site personnel de P. Peccatte, http://peccatte.karefil.com
Langue :: français
Date de publication :: 1996

Spécialité :: Sciences exactes - Mathématiques - Logique et fondements mathématiques
Mots clés :: logique du second ordre ; vérité mathématique ; conventionnalisme ; fictionnalisme
Table des matières :: Avant-propos
1 Ce qu'est la logique
2 La controverse du nominalisme et du réalisme
3 La controverse du nominalisme et du réalisme et la logique
4 Logique contre mathématiques
5 L'insuffisance du langage nominaliste
6 Conception prédicative contre conception imprédicative de la notion d'ensemble
7 Quelle quantité de théorie des ensembles est réellement indispensable pour la science ?
8 Arguments d'indispensabilité
9 Complications non examinées
Résumé :: L'auteur s'intéresse à la question de savoir si les entités abstraites dont on parle en logique et en mathématiques existent réellement. Ce faisant, il aborde la difficile comparaison entre la frontière séparant la logique et les mathématiques d'une part, et la démarcation entre les logiques du premier ordre et du second ordre d'autre part. L'essai se termine sur l'analyse des diverses objections à l'indispensable quantification des entités mathématiques pour les sciences formelles et les sciences physiques. Le texte contient de nombreuses annotations.

Niveau d'études :: 1er cycle
Pré-requis :: Bonne compréhension de la logique mathématique de la 1ère année universitaire
Objectifs pédagogiques :: Donner une idée de la complexité multiforme rencontrée en abordant la philosophie de la logique

gratuit

Notice mise en ligne le 05/01/2004 et mise à jour le 02/01/2007