Combining Texts

All the ideas for 'Summa totius logicae', 'Abstract Objects' and 'The Theory of Transfinite Numbers'

expand these ideas     |    start again     |     specify just one area for these texts


19 ideas

2. Reason / B. Laws of Thought / 3. Non-Contradiction
From an impossibility anything follows [William of Ockham]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
A proposition is true if its subject and predicate stand for the same thing [William of Ockham]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Ockham had an early axiomatic account of truth [William of Ockham, by Halbach]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
A set is a collection into a whole of distinct objects of our intuition or thought [Cantor]
5. Theory of Logic / G. Quantification / 1. Quantification
The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham]
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
Universals are single things, and only universal in what they signify [William of Ockham]
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
How we refer to abstractions is much less clear than how we refer to other things [Rosen]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham]
18. Thought / E. Abstraction / 2. Abstracta by Selection
The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen]
18. Thought / E. Abstraction / 5. Abstracta by Negation
Nowadays abstractions are defined as non-spatial, causally inert things [Rosen]
Chess may be abstract, but it has existed in specific space and time [Rosen]
Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen]
18. Thought / E. Abstraction / 6. Abstracta by Conflation
Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Functional terms can pick out abstractions by asserting an equivalence relation [Rosen]
Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen]
19. Language / D. Propositions / 4. Mental Propositions
Some concepts for propositions exist only in the mind, and in no language [William of Ockham]