J. Barwise and J. Etchemendy, The language of first-order logic: Including the Microsoft Windows program Tarski's World 4.0 for use with IBM-compatible computers, 1992.

J. Barwise and . J. Etchemendy, Computers, visualization, and the nature of reasoning The digital phoenix: How computers are changing philosophy, pp.93-116, 1998.

J. S. Bruner, The act of discovery, Harvard Educational Review, vol.31, issue.1, pp.21-32, 1961.
URL : https://hal.archives-ouvertes.fr/hal-00692072

A. C. Chinn and W. F. Brewer, The Role of Anomalous Data in Knowledge Acquisition: A Theoretical Framework and Implications for Science Instruction, Review of Educational Research, vol.63, issue.1, pp.1-49, 1993.
DOI : 10.3102/00346543063001001

K. Dunbar, Concept Discovery in a Scientific Domain, Cognitive Science, vol.14, issue.3, pp.397-434, 1993.
DOI : 10.1207/s15516709cog1703_3

T. H. Eysink, S. Dijkstra, and J. Kuper, Cognitive processes in solving variants of computer-based problems used in logic teaching, Computers in Human Behavior, vol.17, issue.1, pp.1-19, 2001.
DOI : 10.1016/S0747-5632(00)00038-8
URL : https://hal.archives-ouvertes.fr/hal-00197362

P. Fung, T. O-'shea, D. Goldson, S. Reeves, and R. Bornat, Why computer science students find formal reasoning frightening, Journal of Computer Assisted Learning, vol.24, issue.5, pp.240-250, 1994.
DOI : 10.1016/0743-1066(88)90001-5

D. Goldson, S. Reeves, and R. Bornat, A Review of Several Programs for the Teaching of Logic, The Computer Journal, vol.36, issue.4, pp.373-386, 1993.
DOI : 10.1093/comjnl/36.4.373

P. N. Johnson-laird, Mental Models, Foundations of cognitive science, pp.469-499, 1989.
URL : https://hal.archives-ouvertes.fr/hal-00702919

D. H. Jonassen, Objectivism versus constructivism: Do we need a new philosophical paradigm? Educational Technology: Research and Development, pp.5-14, 1991.

J. Klayman and Y. Ha, Confirmation, disconfirmation, and information in hypothesis testing., Psychological Review, vol.94, issue.2, pp.211-228, 1987.
DOI : 10.1037/0033-295X.94.2.211

D. Kuhn, L. Schauble, and M. Garcia-mila, Cross-Domain Development of Scientific Reasoning, Cognition and Instruction, vol.51, issue.4, pp.285-327, 1992.
DOI : 10.1037//0003-066X.46.6.606

C. R. Mynatt, M. E. Doherty, and R. D. Tweney, Consequences of confirmation and disconfirmation in a simulated research environment, Quarterly Journal of Experimental Psychology, vol.30, issue.3, pp.395-406, 1978.
DOI : 10.1080/14640746808400161

J. Piaget, Epistémologie génétique. [Genetic epistemology], 1970.