Logic for Exact Entailment


Authors
Mark Jago
Nottingham University
Kit Fine
New York University
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 Truthmaking  Exact entailment  Non-classical logic  Semantics  Mereology  Sequent calculus
Categories (categorize this paper)
DOI 10.1017/s1755020318000151
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Facts and Tautological Entailments.Bas C. Van Fraassen - 1969 - Journal of Philosophy 66 (15):477-487.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Dual Gaggle Semantics for Entailment.Katalin Bimbó - 2009 - Notre Dame Journal of Formal Logic 50 (1):23-41.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.
Gentzenization of Trilattice Logics.Mitio Takano - 2016 - Studia Logica 104 (5):917-929.
Modelling Truthmaking.Greg Restall - 2000 - Logique Et Analyse 43 (169-170):211-230.
Relevant Implication and the Case for a Weaker Logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
Four-Valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.

Analytics

Added to PP index
2018-08-09

Total views
259 ( #27,869 of 2,309,266 )

Recent downloads (6 months)
36 ( #21,957 of 2,309,266 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature