Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle

 Access to full text

 Full (PDF)

1. AristoteLes premiers analytiques Traduction Jean Tricot. Vrin: Paris1993 
2. AristoteLes seconds analytiques Traduction Jean Tricot. Vrin: Paris1987 
3. Blanche R..(1970) La logique et son histoire d'Aristote à Russell. Armand Colin: Paris 
4. Blanche R..(1973) Le raisonnement. PUF: Paris 
5. Braine, M.1978On the relations between the natural logic of reasoning and standard logic in Psychological review n°85 pp1-21 cité in Engel 1989. 
6. Cori, R. & Lascar, D. (1993) Logique mathématique Cours et exercices Tome 1. Masson: Paris Zbl0787.03001
7. Dumont B. (1982) L'influence du décor et du langage dans des épreuves de type logique portant apparemment sur l'implication logique. Educationnal Studies in mathematics n°13, pp 409-429 
8. Durand-Guerrier, V. (1994) Problèmes de raisonnement et de logique chez les élèves de terminales C et de premier cycle universitaire scientifique; les difficulté liées à l'implication; questions méthodologiques in Actes du Premier Colloque Jeunes Chercheurs en Sciences cognitives, Université Joseph Fourier Grenoble I 
9. Durand-Guerrier, V. (1995) Place de la logique formelle comme outil d'analyse des connaissances mises en oeuvre dans le raisonnement Mathématique dans une perspective didactique, Actes du Colloque GDR-INRP Différents types de savoirs et leurs articulations. La Pensée Sauvage éditions, Grenoble (A paraître) 
10. Duval, R. (1988) Ecarts sémantiques et cohérences mathématiques : introduction aux problèmes de congruences, in Annales de didactique et de sciences cognitives, vol.1, IREM de Strasbourg 
11. Duval, R. (1993) Argumenter, démontrer, expliquer : continuité ou rupture cognitive, Petit X n°31, pp 37-61, Grenoble 
12. El Faqhi, E.M. (1991) Place de la logique dans l'activité mathématique des étudiants du premier cycle scientifique, Thèse de l'Université Louis Pasteur, Strasbourg. 
13. Engel, P. (1989) La norme du vrai, philosophie de la logique. Gallimard: Paris 
14. Frege, G. (1971) Ecrits logiques et Philosophiques, traduction et introduction de Claude Imbert. Seuil: Paris 
15. Fodor, J. (1975) The language of thought MIT Press, Bradford Books, Cambridge Mass., cité in ENGEL 1989 
16. Girotto, V. (1991) Reasoning on deontics rules : the pragmatic schemas approach, Intellectica n- 11, pp 15-52 
17. Granger, G.G. (1994) Formes, opérations, objets. Vrin: Paris MR1355545
18. Grize, J.B. (1990) Logique et langage, Ophrys 
19. Johnson-Laird, P.N (1986) Reasoning without logic, in T.Meyers, K.Brown & B.McGonigle (Eds) Reasoning and discourse processes,14-49, Academic press: London. 
20. Kline, M. (1980) Mathématiques, la fin de la certitude, Traduction Française Christian Bourgois Editeur, 1989 
21. Legrand, M. (1993) Débat scientifique en cours de Mathématiques et spécificité de l'analyse, Repères-IREM n-10,pp 123-159 
22. Lukasiewicz, J. (1934) Contribution à l'histoire de la logique des propositions in 
23. Largeault, J.(1972) Logique mathématique Textes Zbl0252.01014
24. Noirfalise, R. (1991) La logique des A.R.L., Bulletin de liaison IREM de Clermont-ferrand n° 43/44,pp 47-55 
25. Ours Baguena Pilar (1992) Le raisonnement des élèves dans la relation didactique ; effets d'une initiation à l'analyse classificatoire dans la scolarité obligatoire. Thèse de l'Université de Bordeaux 
26. Politzer, G. (1981) Differences in interpretation of implication, American Journal of Psychology n° 94, pp 461-477, cité in Richard (1990) 
27. Politzer, G. (1991) L'informativité des énoncés : contraintes sur le jugement et le raisonnement. Intellectica n- 11, pp 111 -147 
28. Quine, W.V.O (1950) Methods of logic, Holt, Rinehart & Winston; Traduction française Armand Colin, 1972 Zbl0038.14811MR37255
29. Radford, L. (1985) Interprétations d'énoncés implicatifs et traitements logiques, contributions à la faisabilité d'un enseignement de la logique au lycée. Thèse de l'Université Louis Pasteur, Strasbourg. 
30. Richard, J.F. (1990) Les activités mentales : comprendre, raisonner, trouver des solutions. Armand Colin: Paris 
31. Russell, B. (1903) Les principes de la mathématique, traduction française in RUSSELL, Ecrits de logique philosophique. PUF: Paris1989 
32. Wasson, P.C. & Johnson-Laird P.N. (1977) A theoretical analysis of insight into a reasoning task, in Johnson-Laird, P.N. & Wason, P.C. (Eds) Thinking: readings in cognitive science, Open university143-157, cité in RICHARD (1990) 
33. Wittgenstein, L. (1921) Tractacus logico-philosophicus. Annalen der naturphilosophie, Leipzig; traduction française, Gallimard, 1961.