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

LOGIC FOR EXACT ENTAILMENT

Published online by Cambridge University Press:  01 February 2019

KIT FINE  and
MARK JAGO
KIT FINE*
Affiliation:
Department of Philosophy, New York University
MARK JAGO*
Affiliation:
Department of Philosophy, University of Nottingham
*
*DEPARTMENT OF PHILOSOPHY NEW YORK UNIVERSITY 5 WASHINGTON PLACE NEW YORK, NY 10003, USA E-mail: [email protected]
†DEPARTMENT OF PHILOSOPHY UNIVERSITY OF NOTTINGHAM UNIVERSITY PARK, NOTTINGHAM NG7 2RD, UK E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results.

Keywords

03B4703B60truthmakingexact entailmentnon-classical logicsemanticsmereologysequent calculus
Type
Research Article
Information
The Review of Symbolic Logic , Volume 12 , Issue 3 , September 2019 , pp. 536 - 556
Copyright
Copyright © Association for Symbolic Logic 2019 

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

Fine, K. (2016). Angellic content. Journal of Philosophical Logic, 45, 199–226.CrossRefGoogle Scholar
Fine, K. (2017). Truthmaker semantics. In Hale, B., Wright, C., and Miller, A., editors. A Companion to the Philosophy of Language, 2nd edition. Oxford: Blackwell, pp. 556–577.CrossRefGoogle Scholar
van Fraassen, B. C. (1969). Facts and tautological entailments. Journal of Philosophy, 66(15), 477–487.CrossRefGoogle Scholar
Varzi, A. (2016). Mereology. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Winter 2016 edition). Available at: https://plato.stanford.edu/archives/win2016/entries/mereology/.Google Scholar