5 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] |
3291 | Emergent properties appear at high levels of complexity, but aren't explainable by the lower levels [Nagel] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
3290 | Given the nature of heat and of water, it is literally impossible for water not to boil at the right heat [Nagel] |