Combining Texts

Ideas for 'works', 'The Boundary Stones of Thought' and 'The Concept of Logical Consequence'

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

display all the ideas for this combination of texts

---

4 ideas

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

18812

Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt]

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 |=

13344

X follows from sentences K iff every model of K also models X [Tarski]