Naturalizing logic: Errors of reasoning vindicated: Logic reapproaches cognitive science

A complete revision of mainstream logic is an urgent task to be achieved. This revision will be able to bring logic into a creative rapprochement with cognitive science. This can be achieved by trying to do for logic what over forty years ago Quine and others attempted for epistemology. It is necessary to propose a "naturalization" of the logic of human inference. This paper deals with an examination of how the naturalization process might go, together with some indication of what might be achieved by it. To assist the reader in understanding the naturalization of logic I will take advantage of my own research on the concept of abduction, which vindicates the positive cognitive value of the fallacy of the affirming the consequent thanks to the so-called EC-model (Eco-Cognitive model), and of the recent book Errors of Reasoning: Naturalizing the Logic of Inference (2013) 86, by John Woods. While this paper certainly aims at promoting the research program on the naturalization of logic, it also further advocates the placement of abduction in the research programmes of logic, and stresses to what extent our contemporary philosophical and logical tradition is indebted towards Charles Sanders Peirce, a thinker often praised for his productivity but whose quality and importance are too often overlooked.

[1]  Jerry A. Fodor,et al.  Observation Reconsidered , 1984, Philosophy of Science.

[2]  F. Berto Review of Errors of Reasoning. Naturalizing the Logic of Inference, by John Woods , 2014, J. Log. Comput..

[3]  L. Magnani Abduction, Reason, and Science. Process of Discovery and Explanation , 2001 .

[4]  Lorenzo Magnani,et al.  Scientific Models Are Not Fictions - Model-Based Science as Epistemic Warfare , 2012, Philosophy and Cognitive Science.

[5]  Murray Shanahan,et al.  Perception as Abduction: Turning Sensor Data Into Meaningful Representation , 2005, Cogn. Sci..

[6]  Gerd Gigerenzer,et al.  Homo Heuristicus: Why Biased Minds Make Better Inferences , 2009, Top. Cogn. Sci..

[7]  F. Rivera,et al.  Abduction–induction (generalization) processes of elementary majors on figural patterns in algebra , 2007 .

[8]  Dov M. Gabbay,et al.  The Reach of Abduction , 2005 .

[9]  Attila Szolnoki,et al.  Evolutionary Establishment of Moral and Double Moral Standards through Spatial Interactions , 2010, PLoS Comput. Biol..

[10]  Francisco C. Santos,et al.  Intention recognition promotes the emergence of cooperation , 2011, Adapt. Behav..

[11]  Nicola Angius,et al.  Model-based abductive reasoning in automated software testing , 2013, Log. J. IGPL.

[12]  E. Hutchins Cognition in the wild , 1995 .

[13]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[14]  Athanassios Raftopoulos,et al.  Is perception informationally encapsulated?: The issue of the theory-ladenness of perception , 2001, Cogn. Sci..

[15]  Jennifer S Trueblood,et al.  A quantum theoretical explanation for probability judgment errors. , 2011, Psychological review.

[16]  Theo A.F. Kuipers,et al.  Abduction aiming at empirical progress or eventruth approximationleading to a challenge for computational modelling , 1999 .

[17]  Luís Moniz Pereira,et al.  Inspecting and Preferring Abductive Models , 2013 .

[18]  Luís Moniz Pereira,et al.  Moral Reasoning under Uncertainty , 2012, LPAR.

[19]  Charles S. Peirce,et al.  Historical perspectives on Peirce's logic of science : a history of science , 1985 .

[20]  Maarten Van Dyck,et al.  Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction , 2002 .

[21]  G. Gigerenzer,et al.  Intelligence as smart heuristics , 2005 .

[22]  Lorenzo Magnani Morality in a Technological World: Knowledge as Duty , 2007 .

[23]  A. Raftopoulos Cognition and Perception: How Do Psychology and Neural Science Inform Philosophy? , 2009 .

[24]  René Thom,et al.  Esquisse d'une sémiophysique , 1988 .

[25]  Luís Moniz Pereira,et al.  Intention-Based Decision Making via Intention Recognition and its Applications , 2013, Human Behavior Recognition Technologies.

[26]  Dov M. Gabbay,et al.  Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches , 2003, Log. J. IGPL.

[27]  A. Tversky,et al.  Extensional versus intuitive reasoning: the conjunction fallacy in probability judgment , 1983 .

[28]  P. Churchland Perceptual Plasticity and Theoretical Neutrality: A Reply to Jerry Fodor , 1988, Philosophy of Science.

[29]  Luís Moniz Pereira,et al.  The Potential of Logic Programming as a Computational Tool to Model Morality , 2015, A Construction Manual for Robots' Ethical Systems.

[30]  Francisco C. Santos,et al.  Emergence of cooperation via intention recognition, commitment and apology - A research summary , 2015, AI Commun..

[31]  Luís Moniz Pereira,et al.  An Abductive Reasoning Approach to the Belief Bias Effect , 2014, KR.

[32]  G. Marcus Cognitive architecture and descent with modification , 2006, Cognition.

[33]  Bonny Banerjee A Layered Abductive Inference Framework for Diagramming Group Motions , 2006, Log. J. IGPL.

[34]  José Júlio Alferes,et al.  Forgetting under the Well-Founded Semantics , 2013, LPNMR.

[35]  Gerhard Lakemeyer,et al.  Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 , 2014, AAAI 2014.

[36]  Luís Moniz Pereira,et al.  Modelling morality with prospective logic , 2009 .

[37]  C. Tindale Fallacies and Argument Appraisal , 2007 .

[38]  A. Raftopoulos Reentrant Neural Pathways and the Theory-Ladenness of Perception , 2001, Philosophy of Science.

[39]  Lorenzo Magnani,et al.  Are Heuristics Knowledge–Enhancing? Abduction, Models, and Fictions in Science , 2015 .

[40]  José Júlio Alferes,et al.  LUPSA language for updating logic programs , 1999, Artif. Intell..

[41]  J. Hintikka Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning , 2007 .

[42]  R. Byrne Précis of The Rational Imagination: How People Create Alternatives to Reality , 2007, Behavioral and Brain Sciences.

[43]  Luís Moniz Pereira,et al.  Adaptive Reasoning for Cooperative Agents , 2009, INAP.

[44]  Atocha Aliseda-Llera,et al.  Seeking explanations: abduction in logic, philosophy of science and artificial intelligence , 1998 .

[45]  Lorenzo Magnani,et al.  The appeal of gossiping fallacies and its eco-logical roots , 2010 .

[46]  Luís Moniz Pereira,et al.  Contextual Abductive Reasoning with Side-Effects , 2014, Theory Pract. Log. Program..

[47]  Atocha Aliseda,et al.  Abductive Reasoning: Logical Investigations into Discovery and Explanation , 2006 .

[48]  Luís Moniz Pereira,et al.  State-of-the-art of intention recognition and its use in decision making , 2013, AI Commun..

[50]  S. Toulmin The uses of argument , 1960 .

[51]  S. Cappa,et al.  Counterfactual thinking in moral judgment: an experimental study , 2014, Front. Psychol..

[52]  William F. Brewer,et al.  The Theory-Ladenness of Observation and the Theory-Ladenness of the Rest of the Scientific Process , 2001, Philosophy of Science.

[53]  E. Hutchins Material anchors for conceptual blends , 2005 .

[54]  James B. Freeman,et al.  Errors of Reasoning. Naturalizing the Logic of Inference , 2013 .

[55]  Anthony G. Cohn,et al.  Towards an Architecture for Cognitive Vision Using Qualitative Spatio-temporal Representations and Abduction , 2003, Spatial Cognition.

[56]  F. C. Santos,et al.  Good Agreements Make Good Friends , 2013, Scientific Reports.

[57]  R. Selten,et al.  Bounded rationality: The adaptive toolbox , 2000 .

[58]  Tommaso Bertolotti,et al.  An epistemological analysis of gossip and gossip-based knowledge , 2014, Synthese.

[59]  Francisco C. Santos,et al.  The emergence of commitments and cooperation , 2012, AAMAS.

[60]  Arguments about arguments , 2005 .

[61]  Robert A. Kowalski,et al.  Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .

[62]  LORENZO MAGNANI,et al.  Is abduction ignorance-preserving? Conventions, models and fictions in science , 2013, Log. J. IGPL.

[63]  José Júlio Alferes,et al.  Evolving Logic Programs , 2002, JELIA.

[64]  Lorenzo Magnani,et al.  Visual Cognition and Cognitive Modeling , 1994 .

[65]  M. Arbib,et al.  Conceptual models of neural organization. , 1974, Neurosciences Research Program bulletin.

[66]  Luís Moniz Pereira,et al.  Towards Modeling Morality Computationally with Logic Programming , 2014, PADL.

[67]  John Woods,et al.  Recent developments in abductive logic , 2011 .

[68]  Adolfas Mackonis Inference to the best explanation, coherence and other explanatory virtues , 2011, Synthese.

[69]  Lorenzo Magnani,et al.  Abductive Cognition - The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning , 2009, Cognitive Systems Monographs.

[70]  P. Todd,et al.  Simple Heuristics That Make Us Smart , 1999 .

[71]  Lorenzo Magnani,et al.  Understanding Violence: The Intertwining of Morality, Religion and Violence: A Philosophical Stance , 2011 .

[72]  Tom Lenaerts,et al.  Avoiding or restricting defectors in public goods games? , 2015, Journal of The Royal Society Interface.

[73]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[74]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .