16 ideas
19259 | If 2-D conceivability can a priori show possibilities, this is a defence of conceptual analysis [Vaidya] |
17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
19262 | Essential properties are necessary, but necessary properties may not be essential [Vaidya] |
19267 | Define conceivable; how reliable is it; does inconceivability help; and what type of possibility results? [Vaidya] |
19268 | Inconceivability (implying impossibility) may be failure to conceive, or incoherence [Vaidya] |
19265 | Can you possess objective understanding without realising it? [Vaidya] |
8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
19266 | In a disjunctive case, the justification comes from one side, and the truth from the other [Vaidya] |
19260 | Gettier deductive justifications split the justification from the truthmaker [Vaidya] |
8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
19264 | Aboutness is always intended, and cannot be accidental [Vaidya] |