Kit Fine
Logic for exact entailment
Fine, Kit; Jago, Mark
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.
Citation
Fine, K., & Jago, M. (2019). Logic for exact entailment. Review of Symbolic Logic, 12(3), 536-556. https://doi.org/10.1017/s1755020318000151
Journal Article Type | Article |
---|---|
Acceptance Date | Aug 17, 2018 |
Online Publication Date | Feb 1, 2019 |
Publication Date | Feb 1, 2019 |
Deposit Date | Aug 20, 2018 |
Publicly Available Date | Apr 2, 2019 |
Journal | The Review of Symbolic Logic |
Print ISSN | 1755-0203 |
Electronic ISSN | 1755-0211 |
Publisher | Cambridge University Press |
Peer Reviewed | Peer Reviewed |
Volume | 12 |
Issue | 3 |
Pages | 536-556 |
DOI | https://doi.org/10.1017/s1755020318000151 |
Keywords | Truthmaking; Exact entailment; Non-classical logic; Semantics; Mereology; Sequent calculus |
Public URL | https://nottingham-repository.worktribe.com/output/1039822 |
Publisher URL | https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/logic-for-exact-entailment/7473CAC3341CFA357C0857C817B32260 |
Additional Information | This article has been published in a revised form in The Review of Sybolic Logic http://doi.org/10.1017/S1755020318000151. This version is free to view and download for private research and study only. Not for re-distribution, re-sale or use in derivative works. © Association for Symbolic Logic 2019 |
Contract Date | Aug 20, 2018 |
Files
Logic For Exact Entailment
(366 Kb)
PDF
You might also like
Truthmaker Accounts of Propositions
(2022)
Book Chapter
Truthmaker Semantics for Relevant Logic
(2020)
Journal Article
Impossible Worlds
(2019)
Book
Knowing how things might have been
(2018)
Journal Article
From nature to grounding
(2018)
Book Chapter
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search