Combining Texts

All the ideas for 'The Union of Body and Soul', 'Logical Necessity' and 'What is Logic?'

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

23 ideas

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]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
12204 The logic of metaphysical necessity is S5 [Rumfitt]
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 / B. Logical Consequence / 1. Logical Consequence
12195 Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt]
12199 There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt]
12201 We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt]
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
12194 Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]
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 / H. Proof Systems / 2. Axiomatic Proof
12198 Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
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]
10. Modality / A. Necessity / 3. Types of Necessity
14532 A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A]
10. Modality / A. Necessity / 6. Logical Necessity
12193 Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt]
12200 A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt]
12202 Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
12203 If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt]
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
2594 A true cause must involve a necessary connection between cause and effect [Malebranche]