Hostname: page-component-76fb5796d-5g6vh Total loading time: 0 Render date: 2024-04-25T11:05:19.075Z Has data issue: false hasContentIssue false
  • English
  • Français

LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’

Published online by Cambridge University Press:  01 July 2013

JC BEALL
JC BEALL*
Affiliation:
University of Connecticut and Northern Institute of Philosophy, University of Aberdeen
*
*DEPARTMENT OF PHILOSOPHY UNIVERSITY OF CONNECTICUT STORRS, CT 06268
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical import of a ‘classical collapse’ result for the propositional (multiple-conclusion) logic LP+. Feedback on such ideas prompted a spelling out of the first-order case. My aim in this paper is to do just that: namely, explicitly record the first-order result(s), including the collapse results for K3+ and FDE+.

Type
Research Article
Information
The Review of Symbolic Logic , Volume 6 , Issue 4 , December 2013 , pp. 742 - 754
Copyright
Copyright © Association for Symbolic Logic 2013 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Anderson, A. R., & Belnap, N. D. (1975) Entailment: The Logic of Relevance and Necessity, Vol. 1. Princeton, NJ: Princeton University Press.Google Scholar
Anderson, A. R., Belnap, N. D., & Michael Dunn, J. (1992).Entailment: The Logic of Relevance and Necessity, Vol. 2. Princeton, NJ: Princeton University Press.Google Scholar
Asenjo, F. G. (1966). A calculus of antinomies. Notre Dame Journal of Formal Logic,7, 103–105.Google Scholar
Asenjo, F. G. & Tamburino, J. (1975).Logic of antinomies. Notre Dame Journal of Formal Logic, 16, 17–44.Google Scholar
Avron, A. (1991). Natural 3-valued logics—characterization and proof theory. Journal of Symbolic Logic, 56, 276–294.Google Scholar
Beall, J. (2009).Spandrels of Truth. Oxford: Oxford University Press.Google Scholar
Beall, J. (2011). Multiple-conclusion LP and default classicality. Review of Symbolic Logic, 4, 326–336.Google Scholar
Beall, J. (2013a). Free of detachment: Logic, rationality, and gluts. Noûs. Forthcoming. Available from: http://onlinelibrary.wiley.com/doi/10.1111/nous.12029/abstractGoogle Scholar
Beall, J. (2013b). Shrieking against gluts: The solution to the ‘just true’ problem. Analysis. Forthcoming.CrossRefGoogle Scholar
Beall, J. (2013c). Shrieking towards recapture: A simple method for recapturing consistent theories in paraconsistent logics. To appear.Google Scholar
Beall, J., Forster, T., & Seligman, J. (2013). A note on freedom from detachment in the Logic of Paradox. Notre Dame Journal of Formal Logic, 54, 15–20.CrossRefGoogle Scholar
Belnap, N. D., & Dunn, M. (1973). Entailment and the disjunctive syllogism. In: Fløistad, F., and von Wright, , , G. H., editors. Philosophy of Language/Philosophical Logic. The Hague, The Netherlands: Martinus Nijhoff, pp. 337–366. Reprinted in (Anderson et al. 1992, §80).Google Scholar
Dunn, J. M. (1969). Natural Language Versus Formal Language. Presented at the joint APA–ASL Symposium, New York, December 27. Available from: http://www.indiana.edu/∼phil/people/papers/natvsformal.pdfGoogle Scholar
Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and ‘Coupled Trees’. Philosophical Studies, 29, 149–168.Google Scholar
Field, H. (2008). Saving Truth from Paradox. Oxford: Oxford University Press.Google Scholar
Harman, G. (1986). Change in View: Principles of Reasoning. Cambridge, MA: MIT Press.Google Scholar
Horsten, L. (2011). The Tarskian Turn: Deflationism and Axiomatic Truth. Cambridge, MA: MIT Press.Google Scholar
Kleene, S. C. (1952). Introduction to Metamathematics. North-Holland: Amsterdam, The Netherlands.Google Scholar
Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690–716. Reprinted in Martin (1984).Google Scholar
Martin, R. L., editor. (1984). Recent Essays on Truth and the Liar Paradox. New York: Oxford University Press.Google Scholar
Negri, S., & von Plato, J. (2008). Structural Proof Theory. Cambridge: Cambridge University Press.Google Scholar
Priest, G. The logic of paradox. Journal of Philosophical Logic, 8, 219–241.CrossRefGoogle Scholar
Priest, G. (2006). In Contradiction (second edition). Oxford: Oxford University Press. First printed by Martinus Nijhoff in 1987.CrossRefGoogle Scholar
Priest, G. An Introduction to Non-Classical Logic (second edition). Cambridge, MA: Cambridge University Press. First edition published in 2001.Google Scholar
Ripley, D. (2013a). Naïve set theory and non-transitive logic. To appear.Google Scholar
Ripley, D. (2013b). Revising up: Strengthening classical logic in the face of paradox. Philosophers’ Imprint, 13, 1–13.Google Scholar
Routley, D. (1979). Dialectical logic, semantics and metamathematics. Erkenntnis, 14, 301–331.CrossRefGoogle Scholar