display all the ideas for this combination of texts
9 ideas
10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
Full Idea: We can define a set by 'enumeration' (by listing the items, within curly brackets), or by 'abstraction' (by specifying the elements as instances of a property), pretending that they form a determinate totality. The latter is written {x | x is P}. | |
From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.3) |
10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
Full Idea:
The 'Cartesian Product' of two sets, written A x B, is the relation which pairs every element of A with every element of B. So A x B = { |
|
From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.6) |
10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
Full Idea: A binary relation in a set is a 'partial ordering' just in case it is reflexive, antisymmetric and transitive. | |
From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.6) |
10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
Full Idea: Principle of Determinacy: For every object a and every set S, either a is an element of S or a is not an element of S. | |
From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.2) |
10676 | The Axiom of Choice is a non-logical principle of set-theory [Hossack] |
Full Idea: The Axiom of Choice seems better treated as a non-logical principle of set-theory. | |
From: Keith Hossack (Plurals and Complexes [2000], 4 n8) | |
A reaction: This reinforces the idea that set theory is not part of logic (and so pure logicism had better not depend on set theory). |
10686 | The Axiom of Choice guarantees a one-one correspondence from sets to ordinals [Hossack] |
Full Idea: We cannot explicitly define one-one correspondence from the sets to the ordinals (because there is no explicit well-ordering of R). Nevertheless, the Axiom of Choice guarantees that a one-one correspondence does exist, even if we cannot define it. | |
From: Keith Hossack (Plurals and Complexes [2000], 10) |
10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
Full Idea: Principle of Specification: Whenever we can specify a determinate totality of objects, we shall say that there is a set whose elements are precisely the objects that we have specified. | |
From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §1.3) | |
A reaction: Compare the Axiom of Specification. Zalabardo says we may wish to consider sets of which we cannot specify the members. |
10687 | Maybe we reduce sets to ordinals, rather than the other way round [Hossack] |
Full Idea: We might reduce sets to ordinal numbers, thereby reversing the standard set-theoretical reduction of ordinals to sets. | |
From: Keith Hossack (Plurals and Complexes [2000], 10) | |
A reaction: He has demonstrated that there are as many ordinals as there are sets. |
10677 | Extensional mereology needs two definitions and two axioms [Hossack] |
Full Idea: Extensional mereology defs: 'distinct' things have no parts in common; a 'fusion' has some things all of which are parts, with no further parts. Axioms: (transitivity) a part of a part is part of the whole; (sums) any things have a unique fusion. | |
From: Keith Hossack (Plurals and Complexes [2000], 5) |