22 ideas
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
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] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
23647 | Objects have an essential constitution, producing its qualities, which we are too ignorant to define [Reid] |
11958 | Impossibilites are easily conceived in mathematics and geometry [Reid, by Molnar] |
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] |
20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
23646 | Reference is by name, or a term-plus-circumstance, or ostensively, or by description [Reid] |
23645 | A word's meaning is the thing conceived, as fixed by linguistic experts [Reid] |
20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |