40 ideas
| 23277 | Modern pragmatism sees objectivity as possible, despite its gradual evolution [Misak] |
| 19108 | Truth is proper assertion, but that has varying standards [Misak] |
| 19094 | For pragmatists the loftiest idea of truth is just a feature of what remains forever assertible [Misak] |
| 19105 | Truth isn't a grand elusive property, if it is just the aim of our assertions and inquiries [Misak] |
| 19100 | Truth makes disagreements matter, or worth settling [Misak] |
| 19099 | 'True' is used for emphasis, clarity, assertion, comparison, objectivity, meaning, negation, consequence... [Misak] |
| 19103 | 'That's true' doesn't just refer back to a sentence, but implies sustained evidence for it [Misak] |
| 19101 | Disquotation is bivalent [Misak] |
| 19096 | Disquotationalism resembles a telephone directory [Misak] |
| 19106 | Disquotations says truth is assertion, and assertion proclaims truth - but what is 'assertion'? [Misak] |
| 19098 | Deflating the correspondence theory doesn't entail deflating all the other theories [Misak] |
| 19104 | Deflationism isn't a theory of truth, but an account of its role in natural language [Misak] |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| 19109 | The anti-realism debate concerns whether indefeasibility is a plausible aim of inquiry [Misak] |
| 9758 | To make sense of personal identity, focus on agency rather than experience [Korsgaard] |
| 9757 | A person viewed as an agent makes no sense without its own future [Korsgaard] |
| 9759 | Theory of action focuses on explanation and prediction; practical action on justification and choice [Korsgaard] |
| 18678 | Maybe final value rests on the extrinsic property of being valued by a rational agent [Korsgaard, by Orsi] |
| 18225 | If we can't reason about value, we can reason about the unconditional source of value [Korsgaard] |
| 18228 | An end can't be an ultimate value just because it is useless! [Korsgaard] |
| 9760 | Self-concern may be a source of pain, or a lack of self-respect, or a failure of responsibility [Korsgaard] |
| 18224 | Goodness is given either by a psychological state, or the attribution of a property [Korsgaard] |
| 9761 | Personal concern for one's own self widens out into concern for the impersonal [Korsgaard] |
| 18233 | Contemplation is final because it is an activity which is not a process [Korsgaard] |
| 18226 | For Aristotle, contemplation consists purely of understanding [Korsgaard] |