The consequence relation of tautological entailment is maximally relevant: Answering a question of Graham Priest
| Abstract | Graham Priest has asked whether the consequence relation associated with the Anderson–Belnap system of Tautological Entailment,1 in the language with connectives ¬, ∧, ∨, and countably many propositional variables as tomic formulas, maximal amongst the substitution-invariant relevant consequence relations on this language. Here a consequence relation is said to be relevant just in case whenever for a set of formulas Γ and formula B, we have Γ B only if some propositional variable occurring in B occurs in at least one formula in Γ. (It follows that relevant consequence relations are atheorematic in the sense that whenever Γ B for some such consequence relation , Γ = ∅.) Here I write up in more detail the upshot of the conversation – returning an affirmative answer to Priest’s question – about this in the common room that Greg Restall and I were participating in last Friday [ = October 6, 2006], dotting some “i”s and crossing some “t”s (and adding the odd further reflection). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesPhilip Kremer & Michael Kremer (2003). Some Supervaluation-Based Consequence Relations. Journal of Philosophical Logic 32 (3):225-244.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Luca Moretti (2003). Why the Converse Consequence Condition Cannot Be Accepted. Analysis 63 (4):297–300.
Lloyd Humberstone (2013). Replacement in Logic. Journal of Philosophical Logic 42 (1):49-89.
I. L. Humberstone (1993). Functional Dependencies, Supervenience, and Consequence Relations. Journal of Logic, Language and Information 2 (4):309-336.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Dag Westerståhl (2012). From Constants to Consequence, and Back. Synthese 187 (3):957-971.
Daniel N. Osherson & Scott Weinstein (1993). Relevant Consequence and Empirical Inquiry. Journal of Philosophical Logic 22 (4):437 - 448.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,800 of 549,426 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
