32 ideas
12442 | 'Mickey Mouse is a fictional mouse' is true without a truthmaker [Azzouni] |
12439 | Truth is dispensable, by replacing truth claims with the sentence itself [Azzouni] |
12437 | Truth lets us assent to sentences we can't explicitly exhibit [Azzouni] |
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] |
12446 | Names function the same way, even if there is no object [Azzouni] |
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] |
12447 | That all existents have causal powers is unknowable; the claim is simply an epistemic one [Azzouni] |
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] |
12445 | If fictional objects really don't exist, then they aren't abstract objects [Azzouni] |
12449 | Modern metaphysics often derives ontology from the logical forms of sentences [Azzouni] |
12440 | If objectual quantifiers ontologically commit, so does the metalanguage for its semantics [Azzouni] |
12438 | In the vernacular there is no unequivocal ontological commitment [Azzouni] |
12441 | We only get ontology from semantics if we have already smuggled it in [Azzouni] |
12448 | Things that don't exist don't have any properties [Azzouni] |
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] |
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] |
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] |
12450 | The periodic table not only defines the elements, but also excludes other possible elements [Azzouni] |