6 ideas
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] |
3597 | Foundations need not precede other beliefs [Wittgenstein] |
3596 | Total doubt can't even get started [Wittgenstein, by Williams,M] |
9591 | The human intellect has not been, and cannot be, fully formalized [Nagel/Newman] |
4721 | If you are not certain of any fact, you cannot be certain of the meaning of your words either [Wittgenstein] |