Logique et philosophie. Manuel d’introduction pour les étudiants du supérieur

Pierre Wagner, Logique et philosophie. Manuel d’introduction pour les étudiants du supérieur, Ellipses, 2014

La logique contemporaine développe des méthodes d’analyse applicables à un vaste champ de questions philosophiques. Celles-ci touchent par exemple à la vérité, la signification, la référence, le possible et le nécessaire, la temporalité, les preuves de l’existence de Dieu, aussi bien que la validité des inférences, l’axiomatique ou la formalisation des théories.

Ce manuel d’introduction a pour ambition d’offrir aux étudiants et à tout lecteur philosophe une culture ainsi qu’une formation de base en logique. L’objectif est de donner accès à cette vaste partie de la littérature philosophique contemporaine qui suppose connus les concepts et les méthodes fondamentales de la logique formelle. 

Édition Ellipses, 2014


Sommaire

 

Première partie: Introduction à la logique 1

 

Chap. 1: Inférence et conséquence

Chap. 2: Formalisation

Chap. 3: Prédication et quantification

Chap. 4: Interprétation des langages et conséquence logique

Chap. 5: Vérité logique et contradiction

Chap. 6: Décidabilité

Chap. 7: Compléments sur le langage L0

Exercices supplémentaires pour la partie I 

 

Deuxième partie: Introduction à la logique 2

 

Chap. 8: L'univers des ensembles

Chap. 9: Un langage monadique pour la logique du premier ordre

Chap. 10: Vérité, validité, conséquence logique

Chap. 11: Méthodes de raisonnement

Chap. 12: Un langage polyadique pour la logique du premier ordre

Chap. 13: Logique, axiomatisation, formalisation

Chap. 14: Preuves formelles en déduction naturelle

Chap. 15: Logique des modalités

Chap. 16: Annexes

Exercices supplémentaires pour la partie II 

 

Troisième partie: Questions logiques et philosophiques. Textes et document

 

1. Peut-on penser illogiquement ? 
Logique et lois de la pensée

2. Il pleut et il ne pleut pas. Donc la lune est verte. 
Ex falso sequitur quodlibet

3. Peut-on dire la vérité en affirmant « je mens » ?
Paradoxes de la vérité

4. Le nom « Aristote » a-t-il un sens?
Logique des noms propres

5. De quoi parle-t-on lorsqu'on affirme que Pégase n'existe pas?  
Discours sans objet

6. Peut-on prouver que dieu existe?
Les preuves ontologiques

7. Est-il vrai dès aujourd'hui qu'il y aura ou qu'il n'y aura pas une bataille navale demain?
Les futurs contingents

8. Le soleil se lèvera-t-il demain?
Déduction et induction

9. Combien faut-il de grains pour former un tas?
Prédicats vagues et paradoxes sorites

10. Une définition peut-elle être illogique?
Logique des définitions

11. Qu'est-ce qu'un langage logiquement parfait?
Logique, langage, idéographies

12. Que peut-on attendre ou exiger des axiomes?
Théories déductives et axiomatisation

13. Les vérités logiques sont-elles vides de sens?
Vérités logiques, tautologies et formules valides

14. À quelles conditions une déduction est-elle légitime?
Inférence, déduction, conséquence logique

15. Comment a peut-il être identique à b ?
Les énigmes logiques de l'identité

Correction des exercices

Références bibliographiques

Table des matières