Abstract
What I call theoretical abduction (sentential and model-based) certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good (preferred) explanations of data, but fails to account for many cases of explanations occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper, together with an analysis of the related notion of “external representation”. Finally, some examples of computational programs that simulate geometrical reasoning are illustrated. The computational embodiment generates a kind of “squared” epistemic mediator: geometrical construction, as an example of epistemic mediator, is further mediated.
Similar content being viewed by others
References
Boutilier, C. & Becher, V. (1995) Abduction as belief revision,Artificial Intelligence, 77, pp. 43–94.
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).
Cornuéjols, A., Tiberghien, A. & Collet, G. (2000) A new mechanism for transfer between conceptual domains in scientific discovery and education, in L. Magnani, N.J. Nersessian & P. Thagard (Eds), Special IssueModel-based reasoning in scientific discovery: Learning and discovery, Foundations of Science, 5, 2, pp. 129–55.
Galilei, G. (1989)Dialogues concerning the two chief world systems, translated by S. Drake, edited by M.R. Matthews (Indianapolis-Cambridge, Hackett), pp. 61–81; originally published 1632.
Gelertner, H. (1959) Realization of a geometry theorem proving machine inInternational Conference on Information Processing (Paris, Unesco House), pp. 273–82.
Gooding, D. (1990)Experiment and the making of meaning (Dordrecht, Kluwer Academic Publishers).
Gooding, D. & Addis, T.R. (1999) A simulation of model-based reasoning about disparate phenomena, in L. Magnani, N.J. Nersessian & P. Thagard (Eds.),Model-based reasoning in scientific discovery (New York, Kluwer Academic/Plenum Publishers), pp. 103–23.
Holyoak, K.J. & Thagard, P. (1995)Mental leaps. Analogy in creative thought (Cambridge, MA, MIT Press).
Hutchins, E. (1995)Cognition in the wild (Cambridge MA, MIT Press).
Johnson-Laird, P.N. (1983)Mental models: Towards a cognitive science of language, inference, and consciousness (Cambridge MA, Harvard University Press).
Kant, I. (1929)Critique of pure reason, translated by N. Kemp Smith (London, MacMillan), reprint 1998; originally published 1787.
Kirlik, A. (1998) The ecological expert: Acting to create information to guide action, inProceedings of the 1998 Conference on Human Interaction with Complex Systems (HICS'98) (Piscataway NJ, IEEE Press).
Lindsay, R.K. (1994) Understanding diagrammatic demonstrations, in A. Ram & K. Eiselt (Eds),Proceedings of the 16 th Annual Conference of the Cognitive Science Society (Hillsdale NJ, Erlbaum), pp. 572–6.
Lindsay, R.K. (1998) Using diagrams to understand geometry,Computational Intelligence, 9, 4, pp. 343–5.
Lindsay, R.K. (2000a) Using spatial semantics to discover and verify diagrammatic demonstrations of geometric propositions, in S. O'Nuallian (Ed.),Spatial cognition (Amsterdam, John Benjamins), pp. 199–212.
Lindsay, R.K. (2000b) Playing with diagrams, in M. Anderson, P. Cheng & V. Haarslev (Eds),Theory and Application of Diagrams: First International Conference (Berlin, Springer), pp. 300–13.
Lindsay, R.K. (2002) Knowing about diagrams, in M. Anderson, B. Meyer & P. Olivier (Eds)Diagrammatic Representation and Reasoning (Berlin, Springer), pp. 29–46.
Magnani, L. (1992) Abductive reasoning: philosophical and educational perspectives in medicine, in D.A. Evans & V.L. Patel (Eds),Advanced models of cognition for medical training and practice (Berlin, Springer), pp. 21–41.
Magnani, L. (1999a) Model-based creative abduction, in L. Magnani, N.J. Nersessian & P. Thagard (Eds),Model-based reasoning in scientific discovery (New York, Kluwer Academic/Plenum Publishers), pp. 219–38.
Magnani, L. (1999b) Inconsistencies and creative abduction in science, inAI and scientific creativity: Proceedings of the AISB'99 Symposium on Scientific Creativity, Society for the Study of Artificial Intelligence and Simulation of Behaviour (Edinburgh, Edinburgh College of Art and Division of Informatics, University of Edinburgh), pp. 1–8.
Magnani, L. (2001a)Abduction, reason, and science, processes of discovery and explanation (New York, Kluwer Academic/Plenum Publishers).
Magnani, L. (2001b)Philosophy and geometry. Theoretical and historical issues (Dordrecht, Kluwer Academic Publishers).
Magnani, L. (2002) Epistemic mediators and model-based discovery in science, in L. Magnani & N.J. Nersessian (Eds),Model-based reasoning: science, technology, values (New York, Kluwer Academic/Plenum Publishers), pp. 305–29.
Magnani, L., Civita, S. & Previde Massara, G. (1994) Visual cognition and cognitive modeling, in V. Cantoni (Ed.),Human and machine vision: Analogies and divergences (New York, Plenum Publishers), pp. 229–43.
Magnani, L. & Dossena, R. (forthcoming) Perceiving the infinite and the infinitesimal world: Unveiling and optical diagrams and the construction of mathematical concepts,Foundations of Science.
Magnani, L. & Nersessian, N.J. (Eds) (2002)Model-based reasoning, science, technology, values (New York, Kluwer Academic/Plenum Publishers).
Magnani, L., Nersessian, N.J. & Pizzi, P. (Eds) (2002)Logical and computational aspects of model-based reasoning (Dordrecht, Kluwer Academic Publishers).
Matthews, M.R. (1989)The scientific background to modern philosphy (Indianapolis-Cambridge, Hackett).
Morgan, M.S. & Morrison, M. (Eds) (1999)Models as mediators. Perspectives on natural and social science (Cambridge, Cambridge University Press).
Nersessian, N.J. (1998) Kuhn and the cognitive revolution,Configurations, 6, pp. 87–120.
Nersessian, N.J. (1999) Model-based reasoning in conceptual change, in L. Magnani, N.J. Nersessian & P. Thagard (Eds),Model-based reasoning in scientific discovery (New York, Kluwer Academic/Plenum Publishers), pp. 5–22.
Newell, A. (1990)Unified theories of cognition (Cambridge MA, Harvard University Press).
Norman, D.A. (1993)Things that make us smart. Defending human attributes in the age of the machine (Reading MA, Addison-Wesley).
Peirce, C.S. (1955) Perceptual judgments, in C.S. Peirce,Philosophical Writtings of Perice, edited by J. Buchler (New York, Dover), pp. 302–5.
Peirce, C.S. (1931–1958)(CP), Collected papers, 8 vols., edited by C. Hartshorne, P. Weiss (vols I–VI) & A.W. Burks (vols VII–VIII) (Cambridge MA, Harvard University Press).
Piaget, J. (1974)Adaptation and intelligence (Chicago, The University of Chicago Press).
Ramoni, M., Stefanelli, M., Magnani, L. & Barosi, G. (1992) An epistemological framework for medical knowledge-based systems,IEEE Transactions on Systems, Man, and Cybernetics, 22, 6, pp. 1361–75.
Shelley, C. (1996) Visual abductive reasoning in archaeology,Philosophy of Science, 63, 2, pp. 278–301.
Thagard, P. (1988)Computational philosophy of science (Cambridge MA, MIT Press).
Thagard, P. (1992)Conceptual revolutions (Princeton NJ, Princeton University Press).
Zhang, J. (1997) The nature of external representations in problem solving,Cognitive Science, 21, 2, pp. 179–217.
Zhang, J. & Norman, D.A. (1994) Representations in distributed cognitive tasks,Cognitive Science, 18, pp. 87–122.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Magnani, L. Conjectures and manipulations: External representations in scientific reasoning. Mind & Society 3, 9–31 (2002). https://doi.org/10.1007/BF02511863
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02511863