Positive abstraction and extensionality

&
Journal of Symbolic Logic 68 (3):828-836 (2003)
  Copy   BIBTEX

Abstract

It is proved in this paper that the positive abstraction scheme is consistent with extensionality only if one drops equality out of the language. The theory obtained is then compared with GPK, a wellknown set theory based on an extended positive comprehension scheme

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1058448441

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,666

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Positive abstraction and extensionality revisited.Thierry Libert - 2008 - Logique Et Analyse 202:149-165.
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
Inconsistency of the Axiom of Choice with the Positive Theory $GPK^+ \infty$.Olivier Esser - 2000 - Journal of Symbolic Logic 65 (4):1911-1916.
On the axiom of extensionality in the positive set theory.Olivier Esser - 2003 - Mathematical Logic Quarterly 49 (1):97-100.
High-Order Metaphysics as High-Order Abstractions and Choice in Set Theory.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (21):1-3.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.
Paradoxes in double extension set theories.M. Randall Holmes - 2004 - Studia Logica 77 (1):41 - 57.
On The Syntax Of Logic And Set Theory.Lucius Schoenbauma1 - 2010 - Review of Symbolic Logic 3 (4):568-599.
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.

Analytics

Added to PP
2009-01-28

Downloads
252 (#99,691)

6 months
17 (#152,395)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.
Noncontractive Classical Logic.Lucas Rosenblatt - 2019 - Notre Dame Journal of Formal Logic 60 (4):559-585.

View all 19 citations / Add more citations

References found in this work

Studies on the axiom of comprehension.Th Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (3):162-170.

Add more references