12 ideas
| 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] |
| 16423 | Conceptual possibilities are metaphysical possibilities we can conceive of [Stalnaker] |
| 16422 | The necessity of a proposition concerns reality, not our words or concepts [Stalnaker] |
| 16421 | Critics say there are just an a priori necessary part, and an a posteriori contingent part [Stalnaker] |
| 16429 | A 'centred' world is an ordered triple of world, individual and time [Stalnaker] |
| 16428 | Meanings aren't in the head, but that is because they are abstract [Stalnaker] |
| 16432 | One view says the causal story is built into the description that is the name's content [Stalnaker] |
| 16430 | Two-D says that a posteriori is primary and contingent, and the necessity is the secondary intension [Stalnaker] |
| 16431 | In one view, the secondary intension is metasemantic, about how the thinker relates to the content [Stalnaker] |
| 467 | A virtue is a combination of intelligence, strength and luck [Ion] |