25 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] |
23708 | Humeans see properties as having no more essential features and relations than their distinctness [Friend/Kimpton-Nye, by PG] |
23709 | Dispositions are what individuate properties, and they constitute their essence [Friend/Kimpton-Nye] |
23707 | Powers are properties which necessitate dispositions [Friend/Kimpton-Nye] |
23714 | Dispositional essentialism (unlike the grounding view) says only fundamental properties are powers [Friend/Kimpton-Nye] |
23711 | A power is a property which consists entirely of dispositions [Friend/Kimpton-Nye] |
23712 | Powers are qualitative properties which fully ground dispositions [Friend/Kimpton-Nye] |
23698 | Dispositions have directed behaviour which occurs if triggered [Friend/Kimpton-Nye] |
23699 | 'Masked' dispositions fail to react because something intervenes [Friend/Kimpton-Nye] |
23700 | A disposition is 'altered' when the stimulus reverses the disposition [Friend/Kimpton-Nye] |
23701 | A disposition is 'mimicked' if a different cause produces that effect from that stimulus [Friend/Kimpton-Nye] |
23702 | A 'trick' can look like a stimulus for a disposition which will happen without it [Friend/Kimpton-Nye] |
23703 | Some dispositions manifest themselves without a stimulus [Friend/Kimpton-Nye] |
23704 | We could analyse dispositions as 'possibilities', with no mention of a stimulus [Friend/Kimpton-Nye] |
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] |
23710 | Dispositionalism says modality is in the powers of this world, not outsourced to possible worlds [Friend/Kimpton-Nye] |
23706 | Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye] |
7417 | God can't have silly perfections, but how do we decide which ones are 'silly'? [Joslin] |