7 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] |
9159 | You can't simply convert geometry into algebra, as some spatial content is lost [Burge] |
16730 | If matter is entirely atoms, anything else we notice in it can only be modes [Gassendi] |
16619 | We observe qualities, and use 'induction' to refer to the substances lying under them [Gassendi] |
16593 | Atoms are not points, but hard indivisible things, which no force in nature can divide [Gassendi] |
16729 | How do mere atoms produce qualities like colour, flavour and odour? [Gassendi] |