Abstract
Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological tradition in a new way by taking advantage of information-theoretic, cognitive, and artificial intelligence methodologies. I maintain that the results of computational philosophy meet the classical requirements of some Peircian ‘pragmatic ambitions’. Indeed, more than a 100 years ago, the American philosopher C.S. Peirce, when working on logical and philosophical problems, suggested the concept of pragmatism(‘pragmaticism’, in his own words) as a logical criterion to analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, many philosophers have usually offered a number of ways of construing hypotheses generation, but they aim at demonstrating that the activity of generating hypotheses is paradoxical, obscure, and thus not analyzable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. To dismiss this tendency and gain interesting insight about the so-called ‘logic of scientific discovery’ we need to build constructive procedures, which could play a role in moving the problem-solving process forward by implementing them in some actual models. 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. 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. The last part of the paper is devoted to illustrating the problem of the extra-theoretical dimension of reasoning and discovery from the perspective of some mathematical cases derived from calculus and geometry.
Similar content being viewed by others
References
Boutilier, C.and Becher, V.(1995), 'Abduction as Belief Revision ', Artificial Intelligence 77, pp.43-94.
Bylander, T., Allemang, D., Tanner, M.C.and Josephson, J.R.(1991), 'The Computational Complexity of Abduction', Artificial Intelligence 49, pp.25-60.
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.
Cornue´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.
Flach, P.and Kakas, A.(eds.)(2000), Abductive and Inductive Reasoning:Essays on Their Relation and Integration, Dordrecht: Kluwer Academic Publishers.
Fleck, J.(1996), 'Informal Information Flow and the Nature of Expertise in Financial Ser-vice', International Journal of Technology Management 11(1-2), pp.104-128.
Gelertner, H.(1959), 'Realization of a Geometry Theorem Proving Machine', in International Conference on Information Processing, Paris: Unesco House, pp.273-282.
Gooding, D.(1990), Experiment and the Making of Meaning, Dordrecht: Kluwer Academic Publishers.
Hempel, C.G.(1966), Philosophy of Natural Science.Englewood Cliffs, NJ: Prentice-Hall.
Hintikka, J.(1998), 'What Is Abduction?The Fundamental Problem of Contemporary Epistemology ', Transactions of the Charles S.Peirce Society 34, pp.503-533.
Howells, J.(1996), 'Tacit Knowledge, Innovation and Technology Transfer', Technology Analysis & Strategic Management 8(2), pp.91-105.
Hutchins, E.(1995), Cognition in the Wild, Cambridge, MA: MIT Press.
Johnson-Laird, P.N.(1983), Mental Models, Cambridge, MA: Harvard University Press.
Kant, I.(1929), Critique of Pure Reason, London: MacMillan.Translated by N.Kemp Smith, originally published 1787, reprint 1998.
Kuhn, T.S.(1962), The Structures of Scientific Revolutions, Chicago: University of Chicago Press.
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.
Lindsay, R.(1998), 'Using Diagrams to Understand Geometry ', Computational Intelligence 9(4), pp.343-345.
Lindsay, R.(2000a), 'Playing with Diagrams', in P.C.M. Anderson and V.Haarslev, eds., Diagrams 2000, Berlin: Springer, pp.300-313.
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.
Lobachevsky, N.J.(1891), Geometrical Researches on the Theory of Parallels, Austin, TX: University of Texas.
Magnani, L.(1997), Ingegnerie della Conoscenza.Introduzione alla Filoso a Computazionale, Milan: Marcos y Marcos.
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.
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.
Magnani, L.(2001b), Philosophy and Geometry.Theoretical and Historical Issues, Dordrecht: Kluwer Academic Publishers.
Magnani, L.(2001c), Abduction, Reason, and Science.Processes of Discovery and Explanation, New York: Kluwer Academic/Plenum Publishers.
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.
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.
Magnani, L.and Dossena, R.(in press), 'Perceiving the In nite and the In nitesimal World: Unveiling and Optical Diagrams and the Construction of Mathematical Concepts', Foundations of Science.
Magnani, L.and Piazza, M.(in press), 'Morphodynamical Abduction:Causation by Attractors Dynamics of Explanatory Hypotheses in Science', Foundations of Science.
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.
Nersessian, N.J.(1995), 'Should Physicists Preach What They Practice?Constructive Modeling in Doing and Learning Physics', Science and Education 4, pp.203-226.
Nersessian, N.J.(1999), 'Model-Based Reasoning in Conceptual Change', in L.Magnani, N.J. Nersessian and P. Thagard, eds., Model-Based Reasoning in Scientific Discovery. New York: Kluwer Academic/Plenum Publishers, pp.5-22.
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.(1986), Writings of Charles Sanders Peirce, A Chronological Edition, Vol.3 (1872-1878 ).Bloomington, IN: Indiana University Press.
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.
Piaget, J.(1974), Adaption and Intelligence, Chicago: University of Chicago Press.
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.
Polanyi, M.(1966), The Tacit Dimension, London: Routledge & Kegan Paul.
Popper, K.R.(1959), The Logic of Scientific Discovery, London, New York: Hutchinson.
Port, R.F.and van Gelder, T.(eds.)(1995), Mind as Motion.Explorations in the Dynamics of Cognition, Cambridge, MA: MIT Press.
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.
Reichenbach, H.(1938), Experience and Prediction.Chicago, IL: University of Chicago Press.
Robinson, A.(1966), Non-Standard Analysis, Amsterdam: North Holland.
Thagard, P.(1992), Conceptual Revolutions, Princeton: Princeton University Press.
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.
Zhang, J.(1997), 'The Nature of External Representations in Problem-Solving ', Cognitive Science 21(2), pp.179-217.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Magnani, L. Conjectures and Manipulations. Computational Modeling and the Extra- Theoretical Dimension of Scientific Discovery. Minds and Machines 14, 507–538 (2004). https://doi.org/10.1023/B:MIND.0000045989.64955.e7
Issue Date:
DOI: https://doi.org/10.1023/B:MIND.0000045989.64955.e7