Naïve Comprehension and Contracting Implications
Source: Studia Logica, Volume 71, Number 1, June 2002 , pp. 119-132(14)
Abstract:In his paper , 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.
Document Type: Research Article
Publication date: June 1, 2002