3 ideas
1489 | Modern philosophy tends to be a theory-constructing extension of science, but there is also problem-solving [Nagel] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
22244 | 'Partial reference' is when the subject thinks two objects are one object [Field,H, by Recanati] |