Conjectures and manipulations. Computational modeling and the extra-theoretical dimension of scientific discovery

Minds and Machines

Volumn 14, Issue 4, 2004, Pages 507-538

  Magnani, Lorenzo ^a,b  

^a UNIVERSITY OF PAVIA   (Italy)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Abduction; Computational philosophy; Distributed cognition; Manipulative abduction; Model based reasoning; Rationality

Indexed keywords

COGNITIVE SYSTEMS; MATHEMATICAL MODELS; PATENTS AND INVENTIONS; PHILOSOPHICAL ASPECTS; PROBLEM SOLVING;

ABDUCTION; COMPUTATIONAL PHILOSOPHY; DISTRIBUTED COGNITION; MANIPULATIVE ABDUCTION; MODEL-BASED REASONING; RATIONALITY;

COMPUTATIONAL METHODS;

EID: 23944461492     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:MIND.0000045989.64955.e7     Document Type: Article

References (47)

1. Boutilier, C. and Becher, V. (1995), 'Abduction as Belief Revision', Artificial Intelligence 77, pp. 43-94.
2. Bylander, T., Allemang, D., Tanner, M.C. and Josephson, J.R. (1991), 'The Computational Complexity of Abduction', Artificial Intelligence 49, pp. 25-60.
3. Byrne, O. (1847), The First Six Books of the Elements of Euclid in Which Coloured Diagrams and Symbols Are Used Instead of Letters for the Greater Ease of Learners, London: William Pickering.
4. Cornuéjols, A., Tiberghien, A. and Collet, G. (2000), 'A New Mechanism for Transfer between Conceptual Domains in Scientific Discovery and Education', Foundations of Science 5(2), pp. 129-155.
5. Flach, P. and Kakas, A. (eds.) (2000), Abductive and Inductive Reasoning: Essays on Their Relation and Integration, Dordrecht: Kluwer Academic Publishers.
6. Fleck, J. (1996), 'Informal Information Flow and the Nature of Expertise in Financial Service', International Journal of Technology Management 11(1-2), pp. 104-128.
7. Gelertner, H. (1959), 'Realization of a Geometry Theorem Proving Machine', in International Conference on Information Processing, Paris: Unesco House, pp. 273-282.
8. Gooding, D. (1990), Experiment and the Making of Meaning, Dordrecht: Kluwer Academic Publishers.
9. Hempel, G.G. (1966), Philosophy of Natural Science. Englewood Cliffs, NJ: Prentice-Hall.
10. Hintikka, J. (1998), 'What Is Abduction? The Fundamental Problem of Contemporary Epistemology', Transactions of the Charles S. Peirce Society 34, pp. 503-533.
11. Howells, J. (1996), 'Tacit Knowledge, Innovation and Technology Transfer', Technology Analysis & Strategic Management 8(2), pp. 91-105.
12. Hutchins, E. (1995), Cognition in the Wild, Cambridge, MA: MIT Press.
13. Johnson-Laird, P.N. (1983), Mental Models, Cambridge, MA: Harvard University Press.
14. Kant, I. (1929), Critique of Pure Reason, London: MacMillan. Translated by N. Kemp Smith, originally published 1787, reprint 1998.
15. Kuhn, T.S. (1962), The Structures of Scientific Revolutions, Chicago: University of Chicago Press.
16. Lindsay, R. (1994), 'Understanding Diagrammatic Demonstrations', in A. Ram and K. Eiselt, eds., Proceedings of the 16th Annual Conference of the Cognitive Science Society, Paris: Erlbaum Hillsdale, pp. 572-576.
17. Lindsay, R. (1998), 'Using Diagrams to Understand Geometry', Computational Intelligence 9(4), pp. 343-345.
18. Lindsay, R. (2000a), 'Playing with Diagrams', in P.C.M. Anderson and V. Haarslev, eds., Diagrams 2000, Berlin: Springer, pp. 300-313.
19. Lindsay, R. (2000b), 'Using Spatial Semantics to Discover and Verify Diagrammatic Demonstrations of Geometric Propositions', in S. O'Nuallian, ed., Spatial Cognition of the 16th Annual Conference of the Cognitive Science Society, Amsterdam: John Benjamins, pp. 199-212.
20. Lobachevsky, N.J. (1891), Geometrical Researches on the Theory of Parallels, Austin, TX: University of Texas.
21. Magnani, L. (1997), Ingegnerie della Conoscenza. Introduzione alla Filosofia Computazionale, Milan: Marcos y Marcos.
22. Magnani, L. (1999), 'Inconsistencies and Creative Abduction in Science', in AI and Scientific Creativity. Proceedings of the A1SB99 Symposium on Scientific Creativity, Edinburgh: Society for the Study of Artificial Intelligence and Simulation of Behaviour, University of Edinburgh, pp. 1-8.
23. Magnani, L. (2001a), 'Limitations of Recent Formal Models of Abductive Reasoning', in A. Kakas and F. Toni, eds., Abductive Reasoning. KKK-2, 17th International Joint Conference on Artificial Intelligence (IJCAI2001), Berlin: Springer, pp. 34-40.
24. Magnani, L. (2001b), Philosophy and Geometry. Theoretical and Historical Issues, Dordrecht: Kluwer Academic Publishers.
25. Magnani, L. (2001c), Abduction, Reason, and Science. Processes of Discovery and Explanation, New York: Kluwer Academic/Plenum Publishers.
26. Magnani, L. (2002a), 'Epistemic Mediators and Model-Based Discovery in Science', in L. Magnani and N.J. Nersessian, eds., Model-Based Reasoning: Science, Technology, Values, New York: Kluwer Academic/Plenum Publishers, pp. 305-329.
27. Magnani, L. (2002b), Thinking through Doing, External Representations in Abductive Reasoning', in AISB 2002 Symposium on AI and Creativity in Arts and Science, London, Imperial College.
28. Magnani, L. and Dossena, R. (in press), 'Perceiving the Infinite and the Infinitesimal World: Unveiling and Optical Diagrams and the Construction of Mathematical Concepts', Foundations of Science.
29. Magnani, L. and Piazza, M. (in press), 'Morphodynamical Abduction: Causation by Attractors Dynamics of Explanatory Hypotheses in Science', Foundations of Science.
30. Nersessian, N.J. (1992), 'How Do Scientists Think? Capturing the Dynamics of Conceptual Change in Science', in R. Giere, ed., Cognitive Models of Science, Minneapolis: University of Minnesota Press, pp. 3-44.
31. Nersessian, N.J. (1995), 'Should Physicists Preach What They Practice? Constructive Modeling in Doing and Learning Physics', Science and Education 4, pp. 203-226.
32. Nersessian, N.J. (1999), 'Model-Based Reasoning in Conceptual Change', in L. Magnani, N.J.
33. Nersessian and P. Thagard, eds., Model-Based Reasoning in Scientific Discovery. New York: Kluwer Academic/Plenum Publishers, pp. 5-22.
34. Norman, D.A. (1993), Things That Make Us Smart. Defending Human Attributes in the Age of the Machine. Reading, MA: Addison-Wesley.
35. Peirce, C.S. (1986), Writings of Charles Sanders Peirce, A Chronological Edition, Vol. 3 (1872-1878). Bloomington, IN: Indiana University Press.
36. Peirce, C.S. (CP), Collected Papers, Cambridge, MA: Harvard University Press. 1-6, ed. by C. Hartshorne and P. Weiss, 7-8, ed. by A.W. Burks, 1931-1958.
37. Piaget, J. (1974), Adaption and Intelligence, Chicago: University of Chicago Press.
38. Plato (1977), Plato in Twelve Volumes, Cambridge, MA: Harvard University Press, Vol. II, Laches, Protagoras, Meno, Euthydemus, with an English translation by W.R.M. Lamb.
39. Polanyi, M. (1966), The Tacit Dimension, London: Routledge & Kegan Paul.
40. Popper, K.R. (1959), The Logic of Scientific Discovery, London, New York: Hutchinson.
41. Port, R.F. and van Gelder, T. (eds.) (1995), Mind as Motion. Explorations in the Dynamics of Cognition, Cambridge, MA: MIT Press.
42. Ramoni, M., Stefanelli, M., Magnani, L. and Barosi, G. (1992), 'An Epistemological Framework for Medical Knowledge-Based Systems', IEEE Transactions on Systems, Man, and Cybernetics 22(6), pp. 1361-1375.
43. Reichenbach, H. (1938), Experience and Prediction. Chicago, IL: University of Chicago Press.
44. Robinson, A. (1966), Non-Standard Analysis, Amsterdam: North Holland.
45. Thagard, P. (1992), Conceptual Revolutions, Princeton: Princeton University Press.
46. Thagard, P. and Shelley C.P. (1997), 'Abductive Reasoning: Logic, Visual Thinking, and Coherence', in M.L.D. Chiara, K. Doets, D. Mundici and J. van Benthem, eds., Logic and Scientific Methods, Dordrecht: Kluwer Academic Publishers, pp. 413-427.
47. Zhang, J. (1997), 'The Nature of External Representations in Problem-Solving', Cognitive Science 21(2), pp. 179-217.