Hostname: page-component-cd9895bd7-fscjk Total loading time: 0 Render date: 2024-12-26T19:55:29.718Z Has data issue: false hasContentIssue false
  • English
  • Français

THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS

Published online by Cambridge University Press:  20 March 2015

NEIL TENNANT
NEIL TENNANT*
Affiliation:
Department of Philosophy, The Ohio State University
*
*DEPARTMENT OF PHILOSOPHY THE OHIO STATE UNIVERSITY COLUMBUS, OHIO 43210 E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

The rules for Core Logic are stated, and various important results about the system are summarized. We describe its relationship to other systems, such as Classical Logic, Intuitionistic Logic, Minimal Logic, and the Anderson–Belnap relevance logic R. A precise, positive explication is offered of what it is for the premises of a proof to connect relevantly with its conclusion. This characterization exploits the notion of positive and negative occurrences of atoms in sentences. It is shown that all Core proofs are relevant in this precisely defined sense. We survey extant results about variable-sharing in rival systems of relevance logic, and find that the variable-sharing conditions established for them are weaker than the one established here for Core Logic (and for its classical extension). Proponents of other systems of relevance logic (such as R and its subsystems) are challenged to formulate a stronger variable-sharing condition, and to prove that R or any of its subsystems satisfies it, but that Core Logic does not. We give reasons for pessimism about the prospects for meeting this challenge.

Type
Research Article
Information
The Review of Symbolic Logic , Volume 8 , Issue 4 , December 2015 , pp. 743 - 784
Copyright
Copyright © Association for Symbolic Logic 2015 

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. I. Princeton, NJ: Princeton University Press.Google Scholar
Avron, A. (1986). On purely relevant logics. Notre Dame Journal of Formal Logic, 27, 180–194.CrossRefGoogle Scholar
Avron, A. (2013). http://www.cs.nyu.edu/pipermail/fom/2013-November/017725.html. [FOM] question about relevance and variable-sharing.Google Scholar
Avron, A. (2014). What relevant logic? Annals of Pure and Applied Logic, 165, 26–48.CrossRefGoogle Scholar
Brady, R. (1984). Depth relevance of some paraconsistent logics. Studia Logica, 43, 63–73.Google Scholar
Brady, R. (1992). Hierarchical semantics for relevant logics. Journal of Philosophical Logic, 21, 357–374.Google Scholar
Craig, W. (1957). Linear reasoning. A new form of the Herbrand-Gentzen theorem. Journal of Symbolic Logic, 22(3), 250–268.Google Scholar
Došen, K. (1981). A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. Journal of Philosophical Logic, 10, 399–408.Google Scholar
Kron, A. (1993). Decidability and interpolation for a first-order relevance logic. In Schroeder-Heister, P. and Došen, K., editors. Substructural Logics, pp. 153–177. Oxford: Clarendon Press.Google Scholar
Lyndon, R. C. (1959). An interpolation theorem in the predicate calculus. Pacific Journal of Mathematics, 9(1), 129–142.Google Scholar
Maksimova, L. L. (1967). O modéláh isčisléniá E (On models of the system E). Algébra i logika, Séminar, 6, 5–20.Google Scholar
Mares, E. (2012a). Relevance logic. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Summer 2012 Edition). Available from: http://plato.stanford.edu/archives/sum2012/entries/logic-relevance/.Google Scholar
Mares, E. (2012b). The logic R: Supplement to relevance logic. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Summer 2012 Edition). Available from: http://plato.stanford.edu/entries/logic-relevance/logicr.Google Scholar
Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell.Google Scholar
Read, S. (1988; corrected edition 2010). Relevant Logic: A Philosophical Examination of Inference. Basil Blackwell.Google Scholar
Robles, G., & Méndez, J. M. (2012). A general characterization of the variable-sharing property by means of logical matrices. Notre Dame Journal of Formal Logic, 53, 223–244.Google Scholar
Schroeder-Heister, P. (1984). A natural extension of natural deduction. Journal of Symbolic Logic, 49, 1284–1300.Google Scholar
Tennant, N. (1992). Autologic. Edinburgh: Edinburgh University Press.Google Scholar
Tennant, N. (2012). Cut for core logic. Review of Symbolic Logic, 5(3), 450–479.Google Scholar
Tennant, N. (2014). Logic, mathematics, and the A Priori, Part II: Core logic as analytic, and as the basis for natural logicism. Philosophia Mathematica, 22, 321–344.CrossRefGoogle Scholar
Tennant, N. (2015). Cut for classical core logic. Review of Symbolic Logic, doi: 10.1017/S1755020315000088. To appear.Google Scholar