Combining Texts

Ideas for 'The Boundary Stones of Thought', 'Model Theory' and 'Articulating Reasons: Intro to Inferentialism'

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

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

18813

Logical consequence is a relation that can extended into further statements [Rumfitt]

5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-

18808

Normal deduction presupposes the Cut Law [Rumfitt]

5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=

10477

|= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]