La m´ethode des arbres Cours d’introduction `a la logique et `a la philosophie du langage au semestre d’hiver 2003-2004

La d´ eduction naturelle est une m´ ethode syntaxique qui est correct et compl` ete : toute s´ equent d´ eductible correspond ` a une relation de cons´ equence s´ emantique et

Une formule propositionnelle est une cons´ equence (s´ emantique) d’un ensemble de proposi- tions (´ ecrit : “Th | = φ”) si et seulement si toute interpr´ etation qui rend

Les calculs de la d´ eduction naturelle – comme la m´ ethode des arbres – n’ont pas d’axiomes, mais beaucoup de r` egles d’inf´ erences pour d´ eduire des th´ eor` emes

Tous les pingouins qui ne sont ni noir ni employ´ es par Microsoft sont des amis de mon grand-p` ere qui vit en Australie Tous les amis de mon grand-p` ere qui vit en Australie sont

Dans la logique classique, un calcul inconsistant est d´ enu´ e d’int´ erˆ et : si une seule contradiction peut ˆ etre d´ eduite, toute formule propositionnelle peut en ˆ etre

Les pr´ edicats ou phrases ouvertes ne sont ni vrais ni faux, mais vrais ou faux de certains individus ; les individus les satisfont de la mˆ eme mani` ere comme les arguments

Elles ne reconnaissent pas la distinction cruciale entr pr´ edicats et noms et ne nous permettent pas de formaliser des inf´ erences telles que “Marie est mon amie ; donc j’ai

La deuxi` eme difficult´ e entraˆıne que mˆ eme une interpr´ etation du vocabulaire non-logique ne suffira pas comme interpr´ etation de notre langue, puisque nous devons interpr´