Naïve Comprehension and Contracting Implications

Authors: Rogerson, S.1; Butchart, S.2

Source: Studia Logica, Volume 71, Number 1, June 2002 , pp. 119-132(14)

Publisher: Springer

Buy & download fulltext article:


Price: $47.00 plus tax (Refund Policy)


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: Naïve comprehension; Restall's conjecture; contraction; non-classical logic

Document Type: Research Article

Affiliations: 1: Monash University Victoria 3800, Australia 2: Monash University Victoria 3800, Australia

Publication date: June 1, 2002

Related content


Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page