Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle
Publications mathématiques et informatique de Rennes no. 3  (1994-1995), Talk no. 2, 13 p.
@article{PSMIR_1994-1995___3_A2_0,
     author = {Durand-Guerrier, Viviane},
     title = {Logique et raisonnement math\'ematique Exemple d'analyse de t\^aches \`a l'aide de la logique formelle},
     journal = {Publications math\'ematiques et informatique de Rennes},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {3},
     year = {1994-1995},
     note = {talk:2},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1994-1995___3_A2_0}
}
Durand-Guerrier, Viviane. Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle. Publications mathématiques et informatique de Rennes, no. 3 (1994-1995), Talk no. 2, 13 p. http://www.numdam.org/item/PSMIR_1994-1995___3_A2_0/

Aristote Les premiers analytiques Traduction Jean Tricot. Vrin: Paris 1993

Aristote Les seconds analytiques Traduction Jean Tricot. Vrin: Paris 1987

Blanche R..(1970) La logique et son histoire d'Aristote à Russell. Armand Colin: Paris

Blanche R..(1973) Le raisonnement. PUF: Paris

Braine,M. 1978 On the relations between the natural logic of reasoning and standard logic in Psychological review n°85 pp1-21 cité in Engel 1989.

Cori,R. & Lascar, D. (1993) Logique mathématique Cours et exercices Tome 1. Masson: Paris

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

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

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)

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

Duval,R. (1993) Argumenter, démontrer, expliquer : continuité ou rupture cognitive, Petit X n°31, pp 37-61, Grenoble

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.

Engel,P. (1989) La norme du vrai, philosophie de la logique. Gallimard: Paris

Frege,G. (1971) Ecrits logiques et Philosophiques, traduction et introduction de Claude Imbert. Seuil: Paris

Fodor,J. (1975) The language of thought MIT Press, Bradford Books, Cambridge Mass., cité in ENGEL 1989

Girotto,V. (1991) Reasoning on deontics rules : the pragmatic schemas approach, Intellectica n- 11, pp 15-52

Granger, G.G. (1994) Formes, opérations, objets. Vrin: Paris | MR 1355545

Grize, J.B. (1990) Logique et langage, Ophrys

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.

Kline,M. (1980) Mathématiques, la fin de la certitude, Traduction Française Christian Bourgois Editeur, 1989

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

Lukasiewicz,J. (1934) Contribution à l'histoire de la logique des propositions in

Largeault,J.(1972) Logique mathématique Textes | Zbl 0252.01014

Noirfalise,R. (1991) La logique des A.R.L., Bulletin de liaison IREM de Clermont-ferrand n° 43/44,pp 47-55

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

Politzer,G. (1981) Differences in interpretation of implication, American Journal of Psychology n° 94, pp 461-477, cité in Richard (1990)

Politzer,G. (1991) L'informativité des énoncés : contraintes sur le jugement et le raisonnement. Intellectica n- 11, pp 111 -147

Quine,W.V.O (1950) Methods of logic, Holt, Rinehart & Winston; Traduction française Armand Colin, 1972 | MR 37255 | Zbl 0038.14811

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.

Richard,J.F. (1990) Les activités mentales : comprendre, raisonner, trouver des solutions. Armand Colin: Paris

Russell,B. (1903) Les principes de la mathématique, traduction française in RUSSELL, Ecrits de logique philosophique. PUF: Paris 1989

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 university 143-157, cité in RICHARD (1990)

Wittgenstein,L. (1921) Tractacus logico-philosophicus. Annalen der naturphilosophie, Leipzig; traduction française, Gallimard, 1961.