Combining Texts

All the ideas for 'Logical Consequence', 'The Theory of Logical Types' and 'The Trouble with Being Born'

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

30 ideas

1. Philosophy / A. Wisdom / 3. Wisdom Deflated
23064 So-called wisdom is just pondering things instead of acting [Cioran]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
23072 Systems are the worst despotism, in philosophy and in life [Cioran]
1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
23075 A text explained ceases to be a text [Cioran]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
10688 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10690 Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10691 Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10695 Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
10689 A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
23066 Negation doesn't arise from reasoning, but from deep instincts [Cioran]
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
21566 'Propositional functions' are ambiguous until the variable is given a value [Russell]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
10696 A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10693 Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
21567 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10692 Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
23457 Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell]
21556 Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
21568 A one-variable function is only 'predicative' if it is one order above its arguments [Russell]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
23077 The word 'being' is very tempting, but in fact means nothing at all [Cioran]
7. Existence / D. Theories of Reality / 4. Anti-realism
23068 People who really believe anti-realism don't bother to prove it [Cioran]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
23073 Convictions are failures to study anything thoroughly [Cioran]
23078 Opinions are fine, but having convictions means something has gone wrong [Cioran]
16. Persons / F. Free Will / 5. Against Free Will
23076 If people always acted without words we would take them for robots [Cioran]
18. Thought / D. Concepts / 5. Concepts and Language / a. Concepts and language
23065 If only we could write like a reptile, of endless sensations and no concepts! [Cioran]
20. Action / C. Motives for Action / 4. Responsibility for Actions
23071 We could only be responsible if we had consented before birth to who we are [Cioran]
21. Aesthetics / A. Aesthetic Experience / 6. The Sublime
23070 We morally dissolve if we spend time with excessive beauty [Cioran]
23. Ethics / F. Existentialism / 3. Angst
23074 In anxiety people cling to what reinforces it, because it is a deep need [Cioran]
23. Ethics / F. Existentialism / 4. Boredom
23069 Fear cures boredom, because it is stronger [Cioran]
23062 It is better to watch the hours pass, than trying to fill them [Cioran]
25. Social Practice / F. Life Issues / 4. Suicide
23067 Suicide is pointless, because it always comes too late [Cioran]
29. Religion / D. Religious Issues / 2. Immortality / d. Heaven
23063 The first man obviously found paradise unendurable [Cioran]