Combining Texts

All the ideas for 'Consciousness', 'Prescriptivism' and 'Identity and Existence in Logic'

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


35 ideas

4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logics has terms that do not designate real things, and even empty domains [Anderson,CA]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Physicalism requires the naturalisation or rejection of set theory [Lycan]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA]
7. Existence / A. Nature of Existence / 2. Types of Existence
Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA]
7. Existence / C. Structure of Existence / 2. Reduction
Institutions are not reducible as types, but they are as tokens [Lycan]
Types cannot be reduced, but levels of reduction are varied groupings of the same tokens [Lycan]
7. Existence / C. Structure of Existence / 3. Levels of Reality
One location may contain molecules, a metal strip, a key, an opener of doors, and a human tragedy [Lycan]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA]
7. Existence / E. Categories / 3. Proposed Categories
I see the 'role'/'occupant' distinction as fundamental to metaphysics [Lycan]
9. Objects / A. Existence of Objects / 4. Impossible objects
's is non-existent' cannot be said if 's' does not designate [Anderson,CA]
We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
I think greenness is a complex microphysical property of green objects [Lycan]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / a. Nature of intentionality
Intentionality comes in degrees [Lycan]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / b. Intentionality theories
Teleological views allow for false intentional content, unlike causal and nomological theories [Lycan]
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
Pain is composed of urges, desires, impulses etc, at different levels of abstraction [Lycan]
The right 'level' for qualia is uncertain, though top (behaviourism) and bottom (particles) are false [Lycan]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
If energy in the brain disappears into thin air, this breaches physical conservation laws [Lycan]
In lower animals, psychology is continuous with chemistry, and humans are continuous with animals [Lycan]
17. Mind and Body / B. Behaviourism / 4. Behaviourism Critique
Two behaviourists meet. The first says,"You're fine; how am I?" [Lycan]
17. Mind and Body / C. Functionalism / 1. Functionalism
Functionalism must not be too abstract to allow inverted spectrum, or so structural that it becomes chauvinistic [Lycan]
If functionalism focuses on folk psychology, it ignores lower levels of function [Lycan]
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
The distinction between software and hardware is not clear in computing [Lycan]
17. Mind and Body / C. Functionalism / 5. Teleological Functionalism
Teleological characterisations shade off smoothly into brutely physical ones [Lycan]
Mental types are a subclass of teleological types at a high level of functional abstraction [Lycan]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Identity theory is functionalism, but located at the lowest level of abstraction [Lycan]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
We reduce the mind through homuncular groups, described abstractly by purpose [Lycan]
Teleological functionalism helps us to understand psycho-biological laws [Lycan]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
A Martian may exhibit human-like behaviour while having very different sensations [Lycan]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / i. Prescriptivism
Prescriptivism says 'ought' without commitment to act is insincere, or weakly used [Hooker,B]
23. Ethics / B. Contract Ethics / 2. Golden Rule
Universal moral judgements imply the Golden Rule ('do as you would be done by') [Hooker,B]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / b. Limited purposes
We need a notion of teleology that comes in degrees [Lycan]
27. Natural Reality / B. Modern Physics / 4. Standard Model / a. Concept of matter
'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan]