5 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
9155 | An a priori proof is independent of experience [Leibniz] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |