Combining Texts

Ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Induction' and 'Logical Necessity'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

6 ideas

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 / G. Quantification / 4. Substitutional Quantification

10792

The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]

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]