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
Revision history
Archival date: 2018-08-09
View upload history
References found in this work BETA

Add more references

Citations of this work BETA
A Hyperintensional Logical Framework for Deontic Reasons.Faroldi, Federico L. G. & Protopopescu, Tudor

Add more citations

Added to PP index
2018-08-09

Total views
216 ( #16,430 of 43,699 )

Recent downloads (6 months)
58 ( #11,972 of 43,699 )

How can I increase my downloads?

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