11 ideas
5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |