Combining Texts

All the ideas for 'fragments/reports', 'New work for a theory of universals' and 'Mathematical logic and theory of types'

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 / F. Set Theory ST / 8. Critique of Set Theory
Classes can be reduced to propositional functions [Russell, by Hanna]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell]
Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave]
Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock]
Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock]
Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock]
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]
Objects are demarcated by density and chemistry, and natural properties belong in what is well demarcated [Lewis]
Reference partly concerns thought and language, partly eligibility of referent by natural properties [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]
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
A sophisticated principle of charity sometimes imputes error as well as truth [Lewis]
We need natural properties in order to motivate the principle of charity [Lewis]
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
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 discovers laws and causal explanations, and also the natural properties required [Lewis]
Physics aims for a list of natural properties [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]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]