Combining Texts

All the ideas for 'fragments/reports', 'What is Logic?' and 'Penses'

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

26 ideas

2. Reason / A. Nature of Reason / 9. Limits of Reason
6675 The heart has its reasons of which reason knows nothing [Pascal]
2. Reason / D. Definition / 3. Types of Definition
13838 A decent modern definition should always imply a semantics [Hacking]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
13833 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking]
13834 Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking]
13835 Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
13845 The various logics are abstractions made from terms like 'if...then' in English [Hacking]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
13840 First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking]
13844 A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
13842 Second-order completeness seems to need intensional entities and possible worlds [Hacking]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13837 With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
13839 Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
13843 If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
22011 The first principles of truth are not rational, but are known by the heart [Pascal]
19. Language / F. Communication / 1. Rhetoric
6681 We only want to know things so that we can talk about them [Pascal]
21. Aesthetics / C. Artistic Issues / 3. Artistic Representation
6676 Painting makes us admire things of which we do not admire the originals [Pascal]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
468 Musical performance can reveal a range of virtues [Damon of Ath.]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6680 It is a funny sort of justice whose limits are marked by a river [Pascal]
22. Metaethics / B. Value / 1. Nature of Value / d. Subjective value
6677 Imagination creates beauty, justice and happiness, which is the supreme good [Pascal]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
6678 We live for the past or future, and so are never happy in the present [Pascal]
23. Ethics / F. Existentialism / 3. Angst
20732 If man considers himself as lost and imprisoned in the universe, he will be terrified [Pascal]
24. Political Theory / D. Ideologies / 5. Democracy / a. Nature of democracy
6682 Majority opinion is visible and authoritative, although not very clever [Pascal]
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
6679 It is not good to be too free [Pascal]
28. God / B. Proving God / 2. Proofs of Reason / d. Pascal's Wager
7455 Pascal knows you can't force belief, but you can make it much more probable [Pascal, by Hacking]
7457 Pascal is right, but relies on the unsupported claim of a half as the chance of God's existence [Hacking on Pascal]
7456 The libertine would lose a life of enjoyable sin if he chose the cloisters [Hacking on Pascal]
6684 If you win the wager on God's existence you win everything, if you lose you lose nothing [Pascal]