5 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
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] |
13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |