Combining Texts

All the ideas for 'A Short History of Ethics', 'Notebooks 1914-1916' and 'Alfred Tarski: life and logic'

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

32 ideas

1. Philosophy / B. History of Ideas / 4. Early European Thought
8013 In the Reformation, morality became unconditional but irrational, individually autonomous, and secular [MacIntyre]
1. Philosophy / B. History of Ideas / 5. Later European Thought
8021 The Levellers and the Diggers mark a turning point in the history of morality [MacIntyre]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
18274 Analysis complicates a statement, but only as far as the complexity of its meaning [Wittgenstein]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10147 The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman]
10148 Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman]
10149 Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman]
10150 The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman]
10146 Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
16908 We can dispense with self-evidence, if language itself prevents logical mistakes [Jeshion on Wittgenstein]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
18276 A statement's logical form derives entirely from its constituents [Wittgenstein]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
6563 'And' and 'not' are non-referring terms, which do not represent anything [Wittgenstein, by Fogelin]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10158 A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman]
10162 Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10160 Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman]
10159 Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10161 If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 7. Decidability
10156 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman]
10155 Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman]
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
23472 The sense of propositions relies on the world's basic logical structure [Wittgenstein]
12. Knowledge Sources / A. A Priori Knowledge / 5. A Priori Synthetic
23500 My main problem is the order of the world, and whether it is knowable a priori [Wittgenstein]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
8006 When Aristotle speaks of soul he means something like personality [MacIntyre]
16. Persons / B. Nature of the Self / 4. Presupposition of Self
22323 The philosophical I is the metaphysical subject, the limit - not a part of the world [Wittgenstein]
19. Language / A. Nature of Meaning / 2. Meaning as Mental
23481 Propositions assemble a world experimentally, like the model of a road accident [Wittgenstein]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
8002 Sophists don't distinguish a person outside one social order from someone outside all order [MacIntyre]
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
8012 The value/fact logical gulf is misleading, because social facts involve values [MacIntyre]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
8005 'Happiness' is a bad translation of 'eudaimonia', which includes both behaving and faring well [MacIntyre]
23. Ethics / C. Virtue Theory / 3. Virtues / c. Justice
8001 'Dikaiosune' is justice, but also fairness and personal integrity [MacIntyre]
23. Ethics / D. Deontological Ethics / 2. Duty
8023 My duties depend on my identity, which depends on my social relations [MacIntyre]
24. Political Theory / A. Basis of a State / 3. Natural Values / a. Natural freedom
8022 I am naturally free if I am not tied to anyone by a contract [MacIntyre]
25. Social Practice / C. Rights / 1. Basis of Rights
8031 Fans of natural rights or laws can't agree on what the actual rights or laws are [MacIntyre]
25. Social Practice / F. Life Issues / 4. Suicide
4678 Absolute prohibitions are the essence of ethics, and suicide is the most obvious example [Wittgenstein]
29. Religion / B. Monotheistic Religion / 5. Bible
8008 The Bible is a story about God in which humans are incidental characters [MacIntyre]