5 ideas
16137 | Earlier views of Aristotle were dominated by 'Categories' [Frede,M] |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
15201 | That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN] |
22899 | 'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN] |