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] |
4741 | A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T] |
8478 | Dewey argued long before Wittgenstein that there could not seriously be a private language [Dewey, by Orenstein] |