Philosophie de la logique : conséquence, preuve et vérité textes réunis par Denis Bonnay et Mikaël Cozic présentés et traduits par C. Besson, D. Bonnay, J. Boyer... [et al.]

Ajouter à une liste

Résumé

La logique est un compagnon naturel de la philosophie. Qu'est-ce qu'un raisonnement correct ? Qu'est-ce qu'une preuve ? Peut-on définir le concept de vérité ? Que faire face aux paradoxes ? Ces questions sont débattues par les philosophes depuis l'Antiquité. La logique moderne, usant de langages formels, développe une analyse rigoureuse de ces concepts les plus fondamentaux. Les onze textes classiques réunis ici proposent un retour réflexif sur cette discipline et sur la signification philosophique de ses achèvements. Ils s'adressent à quiconque souhaite prendre la mesure des enjeux conceptuels de la logique, et à tous les étudiants désireux de compléter leur apprentissage de la discipline par une réflexion épistémologique sur ses fondements.

Contributeur :

Bonnay, Denis ; Cozic, Mikaël

Éditeur :

J. Vrin, 2009

Collection :

Textes clés

Genre :

Manuel

Langue :

français.

Note :

Bibliogr. p. 427-436. Index

Mots-clés :

Nom commun :: Logique

Description du livre original :

1 vol. (447 p.) ; 18 cm

ISBN :

9782711617968.

Domaine public :

Non

Table des matières

Sigles logiques
Introduction générale
- Préambule
- La logique, « science du raisonnement correct »
- Langage naturel et langage artificiel
- L’analyse sémantique de la validité
- Les preuves formelles et l’analyse sémantique de la validité
- L’inférentialisme, ou le primat des preuves
- Paradoxes et vérité
- La logique… quelle logique ?
- Pour aller plus loin
- Remerciements
langage, modèles et conséquence
- Gottlob FREGE. L’Idéographie Avant-propos
  - Présentation
  - L’Idéographie
- Alfred TARSKI. Du concept de conséquence logique
  - Présentation
  - Du concept de conséquence logique
- Stephen READ. Le pouvoir de la logique
  - Présentation
  - Le pouvoir de la logique : la conséquence logique
    - La conception classique
    - La compacité
    - La pertinence
preuve et signification
- Arthur PRIOR. Carte blanche pour les inférences. Nuel BELNAP. Tonk, Plonk et Plink
  - Présentation
  - Arthur Prior. Carte blanche pour les inférences
  - Nuel Belnap. Tonk, Plonk et Plink
- Michael DUMMETT. Éléments d’intuitionnisme
  - Présentation
  - Éléments d’intuitionnisme
    - 1. PRÉLIMINAIRES
      - 1.1. La preuve constructive
      - 1.2. La signification des constantes logiques
        
        La loi du tiers-exclu
        
        L’assertion d’un énoncé mathématique
        
        Précisions complémentaires sur la notion de preuve constructive
        
        Domaines de quantification
    - [250] 7. REMARQUES PHILOSOPHIQUES DE CONCLUSION
      - 7.1. Le fondement philosophique des mathématiques constructives
la vérité et ses paradoxes
- William V.O. QUINE. Les voies du paradoxe
  - Présentation
  - Les voies du paradoxe
    - LE PARADOXE DE GRELLING
    - LES ANTINOMIES
    - LE PARADOXE D’ÉPIMÉNIDE
    - L’ANTINOMIE DE RUSSELL
    - LES MATHÉMATIQUES DES CLASSES
    - LA PREUVE DE GÖDEL
- Alfred TARSKI. La conception sémantique de la vérité et les fondements de la sémantique
  - Présentation
  - La conception sémantique de la vérité et les fondements de la sémantique
    - § 1. Exposé
      - 1. Le problème principal : une définition satisfaisante de la vérité
      - 2. L’extension du terme « vrai »
      - 3. Le sens du terme « vrai »
      - 4. Le critère de l’adéquation matérielle de la définition
      - 5. Vérité en tant que concept sémantique
      - 6. Langages à structure spécifiée
      - 7. L’antinomie du menteur
      - 8. L’inconsistance des langages sémantiquement clos
      - 9. Langage-objet et métalangage
      - 10. Les conditions d’une solution positive du problème principal
      - 11. La construction (esquissée) de la définition
      - 12. Les conséquences de la définition
- Hartry FIELD. La théorie de la vérité de Tarski
  - Présentation
  - La théorie de la vérité de Tarski a
    - I
    - II
    - III
    - IV
    - V
- Saul KRIPKE. Esquisse d’une théorie de la vérité
  - Présentation
  - Esquisse d’une théorie de la vérité a
    - I. Le problème
    - II. Les propositions antérieures
    - III. La proposition présente
- Bas VAN FRAASSEN. Termes singuliers, lacunes de valeurs de vérité et logique libre
  - Présentation
  - Termes singuliers, lacunes de valeur de vérité et logique libre
    - I
    - II
    - III
    - IV
    - V
    - VI
    - VII
    - VIII
- Hilary PUTNAM. La logique trivalente
  - Présentation
  - La logique trivalente
    - (1)
    - (2)
    - (3)
- (4)
Bibliographie

Commentaires

Laisser un commentaire sur ce livre