Abstract
What is the mathematical formulation of logical consequence answerable to? The prevalent stance among contemporary logicians is that mathematically formulated notion of logical consequence aims to capture the corresponding pre-theoretic notion. However, the notion of pre-theoretic logical consequence is far from being sufficiently clearly formulated in literature. In order to remedy this deficiency, and clear the ground, the paper distinguishes at least two possible readings of it. The first is “pre-theoretical” in the sense of pre-mathematical; such formulations can be and often are quite very sophisticated and in this sense non-ordinary; the second is “pre-theoretical” in the spirit of Tarski, who in this context points to “the common usage of the language of everyday life”; such an ordinary notion even a naïve thinker might turn out to possess. It is argued that both notions should be taken into consideration, and a sketch of framework is proposed, albeit quite programmatically: the formal logician is in the position of the translator from the ordinary into sophisticated and mathematical, in analogy with Quine’s translation schema. I conclude with a short indication of an even more general, moderately naturalistic research program in which logical consequence is understood as a (natural) kind, in the spirit of Putnam’s theory concerning its more concrete relatives.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A distinguished representative of the opposite view is Michael Resnik who denies any relevant connection between formal logic and pre-theoretic inferential practice [16].
- 2.
- 3.
- 4.
References
Azzouni, Jody. 2006. Tracking Reason: Proof, Consequence, and Truth. New York, NY: Oxford University Press.
Braine, Martin, and David O’Brien, eds. 1998. Mental Logic. Mahwah, NJ: Lawrence Erlbaum.
Craik, Kenneth. 1943. The Nature of Explanation. Cambridge: Cambridge University Press.
Etchemendy, John. 1990. The Concept of Logical Consequence. Cambridge, MA: Harvard University Press.
Field, Hartry. 1989. “Introduction: Fictionalism, Epistemology, and Modality.” In Realism, Mathematics, and Modality, 1–52. Oxford: Basil Blackwell.
Gómez-Torrente, Mario. 2010. “Logical Truth.” The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), edited by Edward N. Zalta, http://plato.stanford.edu/archives/sum2010/entries/logical-truth/
Hanna, Robert. 2006. Rationality and Logic. Cambridge, MA: MIT Press.
Johnson-Laird, Philip. 1983. Mental Models. Cambridge, MA: Harvard University Press.
Johnson-Laird, Philip. 1995. “Inference and Mental Models.” In Perspectives on Thinking and Reasoning, edited by Stephen Newstead and Jonathan Evans, 115–46. Hove: Lawrence Erlbaum Associates.
Johnson-Laird, Philip. 2001. “Mental Models and Deduction.” Trends in Cognitive Science 5: 434–42.
Johnson-Laird, Philip, and Ruth Byrne. 1991. Deduction. Hillsdale, NJ: Lawrence Erlbaum.
Johnson-Laird, Philip, and Ruth Byrne. 1993. “Models and Deductive Rationality.” In Rationality, edited by Ken Manktelow and David Over. London: Routledge.
Macnamara, John. 1986. A Border Dispute: The Place of Logic in Psychology. Cambridge, MA: The MIT Press.
Putnam, Hilary. 1983. Realism and Reason. Cambridge: Cambridge University Press.
Quine, Willard Van Orman. 1986. Philosophy of Logic. Cambridge, MA: Harvard University Press.
Resnik, Michael. 1985. “Logic: Normative or Descriptive? The Ethics of Beliefs or a Branch of Psychology.” Philosophy of Science 52:221–38.
Rips, Lance, 1994. The Psychology of Proof : Deductive Reasoning in Human Thinking Cambridge. Cambridge, MA: The MIT Press.
Shapiro, Stewart. 1998. “Logical Consequence: Models and Modality.” In The Philosophy of Mathematics Today, edited by Matthias Schirn. Oxford: Oxford University Press.
Shapiro, Stewart. 2005. “Logical Consequence, Proof Theory, and Model Theory.” In The Oxford Handbook of Philosophy of Mathematics and Logic, edited by Stewart Shapiro, 651–70. Oxford: Oxford University Press.
Stenning, Keith, and Michiel van Lambalgen. 2008. Human Reasoning and Cognitive Science. Cambridge, MA: MIT Press.
Acknowledgements
Acknowledgments The paper has profited enormously from the discussions with professors Dag Prawitz and Stuart Shapiro at the IUC conference in Dubrovnik 2010; I want to thank them for inspiration and support. I am particularly grateful to my friends and colleagues, Nenad Miščević and Majda Trobok, for their enormous patience and most valuable advice.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Smokrović, N. (2012). Logical Consequence and Rationality. In: Trobok, M., Miščević, N., Žarnić, B. (eds) Between Logic and Reality. Logic, Epistemology, and the Unity of Science, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-2390-0_7
Download citation
DOI: https://doi.org/10.1007/978-94-007-2390-0_7
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-2389-4
Online ISBN: 978-94-007-2390-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)