19 ideas
21901 | 'Difference' refers to that which eludes capture [Deleuze, by May] |
8868 | Objective truth arises from interpersonal communication [Davidson] |
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] |
21902 | 'Being' is univocal, but its subject matter is actually 'difference' [Deleuze] |
21908 | Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze] |
21903 | Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May] |
21904 | Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May] |
8867 | A belief requires understanding the distinctions of true-and-false, and appearance-and-reality [Davidson] |
10347 | Objectivity is intersubjectivity [Davidson] |
8866 | If we know other minds through behaviour, but not our own, we should assume they aren't like me [Davidson] |
10346 | Knowing other minds rests on knowing both one's own mind and the external world [Davidson, by Dummett] |
8870 | Content of thought is established through communication, so knowledge needs other minds [Davidson] |
8869 | The principle of charity attributes largely consistent logic and largely true beliefs to speakers [Davidson] |