Combining Philosophers
Ideas for Parmenides, ystein Linnebo and Henry More
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
2 ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
10779
|
A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
|
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
23445
|
Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
|