Displaying similar documents to “A propos d'opérations intervenant dans le traitement formel des langues naturelles”

Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique

Marion Carel (1995)

Mathématiques et Sciences Humaines

Similarity:

Il est habituel, pour enseigner la logique aux étudiants littéraires, de faire correspondre aux notions logiques (implication, disjonction...) des expressions de la langue (si...alors, ou...). Les enseignants espèrent que cette traduction linguistique aidera à comprendre les concepts formels. Fondé sur une expérience pédagogique, cet article montre qu'en fait les expressions linguistiques utilisées ne représentent les connecteurs logiques que si elles ont été elles-mêmes déjà comprises...

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...

«Si un lion...»

Jean Bazin (2002)

Philosophia Scientiae

Similarity:

The philosophical language game of radical translation, which consists of splitting the atoms of linguistic behavior in a quasi-experimental way, amounts to the construction of a non-situation wherein one renders oneself incapable of understanding the uses of language. The debate needs to be reoriented: we need to shift the focus from the problem of meaning (or the pairs meaning/translation and meaning/belief) to accounting for action. If there is charity, it consists not so much in...