Combining Texts

All the ideas for 'Mereology', 'Gravity and Grace (9 extracts)' and 'An Introduction to Modal Logic'

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

26 ideas

3. Truth / A. Truth Problems / 3. Value of Truth
23825 We seek truth only because it is good [Weil]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
9540 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
9541 The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
9543 The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
10653 Maybe set theory need not be well-founded [Varzi]
4. Formal Logic / G. Formal Mereology / 1. Mereology
10648 Mereology need not be nominalist, though it is often taken to be so [Varzi]
10655 Are there mereological atoms, and are all objects made of them? [Varzi]
10659 There is something of which everything is part, but no null-thing which is part of everything [Varzi]
5. Theory of Logic / K. Features of Logics / 4. Completeness
9544 A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
9. Objects / C. Structure of Objects / 5. Composition of an Object
10661 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
10647 Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi]
10651 If 'part' is reflexive, then identity is a limit case of parthood [Varzi]
10649 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi]
10654 The parthood relation will help to define at least seven basic predicates [Varzi]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
10658 Sameness of parts won't guarantee identity if their arrangement matters [Varzi]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / b. Conceivable but impossible
10652 Conceivability may indicate possibility, but literary fantasy does not [Varzi]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / a. Idealistic ethics
23826 Beauty, goodness and truth are only achieved by applying full attention [Weil]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
23833 The good is a nothingness, and yet real [Weil]
23808 There are two goods - the absolute good we want, and the reachable opposite of evil [Weil]
24. Political Theory / C. Ruling a State / 1. Social Power
23831 The essence of power is illusory prestige [Weil]
24. Political Theory / D. Ideologies / 1. Ideology
23830 A group is only dangerous if it endorses an abstract entity [Weil]
24. Political Theory / D. Ideologies / 2. Anarchism
23809 Our only social duty is to try to limit evil [Weil]
24. Political Theory / D. Ideologies / 9. Communism
23807 The collective is the one and only object of false idolatry [Weil]
24. Political Theory / D. Ideologies / 14. Nationalism
23810 Charity is the only love, and you can feel that for a country (a place with traditions), but not a nation [Weil]
25. Social Practice / A. Freedoms / 1. Slavery
23811 If effort is from necessity rather than for a good, it is slavery [Weil]
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
23765 The soul is the intrinsic value of a human [Weil]