4 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] |
16706 | Generation is when local motions aggregate to become a single subject [Nicholas of Autrecourt] |
8478 | Dewey argued long before Wittgenstein that there could not seriously be a private language [Dewey, by Orenstein] |