Abstract

In this article I will take advantage of the logical and cognitive studies I have illustrated in my recent book The Abductive Structure of Scientific Creativity. An Essay on the Ecology of Cognition, in which the process of building new hypotheses is clarified thanks to my eco-cognitive model of abduction. Also resorting to a new interpretation of Aristotle’s seminal work on abduction, I will emphasize the crucial role played in abductive cognition by the so-called “optimization of eco-cognitive openness and situatedness”. Indeed, in the chapter B25 of Prior Analytics concerning, we can see some of the current well-known distinctive characters of abductive cognition already expressed, which are in tune with the EC-Model: Aristotle is still pointing to the fundamental inferential role in reasoning of those externalities that substantiate the process of “leading away” (). Hence, we can gain a new positive perspective about the “constitutive” eco-cognitive character of abduction, just thanks to Aristotle himself. Situatedness is related to eco-cognitive aspects: to favor the solution of the abductive problem input and output of the formula Λ1,…,Λi,?I⊩LXΥ1,…,.Υj\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \Lambda _1,\ldots,\Lambda _i,?_I\Vdash _L^X\Upsilon _1,\ldots,.\Upsilon _j \end{aligned}$$\end{document}have to be thought as optimally positioned: indeed I also contend than a disregarded issue concerning abduction is related to the current lack of knowledge about what I call “discoverability” and “diagnosticability”. In the formula above ⊩LX\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Vdash _L^X$$\end{document} indicates that inputs and outputs do not stand each other in an expected relation and that the modification of the inputs?I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$?_I$$\end{document} can provide the abductive solution. In general, in this characterization the direction is not from evidence/premises to abductive result but the forward fashion is adopted, where the inferential parameter ⊩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Vdash $$\end{document} sets some appropriate logical relationship between an input which consists in both the abductive guess to be found and a background theory, and an output—for example an evidence, a novel phenomenon to be abductively “explained” through facts, rules, or even new theories. Further, in the case of scientific settings, this optimality is made possible by a maximization of changeability of both input and output: not only inputs have to be enriched with the possible solution but, to do that, other inputs have usually to be changed and/or modified. This changeability first of all refers to a wide epistemological openness.