Combining Texts

All the ideas for 'Mathematical Logic (revised)', 'Reference and Modality' and 'New work for a theory of universals'

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


44 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
In addition to analysis of a concept, one can deny it, or accept it as primitive [Lewis]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Failure of substitutivity shows that a personal name is not purely referential [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
We might do without names, by converting them into predicates [Quine, by Kirkham]
5. Theory of Logic / G. Quantification / 1. Quantification
Quantifying into referentially opaque contexts often produces nonsense [Quine]
7. Existence / C. Structure of Existence / 2. Reduction
Supervenience is reduction without existence denials, ontological priorities, or translatability [Lewis]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
A supervenience thesis is a denial of independent variation [Lewis]
7. Existence / D. Theories of Reality / 6. Physicalism
Materialism is (roughly) that two worlds cannot differ without differing physically [Lewis]
8. Modes of Existence / B. Properties / 1. Nature of Properties
Universals are wholly present in their instances, whereas properties are spread around [Lewis]
8. Modes of Existence / B. Properties / 5. Natural Properties
Natural properties figure in the analysis of similarity in intrinsic respects [Lewis, by Oliver]
Lewisian natural properties fix reference of predicates, through a principle of charity [Lewis, by Hawley]
Reference partly concerns thought and language, partly eligibility of referent by natural properties [Lewis]
Objects are demarcated by density and chemistry, and natural properties belong in what is well demarcated [Lewis]
Natural properties tend to belong to well-demarcated things, typically loci of causal chains [Lewis]
For us, a property being natural is just an aspect of its featuring in the contents of our attitudes [Lewis]
All perfectly natural properties are intrinsic [Lewis, by Lewis]
Natural properties fix resemblance and powers, and are picked out by universals [Lewis]
8. Modes of Existence / B. Properties / 6. Categorical Properties
Lewis says properties are sets of actual and possible objects [Lewis, by Heil]
Any class of things is a property, no matter how whimsical or irrelevant [Lewis]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
There are far more properties than any brain could ever encodify [Lewis]
We need properties as semantic values for linguistic expressions [Lewis]
8. Modes of Existence / B. Properties / 11. Properties as Sets
Properties are classes of possible and actual concrete particulars [Lewis, by Koslicki]
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
Lewisian properties have powers because of their relationships to other properties [Lewis, by Hawthorne]
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
Most properties are causally irrelevant, and we can't spot the relevant ones. [Lewis]
8. Modes of Existence / D. Universals / 1. Universals
I suspend judgements about universals, but their work must be done [Lewis]
8. Modes of Existence / D. Universals / 2. Need for Universals
Physics aims to discover which universals actually exist [Lewis, by Moore,AW]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
The One over Many problem (in predication terms) deserves to be neglected (by ostriches) [Lewis]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
To have a property is to be a member of a class, usually a class of things [Lewis]
Class Nominalism and Resemblance Nominalism are pretty much the same [Lewis]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Quantification into modal contexts requires objects to have an essence [Quine]
10. Modality / A. Necessity / 4. De re / De dicto modality
To be necessarily greater than 7 is not a trait of 7, but depends on how 7 is referred to [Quine]
10. Modality / A. Necessity / 11. Denial of Necessity
Whether 9 is necessarily greater than 7 depends on how '9' is described [Quine, by Fine,K]
Necessity only applies to objects if they are distinctively specified [Quine]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
We can't quantify in modal contexts, because the modality depends on descriptions, not objects [Quine, by Fine,K]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Psychophysical identity implies the possibility of idealism or panpsychism [Lewis]
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
We need natural properties in order to motivate the principle of charity [Lewis]
A sophisticated principle of charity sometimes imputes error as well as truth [Lewis]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
Counterfactuals 'backtrack' if a different present implies a different past [Lewis]
Causal counterfactuals must avoid backtracking, to avoid epiphenomena and preemption [Lewis]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Physics aims for a list of natural properties [Lewis]
Physics discovers laws and causal explanations, and also the natural properties required [Lewis]
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
A law of nature is any regularity that earns inclusion in the ideal system [Lewis]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
We can't say 'necessarily if x is in water then x dissolves' if we can't quantify modally [Quine]