@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 de l'Institut de recherche math\'ematiques de Rennes},
note = {talk:2},
pages = {1--13},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {3},
year = {1994-1995},
language = {fr},
url = {http://archive.numdam.org/item/PSMIR_1994-1995___3_A2_0/}
}
TY - JOUR AU - Durand-Guerrier, Viviane TI - Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle JO - Publications de l'Institut de recherche mathématiques de Rennes N1 - talk:2 PY - 1994-1995 SP - 1 EP - 13 IS - 3 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://archive.numdam.org/item/PSMIR_1994-1995___3_A2_0/ LA - fr ID - PSMIR_1994-1995___3_A2_0 ER -
%0 Journal Article %A Durand-Guerrier, Viviane %T Logique et raisonnement mathématique Exemple d'analyse de tâches à l'aide de la logique formelle %J Publications de l'Institut de recherche mathématiques de Rennes %Z talk:2 %D 1994-1995 %P 1-13 %N 3 %I Département de Mathématiques et Informatique, Université de Rennes %U http://archive.numdam.org/item/PSMIR_1994-1995___3_A2_0/ %G fr %F 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 de l'Institut de recherche mathématiques de Rennes, Fascicule de didactique des mathématiques et de l'E.I.A.O., no. 3 (1994-1995), Exposé no. 2, 13 p. http://archive.numdam.org/item/PSMIR_1994-1995___3_A2_0/
Les premiers analytiques Traduction Jean Tricot. Vrin: Paris 1993
Les seconds analytiques Traduction Jean Tricot. Vrin: Paris 1987
.(1970) La logique et son histoire d'Aristote à Russell. Armand Colin: Paris
.(1973) Le raisonnement. PUF: Paris
1978 On the relations between the natural logic of reasoning and standard logic in Psychological review n°85 pp1-21 cité in Engel 1989.
& (1993) Logique mathématique Cours et exercices Tome 1. Masson: Paris
(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
(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
(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)
(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
(1993) Argumenter, démontrer, expliquer : continuité ou rupture cognitive, Petit X n°31, pp 37-61, Grenoble
(1991) Place de la logique dans l'activité mathématique des étudiants du premier cycle scientifique, Thèse de l'Université Louis Pasteur, Strasbourg.
(1989) La norme du vrai, philosophie de la logique. Gallimard: Paris
(1971) Ecrits logiques et Philosophiques, traduction et introduction de Claude Imbert. Seuil: Paris
(1975) The language of thought MIT Press, Bradford Books, Cambridge Mass., cité in ENGEL 1989
(1991) Reasoning on deontics rules : the pragmatic schemas approach, Intellectica n- 11, pp 15-52
(1994) Formes, opérations, objets. Vrin: Paris | MR
(1990) Logique et langage, Ophrys
(1986) Reasoning without logic, in T.Meyers, K.Brown & B.McGonigle (Eds) Reasoning and discourse processes,14-49, Academic press: London.
(1980) Mathématiques, la fin de la certitude, Traduction Française Christian Bourgois Editeur, 1989
(1993) Débat scientifique en cours de Mathématiques et spécificité de l'analyse, Repères-IREM n-10,pp 123-159
(1934) Contribution à l'histoire de la logique des propositions in
(1972) Logique mathématique Textes | Zbl
(1991) La logique des A.R.L., Bulletin de liaison IREM de Clermont-ferrand n° 43/44,pp 47-55
(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
(1981) Differences in interpretation of implication, American Journal of Psychology n° 94, pp 461-477, cité in Richard (1990)
(1991) L'informativité des énoncés : contraintes sur le jugement et le raisonnement. Intellectica n- 11, pp 111 -147
(1950) Methods of logic, Holt, Rinehart & Winston; Traduction française Armand Colin, 1972 | MR | Zbl
(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.
(1990) Les activités mentales : comprendre, raisonner, trouver des solutions. Armand Colin: Paris
(1903) Les principes de la mathématique, traduction française in RUSSELL, Ecrits de logique philosophique. PUF: Paris 1989
& (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)
(1921) Tractacus logico-philosophicus. Annalen der naturphilosophie, Leipzig; traduction française, Gallimard, 1961.
