Abstract
Philosophers have usually offered a number of ways of describing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and then not analysable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. The “computational turn” gives us a new way to understand creative processes in a strictly pragmatic sense. In fact, by exploiting artificial intelligence and cognitive science tools, computational philosophy allows us to test concepts and ideas previously conceived only in abstract terms. It is in the perspective of these actual computational models that I find the central role of abduction in the explanation of creative reasoning in science. Creativity and discovery are no more seen as a mysterious irrational process, but, thanks to constructive accounts, as a complex relationship among different inferential steps that can be clearly analysed and identified. I maintain that the computational philosophy analysis of model-based and manipulative abduction and of external and epistemic mediators is important not only to delineate the actual practice of abduction, but also to further enhance the development of programs computationally adequate in rediscovering, or discovering for the first time, for example, scientific hypotheses or mathematical theorems.
Similar content being viewed by others
Notes
Magnani (2001a, 2002) introduces the concept of theoretical abduction. He maintains that there are two kinds of theoretical abduction, “sentential”, related to logic and to verbal/symbolic inferences, and “model-based”, related to the exploitation of internalized models of diagrams, pictures, etc., cf. below in this paper.
Manipulative abduction and epistemic mediators are introduced and illustrated in Magnani 2001a.
I derive this expression from the cognitive anthropologist Hutchins, that coins the expression “mediating structure” to refer to various external tools that can be built to cognitively help the activity of navigating in modern but also in “primitive” settings. Any written procedure is a simple example of a cognitive “mediating structure” with possible cognitive aims: “Language, cultural knowledge, mental models, arithmetic procedures, and rules of logic are all mediating structures too. So are traffic lights, supermarkets layouts, and the contexts we arrange for one another’s behaviour. Mediating structures can be embodied in artefacts, in ideas, in systems of social interactions” (Hutchins 1995, pp. 290–291).
It is difficult to preserve precise spatial relationships using mental imagery, especially when one set of them has to be moved relative to another.
It is Hutchins (1995, p. 114) that uses the expression “cognitive ecology” when explaining the role of internal and external cognitive navigation tools. More suggestions on manipulative abduction can be derived by the contributions collected in Morgan and Morrison (eds., 1999), dealing with the mediating role of scientific models between theory and the “real world”.
The epistemic and cognitive role of mirror and unveiling diagrams in the discovery of non-Euclidean geometry is illustrated in Magnani 2002.
This is mathematically justified in Magnani and Dossena 2005.
Of course in the case we are using diagrams to demonstrate already known theorems (for instance in didactic settings), the strategy of manipulations is not necessary unknown and the result is not new.
This approach in computer science, involving the use of diagram manipulations as forms of acceptable methods of reasoning, was opened by Gelernter’s Geometry Machine (1963), but the diagrams played a very secondary role.
References
Boden MA (1991) The creative mind: myths and mechanisms. Basic Books, New York
Buchanan BG (2001) Creativity at the metalevel. AAAI-2000 presidential address. AI Mag Fall 2001:13-28
Cornuéjols A, Tiberghien A, Collet G (2000) A new mechanism for transfer between conceptual domains in scientific discovery and education. Found Sci 5(2):129-155 (special issue on Based reasoning in scientific discovery: Learning and discovery, ed by Magnani L, Nersessian NJ, Thagard P)
Gelernter H (1963) Realization of a geometry theorem proving machine. In: Feigenbaum E, Feldman J (eds) Computers and thought. McGraw Hill, New York, pp 134-152
Gooding D (1990) Experiment and the making of meaning. Kluwer Academic Publishers, Dordrecht
Hutchins E (1995) Cognition in the wild. The MIT Press, Cambridge
Kant I (1929) Critique of pure reason (trans by Kemp Smith N). (Reprint 1998) MacMillan, London (originally published 1787)
Kuhn TS (1962) The structure of scientific revolutions. (2nd edn, 1997). University of Chicago, Chicago
Lindsay RK (1994) Understanding diagrammatic demonstrations. In: Ram A, Eiselt K (eds) Proceedings of the 16th annual conference of the cognitive science society. Lawrence Erlbaum Associates, Hillsdale, pp 572-576
Lindsay RK (1998) Using diagrams to understand geometry. Comput Intell 9(4):343-345
Lindsay RK (2000) Playing with diagrams. In: Anderson M, Cheng P, Haarslev V (eds) Theory and application of diagrams: first international conference diagrams 2000. Springer, Berlin Heidelberg NewYork, pp 300-313
Magnani L (1992) Abductive reasoning: philosophical and educational perspectives in medicine. In: Evans DA, Patel VL (eds) Advanced models of cognition for medical training and practice. Springer, Berlin Heidelberg NewYork, pp 21-41
Magnani L (1999) Inconsistencies and creative abduction in science. In: AI and scientific creativity. Proceedings of the AISB99 symposium on scientific creativity. Society for the study of artificial intelligence and simulation of behaviour, Edinburgh College of Art and Division of Informatics, University of Edinburgh, Edinburgh, pp 1-18
Magnani L (2001a) Abduction, reason, and science. Processes of discovery and explanation. Kluwer Academic/Plenum Publishers, New York
Magnani L (2001b) Philosophy and geometry. Theoretical and historical issues. Kluwer Academic Publishers, Dordrecht
Magnani L (2002) Epistemic mediators and model-based discovery in science. In: Magnani L, Nersessian NJ (eds) Model-based reasoning: Science, technology, values. Kluwer Academic/Plenum Publishers, New York, pp 325-329
Magnani L, Dossena R (2005) Perceiving the infinite and then infinitesimal world: unveiling and optical diagrams in the construction of mathematical concepts. Found Sci 10:7-23
Morgan MS, Morrison M (1999) Models as mediators. Perspectives on natural and social science. Cambridge University Press, Cambridge
Nersessian NJ (1999) Model-based reasoning in conceptual change. In: Magnani L, Nersessian NJ, Thagard P (eds) Model-based reasoning in scientific discovery. Kluwer Academic/Plenum Publishers, New York, pp 5-22
Norman DA (1993) Things that make us smart defending human attributes in the age of the machines. Addison-Wesley, Reading
Peirce CS (1931-1958) Collected papers, 8 vols, ed by Hartshorne C and Weiss P (vols I-VI), and Burks AW (vols VII-VIII). Harvard University Press, Cambridge
Peirce CS (1986) Writings of Charles Sanders Peirce, A chronological edition, vol 3 (1872-1878). Indiana University Press, Bloomington
Piaget J (1974) Adaptation and intelligence. University of Chicago Press, Chicago
Popper KR (1959) The logic of scientific discovery. Hutchison, London
Reichenbach H (1938) Experience and prediction. University of Chicago Press, Chicago
Robinson A (1966) Non standard analysis. North-Holland, Amsterdam
Sternberg RJ (1999) Handbook of creativity. Cambridge University Press, Cambridge
Sternberg RJ, Kaufman JC, Pretz JE (2002) The creativity conundrum: a propulsion model of kinds of creative contributions. Psychology Press, New York
Thagard P (1992) Conceptual revolutions. Princeton University Press, Princeton
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Magnani, L. Symposium on “Cognition and Rationality: Part I” The rationality of scientific discovery: abductive reasoning and epistemic mediators. Mind & Society 5, 213–228 (2006). https://doi.org/10.1007/s11299-006-0018-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11299-006-0018-y