7 ideas
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
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] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |
22405 | Negative utilitarianism implies that the world should be destroyed, to avoid future misery [Smart] |
22404 | Any group interested in ethics must surely have a sentiment of generalised benevolence [Smart] |