display all the ideas for this combination of philosophers
4 ideas
12373 | Something holds universally when it is proved of an arbitrary and primitive case [Aristotle] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |