16 ideas
6601 | Science rules the globe because of colonising power, not inherent rationality [Feyerabend] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
13804 | A property is essential iff the object would not exist if it lacked that property [Forbes,G] |
13805 | Properties are trivially essential if they are not grounded in a thing's specific nature [Forbes,G] |
13808 | A relation is essential to two items if it holds in every world where they exist [Forbes,G] |
13806 | Trivially essential properties are existence, self-identity, and de dicto necessities [Forbes,G] |
13807 | A property is 'extraneously essential' if it is had only because of the properties of other objects [Forbes,G] |
13809 | One might be essentialist about the original bronze from which a statue was made [Forbes,G] |
13810 | The source of de dicto necessity is not concepts, but the actual properties of the thing [Forbes,G] |
2561 | For Feyerabend the meaning of a term depends on a whole theory [Feyerabend, by Rorty] |