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] |
3102 | Why don't we experience or remember going to sleep at night? [Magee] |
20195 | Eudaimonia first; virtue is a trait which promotes it; right acts are what virtues produce [Hursthouse, by Zagzebski] |