Combining Texts

All the ideas for 'Intensional Logic', 'Can Mechanisms Replace Laws of Nature?' and 'New work for a theory of universals'

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


51 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 / E. Nonclassical Logics / 8. Intensional Logic
If terms change their designations in different states, they are functions from states to objects [Fitting]
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
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]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Generalisations must be invariant to explain anything [Leuridan]
14. Science / D. Explanation / 2. Types of Explanation / h. Explanations by function
Biological functions are explained by disposition, or by causal role [Leuridan]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Mechanisms are ontologically dependent on regularities [Leuridan]
Mechanisms can't explain on their own, as their models rest on pragmatic regularities [Leuridan]
We can show that regularities and pragmatic laws are more basic than mechanisms [Leuridan]
Mechanisms must produce macro-level regularities, but that needs micro-level regularities [Leuridan]
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
There is nothing wrong with an infinite regress of mechanisms and regularities [Leuridan]
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 / A. Speculations on Nature / 3. Natural Function
Rather than dispositions, functions may be the element that brought a thing into existence [Leuridan]
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 / 3. Laws and Generalities
Pragmatic laws allow prediction and explanation, to the extent that reality is stable [Leuridan]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Strict regularities are rarely discovered in life sciences [Leuridan]
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 / 11. Against Laws of Nature
A 'law of nature' is just a regularity, not some entity that causes the regularity [Leuridan]