Abstract
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.
Similar content being viewed by others
References
Abramsky S.: Computational interpretations of linear logic. Theor. Comput. Sci. 111(1-2), 3–57 (1993)
Ageron P.: Logic without self-deductibility. In: Béziau, J.-Y. (eds) Logica Universalis: Towards a General Theory of Logic, pp. 87–93. Birkhäuser, Basel (2007)
Alchourron C.E., Gardenfors P., Makinson D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)
Alechina N., Logan B.: A logic of situated resource-bounded agents. J. Log. Lang. Infor. 18(1), 79–95 (2009)
Aliseda A.: Abductive Reasoning: Logical Investigations into Discovery and Explanation. Springer, Dordrecht (2006)
Andersen H.: Kuhn’s account of family resemblance: a solution to the problem of wide-open texture. Erkenntnis 52(3), 313–337 (2000)
Anderson A.R., Belnap N.D., Dunn J.M.: Entailment: The Logic of Relevance and Necessity. Princeton University Press, Princeton (1975)
Antonelli G.A.: Grounded Consequence for Defeasible Logic. Cambridge University Press, Cambridge (2005)
Aristotle: Posterior Analytics. Blackwell, Oxford (1901)
Armando A., Castellini C., Giunchiglia E.: SAT-based procedures for temporal reasoning. In: Armando, A., Castellini, C., Giunchiglia, E. (eds) Recent Advances in AI Planning, pp. 97–108. Springer, New York (2000)
Armando A., Castellini C., Giunchiglia E., Giunchiglia F., Tacchella A.: SAT-based decision procedures for automated reasoning: a unifying perspective. In: Hutter, D., Stephan, W. (eds) Mechanizing Mathematical Reasoning, pp. 46–58. Springer, Berlin (2005)
Arrow K.J.: Rational choice functions and orderings. Economica 26(102), 121–127 (1959)
Arrow K.J., Sen A., Suzumura K.: Handbook of Social Choice and Welfare. Elsevier, Amsterdam (2002)
Artmann B.: Euclid: The Creation of Mathematics. Springer, New York (1999)
Au T.K-F.: Counterfactuals: In reply to Alfred Bloom. Cognition 17(3), 289–302 (1984)
Baader F.: Description logic terminology. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds) The Description Logic Handbook, pp. 485–495. Cambridge University Press, Cambridge (2003)
Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Balzer W., Moulines C.U., Sneed J.D.: An Architectonic for Science: The Structuralist Program. Reidel, Dordrecht (1987)
Barsalou L.W.: Frames, concepts and conceptual fields. In: Lehrer, A., Kittay, E.F. (eds) Frames, Fields, and Contrasts: New Essays in Semantic and Lexical Organization, pp. 21–74. L. Erlbaum, Hillsdale (1992)
Bartlett F.C.: Remembering: A Study in Experimental and Social Psychology. Cambridge University Press, Cambridge (1932)
Barwise J., Perry J.: Situations and Attitudes. MIT Press, Cambridge (1983)
Barwise J., Seligman J.: Information flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)
Batens D.: A universal logic approach to adaptive logics. Logica Universalis 1, 221–242 (2007)
Belnap N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G., Wolf, R.G. (eds) Modern Uses of Multiple-valued Logic, pp. 8–37. Reidel, Dordrecht (1977)
Bernstein E., Vazirani U.: Quantum complexity theory. SIAM J. Comput. 26(5), 1411–1473 (1997)
Beth E.W., Piaget J.: Mathematical Epistemology and Psychology. Reidel, Dordrecht Holland (1966)
Béziau J.-Y.: 13 questions about universal logic. Bull. Sect. Log. 35(2/3), 133–150 (2006)
Béziau J.-Y.: From consequence operator to universal logic: a survey of general abstract logic. In: Béziau, J.-Y. (eds) Logica Universalis, pp. 3–17. Birkhäuser, Basel (2007)
Blanchette P.A.: Frege on consistency and conceptual analysis. Philos. Math. 15(3), 321–346 (2007)
Bloom A.H.: The linguistic shaping of thought: a study in the impact of language on thinking in china and the west. Erlbaum, Hillsdale (1981)
Bodanza G.A., Tohmé F.A.: Local logics, non-monotonicity and defeasible argumentation. J. Log. Lang. Inform. 14(1), 1–12 (2005)
Boose J.H.: Expertise Transfer for Expert System Design. Elsevier, Amsterdam (1986)
Bos H.J.M.: Redefining Geometrical Exactness: Descartes’ Transformation of the Early Modern Concept of Construction. Springer, New York (2001)
Bourdieu P.: The Logic of Practice. Polity, Cambridge (1989)
Brachman R.J.: What is-a is and isn’t: an analysis of taxonomic links in semantic networks. Computer 16(10), 30–36 (1983)
Brachman R.J.: “I lied about the trees,” or, defaults and definitions in knowledge representation. AI Mag. 6(3), 80–93 (1985)
Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Proc. of the 4th National Conference on Artificial Intelligence (AAAI-84), pp. 34–37 (1984)
Braine M.D.S., O’Brien D.P.: Mental Logic. Lawrence Erlbaum, Mahwah (1998)
Brun G., Doguoglu U., Kuenzle D.: Epistemology and Emotions. Ashgate, Aldershot, UK (2008)
Carnap R.: Logical Foundations of Probability. University of Chicago Press, Chicago (1950)
Carruthers P.: Practical reasoning in a modular mind. Mind Lang. 19(3), 259–278 (2004)
Carruthers P.: How we know our own minds: the relationship between mindreading and metacognition. Behav. Brain Sci. 32, 121–182 (2009)
Carruthers P., Stich S.P., Siegal M.: The Cognitive Basis of Science. Cambridge University Press, Cambridge (2002)
Cavedon L.: Default reasoning as situated monotonic inference. Minds Mach. 8(4), 509–531 (1998)
Cellucci C.: The growth of mathematical knowledge: an open world view. In: Grosholz, E., Breger, H. (eds) The Growth of Mathematical Knowledge., pp. 153–176. Kluwer, Boston (1985)
Cellucci C.: Why proof? what is a proof?. In: Lupacchini, R., Corsi, G. (eds) Deduction, Computation, Experiment: Exploring the Effectiveness of Proof, pp. 1–28. Springer, Berlin (2008)
Charlesworth M.J.: Life Among the Scientists: an Anthropological Study of an Australian Scientific Community. Oxford University Press, Melbourne (1989)
Chater N., Oaksford M., Nakisa R., Redington M.: Fast, frugal, and rational: how rational norms explain behavior. Organ. Behav. Human Decis. Process. 90(1), 63–86 (2003)
Chellas B.F.: Modal logic: An Introduction. Cambridge University Press, New York (1980)
Cherniak C.: Minimal rationality. Mind XC(358), 161–183 (1981)
Cohen H.F.: The Scientific Revolution: A Historiographical Inquiry. University of Chicago Press, Chicago (1994)
Cohen L.J.: Can human irrationality be experimentally demonstrated? Behav. Brain Sci. 4, 317–370 (1981)
Cole M., Gay J., Click J.A., Sharp D.W.: The Cultural Context of Learning and Thinking: An Exploration in Experimental Anthropology. Basic Books, New York (1971)
Conant R.C., Ashby W.R.: Every good regulator of a system must be a model of that system. Int. J. Syst. Sci. 1(2), 89–97 (1970)
Craik K.J.W.: The Nature of Explanation. Cambridge University Press, Cambridge (1943)
Crystal J.D., Foote A.L.: Metacognition in animals. Comp. Cogn. Behav. Rev. 4, 1–16 (2009)
D’Andrade R.G.: The Development of Cognitive Anthropology. Cambridge University Press, Cambridge (1995)
Daoud, M., Kharma, N., Haidar, A., Popoola, J.: Ayo, the awari player, or how better representation trumps deeper search. In: Evolutionary Computation, CEC2004. Congress on, vol. 1, pp. 1001–1006 (2004)
Delbrück M.: Mind from Matter? an Essay on Evolutionary Epistemology. Blackwell Scientific Publications, Palo Alto (1986)
Dennett D.C.: The Intentional Stance. MIT Press, Cambridge, Massachusetts (1987)
Dewey J.: How We Think. Heath, Boston (1910)
Dobbs B.J.T.: The Janus Faces of Genius: The role of Alchemy in Newton’s Thought. Cambridge University Press, Cambridge (1991)
Donald M.: Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition. Harvard University Press, Cambridge (1991)
Donini F.M.: Complexity of reasoning. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds) The Description Logic Handbook, pp. 96–136. Cambridge University Press, Cambridge (2003)
Doŝen K.: A historical introduction to substructural logics. In: Schroeder- Heister, P.J., Doŝen, K. (eds) Substructural Logics, pp. 1–30. Clarendon Press, Oxford (1993)
Dreyfus H.L.: What Computers Can’t Do: The Limits of Artificial Intelligence. Harper and Row, New York (1979)
Dunn J.M.: Intuitive semantics for first-degree entailments and ‘coupled trees’. Philos. Stud. Int. J. Philos. Anal. Tradit. 29(3), 149–168 (1976)
Dunn J.M.: Partiality and its dual. Stud. Log. 66(1), 5–40 (2000)
Earl P.E.: Lifestyle Economics: Consumer Behavior in a Turbulent World. St. Martin’s Press, New York (1986)
Eisenstein E.L.: The Printing Press as an Agent of Change: Communications and Cultural Transformations in Early Modern Europe. Cambridge University Press, New York (1979)
Epstein J.M.: Generative Social Science: Studies in Agent-Based Computational Modeling. Princeton University Press, Princeton (2006)
Estany A.: The thesis of theory-laden observation in the light of cognitive psychology. Philos. Sci. 68(2), 203–217 (2001)
Evans J.S.B.T.: Dual-processing accounts of reasoning, judgment, and social cognition. Ann. Rev. Psychol. 59, 255–278 (2008)
Evans J.S.B.T., Frankish K.: In Two Minds: Dual Processes and Beyond. Oxford University Press, Oxford (2009)
Feferman S.: Gödel’s Dialectica interpretation and its two-way stretch. In: Feferman, S., Gottlob, G., Leitsch, A., Mundici, D. (eds) Computational Logic and Proof Theory, pp. 23–40. Springer, Berlin (1993)
Feyerabend P.K.: Against Method: Outline of an Anarchistic Theory of Knowledge. Humanities Press, London (1975)
Fisher C.: The death of a mathematical theory: a study in the sociology of knowledge. Arch. Hist. Exact Sci. 3(2), 137–159 (1966)
Fisher C.S.: The last invariant theorists a sociological study of the collective biographies of mathematical specialists. Eur. J. Sociol. 8(02), 216–244 (1967)
Fisher M., Ghidini C.: Exploring the future with resource-bounded agents. J. Log. Lang. Inform. 18(1), 3–21 (2009)
Fortun M., Bernstein H.J.: Muddling Through: Pursuing Science and Truths in the 21st Century. Counterpoint, Washington (1998)
Frake C.O.: The ethnographic study of cognitive systems. In: Tyler, S.A. (eds) Cognitive Anthropology, pp. 28–41. Holt, New York (1969)
Frege, G.: On Euclidean geometry. In: Posthumous Writings, pp. 167–169. University of Chicago Press, Chicago (1979)
Fritsch R., Fritsch G.: The Four Color Theorem: History, Topological Foundations, and Idea of Proof. Springer, New York (1998)
Gabbay D.: Theretical foundations for non-monotonic reasoning in expert systems. In: Apt, K.R. (eds) Logics and Models of Concurrent Systems, pp. 439–457. Springer, Berlin (1985)
Gabbay D., Schlechta K.: Cumulativity without closure of the domain under finite unions. Rev. Symbol. Log. 1(3), 372–392 (2008)
Gabbay D., Schlechta K.: Defeasible inheritance systems and reactive diagrams. Log. J. IGPL 17(1), 1–54 (2009)
Gabbay D., Schlechta K.: Reactive preferential structures and nonmonotonic consequence. Rev. Symbol. Log. 2(02), 414–450 (2009)
Gabbay D., Rodrigues O., Russo A.: Belief revision in non-classical logics. Rev. Symbol. Log. 1(3), 267–304 (2008)
Gabbay D., Woods J.: A Practical Logic of Cognitive Systems, vol. 2: The Reach of Abduction - Insight and Trial. North Holland, Amsterdam (2005)
Gabbay D., Woods J.: Resource-origins of nonmonotonicity. Stud. Log. 88(1), 85–112 (2008)
Gaines B.R.: Linear and nonlinear models of the human controller. Int. J. Man-Mach. Stud. 1(4), 333–360 (1969)
Gaines B.R.: Memory minimization in control with stochastic automata. Electron. Lett. 7(24), 710–711 (1971)
Gaines B.R.: Training, stability and control. Instr. Sci. 3(2), 151–176 (1974)
Gaines B.R.: On the complexity of causal models. IEEE Trans. Syst. Man Cybern. SMC- 6(1), 56–59 (1976)
Gaines B.R.: The collective stance in modeling expertise in individuals and organizations. Int. J. Expert Syst. 7(1), 21–51 (1994)
Gaines B.R.: Knowledge management in societies of intelligent adaptive agents. J. Intell. Inform. Syst. 9(3), 277–298 (1997)
Gaines B.R.: The learning curves underlying convergence. Technol. Forecast. Soc. Change 57(1-2), 7–34 (2006)
Gaines B.R.: Designing visual languages for description logics. J. Log. Lang. Inform. 18(2), 217–250 (2009)
Gaines B.R., Shaw M.L.G.: Basing knowledge acquisition tools in personal construct psychology. Knowl. Eng. Rev. 8(1), 49–85 (1993)
Gelman S.A.: The Essential Child: Origins of Essentialism in Everyday Thought. Oxford University Press, Oxford (2003)
Gershenson D.E., Greenberg D.A.: Anaxagoras and the Birth of Physics. Blaisdell, New York (1964)
Gibson K.R., Ingold T.: Tools, Language, and Cognition in Human Evolution. Cambridge University Press, Cambridge (1993)
Giere R.N.: Cognitive Models of Science. University of Minnesota Press, Minneapolis (1992)
Giere R.N., Moffatt B.: Distributed cognition: where the cognitive and the social merge. Soc. Stud. Sci. 33(2), 301–310 (2003)
Gigerenzer G., Brighton H.: Homo heuristicus: why biased minds make better inferences. Top. Cogn. Sci. 1, 107–143 (2009)
Gordon P.: Solving Sudoku. Sterling, New York (2006)
Gorman M.E.: Simulating Science: Heuristics, Mental Models, and Technoscientific Thinking. Indiana University Press, Bloomington (1992)
Gorman M.E.: Scientific and Technological Thinking. Lawrence Erlbaum, Mahwah (2005)
Gratch J., Marsella S., Petta P.: Modeling the cognitive antecedents and consequences of emotion. Cogn. Syst. Res. 10(1), 1–5 (2009)
Grice H.P.: Studies in the Way of Words. Harvard University Press, Cambridge (1989)
Griffiths T.L., Steyvers M., Firl A.: Google and the mind. Psychol. Sci. 18, 1069–1076 (2007)
Gödel K.: Über eine bischer nich nicht benüzte erweiterung des finiten standpunktes. Dialectica 12, 280–287 (1958)
Hallpike C.R.: The Foundations of Primitive Thought. Clarendon Press, Oxford (1979)
Harnad S.: Distributed processes, distributed cognizers, and collaborative cognition. Pragmat. Cogn. 13(3), 501–515 (2005)
Harper R., Honsell F., Plotkin G.: A framework for defining logics. J. ACM 40(1), 143–184 (1993)
Hart H.L.A.: The Concept of Law. Clarendon Press, Oxford (1961)
Havelock E.A.: The Literate Revolution in Greece and its Cultural Consequences. Princeton University Press, Princeton (1982)
Heidegger M.: Being and Time. Harper and Row, New York (1962)
Henz M., Truong H.-M.: Sudokusat—a tool for analyzing difficult sudoku puzzles. In: Koutsojannis, C., Sirmakessis, S. (eds) Tools and Applications with Artificial Intelligence, pp. 25–35. Springer, Berlin (2009)
Herz, A.: A constructive version of the Hilbert basis theorem, Ph.D. thesis, Pittsburgh (2004)
Hilbert D.: Über die theorie der algebraischen formen. Mathematische Annalen 36(4), 473–534 (1890)
Hilbert D.: Über die vollen invariantensysteme. Mathematische Annalen 42(3), 313–373 (1893)
Hilbert D.: The Foundations of Geometry. Open Court, Chicago (1902)
Hobart M.E., Schiffman Z.S.: Information Ages: Literacy, Numeracy, and the Computer Revolution. Johns Hopkins University Press, Baltimore (1998)
Hooker C.A.: Reason, Regulation, and Realism: Toward a Regulatory Systems Theory of Reason and Evolutionary Epistemology. State University of New York Press, Albany (1995)
Hurley S.L., Nudds M.: Rational Animals?. Oxford University Press, Oxford (2006)
Jonassen D.H.: Learning to Solve Complex Scientific Problems. Lawrence Erlbaum, New York (2007)
Jones A.: The adaptation of Babylonian methods in greek numerical astronomy. Isis 82(3), 440–453 (1991)
Kant I.: Lectures on Logic. Cambridge University Press, Cambridge (1992)
Keil F.C.: Concepts, Kinds, and Cognitive Development. MIT Press, Cambridge (1989)
Keil F.C.: Explanation and understanding. Ann. Rev. Psychol. 57, 227–254 (2006)
Kelly G.A.: The Psychology of Personal Constructs. Norton, New York (1955)
Kelly G.A.: A mathematical approach to psychology. In: Maher, B. (eds) Clinical Psychology and Personality: The Selected Papers of George Kelly, pp. 94–113. Wiley, New York (1969)
Kitchener R.F.: Genetic epistemology, equilibration and the rationality of scientific change. Stud. Hist. Philos. Sci. Part A 18(3), 339–366 (2009)
Kitcher P.: The division of cognitive labor. J. Philos. 87(1), 5–22 (1990)
Kitcher P.: The Advancement of Science: Science Without Legend, Objectivity Without Illusions. Oxford University Press, New York (1993)
Knuth D.E.: Dancing links. In: Davies, J., Roscoe, A.W., Woodcock, J. (eds) Millennial Perspectives in Computer Science, pp. 187–214. Palgrave, UK (2000)
Kordig C.R.: The theory-ladenness of observation. Rev. Metaphys. 24(3), 448–484 (1971)
Korotayev A.: A compact macromodel of world system evolution. J. World Syst. Res. 11(1), 79–93 (2005)
Koslow A.: Structuralist logic: implications, inferences, and consequences. Logica Universalis 1(1), 167–181 (2007)
Kraus S., Lehmann D., Magidor M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1-2), 167–207 (1990)
Krause, D., Béziau, J.-Y.: Relativizations of the principle of identity. Log. J. IGPL 53, 1–b–12 (1997)
Kuhn T.S.: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1970)
Kurzweil R.: The Singularity is Near: When Humans Transcend Biology. Viking, New York (2005)
Lachterman D.R.: The Ethics of Geometry: A Genealogy of Modernity. Routledge, New York (1989)
Laland K.N., Odling-Smee J., Feldman M.W.: Niche construction, biological evolution, and cultural change. Behav. Brain Sci. 23(01), 131–146 (2000)
De Langhe R.: The division of labour in science: the tradeoff between specialisation and diversity. J. Econ. Methodol. 17(1), 37–51 (2010)
Laughlin B.: The Aristotle adventure: A guide to the Greek, Arabic, and Latin scholars who transmitted Aristotle’s logic to the renaissance. Albert Hale, Flagstaff, AZ (1995)
Lee N.Y.L., Goodwin G.P., Johnson-Laird P.N.: The psychological puzzle of Sudoku. Think. Reason. 14(4), 342–364 (2008)
Lehmann D.: Nonmonotonic logics and semantics. J. Log. Comput. 11(2), 229–256 (2001)
Lehmann D., Magidor M.: What does a conditional knowledge base entail?. Artif. Intell. 55(1), 1–60 (1992)
Levesque H.J., Brachman R.J.: Expressiveness and tractability in knowledge representation and reasoning. Comput. Intell. 3(2), 78–93 (1987)
Lloyd G.E.R.: Adversaries and Authorities: Investigations into Ancient Greek and Chinese Science. Cambridge University Press, Cambridge (1996)
Loasby B.J.: Knowledge, Institutions, and Evolution in Economics. Routledge, London (1999)
Loflin M.D., Silverberg J.: Discourse and Inference in Cognitive Anthropology: An Approach to Psychic Unity and Enculturation. Mouton, The Hague (1978)
Łoś J., Susko R.: Remarks on sentential logics. Indag. Math. 20, 177–183 (1958)
Lurz R.W.: The Philosophy of Animal Minds. Cambridge University Press, Cambridge (2009)
Magnani L.: Philosophy and Geometry: Theoretical and Historical Issues. Kluwer, Dordrecht (2001)
Makinson D.: Five faces of minimality. Stud. Log. 52(3), 339–379 (1993)
Makinson D.: Bridges from Classical to Nonmonotonic Logic. King’s College, London (2005)
Makinson D., Gärdenfors P.: Relations between the logic of theory change and nonmonotonic logic. In: Fuhrmann, A., Morreau, M. (eds) The Logic of Theory Change: LNAI-465, pp. 185–205. Springer, Berlin (1991)
Malinowski G.: Q-consequence operation. Rep. Math. Log. 24, 49–59 (1990)
Manktelow K.I., Chung M.C.: Psychology of Reasoning: Theoretical and Historical Perspectives. Psychology Press, New York (2004)
Manuel F.E.: The Religion of Isaac Newton. Clarendon Press, Oxford (1974)
Mares E.D.: Relevant Logic: A Philosophical Interpretation. Cambridge Univeristy Press, Cambridge (2004)
Mares E.D.: “Four-valued” semantics for the relevant logic R. J. Philos. Log. 33(3), 327–341 (2004)
Margolis J.: Pragmatism’s Advantage: American and European Philosophy at the End of the Twentieth Century. Stanford University Press, Stanford (2010)
McLarty, C.: Theology and its discontents: the origin myth of modern mathematics. In: Doxiadis, A., Mazur, B. (eds.) Mathematics and Narrative. Princeton University Press, Princeton (2010, to appear)
McCoy M.M.: Positive and negative emotion: a personal construct theory interpretation. In: Bonarius, H., Holland, R., Rosenberg, S. (eds) Personal Construct Psychology: Recent Advances in Theory and Practice, pp. 95–104. Macmillan, London (1981)
Merton R.K.: The Sociology of Science: Theoretical and Empirical Investigations. University of Chicago Press, Chicago (1973)
Mitroff I.I.: The Subjective Side of Science: A Philosophical Inquiry into the Psychology of the Apollo Moon Scientists. Elsevier, Amsterdam (1974)
Moshman D.: The development of metalogical understanding. In: Overton, W.F. (eds) Reasoning, Necessity, and Logic: Developmental Perspectives, pp. 205–225. Lawrence Erlbaum, Hillsdale (1990)
Moshman, D.: Cognitive development beyond childhood (chapter 19). In: Kuhn, D., Siegler, R. (eds.) Handbook of Child Psychology, vol. 2, 5th edn. Cognition, Perception, and Language, pp. 947–978. Wiley, New York (1998)
Moshman D.: Adolescent Psychological Development: Rationality, Morality, and Identity. Lawrence Erlbaum, Mahwah (1999)
Moshman D.: From Inference to Reasoning: The Construction of Rationality. Think. Reason. 10(2), 221–239 (2004)
Mozzochi C.J.: The Fermat Diary. American Mathematical Society, Providence RI (2000)
Nebel B.: Terminological reasoning is inherently intractable. Artif. Intell. 43(2), 235–249 (1990)
Nersessian N.J.: Creating Scientific Concepts. MIT Press, Cambridge (2008)
Netz R.: The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History. Cambridge University Press, Cambridge (1999)
Neugebauer O.: The Exact Sciences in Antiquity. Princeton University Press, Princeton (1952)
Noble W., Davidson I.: Human Evolution, Language, and Mind: A Psychological and Archaeological Inquiry. Cambridge University Press, Cambridge (1952)
Noether M.: Paul Gordan. Mathematische Annalen 75, 1–41 (1914)
O’Brien D.P.: Finding logic in human reasoning requires looking in the right places. In: Newstead, S.E., Evans, J.S.B.T. (eds) Perspectives on Thinking and Reasoning: Essays in Honour of Peter Wason, pp. 189–216. Lawrence Erlbaum, Hillsdale (1995)
Piaget J.: Genetic Epistemology. Columbia University Press, New York (1970)
Piaget J.: Main Trends in Inter-disciplinary Research. George Allen and Unwin, London (1973)
Piaget J.: The Equilibration of Cognitive Structures: The Central Problem of Intellectual Development. University of Chicago Press, Chicago (1985)
Piaget J., Garcia R.: Toward a logic of meanings. Lawrence Erlbaum, Hillsdale (1991)
Pickering A.: The Mangle of Practice: Time, Agency, and Science. University of Chicago Press, Chicago (1995)
Popper K.R.: The Logic of Scientific Discovery. Hutchinson, London (1959)
Portoraro F.D., Tully R.E.: Logic with Symlog: Learning Symbolic Logic by Computer. Prentice Hall, Englewood Cliffs (1994)
Powers W.T.: Behavior: The Control of Perception. Aldine, Chicago (1973)
Quillian M.R.: Word concepts: a theory and simulation of some basic semantic capabilities. Behav. Sci. 12(5), 410–430 (1967)
Reiter R.: A logic for default reasoning. Artif. Intell. 13(1-2), 81–132 (1980)
Resnik M.D.: The Frege-Hilbert controversy. Philos. Phenomenol. Res. 34(3), 386–403 (1974)
Reuning K.: Joy and Freude: a Comparative Study of the Linguistic Field of Pleasurable Emotions in English and German. Swarthmore College Bookstore, Swarthmore (1941)
Rips L.J.: The Psychology of Proof: Deductive Reasoning in Human Thinking. MIT Press, Cambridge (1994)
Robson E.: Mathematics in Ancient Iraq: A Social History. Princeton University Press, Princeton (2008)
Romein J.W., Bal H.E.: Solving awari with parallel retrograde analysis. Computer 36(10), 26–33 (2003)
Rosch E., Lloyd B.B.: Cognition and Categorization. Lawrence Erlbaum, Hillsdale (1978)
Rozencwajg P., Corroyer D.: Strategy development in a block design task. Intelligence 30(1), 1–25 (2001)
Sarkar H.: Group Rationality in Scientific Research. Cambridge University Press, Cambridge (2007)
Schütz A.: The problem of rationality in the social world. Economica 10(38), 130–149 (1943)
Schütz A.: On multiple realities. Philos. Phenomenol. Res. 5(4), 533–576 (1945)
Shaw M.L.G.: On Becoming a Personal Scientist: Interactive Computer Elicitation of Personal Models of the World. Academic Press, London (1980)
Shaw M.L.G., Gaines B.R.: Comparing conceptual structures: consensus, conflict, correspondence and contrast. Knowl. Acquis. 1(4), 341–363 (1989)
Shore B.: Culture in Mind: Cognition, Culture, and the Problem of Meaning. Oxford University Press, New York (1996)
Singh S.: Fermat’s enigma: The quest to solve the world’s greatest mathematical problem. Walker, New York (1997)
Smith A.: An Inquiry into the Nature and Causes of the Wealth of Nations. Methuen, London (1776)
Smith E.E., Medin D.L.: Categories and Concepts. Harvard University Press, Cambridge (1981)
Smith N.V.: Mutual Knowledge. Academic Press, New York (1982)
Spence N.C.W.: Linguistic fields, conceptual systems and the weltbild. Trans. Philol. Soc. 60(1), 87–106 (1961)
Stalnaker R.: What is a nonmonotonic consequence relation?. Fundam. Inform. 21(1/2), 7–21 (1994)
Stenning K., van Lambalgen M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)
Tall D.O.: Advanced Mathematical Thinking. Kluwer, Dordrecht (1991)
Tarski, A.: On some fundamental concepts of metamathematics. Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 30–37. Clarendon Press, Oxford (1956)
Tarski, A.: On the concept of logical consequence. Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 409–420. Clarendon Press, Oxford (1956)
Tarski A., Givant S.: Tarski’s system of geometry. Bull. Symbol. Logic 5(2), 175–214 (1999)
Thackray A., Merton R.K.: On discipline building: the paradoxes of george sarton. Isis 63(4), 473–495 (1972)
Tharp L.: Myth and mathematics: a conceptualistic philosophy of mathematics I. Synthese 81(2), 167–201 (1989)
Traweek S.: Beamtimes and Lifetimes: the World of High Energy Physicists. Harvard University Press, Cambridge (1988)
Tsarkov D., Horrocks I., Patel-Schneider P.: Optimizing terminological reasoning for expressive description logics. J. Autom. Reason. 39(3), 277–316 (2007)
Tyler S.A.: Cognitive Anthropology. Holt, New York (1969)
Valle E.: A collective intelligence: the life sciences in the Royal Society as a scientific discourse community 1665–1965. University of Turku, Turku (1999)
van Benthem J.: Where is logic going, and should it?. Topoi 25(1), 117–122 (2006)
Viterbo P.: History of science as interdisciplinary education in American colleges: its origins, advantages, and pitfalls. J. Res. Pract. 3(2), 1–18 (2007)
Voyat G.: Piaget Systematized. Lawrence Erlbaum, Hillsdale (1982)
Waismann, F.: Verifiability. In: Proceedings of the Aristotelian Society, Supplementary Volumes 19, 119–150 (1945)
Wallace E.C., West S.F.: Roads to Geometry. Prentice Hall, Upper Saddle River (1998)
Wansing H., Shramko Y.: Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Stud. Log. 88(3), 405–429 (2008)
Wason P.C.: Psychology of Reasoning: Structure and Content. Harvard University Press, Cambridge (1972)
Weinmann A.: Uncertain Models and Robust Control. Springer, New York (1991)
Weitz M.: The Opening Mind: A Philosophical Study of Humanistic Concepts. University of Chicago Press, Chicago (1977)
Wenger E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (1998)
Wetherick N.E.: Reasoning and rationality: a critique of some experimental paradigms. Theory Psychol. 5(3), 429–448 (1995)
Willard C.A.: A Theory of Argumentation. University of Alabama Press, Tuscaloosa (1989)
Wojciechowski, J.A.: The impact of knowledge on man: the ecology of knowledge. In: Hommage a Francois Meyer, pp. 161–175. Laffitte, Marseille (1983)
Wolff K.H.: Surrender and Catch: Experience and Inquiry Today. Reidel, Dordrecht (1976)
Woods W.A.: What’s in a link. In: Bobrow, D.G., Collins, A. (eds) Representation and Understanding, pp. 35–82. Academic Press, New York (1975)
Wright B.C.: Reconceptualizing the transitive inference ability: a framework for existing and future research. Dev. Rev. 21(4), 375–422 (2001)
Wynn T.: Piaget, stone tools and the evolution of human intelligence. World Archeol. 17(1), 32–42 (1985)
Wójcicki R.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)
Zalta E.N.: Intensional Logic and the Metaphysics of Intentionality. MIT Press, Cambridge (1988)
Zalta E.N.: Twenty-five basic theorems in situations and world theory. J. Philos. Log. 22(4), 385–428 (1993)
Zhang J., Patel V.L.: Distributed cognition, representation, and affordance. Pragmat. Cogn. 14(2), 333–342 (2006)
Zhang Y., Zhou Y.: Knowledge forgetting: properties and applications. Artif. Intell. 173(16-17), 1525–1537 (2009)
Zhao S.: Internet and the lifeworld: updating Schutz’s theory of mutual knowledge. Inform. Technol. People 20(2), 140–160 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
I am grateful to Jean-Yves Béziau for the stimulating call for papers that provoked the writing of this paper, and to the anonymous referees for their perceptive and helpful comments.
Rights and permissions
About this article
Cite this article
Gaines, B.R. Human Rationality Challenges Universal Logic. Log. Univers. 4, 163–205 (2010). https://doi.org/10.1007/s11787-010-0019-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-010-0019-9