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 à travers le modèle logique. L'auteur explicite les hypothèses linguistiques à faire à propos de si...alors pour que cette expression apparaisse comme une illustration de l'implication matérielle.
Teaching logic to litterature students is generaly supposed to require connecting the logic concepts (e.g, material implication, disjunction) to language words (infrench, si...alors, ou). The teacher uses to expect this translation into linguistics helps understand the formal concepts. The present paper is based on teaching experience, and shows that making the linguistic expressions valid equivalents of the logic operators implies the expressions have been understood within the logic model. The paper sets the linguistic hypothesis necessary for si...alors to represent properly the material implication.
@article{MSH_1995__130__43_0,
author = {Carel, Marion},
title = {Notion d'inf\'erence valide : quelques remarques sur l'enseignement du calcul propositionnel classique},
journal = {Math\'ematiques et Sciences humaines},
volume = {132},
year = {1995},
pages = {43-59},
language = {fr},
url = {http://dml.mathdoc.fr/item/MSH_1995__130__43_0}
}
Carel, Marion. Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique. Mathématiques et Sciences humaines, Tome 132 (1995) pp. 43-59. http://gdmltest.u-ga.fr/item/MSH_1995__130__43_0/
et , La Logique ou l'art de penser, Paris, Vrin (reproduction du texte de 1662).
, Introduction to Mathematical Logic, Princeton, Princeton University Press, 1956. | MR 1435972 | Zbl 0073.24301
, Dire et ne pas dire, Paris, Hermann, 1972.
, 1892, "Sens et dénotation" traduit dans Ecrits logiques et philosophiques, Paris, Seuil,1971.
, Esquisse d'une théorie nominaliste de la proposition, Paris, Armand Colin, 1972.
, 1967, Logique mathématique, traduction française, Paris, Gabay,1987. , Méthodes de logique, Paris, Armand Colin,1984.
, La Transparence et l'énonciation, Paris, Seuil, 1979.
et , La Pertinence : communication et cognition, Paris, Ed. de Minuit, 1989.