Combining Philosophers

Ideas for Benjamin Constant, Alfred Tarski and Pherecydes

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

display all the ideas for this combination of philosophers

---

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]

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

10694

Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall]

10479

Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W]

13344

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