Human Rationality Challenges Universal Logic

Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and Béziau’s further generalization of it in universal logic, have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges.

[1]  Alfred Schuetz On Multiple Realities , 1945 .

[2]  Jean-Yves Béziau,et al.  13 QUESTIONS ABOUT UNIVERSAL LOGIC , 2006 .

[3]  Carl R. Kordig The Theory—Ladenness of Observation , 1971 .

[4]  Spiros Sirmakessis,et al.  Tools and Applications with Artificial Intelligence , 2009, Tools and Applications with Artificial Intelligence.

[5]  Patricia A. Blanchette Frege on Consistency and Conceptual Analysis , 2007 .

[6]  Vito F. Sinisi,et al.  Entailment: The Logic of Relevance and Necessity , 1996 .

[7]  Lorenzo Magnani Philosophy and geometry : theoretical and historical issues , 2001 .

[8]  Brian R. Gaines,et al.  BASING KNOWLEDGE ACQUISITION TOOLS IN PERSONAL CONSTRUCT PSYCHOLOGY , 1991 .

[9]  David Rapport Lachterman,et al.  The Ethics of Geometry: A Genealogy of Modernity , 1989 .

[10]  D. Moshman Cognitive Development beyond Childhood , 1998 .

[11]  E. Mares Relevant Logic: A Philosophical Interpretation , 2004 .

[12]  Arnold Koslow,et al.  Structuralist Logic: Implications, Inferences, and Consequences , 2007, Logica Universalis.

[13]  Jim Davies,et al.  Millennial Perspectives in Computer Science , 2000 .

[14]  Jean Piaget,et al.  Toward A Logic of Meanings , 1991 .

[15]  Brian R. Gaines,et al.  Knowledge acquisition tools based on personal construct psychology , 1993, The Knowledge Engineering Review.

[16]  P. Kitcher,et al.  The advancement of science : science without legend, objectivity without illusions , 1995 .

[17]  Giovanna Corsi,et al.  Deduction, Computation, Experiment: Exploring the Effectiveness of Proof , 2008 .

[18]  Frank Fischer,et al.  Joy and Freude. A Comparative Study of the Linguistic Field of Pleasurable Emotions in English and German. , 1942 .

[19]  A. Jonker Origins of the modern mind. Three stages in the evolution of culture and cognition , 1998 .

[20]  Eberhard Knobloch,et al.  :Redefining Geometrical Exactness: Descartes’ Transformation of the Early Modern Concept of Construction. , 2005 .

[21]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[22]  P. Huby Posterior Analytics I , 1977, The Classical Review.

[23]  Alfred Schutz,et al.  The Problem of Rationality in the Social World , 1943 .

[24]  Robert Lurz,et al.  The Philosophy of Animal Minds: Index , 2009 .

[25]  E. Zalta,et al.  Intensional Logic and the Metaphysics of Intentionality. , 1991 .

[26]  Charles O. Frake,et al.  The ethnographic study of cognitive systems , 1962 .

[27]  David V. Forrest Fermat’s Enigma: The Quest to Solve the World’s Greatest Mathematical Problem , 1998 .

[28]  Martin Henz,et al.  SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles , 2009, Tools and Applications with Artificial Intelligence.

[29]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[30]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[31]  David Moshman,et al.  Adolescent Psychological Development: Rationality, Morality, and Identity , 1999 .

[32]  Husain Sarkar Group Rationality in Scientific Research , 2007 .

[33]  I. Sigel,et al.  HANDBOOK OF CHILD PSYCHOLOGY , 2006 .

[34]  M. Feldman,et al.  Niche construction, biological evolution, and cultural change , 2000, Behavioral and Brain Sciences.

[35]  Sébastien Maronne (Recension) « De l’histoire à la philosophie des mathématiques : un programme d’inspiration pragmatiste ? ». Henk J. M. Bos, Redefining Geometrical Exactness : Descartes’ Transformation of the Early Modern Concept of Construction, New York, Springer, 2001. , 2011 .

[36]  K BenthemvanJ.F.A. Where is Logic Going, and Should It? , 2005 .

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

[38]  Brian Logan,et al.  A Logic of Situated Resource-Bounded Agents , 2009, J. Log. Lang. Inf..

[39]  Peter E. Earl Lifestyle economics : consumer behavior in a turbulent world , 1986 .

[40]  David Moshman,et al.  : From inference to reasoning: The construction of rationality , 2004 .

[41]  C. McLarty,et al.  THEOLOGY AND ITS DISCONTENTS: THE ORIGIN MYTH OF MODERN MATHEMATICS , 2012 .

[42]  Edward C. Wallace,et al.  Roads to geometry , 1991 .

[43]  S. S. Culbert,et al.  Cognition and Categorization , 1979 .

[44]  David Moshman,et al.  Adolescent psychological development , 2005 .

[45]  T. Wynn Piaget, stone tools and the evolution of human intelligence. , 1985, World archaeology.

[46]  B. Gaines Memory minimisation in control with stochastic automata , 1971 .

[47]  Alfred Schutz On Multiple Realities , 1962 .

[48]  Brian R. Gaines,et al.  Linear and Nonlinear Models of the Human Controller , 1969 .

[49]  Vimla L. Patel,et al.  Distributed cognition, representation, and affordance , 2006 .

[50]  A. Avramides Studies in the Way of Words , 1992 .

[51]  A. Korotayev A Compact Macromodel of World System Evolution , 2005 .

[52]  Christopher Cherniak,et al.  Minimal Rationality , 1986, Computational models of cognition and perception.

[53]  Paula Viterbo,et al.  History of Science as Interdisciplinary Education in American Colleges: Its Origins, Advantages, and Pitfalls , 2007 .

[54]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[55]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .

[56]  Jean-Yves Béziau,et al.  From Consequence Operator to Universal Logic: A Survey of General Abstract Logic , 2005 .

[57]  Dov M. Gabbay,et al.  The reach of abduction : insight and trial , 2005 .

[58]  P. Rozencwajg,et al.  Strategy development in a block design task , 2001 .

[59]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[60]  Arnold Thackray,et al.  On Discipline Building: The Paradoxes of George Sarton , 1972, Isis.

[61]  Heinrich Wansing,et al.  Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System , 2008, Stud Logica.

[62]  T. Griffiths,et al.  Google and the Mind , 2007, Psychological science.

[63]  Yan Zhang,et al.  Knowledge forgetting: Properties and applications , 2009, Artif. Intell..

[64]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[65]  Daniel S. Weld Recent Advances in AI Planning , 1999, AI Mag..

[66]  M R Quillian,et al.  Word concepts: a theory and simulation of some basic semantic capabilities. , 1967, Behavioral science.

[67]  David Makinson,et al.  Five faces of minimality , 1993, Stud Logica.

[68]  Samson Abramsky,et al.  Computational Interpretations of Linear Logic , 1993, Theor. Comput. Sci..

[69]  Frederic D. Portoraro,et al.  Logic with Symlog: Learning Symbolic Logic By Computer , 1994 .

[70]  Stephen Gaukroger,et al.  The Scientific Revolution: A Historiographical Inquiry , 1994 .

[71]  W. Ashby,et al.  Every Good Regulator of a System Must Be a Model of That System , 1970 .

[72]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[73]  William R. Hogan What's in an 'is a' link? , 2009 .

[74]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[75]  Daniel E. Gershenson,et al.  Anaxagoras and the birth of physics , 1964 .

[76]  J. Dewey,et al.  How We Think , 2009 .

[77]  Emily Grosholz,et al.  The Growth of Mathematical Knowledge , 2000 .

[78]  R. Kurzweil,et al.  The Singularity Is Near: When Humans Transcend Biology , 2006 .

[79]  Dov M. Gabbay,et al.  Cumulativity without Closure of the Domain under Finite Unions , 2008, Rev. Symb. Log..

[80]  Philip Kitcher,et al.  The Division of Cognitive Labor , 1990 .

[81]  Shanyang Zhao,et al.  Internet and the lifeworld: updating Schutz's theory of mutual knowledge , 2007, Inf. Technol. People.

[82]  Robert Markley,et al.  The Janus Faces of Genius: the Role of Alchemy in Newton's Thought , 1993 .

[83]  Johan F. Hoorn,et al.  Distributed cognition , 2005, Cognition, Technology & Work.

[84]  David Moshman,et al.  The development of metalogical understanding , 1996 .

[85]  Carlo Cellucci,et al.  The Growth of Mathematical Knowledge: An Open World View , 2000 .

[86]  David Tall,et al.  Advanced Mathematical Thinking , 1994 .

[87]  Dov M. Gabbay,et al.  Defeasible inheritance systems and reactive diagrams , 2009, Log. J. IGPL.

[88]  David Makinson,et al.  Bridges from classical to nonmonotonic logic , 2005, Texts in computing.

[89]  Rogier De Langhe,et al.  The division of labour in science: the tradeoff between specialisation and diversity , 2010 .

[90]  F. Bartlett,et al.  Remembering: A Study in Experimental and Social Psychology , 1932 .

[91]  Lawrence Cavedon,et al.  Default Reasoning as Situated Monotonic Inference* , 1998, Minds and Machines.

[92]  Max Noether Paul Gordan , 1914 .

[93]  B. C. Wright Reconceptualizing the Transitive Inference Ability: A Framework for Existing and Future Research , 2001 .

[94]  Brian R. Gaines,et al.  Training, stability and control , 1974 .

[95]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[96]  Dov M. Gabbay,et al.  Chapter 2 - The Practical Logic of Cognitive Systems , 2003 .

[97]  G. Kelly The Psychology of Personal Constructs , 2020 .

[98]  Tomasz Jarmużek David Makinson, "Bridges from Classical to Nonmonotonic Logic", King’s College Publications, London, 2005 , 2007 .

[99]  Dov M. Gabbay,et al.  The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2) , 2005 .

[100]  Brian R. Gaines,et al.  The learning curves underlying convergence , 1998 .

[101]  J. Michael Dunn,et al.  Partiality and Its Dual , 2000, Stud Logica.

[102]  F. Keil Concepts, Kinds, and Cognitive Development , 1989 .

[103]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[104]  Barton Moffatt,et al.  Distributed Cognition: , 2003 .

[105]  Donald E. Knuth,et al.  Dancing links , 2000, cs/0011047.

[106]  D. Hilbert Ueber die vollen Invariantensysteme , .

[107]  Aristotle,et al.  Aristotle's Posterior Analytics , 1981 .

[108]  Eric J. Freeman,et al.  The printing press as an agent of change: communications and cultural transformations in early-modern Europe , 1981, Medical History.

[109]  Jonathon D Crystal,et al.  Metacognition in animals. , 2009, Comparative cognition & behavior reviews.

[110]  Jerome Stolnitz,et al.  The Opening Mind: A Philosophical Study of Humanistic Concepts , 1978 .

[111]  Franz Baader Description Logic Terminology , 2003, Description Logic Handbook.

[112]  Henri E. Bal,et al.  Solving awari with parallel retrograde analysis , 2003, Computer.

[113]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[114]  C. A. Hooker,et al.  Reason, regulation, and realism : toward a regulatory systems theory of reason and evolutionary epistemology , 1999 .

[115]  Edwin D. Mares,et al.  “Four-Valued” Semantics for the Relevant Logic R , 2004, J. Philos. Log..

[116]  Dieter Hutter,et al.  Mechanizing Mathematical Reasoning , 2008 .

[117]  Norman Kaplan,et al.  The Sociology of Science: Theoretical and Empirical Investigations , 1974 .

[118]  Andrew Pickering,et al.  The mangle of practice : time, agency, and science , 1997 .

[119]  D. Over,et al.  Studies in the Way of Words. , 1989 .

[120]  K. Jellinger,et al.  In two minds: Dual processes and beyond. , 2009 .

[121]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[122]  J. Margolis,et al.  Pragmatism's Advantage: American and European Philosophy at the End of the Twentieth Century , 2010 .

[123]  O NEUGEBAUER,et al.  The exact sciences in antiquity. , 1952, Acta historica scientiarum naturalium et medicinalium.

[124]  W. Noble,et al.  Human Evolution, Language and Mind: A Psychological and Archaeological Inquiry , 1996 .

[125]  D. Melville,et al.  Mathematics in Ancient Iraq : A Social History , 2009 .

[126]  J. W. Mohr Surrender and Catch: Experience and Inquiry Today , 1982 .

[127]  S. Hurley,et al.  Rational Animals ? , 2004 .

[128]  F. Keil,et al.  Explanation and understanding , 2015 .

[129]  Peter Carruthers,et al.  Practical Reasoning in a Modular Mind , 2004 .

[130]  Leslie H. Tharp,et al.  Myth and mathematics: A conceptualistic philosophy of mathematics I , 1989, Synthese.

[131]  Brian R. Gaines,et al.  On the Complexity of Causal Models , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[132]  Ray Holland,et al.  Personal Construct Psychology: Recent Advances in Theory and Practice , 1981 .

[133]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

[134]  K. Arrow Rational Choice Functions and Orderings1 , 1959 .

[135]  R. D'Andrade The Development of Cognitive Anthropology , 1995 .

[136]  S. Traweek,et al.  Beamtimes and Lifetimes: The World of High Energy Physicists , 1988 .

[137]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[138]  M. Weitz,et al.  The opening mind : a philosophical study of humanistic concepts , 1980 .

[139]  David Lindley,et al.  Logical foundations of probability , 1951 .

[140]  H. Dreyfus What Computers Can't Do: The Limits of Artificial Intelligence , 1978 .

[141]  Ali Haidar,et al.  Ayo, the Awari player, or how better representation trumps deeper search , 2004, Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753).

[142]  Enrico Giunchiglia,et al.  SAT-Based Procedures for Temporal Reasoning , 1999, ECP.

[143]  K. Arrow,et al.  Handbook of Social Choice and Welfare , 2011 .

[144]  C. S. Fisher,et al.  The Last Invariant Theorists A sociological study of the collećtive biographies of mathematical specialiśts , 1967, European Journal of Sociology.

[145]  Stanislaw Ambroszkiewicz,et al.  Mutual Knowledge , 1993, ISMIS.

[146]  Eric A. Havelock,et al.  The Literate Revolution in Greece and its Cultural Consequences , 1982 .

[147]  David H. Jonassen Learning to Solve Complex Scientific Problems , 2007 .

[148]  Nick Chater,et al.  Fast, frugal, and rational: How rational norms explain behavior , 2003 .

[149]  W. T. Powers Behavior, the control of perception , 1973 .

[150]  Alejandro Ramírez Figueroa Abductive Reasoning. Logical Investigations into Discovery and Explanation , 2009 .

[151]  B. Loasby Knowledge, institutions, and evolution in economics , 1999 .

[152]  Dov M. Gabbay,et al.  Reactive Preferential Structures and Nonmonotonic Consequence , 2009, Rev. Symb. Log..

[153]  Jean-Yves Béziau,et al.  Logica Universalis: Towards a General Theory of Logic , 2007 .

[154]  L. Cohen Can human irrationality be experimentally demonstrated? , 1981, Behavioral and Brain Sciences.

[155]  C. S. Fisher,et al.  The death of a mathematical theory: a study in the sociology of knowledge , 1966 .

[156]  Brian R. Gaines,et al.  The collective stance in modeling expertise in individuals and organizations , 1994 .

[157]  E. Wenger Communities of Practice: Learning, Meaning, and Identity , 1998 .

[158]  M. Gorman Simulating Science: Heuristics, Mental Models, and Technoscientific Thinking , 1992 .

[159]  D. Kuhn,et al.  Cognition, Perception, and Language , 1997 .

[160]  Michael Fisher,et al.  Exploring the Future with Resource-Bounded Agents , 2009, J. Log. Lang. Inf..

[161]  Immanuel Kant,et al.  Lectures on Logic , 1992 .

[162]  N. C. W. Spence,et al.  LINGUISTIC FIELDS, CONCEPTUAL SYSTEMS AND THE WELTBILD , 1961 .

[163]  R. Kitchener,et al.  Genetic epistemology, equilibration and the rationality of scientific change , 1987 .

[164]  Alfred Tarski,et al.  Tarski's System of Geometry , 1999, Bulletin of Symbolic Logic.

[165]  Robert Stalnaker,et al.  What is a Nonmonotonic Consequence Relation? , 1994, Fundam. Informaticae.

[166]  Evert W. Beth,et al.  Mathematical Epistemology And Psychology , 1966 .

[167]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[168]  Pierre Ageron Logic without Self-Deductibility , 2005 .

[169]  Mildred L. G. Shaw,et al.  On Becoming a Personal Scientist: Interactive Computer Elicitation of Personal Models of the World , 1980 .

[170]  Dov M. Gabbay,et al.  BELIEF REVISION IN NON-CLASSICAL LOGICS , 2008, The Review of Symbolic Logic.

[171]  G. Lloyd,et al.  Adversaries and Authorities: Investigations Into Ancient Greek and Chinese Science , 1996, The Journal of Asian Studies.

[172]  Vincent Danos,et al.  The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs , 1993, Kurt Gödel Colloquium.

[173]  K. Manktelow,et al.  Psychology of reasoning : theoretical and historical perspectives , 2004 .

[174]  R. Hepburn,et al.  BEING AND TIME , 2010 .

[175]  Peter Carruthers,et al.  How we know our own minds: The relationship between mindreading and metacognition , 2009, Behavioral and Brain Sciences.

[176]  M. Tomasello Tools, Language and Cognition in Human Evolution , 1994 .

[177]  I. Mitroff Emotion and Bias in Science. (Book Reviews: The Subjective Side of Science. A Philosophical Inquiry into the Psychology of the Apollo Moon Scientists) , 1974 .

[178]  L. Rips The Psychology of Proof: Deductive Reasoning in Human Thinking , 1994 .

[179]  Aaron Hertz May A Constructive Version of the Hilbert Basis Theorem , 2004 .

[180]  Yvette Solomon,et al.  Mathematics and Narrative , 1998 .

[181]  R. Fritsch,et al.  The four-color theorem : history, topological foundations, and idea of proof , 1998 .

[182]  T. G.,et al.  Logic in Practice , 1934, Nature.

[183]  Fausto Giunchiglia,et al.  SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective , 2005, Mechanizing Mathematical Reasoning.

[184]  Stacy Marsella,et al.  Modeling the cognitive antecedents and consequences of emotion , 2009, Cognitive Systems Research.

[185]  Alexander Weinmann Uncertain Models and Robust Control , 2002 .

[186]  John H. Boose,et al.  Expertise transfer for expert system design , 1986 .

[187]  Von Kurt Gödel,et al.  ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .

[188]  Adrienne Lehrer,et al.  Frames, Fields, and Contrasts : New Essays in Semantic and Lexical Organization , 1992 .

[189]  Hanne Andersen Kuhn's Account Of Family Resemblance: A Solution To The Problem Of Wide-Open Texture , 2000 .

[190]  Daniel Lehmann,et al.  Nonmonotonic Logics and Semantics , 2001, J. Log. Comput..

[191]  L. Barsalou Frames, concepts, and conceptual fields , 1992 .

[192]  Terry Kit-fong Au Counterfactuals: In reply to Alfred Bloom , 1984, Cognition.

[193]  M. Hobart,et al.  Information Ages: Literacy, Numeracy, and the Computer Revolution , 1998 .

[194]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[195]  Brian R. Gaines,et al.  Knowledge Management in Societies of Intelligent Adaptive Agents , 1997, Journal of Intelligent Information Systems.

[196]  Simon Singh,et al.  Fermat's Enigma: The Epic Quest to Solve the World's Greatest Mathematical Problem , 1997 .

[197]  Stevan Harnad Distributed processes, distributed cognizers, and collaborative cognition , 2005 .

[198]  J. Edwards Genetic Epistemology , 1971 .

[199]  Henk J. M. Bos,et al.  Redefining geometrical exactness : Descartes' transformation of the early modern concept of construction , 2001 .

[200]  Michael E. Gorman,et al.  Scientific and Technological Thinking , 2006 .

[201]  J. Piaget,et al.  The equilibration of cognitive structures : the central problem of intellectual development , 1985 .

[202]  Nancy J. Nersessian,et al.  Creating Scientific Concepts , 2008 .

[203]  Brian R. Gaines,et al.  Comparing conceptual structures: consensus, conflict, correspondence and contrast , 1989 .

[204]  Charles J. Mozzochi The Fermat Diary , 2000 .

[205]  Jean Piaget Main trends in inter-disciplinary research , 1973 .

[206]  Philip Kitcher,et al.  Precis of The Advancement of Science@@@The Advancement of Science: Science without Legend, Objectivity without Illusions. , 1995 .

[207]  Marvin D. Loflin,et al.  Discourse and inference in cognitive anthropology: An approach to psychic unity and enculturation , 1978 .

[208]  Jean-Pierre Bourguignon,et al.  Mathematische Annalen , 1893 .

[209]  S. Gelman,et al.  The Essential Child : Origins of Essentialism in Everyday Thought , 2003 .

[210]  K. J. Craik,et al.  The nature of explanation , 1944 .

[211]  S. Stich,et al.  The cognitive basis of science , 2002 .

[212]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[213]  M. Cole,et al.  The cultural context of learning and thinking. An Exploration in Experimental Anthropology. , 1971 .

[214]  Jacquetta Hill Culture in Mind: Cognition, Culture, and the Problem of Meaning , 1998 .

[215]  Kotaro Suzumura,et al.  Introduction, Handbook of Social Choice and Welfare, Edited by Kenneth Arrow, Amartya Sen and Kotaro Suzumura, Amsterdam: Elsevier/North-Holland , 2001 .

[216]  Fernando Tohmé,et al.  Local logics, non-monotonicity and defeasible argumentation , 2004 .

[217]  Georg Brun,et al.  Epistemology and Emotions , 2012 .

[218]  Dov M. Gabbay,et al.  Resource-origins of Nonmonotonicity , 2008, Stud Logica.

[219]  Aldo Antonelli Grounded consequence for defeasible logic , 2005 .

[220]  N. Mukunda Mind from matter? An essay on evolutionary epistemology , 2008, Journal of Genetics.

[221]  Carlo Celluci,et al.  Why Proof? What is a Proof? , 2008 .

[222]  Alexander Jones,et al.  The Adaptation of Babylonian Methods in Greek Numerical Astronomy , 1991, Isis.

[223]  Benno Artmann Euclid-The Creation of Mathematics , 1999 .

[224]  E. Eisenstein The printing press as an agent of change : communications and cultural transformations in early-modern Europe : volumes I and II , 1980 .

[225]  Geoffrey P. Goodwin,et al.  The psychological puzzle of Sudoku , 2008 .

[226]  R. Willis,et al.  The foundations of primitive thought , 1979 .

[227]  G. Kelly,et al.  Clinical Psychology and Personality: The Selected Papers of George Kelly , 1969 .

[228]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[229]  R. Stromberg,et al.  The Religion of Isaac Newton , 1976 .

[230]  P. Feyerabend Against Method: Outline of an Anarchistic Theory of Knowledge , 1976 .

[231]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[232]  R. Giere Cognitive Models of Science , 1992 .

[233]  Michael D. Resnik The Frege-Hilbert Controversy , 1974 .

[234]  A. Estany The Thesis of Theory-Laden Observation in the Light of Cognitive Psychology , 2001, Philosophy of Science.

[235]  Edward N. Zalta,et al.  Twenty-five basic theorems in situation and world theory , 1993, J. Philos. Log..

[236]  E. L. The Foundations of Geometry , 1891, Nature.

[237]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

[238]  Umesh V. Vazirani,et al.  Quantum Complexity Theory , 1997, SIAM J. Comput..

[239]  Jonathan Evans Dual-processing accounts of reasoning, judgment, and social cognition. , 2008, Annual review of psychology.

[240]  J. Łoś,et al.  Remarks on sentential logics , 1958 .

[241]  Furio Honsell,et al.  A framework for defining logics , 1993, JACM.

[242]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[243]  N. Wetherick,et al.  Reasoning and Rationality , 1995 .

[244]  H. Coxeter Non-Euclidean geometry , 1961 .

[245]  Ian Horrocks,et al.  Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.

[246]  Solomon Feferman,et al.  Gödel's Dialectica Interpretation and Its Two-Way Stretch , 1993, Kurt Gödel Colloquium.

[247]  A. Bloom,et al.  The Linguistic Shaping of Thought: A Study in the Impact of Language on Thinking in China and the West , 1981 .

[248]  P. Johnson-Laird,et al.  Psychology of Reasoning: Structure and Content , 1972 .

[249]  Brian F. Chellas Modal Logic: Normal systems of modal logic , 1980 .

[250]  M. Batty Generative social science: Studies in agent-based computational modeling , 2008 .

[251]  J. Etchemendy The Concept of Logical Consequence , 1991 .

[252]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[253]  D. Dennett The Intentional Stance. , 1987 .

[254]  J. Dunn,et al.  Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[255]  Décio Krause,et al.  Relativizations of the Principle of Identity , 1997, Log. J. IGPL.

[256]  Brian R. Gaines,et al.  Designing Visual Languages for Description Logics , 2009, J. Log. Lang. Inf..

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

[258]  R. Netz The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History , 1999 .

[259]  John W. Tapsall,et al.  Life Among the Scientists: An Anthropological Study of an Australian Scientific Community , 1990 .

[260]  Etienne Wenger,et al.  Communities of Practice: Learning, Meaning, and Identity , 1998 .

[261]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[262]  Edward E. Smith,et al.  Categories and concepts , 1984 .