Combining Texts

All the ideas for 'Mathematical Methods in Philosophy', 'Dispositions and Powers' and 'Philosophy of Language'

expand these ideas     |    start again     |     specify just one area for these texts


33 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames]
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
The universal and existential quantifiers were chosen to suit mathematics [Soames]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
7. Existence / A. Nature of Existence / 1. Nature of Existence
If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew]
8. Modes of Existence / B. Properties / 1. Nature of Properties
Humeans see properties as having no more essential features and relations than their distinctness [Friend/Kimpton-Nye, by PG]
Dispositions are what individuate properties, and they constitute their essence [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
Powers are properties which necessitate dispositions [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
Dispositional essentialism (unlike the grounding view) says only fundamental properties are powers [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
A power is a property which consists entirely of dispositions [Friend/Kimpton-Nye]
Powers are qualitative properties which fully ground dispositions [Friend/Kimpton-Nye]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Dispositions have directed behaviour which occurs if triggered [Friend/Kimpton-Nye]
'Masked' dispositions fail to react because something intervenes [Friend/Kimpton-Nye]
A disposition is 'altered' when the stimulus reverses the disposition [Friend/Kimpton-Nye]
A disposition is 'mimicked' if a different cause produces that effect from that stimulus [Friend/Kimpton-Nye]
A 'trick' can look like a stimulus for a disposition which will happen without it [Friend/Kimpton-Nye]
Some dispositions manifest themselves without a stimulus [Friend/Kimpton-Nye]
We could analyse dispositions as 'possibilities', with no mention of a stimulus [Friend/Kimpton-Nye]
10. Modality / A. Necessity / 5. Metaphysical Necessity
There are more metaphysically than logically necessary truths [Soames]
We understand metaphysical necessity intuitively, from ordinary life [Soames]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew]
The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Epistemic logic introduced impossible worlds [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew]
Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew]
Dispositionalism says modality is in the powers of this world, not outsourced to possible worlds [Friend/Kimpton-Nye]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames]
Tarski's account of truth-conditions is too weak to determine meanings [Soames]
19. Language / D. Propositions / 4. Mental Propositions
We should use cognitive states to explain representational propositions, not vice versa [Soames]
26. Natural Theory / D. Laws of Nature / 7. Strictness of Laws
Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye]