Skip to main content
SpringerLink
Log in

Human Rationality Challenges Universal Logic

  • Published:
Logica Universalis Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abramsky S.: Computational interpretations of linear logic. Theor. Comput. Sci. 111(1-2), 3–57 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Article  MATH  MathSciNet  Google Scholar 

  4. Alechina N., Logan B.: A logic of situated resource-bounded agents. J. Log. Lang. Infor. 18(1), 79–95 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  5. Aliseda A.: Abductive Reasoning: Logical Investigations into Discovery and Explanation. Springer, Dordrecht (2006)

    MATH  Google Scholar 

  6. Andersen H.: Kuhn’s account of family resemblance: a solution to the problem of wide-open texture. Erkenntnis 52(3), 313–337 (2000)

    Article  Google Scholar 

  7. Anderson A.R., Belnap N.D., Dunn J.M.: Entailment: The Logic of Relevance and Necessity. Princeton University Press, Princeton (1975)

    MATH  Google Scholar 

  8. Antonelli G.A.: Grounded Consequence for Defeasible Logic. Cambridge University Press, Cambridge (2005)

    Book  MATH  Google Scholar 

  9. Aristotle: Posterior Analytics. Blackwell, Oxford (1901)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Arrow K.J.: Rational choice functions and orderings. Economica 26(102), 121–127 (1959)

    Article  Google Scholar 

  13. Arrow K.J., Sen A., Suzumura K.: Handbook of Social Choice and Welfare. Elsevier, Amsterdam (2002)

    Google Scholar 

  14. Artmann B.: Euclid: The Creation of Mathematics. Springer, New York (1999)

    MATH  Google Scholar 

  15. Au T.K-F.: Counterfactuals: In reply to Alfred Bloom. Cognition 17(3), 289–302 (1984)

    Article  MathSciNet  Google Scholar 

  16. 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)

    Google Scholar 

  17. Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  18. Balzer W., Moulines C.U., Sneed J.D.: An Architectonic for Science: The Structuralist Program. Reidel, Dordrecht (1987)

    MATH  Google Scholar 

  19. 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)

    Google Scholar 

  20. Bartlett F.C.: Remembering: A Study in Experimental and Social Psychology. Cambridge University Press, Cambridge (1932)

    Google Scholar 

  21. Barwise J., Perry J.: Situations and Attitudes. MIT Press, Cambridge (1983)

    Google Scholar 

  22. Barwise J., Seligman J.: Information flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  23. Batens D.: A universal logic approach to adaptive logics. Logica Universalis 1, 221–242 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  24. 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)

    Google Scholar 

  25. Bernstein E., Vazirani U.: Quantum complexity theory. SIAM J. Comput. 26(5), 1411–1473 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  26. Beth E.W., Piaget J.: Mathematical Epistemology and Psychology. Reidel, Dordrecht Holland (1966)

    MATH  Google Scholar 

  27. Béziau J.-Y.: 13 questions about universal logic. Bull. Sect. Log. 35(2/3), 133–150 (2006)

    MATH  Google Scholar 

  28. 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)

    Chapter  Google Scholar 

  29. Blanchette P.A.: Frege on consistency and conceptual analysis. Philos. Math. 15(3), 321–346 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  30. 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)

    Google Scholar 

  31. Bodanza G.A., Tohmé F.A.: Local logics, non-monotonicity and defeasible argumentation. J. Log. Lang. Inform. 14(1), 1–12 (2005)

    Article  MATH  Google Scholar 

  32. Boose J.H.: Expertise Transfer for Expert System Design. Elsevier, Amsterdam (1986)

    Google Scholar 

  33. Bos H.J.M.: Redefining Geometrical Exactness: Descartes’ Transformation of the Early Modern Concept of Construction. Springer, New York (2001)

    MATH  Google Scholar 

  34. Bourdieu P.: The Logic of Practice. Polity, Cambridge (1989)

    Google Scholar 

  35. Brachman R.J.: What is-a is and isn’t: an analysis of taxonomic links in semantic networks. Computer 16(10), 30–36 (1983)

    Article  Google Scholar 

  36. Brachman R.J.: “I lied about the trees,” or, defaults and definitions in knowledge representation. AI Mag. 6(3), 80–93 (1985)

    Google Scholar 

  37. 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)

  38. Braine M.D.S., O’Brien D.P.: Mental Logic. Lawrence Erlbaum, Mahwah (1998)

    Google Scholar 

  39. Brun G., Doguoglu U., Kuenzle D.: Epistemology and Emotions. Ashgate, Aldershot, UK (2008)

    Google Scholar 

  40. Carnap R.: Logical Foundations of Probability. University of Chicago Press, Chicago (1950)

    MATH  Google Scholar 

  41. Carruthers P.: Practical reasoning in a modular mind. Mind Lang. 19(3), 259–278 (2004)

    Google Scholar 

  42. Carruthers P.: How we know our own minds: the relationship between mindreading and metacognition. Behav. Brain Sci. 32, 121–182 (2009)

    Article  Google Scholar 

  43. Carruthers P., Stich S.P., Siegal M.: The Cognitive Basis of Science. Cambridge University Press, Cambridge (2002)

    Book  Google Scholar 

  44. Cavedon L.: Default reasoning as situated monotonic inference. Minds Mach. 8(4), 509–531 (1998)

    Article  Google Scholar 

  45. 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)

    Google Scholar 

  46. 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)

    Chapter  Google Scholar 

  47. Charlesworth M.J.: Life Among the Scientists: an Anthropological Study of an Australian Scientific Community. Oxford University Press, Melbourne (1989)

    Google Scholar 

  48. 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)

    Article  Google Scholar 

  49. Chellas B.F.: Modal logic: An Introduction. Cambridge University Press, New York (1980)

    MATH  Google Scholar 

  50. Cherniak C.: Minimal rationality. Mind XC(358), 161–183 (1981)

    Article  Google Scholar 

  51. Cohen H.F.: The Scientific Revolution: A Historiographical Inquiry. University of Chicago Press, Chicago (1994)

    MATH  Google Scholar 

  52. Cohen L.J.: Can human irrationality be experimentally demonstrated? Behav. Brain Sci. 4, 317–370 (1981)

    Article  Google Scholar 

  53. 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)

    Google Scholar 

  54. 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)

    Article  MATH  MathSciNet  Google Scholar 

  55. Craik K.J.W.: The Nature of Explanation. Cambridge University Press, Cambridge (1943)

    Google Scholar 

  56. Crystal J.D., Foote A.L.: Metacognition in animals. Comp. Cogn. Behav. Rev. 4, 1–16 (2009)

    Google Scholar 

  57. D’Andrade R.G.: The Development of Cognitive Anthropology. Cambridge University Press, Cambridge (1995)

    Google Scholar 

  58. 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)

  59. Delbrück M.: Mind from Matter? an Essay on Evolutionary Epistemology. Blackwell Scientific Publications, Palo Alto (1986)

    Google Scholar 

  60. Dennett D.C.: The Intentional Stance. MIT Press, Cambridge, Massachusetts (1987)

    Google Scholar 

  61. Dewey J.: How We Think. Heath, Boston (1910)

    Book  Google Scholar 

  62. Dobbs B.J.T.: The Janus Faces of Genius: The role of Alchemy in Newton’s Thought. Cambridge University Press, Cambridge (1991)

    Google Scholar 

  63. Donald M.: Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition. Harvard University Press, Cambridge (1991)

    Google Scholar 

  64. 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)

    Google Scholar 

  65. 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)

    Google Scholar 

  66. Dreyfus H.L.: What Computers Can’t Do: The Limits of Artificial Intelligence. Harper and Row, New York (1979)

    Google Scholar 

  67. Dunn J.M.: Intuitive semantics for first-degree entailments and ‘coupled trees’. Philos. Stud. Int. J. Philos. Anal. Tradit. 29(3), 149–168 (1976)

    MathSciNet  Google Scholar 

  68. Dunn J.M.: Partiality and its dual. Stud. Log. 66(1), 5–40 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  69. Earl P.E.: Lifestyle Economics: Consumer Behavior in a Turbulent World. St. Martin’s Press, New York (1986)

    Google Scholar 

  70. 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)

    Google Scholar 

  71. Epstein J.M.: Generative Social Science: Studies in Agent-Based Computational Modeling. Princeton University Press, Princeton (2006)

    MATH  Google Scholar 

  72. Estany A.: The thesis of theory-laden observation in the light of cognitive psychology. Philos. Sci. 68(2), 203–217 (2001)

    Article  Google Scholar 

  73. Evans J.S.B.T.: Dual-processing accounts of reasoning, judgment, and social cognition. Ann. Rev. Psychol. 59, 255–278 (2008)

    Article  Google Scholar 

  74. Evans J.S.B.T., Frankish K.: In Two Minds: Dual Processes and Beyond. Oxford University Press, Oxford (2009)

    Google Scholar 

  75. 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)

    Chapter  Google Scholar 

  76. Feyerabend P.K.: Against Method: Outline of an Anarchistic Theory of Knowledge. Humanities Press, London (1975)

    Google Scholar 

  77. Fisher C.: The death of a mathematical theory: a study in the sociology of knowledge. Arch. Hist. Exact Sci. 3(2), 137–159 (1966)

    Article  MATH  Google Scholar 

  78. 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)

    Article  Google Scholar 

  79. Fisher M., Ghidini C.: Exploring the future with resource-bounded agents. J. Log. Lang. Inform. 18(1), 3–21 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  80. Fortun M., Bernstein H.J.: Muddling Through: Pursuing Science and Truths in the 21st Century. Counterpoint, Washington (1998)

    Google Scholar 

  81. Frake C.O.: The ethnographic study of cognitive systems. In: Tyler, S.A. (eds) Cognitive Anthropology, pp. 28–41. Holt, New York (1969)

    Google Scholar 

  82. Frege, G.: On Euclidean geometry. In: Posthumous Writings, pp. 167–169. University of Chicago Press, Chicago (1979)

  83. Fritsch R., Fritsch G.: The Four Color Theorem: History, Topological Foundations, and Idea of Proof. Springer, New York (1998)

    MATH  Google Scholar 

  84. 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)

    Google Scholar 

  85. Gabbay D., Schlechta K.: Cumulativity without closure of the domain under finite unions. Rev. Symbol. Log. 1(3), 372–392 (2008)

    Article  MATH  Google Scholar 

  86. Gabbay D., Schlechta K.: Defeasible inheritance systems and reactive diagrams. Log. J. IGPL 17(1), 1–54 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  87. Gabbay D., Schlechta K.: Reactive preferential structures and nonmonotonic consequence. Rev. Symbol. Log. 2(02), 414–450 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  88. Gabbay D., Rodrigues O., Russo A.: Belief revision in non-classical logics. Rev. Symbol. Log. 1(3), 267–304 (2008)

    Article  MATH  Google Scholar 

  89. Gabbay D., Woods J.: A Practical Logic of Cognitive Systems, vol. 2: The Reach of Abduction - Insight and Trial. North Holland, Amsterdam (2005)

    Google Scholar 

  90. Gabbay D., Woods J.: Resource-origins of nonmonotonicity. Stud. Log. 88(1), 85–112 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  91. Gaines B.R.: Linear and nonlinear models of the human controller. Int. J. Man-Mach. Stud. 1(4), 333–360 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  92. Gaines B.R.: Memory minimization in control with stochastic automata. Electron. Lett. 7(24), 710–711 (1971)

    Article  Google Scholar 

  93. Gaines B.R.: Training, stability and control. Instr. Sci. 3(2), 151–176 (1974)

    Article  Google Scholar 

  94. Gaines B.R.: On the complexity of causal models. IEEE Trans. Syst. Man Cybern. SMC- 6(1), 56–59 (1976)

    MATH  Google Scholar 

  95. Gaines B.R.: The collective stance in modeling expertise in individuals and organizations. Int. J. Expert Syst. 7(1), 21–51 (1994)

    Google Scholar 

  96. Gaines B.R.: Knowledge management in societies of intelligent adaptive agents. J. Intell. Inform. Syst. 9(3), 277–298 (1997)

    Article  Google Scholar 

  97. Gaines B.R.: The learning curves underlying convergence. Technol. Forecast. Soc. Change 57(1-2), 7–34 (2006)

    Article  Google Scholar 

  98. Gaines B.R.: Designing visual languages for description logics. J. Log. Lang. Inform. 18(2), 217–250 (2009)

    Article  Google Scholar 

  99. Gaines B.R., Shaw M.L.G.: Basing knowledge acquisition tools in personal construct psychology. Knowl. Eng. Rev. 8(1), 49–85 (1993)

    Article  Google Scholar 

  100. Gelman S.A.: The Essential Child: Origins of Essentialism in Everyday Thought. Oxford University Press, Oxford (2003)

    Google Scholar 

  101. Gershenson D.E., Greenberg D.A.: Anaxagoras and the Birth of Physics. Blaisdell, New York (1964)

    Google Scholar 

  102. Gibson K.R., Ingold T.: Tools, Language, and Cognition in Human Evolution. Cambridge University Press, Cambridge (1993)

    Google Scholar 

  103. Giere R.N.: Cognitive Models of Science. University of Minnesota Press, Minneapolis (1992)

    Google Scholar 

  104. Giere R.N., Moffatt B.: Distributed cognition: where the cognitive and the social merge. Soc. Stud. Sci. 33(2), 301–310 (2003)

    Article  Google Scholar 

  105. Gigerenzer G., Brighton H.: Homo heuristicus: why biased minds make better inferences. Top. Cogn. Sci. 1, 107–143 (2009)

    Article  Google Scholar 

  106. Gordon P.: Solving Sudoku. Sterling, New York (2006)

    Google Scholar 

  107. Gorman M.E.: Simulating Science: Heuristics, Mental Models, and Technoscientific Thinking. Indiana University Press, Bloomington (1992)

    Google Scholar 

  108. Gorman M.E.: Scientific and Technological Thinking. Lawrence Erlbaum, Mahwah (2005)

    Google Scholar 

  109. Gratch J., Marsella S., Petta P.: Modeling the cognitive antecedents and consequences of emotion. Cogn. Syst. Res. 10(1), 1–5 (2009)

    Article  Google Scholar 

  110. Grice H.P.: Studies in the Way of Words. Harvard University Press, Cambridge (1989)

    Google Scholar 

  111. Griffiths T.L., Steyvers M., Firl A.: Google and the mind. Psychol. Sci. 18, 1069–1076 (2007)

    Article  Google Scholar 

  112. Gödel K.: Über eine bischer nich nicht benüzte erweiterung des finiten standpunktes. Dialectica 12, 280–287 (1958)

    Article  MATH  MathSciNet  Google Scholar 

  113. Hallpike C.R.: The Foundations of Primitive Thought. Clarendon Press, Oxford (1979)

    Google Scholar 

  114. Harnad S.: Distributed processes, distributed cognizers, and collaborative cognition. Pragmat. Cogn. 13(3), 501–515 (2005)

    Article  Google Scholar 

  115. Harper R., Honsell F., Plotkin G.: A framework for defining logics. J. ACM 40(1), 143–184 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  116. Hart H.L.A.: The Concept of Law. Clarendon Press, Oxford (1961)

    Google Scholar 

  117. Havelock E.A.: The Literate Revolution in Greece and its Cultural Consequences. Princeton University Press, Princeton (1982)

    Google Scholar 

  118. Heidegger M.: Being and Time. Harper and Row, New York (1962)

    Google Scholar 

  119. 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)

    Chapter  Google Scholar 

  120. Herz, A.: A constructive version of the Hilbert basis theorem, Ph.D. thesis, Pittsburgh (2004)

  121. Hilbert D.: Über die theorie der algebraischen formen. Mathematische Annalen 36(4), 473–534 (1890)

    Article  MathSciNet  Google Scholar 

  122. Hilbert D.: Über die vollen invariantensysteme. Mathematische Annalen 42(3), 313–373 (1893)

    Article  MathSciNet  Google Scholar 

  123. Hilbert D.: The Foundations of Geometry. Open Court, Chicago (1902)

    MATH  Google Scholar 

  124. Hobart M.E., Schiffman Z.S.: Information Ages: Literacy, Numeracy, and the Computer Revolution. Johns Hopkins University Press, Baltimore (1998)

    Google Scholar 

  125. 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)

    Google Scholar 

  126. Hurley S.L., Nudds M.: Rational Animals?. Oxford University Press, Oxford (2006)

    Google Scholar 

  127. Jonassen D.H.: Learning to Solve Complex Scientific Problems. Lawrence Erlbaum, New York (2007)

    Google Scholar 

  128. Jones A.: The adaptation of Babylonian methods in greek numerical astronomy. Isis 82(3), 440–453 (1991)

    Article  Google Scholar 

  129. Kant I.: Lectures on Logic. Cambridge University Press, Cambridge (1992)

    Google Scholar 

  130. Keil F.C.: Concepts, Kinds, and Cognitive Development. MIT Press, Cambridge (1989)

    Google Scholar 

  131. Keil F.C.: Explanation and understanding. Ann. Rev. Psychol. 57, 227–254 (2006)

    Article  Google Scholar 

  132. Kelly G.A.: The Psychology of Personal Constructs. Norton, New York (1955)

    Google Scholar 

  133. 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)

    Google Scholar 

  134. Kitchener R.F.: Genetic epistemology, equilibration and the rationality of scientific change. Stud. Hist. Philos. Sci. Part A 18(3), 339–366 (2009)

    Article  Google Scholar 

  135. Kitcher P.: The division of cognitive labor. J. Philos. 87(1), 5–22 (1990)

    Article  Google Scholar 

  136. Kitcher P.: The Advancement of Science: Science Without Legend, Objectivity Without Illusions. Oxford University Press, New York (1993)

    Google Scholar 

  137. 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)

    Google Scholar 

  138. Kordig C.R.: The theory-ladenness of observation. Rev. Metaphys. 24(3), 448–484 (1971)

    Google Scholar 

  139. Korotayev A.: A compact macromodel of world system evolution. J. World Syst. Res. 11(1), 79–93 (2005)

    Google Scholar 

  140. Koslow A.: Structuralist logic: implications, inferences, and consequences. Logica Universalis 1(1), 167–181 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  141. Kraus S., Lehmann D., Magidor M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1-2), 167–207 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  142. Krause, D., Béziau, J.-Y.: Relativizations of the principle of identity. Log. J. IGPL 53, 1–b–12 (1997)

    Google Scholar 

  143. Kuhn T.S.: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1970)

    Google Scholar 

  144. Kurzweil R.: The Singularity is Near: When Humans Transcend Biology. Viking, New York (2005)

    Google Scholar 

  145. Lachterman D.R.: The Ethics of Geometry: A Genealogy of Modernity. Routledge, New York (1989)

    Google Scholar 

  146. Laland K.N., Odling-Smee J., Feldman M.W.: Niche construction, biological evolution, and cultural change. Behav. Brain Sci. 23(01), 131–146 (2000)

    Article  Google Scholar 

  147. De Langhe R.: The division of labour in science: the tradeoff between specialisation and diversity. J. Econ. Methodol. 17(1), 37–51 (2010)

    Article  Google Scholar 

  148. 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)

    Google Scholar 

  149. Lee N.Y.L., Goodwin G.P., Johnson-Laird P.N.: The psychological puzzle of Sudoku. Think. Reason. 14(4), 342–364 (2008)

    Article  Google Scholar 

  150. Lehmann D.: Nonmonotonic logics and semantics. J. Log. Comput. 11(2), 229–256 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  151. Lehmann D., Magidor M.: What does a conditional knowledge base entail?. Artif. Intell. 55(1), 1–60 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  152. Levesque H.J., Brachman R.J.: Expressiveness and tractability in knowledge representation and reasoning. Comput. Intell. 3(2), 78–93 (1987)

    Article  Google Scholar 

  153. Lloyd G.E.R.: Adversaries and Authorities: Investigations into Ancient Greek and Chinese Science. Cambridge University Press, Cambridge (1996)

    Google Scholar 

  154. Loasby B.J.: Knowledge, Institutions, and Evolution in Economics. Routledge, London (1999)

    Book  Google Scholar 

  155. Loflin M.D., Silverberg J.: Discourse and Inference in Cognitive Anthropology: An Approach to Psychic Unity and Enculturation. Mouton, The Hague (1978)

    Google Scholar 

  156. Łoś J., Susko R.: Remarks on sentential logics. Indag. Math. 20, 177–183 (1958)

    Google Scholar 

  157. Lurz R.W.: The Philosophy of Animal Minds. Cambridge University Press, Cambridge (2009)

    Google Scholar 

  158. Magnani L.: Philosophy and Geometry: Theoretical and Historical Issues. Kluwer, Dordrecht (2001)

    MATH  Google Scholar 

  159. Makinson D.: Five faces of minimality. Stud. Log. 52(3), 339–379 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  160. Makinson D.: Bridges from Classical to Nonmonotonic Logic. King’s College, London (2005)

    MATH  Google Scholar 

  161. 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)

    Google Scholar 

  162. Malinowski G.: Q-consequence operation. Rep. Math. Log. 24, 49–59 (1990)

    MATH  MathSciNet  Google Scholar 

  163. Manktelow K.I., Chung M.C.: Psychology of Reasoning: Theoretical and Historical Perspectives. Psychology Press, New York (2004)

    Google Scholar 

  164. Manuel F.E.: The Religion of Isaac Newton. Clarendon Press, Oxford (1974)

    Google Scholar 

  165. Mares E.D.: Relevant Logic: A Philosophical Interpretation. Cambridge Univeristy Press, Cambridge (2004)

    Book  Google Scholar 

  166. Mares E.D.: “Four-valued” semantics for the relevant logic R. J. Philos. Log. 33(3), 327–341 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  167. Margolis J.: Pragmatism’s Advantage: American and European Philosophy at the End of the Twentieth Century. Stanford University Press, Stanford (2010)

    Google Scholar 

  168. 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)

  169. 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)

    Google Scholar 

  170. Merton R.K.: The Sociology of Science: Theoretical and Empirical Investigations. University of Chicago Press, Chicago (1973)

    Google Scholar 

  171. Mitroff I.I.: The Subjective Side of Science: A Philosophical Inquiry into the Psychology of the Apollo Moon Scientists. Elsevier, Amsterdam (1974)

    Google Scholar 

  172. 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)

    Google Scholar 

  173. 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)

  174. Moshman D.: Adolescent Psychological Development: Rationality, Morality, and Identity. Lawrence Erlbaum, Mahwah (1999)

    Google Scholar 

  175. Moshman D.: From Inference to Reasoning: The Construction of Rationality. Think. Reason. 10(2), 221–239 (2004)

    Article  Google Scholar 

  176. Mozzochi C.J.: The Fermat Diary. American Mathematical Society, Providence RI (2000)

    MATH  Google Scholar 

  177. Nebel B.: Terminological reasoning is inherently intractable. Artif. Intell. 43(2), 235–249 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  178. Nersessian N.J.: Creating Scientific Concepts. MIT Press, Cambridge (2008)

    Google Scholar 

  179. Netz R.: The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History. Cambridge University Press, Cambridge (1999)

    Book  MATH  Google Scholar 

  180. Neugebauer O.: The Exact Sciences in Antiquity. Princeton University Press, Princeton (1952)

    MATH  Google Scholar 

  181. Noble W., Davidson I.: Human Evolution, Language, and Mind: A Psychological and Archaeological Inquiry. Cambridge University Press, Cambridge (1952)

    Google Scholar 

  182. Noether M.: Paul Gordan. Mathematische Annalen 75, 1–41 (1914)

    Article  MathSciNet  Google Scholar 

  183. 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)

    Google Scholar 

  184. Piaget J.: Genetic Epistemology. Columbia University Press, New York (1970)

    Google Scholar 

  185. Piaget J.: Main Trends in Inter-disciplinary Research. George Allen and Unwin, London (1973)

    Google Scholar 

  186. Piaget J.: The Equilibration of Cognitive Structures: The Central Problem of Intellectual Development. University of Chicago Press, Chicago (1985)

    Google Scholar 

  187. Piaget J., Garcia R.: Toward a logic of meanings. Lawrence Erlbaum, Hillsdale (1991)

    MATH  Google Scholar 

  188. Pickering A.: The Mangle of Practice: Time, Agency, and Science. University of Chicago Press, Chicago (1995)

    MATH  Google Scholar 

  189. Popper K.R.: The Logic of Scientific Discovery. Hutchinson, London (1959)

    MATH  Google Scholar 

  190. Portoraro F.D., Tully R.E.: Logic with Symlog: Learning Symbolic Logic by Computer. Prentice Hall, Englewood Cliffs (1994)

    Google Scholar 

  191. Powers W.T.: Behavior: The Control of Perception. Aldine, Chicago (1973)

    Google Scholar 

  192. Quillian M.R.: Word concepts: a theory and simulation of some basic semantic capabilities. Behav. Sci. 12(5), 410–430 (1967)

    Article  Google Scholar 

  193. Reiter R.: A logic for default reasoning. Artif. Intell. 13(1-2), 81–132 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  194. Resnik M.D.: The Frege-Hilbert controversy. Philos. Phenomenol. Res. 34(3), 386–403 (1974)

    Article  MathSciNet  Google Scholar 

  195. Reuning K.: Joy and Freude: a Comparative Study of the Linguistic Field of Pleasurable Emotions in English and German. Swarthmore College Bookstore, Swarthmore (1941)

    Google Scholar 

  196. Rips L.J.: The Psychology of Proof: Deductive Reasoning in Human Thinking. MIT Press, Cambridge (1994)

    MATH  Google Scholar 

  197. Robson E.: Mathematics in Ancient Iraq: A Social History. Princeton University Press, Princeton (2008)

    MATH  Google Scholar 

  198. Romein J.W., Bal H.E.: Solving awari with parallel retrograde analysis. Computer 36(10), 26–33 (2003)

    Article  Google Scholar 

  199. Rosch E., Lloyd B.B.: Cognition and Categorization. Lawrence Erlbaum, Hillsdale (1978)

    Google Scholar 

  200. Rozencwajg P., Corroyer D.: Strategy development in a block design task. Intelligence 30(1), 1–25 (2001)

    Article  Google Scholar 

  201. Sarkar H.: Group Rationality in Scientific Research. Cambridge University Press, Cambridge (2007)

    Book  Google Scholar 

  202. Schütz A.: The problem of rationality in the social world. Economica 10(38), 130–149 (1943)

    Article  Google Scholar 

  203. Schütz A.: On multiple realities. Philos. Phenomenol. Res. 5(4), 533–576 (1945)

    Article  Google Scholar 

  204. Shaw M.L.G.: On Becoming a Personal Scientist: Interactive Computer Elicitation of Personal Models of the World. Academic Press, London (1980)

    Google Scholar 

  205. Shaw M.L.G., Gaines B.R.: Comparing conceptual structures: consensus, conflict, correspondence and contrast. Knowl. Acquis. 1(4), 341–363 (1989)

    Article  Google Scholar 

  206. Shore B.: Culture in Mind: Cognition, Culture, and the Problem of Meaning. Oxford University Press, New York (1996)

    Google Scholar 

  207. Singh S.: Fermat’s enigma: The quest to solve the world’s greatest mathematical problem. Walker, New York (1997)

    MATH  Google Scholar 

  208. Smith A.: An Inquiry into the Nature and Causes of the Wealth of Nations. Methuen, London (1776)

    Google Scholar 

  209. Smith E.E., Medin D.L.: Categories and Concepts. Harvard University Press, Cambridge (1981)

    Google Scholar 

  210. Smith N.V.: Mutual Knowledge. Academic Press, New York (1982)

    Google Scholar 

  211. Spence N.C.W.: Linguistic fields, conceptual systems and the weltbild. Trans. Philol. Soc. 60(1), 87–106 (1961)

    Article  Google Scholar 

  212. Stalnaker R.: What is a nonmonotonic consequence relation?. Fundam. Inform. 21(1/2), 7–21 (1994)

    MATH  MathSciNet  Google Scholar 

  213. Stenning K., van Lambalgen M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  214. Tall D.O.: Advanced Mathematical Thinking. Kluwer, Dordrecht (1991)

    MATH  Google Scholar 

  215. Tarski, A.: On some fundamental concepts of metamathematics. Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 30–37. Clarendon Press, Oxford (1956)

  216. Tarski, A.: On the concept of logical consequence. Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 409–420. Clarendon Press, Oxford (1956)

  217. Tarski A., Givant S.: Tarski’s system of geometry. Bull. Symbol. Logic 5(2), 175–214 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  218. Thackray A., Merton R.K.: On discipline building: the paradoxes of george sarton. Isis 63(4), 473–495 (1972)

    Google Scholar 

  219. Tharp L.: Myth and mathematics: a conceptualistic philosophy of mathematics I. Synthese 81(2), 167–201 (1989)

    Article  MathSciNet  Google Scholar 

  220. Traweek S.: Beamtimes and Lifetimes: the World of High Energy Physicists. Harvard University Press, Cambridge (1988)

    Google Scholar 

  221. Tsarkov D., Horrocks I., Patel-Schneider P.: Optimizing terminological reasoning for expressive description logics. J. Autom. Reason. 39(3), 277–316 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  222. Tyler S.A.: Cognitive Anthropology. Holt, New York (1969)

    Google Scholar 

  223. Valle E.: A collective intelligence: the life sciences in the Royal Society as a scientific discourse community 1665–1965. University of Turku, Turku (1999)

    Google Scholar 

  224. van Benthem J.: Where is logic going, and should it?. Topoi 25(1), 117–122 (2006)

    Article  Google Scholar 

  225. Viterbo P.: History of science as interdisciplinary education in American colleges: its origins, advantages, and pitfalls. J. Res. Pract. 3(2), 1–18 (2007)

    Google Scholar 

  226. Voyat G.: Piaget Systematized. Lawrence Erlbaum, Hillsdale (1982)

    Google Scholar 

  227. Waismann, F.: Verifiability. In: Proceedings of the Aristotelian Society, Supplementary Volumes 19, 119–150 (1945)

  228. Wallace E.C., West S.F.: Roads to Geometry. Prentice Hall, Upper Saddle River (1998)

    MATH  Google Scholar 

  229. Wansing H., Shramko Y.: Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Stud. Log. 88(3), 405–429 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  230. Wason P.C.: Psychology of Reasoning: Structure and Content. Harvard University Press, Cambridge (1972)

    Google Scholar 

  231. Weinmann A.: Uncertain Models and Robust Control. Springer, New York (1991)

    Google Scholar 

  232. Weitz M.: The Opening Mind: A Philosophical Study of Humanistic Concepts. University of Chicago Press, Chicago (1977)

    Google Scholar 

  233. Wenger E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (1998)

    Google Scholar 

  234. Wetherick N.E.: Reasoning and rationality: a critique of some experimental paradigms. Theory Psychol. 5(3), 429–448 (1995)

    Article  Google Scholar 

  235. Willard C.A.: A Theory of Argumentation. University of Alabama Press, Tuscaloosa (1989)

    Google Scholar 

  236. Wojciechowski, J.A.: The impact of knowledge on man: the ecology of knowledge. In: Hommage a Francois Meyer, pp. 161–175. Laffitte, Marseille (1983)

  237. Wolff K.H.: Surrender and Catch: Experience and Inquiry Today. Reidel, Dordrecht (1976)

    Google Scholar 

  238. 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)

    Google Scholar 

  239. Wright B.C.: Reconceptualizing the transitive inference ability: a framework for existing and future research. Dev. Rev. 21(4), 375–422 (2001)

    Article  Google Scholar 

  240. Wynn T.: Piaget, stone tools and the evolution of human intelligence. World Archeol. 17(1), 32–42 (1985)

    Article  Google Scholar 

  241. Wójcicki R.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)

    Google Scholar 

  242. Zalta E.N.: Intensional Logic and the Metaphysics of Intentionality. MIT Press, Cambridge (1988)

    Google Scholar 

  243. Zalta E.N.: Twenty-five basic theorems in situations and world theory. J. Philos. Log. 22(4), 385–428 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  244. Zhang J., Patel V.L.: Distributed cognition, representation, and affordance. Pragmat. Cogn. 14(2), 333–342 (2006)

    Article  Google Scholar 

  245. Zhang Y., Zhou Y.: Knowledge forgetting: properties and applications. Artif. Intell. 173(16-17), 1525–1537 (2009)

    Article  MATH  Google Scholar 

  246. Zhao S.: Internet and the lifeworld: updating Schutz’s theory of mutual knowledge. Inform. Technol. People 20(2), 140–160 (2007)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Victoria, Victoria, Canada

    Brian R. Gaines

Authors
  1. Brian R. Gaines
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Brian R. Gaines.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-010-0019-9

Mathematics Subject Classification (2000)

Keywords

Search

Navigation