Routes to triviality

Susan Rogerson; Greg Restall

doi:10.1023/B:LOGI.0000036853.44128.8f

Routes to triviality

Susan Rogerson^*, Greg Restall

^*Corresponding author for this work

Philosophy

Research output: Contribution to journal › Article › peer-review

Abstract

It is known that a number of inference principles can be used to trivialise the axioms of naïve comprehension - the axioms underlying the naïve theory of sets. In this paper we systematise and extend these known results, to provide a number of general classes of axioms responsible for trivialising naïve comprehension.

Original language	English
Pages (from-to)	421-436
Number of pages	16
Journal	Journal of Philosophical Logic
Volume	33
Issue number	4
DOIs	https://doi.org/10.1023/B:LOGI.0000036853.44128.8f
Publication status	Published - 2004

Keywords

Abelian logic
Contraction
Curry's paradox
Naïve comprehension
Nonclassical implicational logics
Peirce's law

Access to Document

10.1023/B:LOGI.0000036853.44128.8f

Cite this

@article{0b0c4eec1f8a45edb64834081ebd79d8,

title = "Routes to triviality",

abstract = "It is known that a number of inference principles can be used to trivialise the axioms of na{\"i}ve comprehension - the axioms underlying the na{\"i}ve theory of sets. In this paper we systematise and extend these known results, to provide a number of general classes of axioms responsible for trivialising na{\"i}ve comprehension.",

keywords = "Abelian logic, Contraction, Curry's paradox, Na{\"i}ve comprehension, Nonclassical implicational logics, Peirce's law",

author = "Susan Rogerson and Greg Restall",

year = "2004",

doi = "10.1023/B:LOGI.0000036853.44128.8f",

language = "English",

volume = "33",

pages = "421--436",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Routes to triviality

AU - Rogerson, Susan

AU - Restall, Greg

PY - 2004

Y1 - 2004

N2 - It is known that a number of inference principles can be used to trivialise the axioms of naïve comprehension - the axioms underlying the naïve theory of sets. In this paper we systematise and extend these known results, to provide a number of general classes of axioms responsible for trivialising naïve comprehension.

AB - It is known that a number of inference principles can be used to trivialise the axioms of naïve comprehension - the axioms underlying the naïve theory of sets. In this paper we systematise and extend these known results, to provide a number of general classes of axioms responsible for trivialising naïve comprehension.

KW - Abelian logic

KW - Contraction

KW - Curry's paradox

KW - Naïve comprehension

KW - Nonclassical implicational logics

KW - Peirce's law

UR - https://www.scopus.com/pages/publications/33947521373

U2 - 10.1023/B:LOGI.0000036853.44128.8f

DO - 10.1023/B:LOGI.0000036853.44128.8f

M3 - Article

AN - SCOPUS:33947521373

SN - 0022-3611

VL - 33

SP - 421

EP - 436

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 4

ER -

Routes to triviality

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this