more on this theme | more from this thinker
Full Idea
The main alternative to ZF is two-sorted theories, with some variables ranging over classes. Classes have more generous existence assumptions: there is a universal class, containing all sets, and a class containing all ordinals. Classes are not members.
Gist of Idea
The main alternative to ZF is one which includes looser classes as well as sets
Source
Michael Dummett (The Philosophy of Mathematics [1998], 7.1.1)
Book Ref
'Philosophy 2: further through the subject', ed/tr. Grayling,A.C. [OUP 1998], p.168
A Reaction
My intuition is to prefer strict systems when it comes to logical theories. The whole point is precision. Otherwise we could just think about things, and skip all this difficult symbolic stuff.
9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |