4 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
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] |
21097 | Modern monarchies are (like republics) rule by law, rather than by men [Hume] |