42 ideas
| 3972 | Truth and objectivity depend on a community of speakers to interpret what they mean [Davidson] |
| 3969 | There are no ultimate standards of rationality, since we only assess others by our own standard [Davidson] |
| 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] |
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| 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] |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| 8198 | A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett] |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| 3960 | There are no such things as minds, but people have mental properties [Davidson] |
| 3964 | If the mind is an anomaly, this makes reduction of the mental to the physical impossible [Davidson] |
| 3961 | Obviously all mental events are causally related to physical events [Davidson] |
| 3963 | There are no strict psychophysical laws connecting mental and physical events [Davidson] |
| 3965 | Mental entities do not add to the physical furniture of the world [Davidson] |
| 3966 | The correct conclusion is ontological monism combined with conceptual dualism [Davidson] |
| 3967 | Absence of all rationality would be absence of thought [Davidson] |
| 3974 | Our meanings are partly fixed by events of which we may be ignorant [Davidson] |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| 8189 | Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett] |
| 8191 | The truth-conditions theory must get agreement on a conception of truth [Dummett] |
| 3968 | Propositions explain nothing without an explanation of how sentences manage to name them [Davidson] |
| 3970 | Thought is only fully developed if we communicate with others [Davidson] |
| 3971 | There is simply no alternative to the 'principle of charity' in interpreting what others do [Davidson] |
| 3973 | Without a teacher, the concept of 'getting things right or wrong' is meaningless [Davidson] |
| 3962 | Cause and effect relations between events must follow strict laws [Davidson] |
| 8197 | Maybe past (which affects us) and future (which we can affect) are both real [Dummett] |
| 8196 | The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett] |