Logic for Exact Entailment

Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
FINLFE-2
Upload history
Archival date: 2018-08-09
View other versions
Added to PP index
2018-08-09

Total views
271 ( #17,688 of 52,923 )

Recent downloads (6 months)
20 ( #30,108 of 52,923 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.