Logic for exact entailment

Fine, Kit and Jago, Mark (2018) Logic for exact entailment. Review of Symbolic Logic . ISSN 1755-0203 (In Press)

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (366kB) | Preview

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.

Item Type: Article
Keywords: Truthmaking; Exact entailment; Non-classical logic; Semantics; Mereology; Sequent calculus
Schools/Departments: University of Nottingham, UK > Faculty of Arts > School of Humanities > Department of Philosophy
Depositing User: Eprints, Support
Date Deposited: 17 Sep 2018 09:36
Last Modified: 20 Oct 2018 04:30
URI: http://eprints.nottingham.ac.uk/id/eprint/54996

Actions (Archive Staff Only)

Edit View Edit View