4 ideas
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
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] |
8478 | Dewey argued long before Wittgenstein that there could not seriously be a private language [Dewey, by Orenstein] |