Abstract
The analysis of abductive processes illustrated in the previous chapters, in terms of the effort to naturalize the logic of its special consequence relation, leads us to the emphasis on the importance of the following main aspects: “optimization of eco-cognitive situatedness”, “maximization of changeability” of both input and output of the general form of an inferential abductive problem, and high “information-sensitiveness”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Cf. Sect. 3.3, Chap. 3, this book.
- 2.
I have illustrated non-explanatory and instrumental abduction in (Magnani 2009, Chap. 2), also providing some case studies.
- 3.
On the fact that considering logical reasoning a discursive process is an “optical illusion” cf. Sect. 7.2.3.1: for example Hintikka maintains that deduction is a form of “experimental model construction”.
- 4.
Cf. Sect. 1.3, Chap. 1, this book.
- 5.
An evolved mind is unlikely to have a natural home for complicated concepts like the ones logic introduced, as such concepts do not exist in a definite way in the natural (not artificially manipulated) world: so whereas evolved minds could construct reasoning frameworks and perform some simple reasoning inferences in a more or less tacit way by exploiting modules shaped by natural selection, how could one think exploiting explicit complicated logical concepts without having picked them up outside, after having produced them?
- 6.
We have to remember that one limitation of ALP (Abductive Logic Programming) is that it requires a set of “abducibles” in advance, and these are limited to facts (literals). From this perspective, this framework is not better than any other inferential-based one.
- 7.
CL, computational logic, refers to the computational approach to logic that has proved to be fruitful for creating non-trivial applications in computing, artificial intelligence (AI), and law.
- 8.
In (Magnani 2009, Chap. 1, Sect. 4) I have provided an illustration of the tradition of logic programming related to the exploitation of the belief revision framework: I described the application to selective abduction also in the field of artificial intelligence (AI) and the role of coherence and foundations approach, reason and truth maintenance systems, model-based diagnosis, etc. Abductive belief revision in science is illustrated in the recent (Schurz 2011).
- 9.
As previously indicated, it is important to distinguish between selective abduction (that merely selects from an encyclopedia of pre-stored hypotheses), and creative abduction (abduction that generates new hypotheses).
- 10.
Cf. also (Fischer 2001).
- 11.
- 12.
From this mathematical perspective artifacts, in so far as they are expressed through icons, visual and other non-linguistic configurations, are “memory stores” in themselves (Leyton 2006).
- 13.
A recent survey about the importance of models in abductive cognition is illustrated in (Figueroa 2012).
- 14.
Clarifications of exact processes and semantic requirements of manipulative inferences and distributed cognition are given in (Shimojima 2002).
- 15.
Often made possible thanks to conceptual creative abductions.
- 16.
Woods provides other examples of institutional agents, such as Nato, M15 or an university. In this perspective individual organic agents possess “fewer” cognitive assets than institutional agents (Woods 2013, Chap. 8).
- 17.
- 18.
A recent book by Caterina and Gangle (2016), addresses the problems involved in formalizing abductive cognition by implementing the concept and method of iconicity, modeling this theoretical framework mathematically through category theory and topoi. Peirce’s concept of iconic signs is treated in depth, and it is shown how Peirce’s diagrammatic logical notation of existential graphs makes use of iconicity and how important features of this iconicity are representable within category theory.
- 19.
It is worth to be noted that semantic tableaux method provides further insight on the problem of theory evaluation, intrinsic in abductive reasoning. Semantic tableaux can deal with “causal” aspects of abductive reasoning that cannot easily be considered with the only help of the logic programming tradition—cf. Aliseda (2006, Chaps. 6 and 7).
- 20.
In this perspective, the employment of logical rules in deduction calls for a strategic reasoning: this kind of reasoning is not co-extensive with heuristic reasoning in general, which seems more psychological, but this fact does not attenuate the “logical” nature of these strategies in deductive proofs. Moreover, even if heuristic reasoning seems, at a first sight, more psychological than logical, we do not have to forget that heuristic templates of reasoning can be rendered explicit and objectified in a kind of classificatory system (see for example the well-known works by Gigerenzer and his colleagues (Gigerenzer and Selten 2002; Gigerenzer and Brighton 2009; Gigerenzer et al. 2016)).
- 21.
A rich analysis of the role of individual diagrams in deduction and in problem solving processes (that is in abductive cognition) is given by Shin (2012). The interesting interplay between contentual axiomatics (dealing with the locality of diagrams) and formal axiomatics in Hilbert’s research is deeply analyzed by Smadya (2012). Indeed, Hilbert held that diagrams are to be thought of as “drawn formulas”, and formulas as “written diagrams”, suggesting that the former encapsulate propositional information which can be extracted and translated into formulas.
- 22.
Cf. above, Chap.1, Sect. 1.3, this book.
- 23.
Cf. also Sect. 7.1.4.
- 24.
Also the notion “of proof-nets” (a geometry of proofs), such as graphical representations of proof in Girard’s linear logic (Girard 1987) can be related to this perspective resorting both to Hilbert and Gentzen . (Grialou and Okada 2005) also provide neurological evidence of the involvement of both language and visual/diagrammatic processing systems in logical reasoning. On the role of errors, due to the context, in spontaneously performed logical reasoning in humans and on their rudimentary deductive competence see the classical (Evans 2002).
References
Alchourrón, C., Gärdenfors, P., and Makison, P. (1985). On the theory of logic change: Partial meet functions for contractions and revision. Journal of Symbolic Logic, 50:510–530.
Aliseda, A. (2006). Abductive Reasoning. Logical Investigations into Discovery and Explanation. Springer, Heidelberg/Berlin.
Aust, U., Apfalter, W., and Huber, L. (2005). Pigeon categorization: Classification strategies in a non-linguistic species. In Grialou, P., Longo, G., and Okada, M., editors, Images and Reasoning, pages 183–204. Keio University, Tokyo.
Benacerraf, P. (2014). Mathematical truth. The Journal of Philosophy, 70:661–679.
Boutilier, C. and Becher, V. (1995). Abduction as belief revision. Artificial Intelligence, 77:43–94.
Bruza, P. D., Cole, R. J., Song, D., and Bari, Z. (2006). Towards operational abduction from a cognitive perspective. Logic Journal of the IGPL, 14(2):161–179.
Bruza, P. D., Kitto, K., Ramm, B., Sitbon, L., Blomberg, S., and Song, D. (2012). Quantum-like non-separability of concept combinations, emergent associates and abduction. Logic Journal of the IGPL, 20(2):445–457.
Butterworth, B. (1999). The Mathematical Brain. MacMillan, New York.
Caterina, G. and Gangle, R. (2016). Iconicity and Abduction. Springer, Switzerland.
Châtelet, G. (1993). Les enjeux du mobile. Seuil, Paris. English translation by R. Shore and M. Zagha, Figuring Space: Philosophy, Mathematics, and Physics, Kluwer Academic Publishers, Dordrecht, 2000.
Clark, A. (2003). Natural-Born Cyborgs. Minds, Technologies, and the Future of Human Intelligence. Oxford University Press, Oxford.
Dehaene, S. (1997). The Number Sense. Oxford University Press, Oxford.
Estrada-González, L. (2013). Remarks on some general features of abduction. Journal of Logic and Computation, 232(1):181–197.
Evans, J. S. (2002). Logic and human reasoning: An assessment of deduction paradigm. Psychological Bulletin, 128(8):978–996.
Figueroa, A. R. (2012). Inferencia abductiva basada en modelos. Una relación entre lógica y cognitión. Crítica. Revista Hispanoamericana de Filosofía, 43(129):3–29.
Fischer, H. R. (2001). Abductive reasoning as a way of worldmaking. Foundations of Science, 6(4):361–383.
Gabbay, D. M. (2002). Abduction in labelled deductive systems. In Gabbay, D. M. and Kruse, R., editors, Handook of Defeasible Reasoning and Uncertainty Management Systems, pages 99–153. Kluwer Academic Publishers, Dordrecht.
Gabbay, D. M. and Woods, J. (2005). The Reach of Abduction. North-Holland, Amsterdam.
Gabbay, D. M. and Woods, J. (2006). Advice on abductive logic. Logic Journal of the IGPL, 14(1):189–220.
Gärdenfors, P. (1988). Knowledge in Flux. The MIT Press, Cambridge.
Gärdenfors, P., editor (1992). Belief Revision. Cambridge University Press, Cambridge.
Gärdenfors, P. (2000). Conceptual Spaces: The Geometry of Thought. The MIT Press, Cambridge.
Gigerenzer, G. and Brighton, H. (2009). Homo heuristicus: Why biased minds make better inferences. Topics in Cognitive Science, 1:107–143.
Gigerenzer, G., Hertwig, R., and Pachur, T. (2016). Heuristics: The Foundations of Adaptive Behavior. Oxford University Press, Oxford.
Gigerenzer, G. and Selten, R. (2002). Bounded Rationality. The Adaptive Toolbox. The MIT Press, Cambridge, MA.
Girard, R. (1987). Linear logic. Theoretical Computer Science, 50(1):1–102.
Grialou, P. and Okada, M. (2005). Questions on two cognitive models of deductive reasoning. In Grialou, P., Longo, G., and Okada, M., editors, Images and Reasoning, pages 31–67. Keio University, Tokyo.
Hintikka, J. (1997a). The place of C. S. Peirce in the history of logical theory. In Lingua Universalis vs. Calculus Ratiocinator. An Ultimate Presupposition of Twentieth-Century Philosophy, pages 140–161. Springer, Heidelberg/Berlin. Jaakko Hintikka Selected Papers, Volume 2.
Hintikka, J. (1997b). What was Aristotle doing in his early logic, anyway? A reply to Woods and Hansen. Synthese, 113:241–249.
Hintikka, J. (1998). What is abduction? The fundamental problem of contemporary epistemology. Transactions of the Charles S. Peirce Society, 34:503–533.
Hintikka, J. and Remes, U. (1974). The Method of Analysis. Its Geometrical Origin and Its General Significance. Reidel, Dordrecht.
Hutchins, E. (1995). Cognition in the Wild. The MIT Press, Cambridge, MA.
Kowalski, R. A. (1994). Logic without model theory. In Gabbay, D. M., editor, What is a Logical System?, pages 35–71. Oxford University Press, Oxford.
Lestel, D. and Herzfeld, C. (2005). Topological ape: Knots tying and untying and the origins of mathematics. In Grialou, P., Longo, G., and Okada, M., editors, Images and Reasoning, pages 147–162. Keio University, Tokyo.
Leyton, M. (1999). Symmetry, Causality, Mind. The MIT Press, Cambridge, MA.
Leyton, M. (2001). A Generative Theory of Shape. Springer, Berlin.
Leyton, M. (2006). The Structure of Paintings. Springer, Berlin/New York.
Longo, G. (2005). The cognitive foundations of mathematics: Human gestures in proofs and mathematical incompleteness of formalisms. In Grialou, P., Longo, G., and Okada, M., editors, Images and Reasoning, pages 105–134. Keio University, Tokyo.
Magnani, L. (2009). Abductive Cognition. The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning. Springer, Heidelberg/Berlin.
Niiniluoto, I. (1999). Abduction and geometrical analysis. Notes on Charles S. Peirce and Edgar Allan Poe. In Magnani, L., Nersessian, N. J., and Thagard, P., editors, Model Based Reasoning in Scientific Discovery, pages 239–254. Plenum Publishers/Kluwer Academic, New York.
Peirce, C. S. (1931–1958). Collected Papers of Charles Sanders Peirce. Harvard University Press, Cambridge, MA. vols. 1-6, Hartshorne, C. and Weiss, P., eds.; vols. 7-8, Burks, A. W., ed.
Schurz, G. (2011). Abductive belief revision in science. In Olsson, E. J., editor, Belief Revision Meets Philosophy of Science, pages 77–104. Springer, Heidelberg.
Shimojima, A. (2002). A logical analysis of graphical consistency proof. In Magnani, L., Nersessian, N. J., and Pizzi, C., editors, Logical and Computational Aspects of Model-Based Reasoning, pages 93–116. Kluwer Academic Publishers, Dordrecht.
Shin, S. (2012). The forgotten individual: Diagrammatic reasoning in mathematics. Synthese, 186(1):149–168.
Smadja, I. (2012). Local axioms in disguise: Hilbert on Minkowski diagrams. Synthese, 186(1):315–370.
Swoboda, N. and Allwein, G. (2002). A case study of the design and implementation of heterogeneous reasoning systems. In Magnani, L., Nersessian, N. J., and Pizzi, C., editors, Logical and Computational Aspects of Model-Based Reasoning, pages 3–20. Kluwer Academic Publishers, Dordrecht.
Theissier, B. (2005). Protomathematics, perception and the meaning of mathematical objects. In Grialou, P., Longo, G., and Okada, M., editors, Images and Reasoning, pages 135–45. Keio University, Tokyo.
Turing, A. M. (1950). Computing machinery and intelligence. Mind, 49:433–460.
van Benthem, J. (1996). Exploring Logical Dynamics. CSLI Publications, Stanford, CA.
van Benthem, J. (2007). Abduction at the interface of logic and philosophy of science. Theoria, 60(22/3):271–273.
Woods, J. (2004). The Death of Argument. Kluwer Academic Publishers, Dordrecht.
Woods, J. (2007). Ignorance and semantic tableaux: Aliseda on abduction. Theoria, 60(22/3):305–318.
Woods, J. (2013). Errors of Reasoning. Naturalizing the Logic of Inference. College Publications, London.
Woods, J. (2017). Truth in Fiction: Rethinking Its Logic. Forthcoming.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Magnani, L. (2017). Science Maximizes Abducibility. In: The Abductive Structure of Scientific Creativity. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 37. Springer, Cham. https://doi.org/10.1007/978-3-319-59256-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-59256-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-59255-8
Online ISBN: 978-3-319-59256-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)