class
Learn about this topic in these articles:
- Stanisław LeśniewskiMajor work in logic
…a distributive and a collective class. In its distributive use, a class expression is identical with a general name; thus, to say that a person belongs to the class of Poles is to say that that person is a Pole. Hence, ontology (on, “being”) is the logic of names; and,…
Read More…a distributive and a collective class. In its distributive use, a class expression is identical with a general name; thus, to say that a person belongs to the class of Poles is to say that that person is a Pole. Hence, ontology (on, “being”) is the logic of names; and,…
Read More - mereology
…Leśniewski, that tries to clarify class expressions and theorizes on the relation between parts and wholes. It attempts to explain Bertrand Russell’s paradox of the class of all those classes that are not elements of themselves. Leśniewski claimed that a distinction should be made between the distributive and the collective…
Read More…Leśniewski, that tries to clarify class expressions and theorizes on the relation between parts and wholes. It attempts to explain Bertrand Russell’s paradox of the class of all those classes that are not elements of themselves. Leśniewski claimed that a distinction should be made between the distributive and the collective…
Read More
formal logicSet theory…theory is a logic of classes—i.e., of collections (finite or infinite) or aggregations of objects of any kind, which are known as the members of the classes in question. Some logicians use the terms “class” and “set” interchangeably; others distinguish between them, defining a set (for example) as a class…
Read More…theory is a logic of classes—i.e., of collections (finite or infinite) or aggregations of objects of any kind, which are known as the members of the classes in question. Some logicians use the terms “class” and “set” interchangeably; others distinguish between them, defining a set (for example) as a class…
Read More- set theoryThe Neumann-Bernays-Gödel axioms
…two undefined notions for NBG: class and the binary relation ∊ of membership (though, as is also true in ZFC, ∊ suffices). For the intended interpretation, variables take classes—the totalities corresponding to certain properties—as values. A class is defined to be a set if it is a member of some…
Read More…two undefined notions for NBG: class and the binary relation ∊ of membership (though, as is also true in ZFC, ∊ suffices). For the intended interpretation, variables take classes—the totalities corresponding to certain properties—as values. A class is defined to be a set if it is a member of some…
Read More
