Combining Texts

All the ideas for 'Intensional Logic', 'The Nature of Mental States' and 'Thinking About Mechanisms'

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


28 ideas

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 / B. Change in Existence / 2. Processes
Activities have place, rate, duration, entities, properties, modes, direction, polarity, energy and range [Machamer/Darden/Craver]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
Penicillin causes nothing; the cause is what penicillin does [Machamer/Darden/Craver]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
11. Knowledge Aims / A. Knowledge / 2. Understanding
We understand something by presenting its low-level entities and activities [Machamer/Darden/Craver]
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
The explanation is not the regularity, but the activity sustaining it [Machamer/Darden/Craver]
14. Science / D. Explanation / 2. Types of Explanation / h. Explanations by function
Functions are not properties of objects, they are activities contributing to mechanisms [Machamer/Darden/Craver]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Mechanisms are not just push-pull systems [Machamer/Darden/Craver]
Mechanisms are systems organised to produce regular change [Machamer/Darden/Craver]
A mechanism explains a phenomenon by showing how it was produced [Machamer/Darden/Craver]
Our account of mechanism combines both entities and activities [Machamer/Darden/Craver]
Descriptions of explanatory mechanisms have a bottom level, where going further is irrelevant [Machamer/Darden/Craver]
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
There are four types of bottom-level activities which will explain phenomena [Machamer/Darden/Craver]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
We can abstract by taking an exemplary case and ignoring the detail [Machamer/Darden/Craver]
17. Mind and Body / B. Behaviourism / 2. Potential Behaviour
Dispositions need mental terms to define them [Putnam]
17. Mind and Body / B. Behaviourism / 4. Behaviourism Critique
Total paralysis would mean that there were mental states but no behaviour at all [Putnam]
17. Mind and Body / C. Functionalism / 1. Functionalism
Is pain a functional state of a complete organism? [Putnam]
Functionalism is compatible with dualism, as pure mind could perform the functions [Putnam]
Functional states correlate with AND explain pain behaviour [Putnam]
17. Mind and Body / D. Property Dualism / 3. Property Dualism
Temperature is mean molecular kinetic energy, but they are two different concepts [Putnam]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
Neuroscience does not support multiple realisability, and tends to support identity [Polger on Putnam]
If humans and molluscs both feel pain, it can't be a single biological state [Putnam, by Kim]
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
Laws of nature have very little application in biology [Machamer/Darden/Craver]