scholarly journals Maximally Consistent Sets of Instances of Naive Comprehension

Mind ◽  
2017 ◽  
pp. fzv192
Author(s):  
Luca Incurvati ◽  
Julien Murzi
Keyword(s):  
Naïve Comprehension

scholarly journals Bi-Modal Naive Set Theory

2018 ◽  
Vol 15 (2) ◽  
pp. 139
Author(s):  
John Wigglesworth
Keyword(s):  
Set Theory ◽  
Kripke Model ◽  
Axiom Schema ◽  
Modal Operators ◽  
Modal Theory ◽  
Naive Set Theory ◽  
Naïve Comprehension ◽  
Comprehension Axiom ◽  
Forward Looking

This paper describes a modal conception of sets, according to which sets are 'potential' with respect to their members.  A modal theory is developed, which invokes a naive comprehension axiom schema, modified by adding `forward looking' and `backward looking' modal operators.  We show that this `bi-modal' naive set theory can prove modalized interpretations of several ZFC axioms, including the axiom of infinity.  We also show that the theory is consistent by providing an S5 Kripke model.  The paper concludes with some discussion of the nature of the modalities involved, drawing comparisons with noneism, the view that there are some non-existent objects.

Sign in / Sign up

Export Citation Format

Share Document