Qu'est-ce qu'une constante logique ?

What is a logical constant ?

• Auteur / Autrice : Denis Bonnay
• Direction : Jacques Dubucs
• Type : Thèse de doctorat
• Discipline(s) : Philosophie
• Date : Soutenance en 2006
• Etablissement(s) : Paris 1

Mots clés

Mots clés contrôlés

Logique

Invariants

Mathématiques -- Philosophie

Logique -- Philosophie

Résumé

La question de la caractérisation des constantes logiques est un des problèmes fondamentaux de la philosophie de la logique. De cette caractérisation dépend en particulier la définition de la notion de conséquence logique, qui permet d'évaluer la validité de nos inférences. Selon une des approches classiques de cette question, les constantes logiques ont ceci de spécial qu'elles dénotent des opérations qui sont invariantes par permutation des objets du domaine de discours. Le but de ce travail est d'évaluer les fondements conceptuels de cette proposition et les problèmes qu'elle pose. Nous défendons, à la lumière d'une révision des justifications de la thèse traditionnelle, une nouvelle caractérisation des constantes logiques en termes d'invariance par isomorphisme potentiel, qui permet de rendre compte à la fois de la généralité de la logique et de son absence de contenu empirique et, en un sens qui sera précisé, mathématique