Ideas from 'Plurals and Complexes' by Keith Hossack [2000], by Theme Structure
[found in 'British Soc for the Philosophy of Science' (ed/tr ) [ ,]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
10672

Tarskian semantics says that a sentence is true iff it is satisfied by every sequence

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10676

The Axiom of Choice is a nonlogical principle of settheory

10686

The Axiom of Choice guarantees a oneone correspondence from sets to ordinals

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10687

Maybe we reduce sets to ordinals, rather than the other way round

4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
10677

Extensional mereology needs two definitions and two axioms

5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
10671

Plural definite descriptions pick out the largest class of things that fit the description

5. Theory of Logic / G. Quantification / 6. Plural Quantification
10666

Plural reference will refer to complex facts without postulating complex things

10675

A plural comprehension principle says there are some things one of which meets some condition

10669

Plural reference is just an abbreviation when properties are distributive, but not otherwise

5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
10673

Plural language can discuss without inconsistency things that are not members of themselves

6. Mathematics / A. Nature of Mathematics / 3. Numbers / e. Ordinal numbers
10680

The theory of the transfinite needs the ordinal numbers

6. Mathematics / A. Nature of Mathematics / 3. Numbers / g. Real numbers
10684

I take the real numbers to be just lengths

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Number / e. Peano arithmetic 2ndorder
10674

A plural language gives a single comprehensive induction axiom for arithmetic

6. Mathematics / B. Foundations for Mathematics / 5. Mathematics as Set Theory / a. Mathematics is set theory
10681

In arithmetic singularists need sets as the instantiator of numeric properties

10685

Set theory is the science of infinity

7. Existence / D. Theories of Reality / 10. Ontological Commitment / a. Ontological commitment
10668

We are committed to a 'group' of children, if they are sitting in a circle

9. Objects / C. Structure of Objects / 5. Composition of an Object
10664

Complex particulars are either masses, or composites, or sets

10678

The relation of composition is indispensable to the partwhole relation for individuals

9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
10665

Leibniz's Law argues against atomism  water is wet, unlike water molecules

10682

The fusion of five rectangles can decompose into more than five parts that are rectangles

18. Thought / A. Modes of Thought / 1. Thought
10663

A thought can refer to many things, but only predicate a universal and affirm a state of affairs

26. Natural Theory / B. Concepts of Nature / 3. Space / a. Space
10683

We could ignore space, and just talk of the shape of matter
