Colloque

La signification des constantes logiques

Jocelyne Couture

Membre a labase

Jocelyne Couture

Résumé du colloque

Prior et Eklang ont respectivement attaqué et défendu l'idée initialement proposée par Gentzen selon laquelle la signification des constantes logiques (c.l.) est intégralement donnée par le rôle qu'elles ont à jouer dans une inférence valide. La querelle, axée sur la question de modes (analytique ou synthétique) de définition, pourrait être avantageusement transposée dans le contexte d'une sémantique inférentielle où elle se réduit à la question de savoir quels rapports existent entre d'une part, les définitions implicites des c.l. dans le langage-objet et d'autre part, le type de caractérisation métathéorique qu'il est possible de donner de la notion de conséquence logique. Il peut être montré en effet, que la signification des c.l. qui peuvent être définies au sens strict par leurs règles d'introduction (i.e. les c.l. dont les calculs sont séparatifs) varie selon qu'on fait appel métathéoriquement à une caractérisation sémantique (en termes de la théorie des modèles) ou syntaxique (en termes de la théorie de la preuve) de la notion de conséquence logique. Dans ce dernier cas, les systèmes de déduction naturelle de Gentzen montrent que seules les c.l. 'intuitionnistes' possèdent des calculs séparatifs.

Contexte

Section :

Philosophie

Thème du colloque :

Philosophie

Hôte : Université du Québec à Trois-Rivières

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Philosophie

La pornographie: le lieu et l'enjeu d'une interrogation

Daniel Niel

Autour de Platon: les analystes et les continentaux

Y. Laplance

Problèmes épistémologiques de la logique épistémique

S. Robert

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Philosophie

Sélection rationnelle

Jocelyne Couture

Constitution : À la Weber ou à la Hobbes?

Jocelyne Couture

Face à la mondialisation économique : justice ou solidarité?

Jocelyne Couture