Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique
Mathématiques informatique et sciences humaines, Tome 130 (1995), pp. 43-59.

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 informatique et sciences humaines},
     pages = {43--59},
     publisher = {Ecole des hautes-\'etudes en sciences sociales},
     volume = {130},
     year = {1995},
     language = {fr},
     url = {http://www.numdam.org/item/MSH_1995__130__43_0/}
}
TY  - JOUR
AU  - Carel, Marion
TI  - Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique
JO  - Mathématiques informatique et sciences humaines
PY  - 1995
SP  - 43
EP  - 59
VL  - 130
PB  - Ecole des hautes-études en sciences sociales
UR  - http://www.numdam.org/item/MSH_1995__130__43_0/
LA  - fr
ID  - MSH_1995__130__43_0
ER  - 
%0 Journal Article
%A Carel, Marion
%T Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique
%J Mathématiques informatique et sciences humaines
%D 1995
%P 43-59
%V 130
%I Ecole des hautes-études en sciences sociales
%U http://www.numdam.org/item/MSH_1995__130__43_0/
%G fr
%F MSH_1995__130__43_0
Carel, Marion. Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique. Mathématiques informatique et sciences humaines, Tome 130 (1995), pp. 43-59. http://www.numdam.org/item/MSH_1995__130__43_0/

Arnault, A. et Nicole, P., La Logique ou l'art de penser, Paris, Vrin (reproduction du texte de 1662).

Church, A., Introduction to Mathematical Logic, Princeton, Princeton University Press, 1956. | MR | Zbl

Ducrot, O., Dire et ne pas dire, Paris, Hermann, 1972.

Frege, G., 1892, "Sens et dénotation" traduit dans Ecrits logiques et philosophiques, Paris, Seuil,1971.

Gochet, P., Esquisse d'une théorie nominaliste de la proposition, Paris, Armand Colin, 1972.

Kleene, S., 1967, Logique mathématique, traduction française, Paris, Gabay,1987. Quine,W.V.O., Méthodes de logique, Paris, Armand Colin,1984.

Récanati, F., La Transparence et l'énonciation, Paris, Seuil, 1979.

Sperber, D. et Wilson, D., La Pertinence : communication et cognition, Paris, Ed. de Minuit, 1989.