Naïve comprehension and contracting implications
Studia Logica 71 (1):119-132 (2002)
| Abstract | In his paper [6], Greg Restall conjectured that a logic supports a naïve comprehension scheme if and only if it is robustly contraction free, that is, if and only if no contracting connective is definable in terms of the primitive connectives of the logic. In this paper, we present infinitely many counterexamples to Restall''s conjecture, in the form of purely implicational logics which are robustly contraction free, but which trivialize naïve comprehension. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFernando Ferreira & Kai F. Wehmeier (2002). On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze. Journal of Philosophical Logic 31 (4):301-311.
Daniel Howard-Snyder (2003). In Defense of Naïve Universalism. Faith and Philosophy 20 (3):345-363.
Greg Restall (1992). A Note on Naive Set Theory in ${\Rm LP}$. Notre Dame Journal of Formal Logic 33 (3):422-432.
Keith Allen (2011). Revelation and the Nature of Colour. Dialectica 65 (2):153-176.
M. D. Conduct (2011). Naïve Realism and Extreme Disjunctivism. Philosophical Explorations 13 (3):201-221.
Loïc Colson (2007). Another Paradox in Naive Set-Theory. Studia Logica 85 (1):33 - 39.
Harty Field (2004). The Consistency of the Naïve Theory of Properties. Philosophical Quarterly 54 (214):78 - 104.
Zach Weber (2010). Extensionality and Restriction in Naive Set Theory. Studia Logica 94 (1).
Susan Rogerson & Greg Restall (2004). Routes to Triviality. Journal of Philosophical Logic 33 (4):421-436.
Greg Restall (1993). How to Bereally Contraction Free. Studia Logica 52 (3):381 - 391.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,421 of 549,061 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
