Displaying similar documents to “Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique”

Logique combinatoire et linguistique : grammaire catégorielle combinatoire applicative

Jean-Pierre Desclés, Ismail Biskri (1995)

Mathématiques et Sciences Humaines

Similarity:

La Grammaire Catégorielle Combinatoire Applicative étend la Grammaire Catégorielle Combinatoire de Steedman par une association canonique entre les règles et des combinateurs de Curry d'une part et l'utilisation de métarègles qui contrôlent les opérations de changement de type d'autre part. Ce modèle est inclus dans le modèle général de la Grammaire Applicative et Cognitive (Desclés) avec trois niveaux de représentation : (i) le phénotype (expressions concaténées) ; (ii) le génotype...

Quine, entre Lévy-Bruhl et Malinowski

Sandra Laugier (2002)

Philosophia Scientiae

Similarity:

The article examines the anthropological relevance of Quine’s indeterminacy of translation thesis, and shows how this thesis questions relativism, but also a species of universalism. This is demonstrated through an analysis of Quine’s critique of the idea of prelogicity, in connection with which he specifically devised the principle of charity, which was later taken over by Davidson. Examining the uses and scope of this principle, as well as comparing it to the claims of Lévy-Bruhl,...

The problems of definition

Jean-Pierre Ginisti (1991)

Mathématiques et Sciences Humaines

Similarity:

The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.