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

Marion Carel

Mathématiques et Sciences Humaines (1995)

  • Volume: 130, page 43-59
  • ISSN: 0987-6936

Abstract

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

How to cite

top

Carel, Marion. "Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique." Mathématiques et Sciences Humaines 130 (1995): 43-59. <http://eudml.org/doc/94467>.

@article{Carel1995,
abstract = {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.},
author = {Carel, Marion},
journal = {Mathématiques et Sciences Humaines},
language = {fre},
pages = {43-59},
publisher = {Ecole des hautes-études en sciences sociales},
title = {Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique},
url = {http://eudml.org/doc/94467},
volume = {130},
year = {1995},
}

TY - JOUR
AU - Carel, Marion
TI - Notion d'inférence valide : quelques remarques sur l'enseignement du calcul propositionnel classique
JO - Mathématiques et Sciences Humaines
PY - 1995
PB - Ecole des hautes-études en sciences sociales
VL - 130
SP - 43
EP - 59
AB - 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.
LA - fre
UR - http://eudml.org/doc/94467
ER -

References

top
  1. Arnault, A. et Nicole, P., La Logique ou l'art de penser, Paris, Vrin (reproduction du texte de 1662). 
  2. Church, A., Introduction to Mathematical Logic, Princeton, Princeton University Press, 1956. Zbl0073.24301MR1435972
  3. Ducrot, O., Dire et ne pas dire, Paris, Hermann, 1972. 
  4. Frege, G., 1892, "Sens et dénotation" traduit dans Ecrits logiques et philosophiques, Paris, Seuil,1971. 
  5. Gochet, P., Esquisse d'une théorie nominaliste de la proposition, Paris, Armand Colin, 1972. 
  6. Kleene, S., 1967, Logique mathématique, traduction française, Paris, Gabay,1987. Quine, W.V.O., Méthodes de logique, Paris, Armand Colin,1984. 
  7. Récanati, F., La Transparence et l'énonciation, Paris, Seuil, 1979. 
  8. Sperber, D. et Wilson, D., La Pertinence : communication et cognition, Paris, Ed. de Minuit, 1989. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.