28 ideas
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| 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] |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| 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] |
| 12756 | Substance is a force for acting and being acted upon [Leibniz] |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| 12755 | Final causes can help with explanations in physics [Leibniz] |
| 12760 | Something rather like souls (though not intelligent) could be found everywhere [Leibniz] |
| 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] |
| 12759 | There are atoms of substance, but no atoms of bulk or extension [Leibniz] |
| 12718 | Secondary matter is active and complete; primary matter is passive and incomplete [Leibniz] |
| 11854 | If there is some trace of God in things, that would explain their natural force [Leibniz] |
| 12758 | It is plausible to think substances contain the same immanent force seen in our free will [Leibniz] |
| 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] |
| 19408 | To say that nature or the one universal substance is God is a pernicious doctrine [Leibniz] |