3 ideas
22101 | Philosophy aims to know the truth about the way things are [Aquinas] |
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |