Combining Texts

All the ideas for 'Summa totius logicae', 'An Introduction to Modal Logic' and 'The Theory of Transfinite Numbers'

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


15 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 / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
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]
5. Theory of Logic / K. Features of Logics / 4. Completeness
A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
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 / 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]
19. Language / D. Propositions / 4. Mental Propositions
Some concepts for propositions exist only in the mind, and in no language [William of Ockham]