Combining Texts

All the ideas for 'works', 'Kinds of Minds' and 'To be is to be the value of a variable..'

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

25 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
7785 The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10699 Does a bowl of Cheerios contain all its sets and subsets? [Boolos]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10225 Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro]
10736 Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo]
10780 Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
15941 For intuitionists excluded middle is an outdated historical convention [Brouwer]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10697 Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
13671 Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
10267 We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro]
10698 Plural forms have no more ontological commitment than to first-order objects [Boolos]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
7806 Boolos invented plural quantification [Boolos, by Benardete,JA]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
18247 Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
10700 First- and second-order quantifiers are two ways of referring to the same things [Boolos]
15. Nature of Minds / A. Nature of Mind / 1. Mind / e. Questions about mind
4608 Minds are hard-wired, or trial-and-error, or experimental, or full self-aware [Dennett, by Heil]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
4880 Sentience comes in grades from robotic to super-human; we only draw a line for moral reasons [Dennett]
15. Nature of Minds / B. Features of Minds / 5. Qualia / a. Nature of qualia
4873 What is it like to notice an uncomfortable position when you are asleep? [Dennett]
16. Persons / B. Nature of the Self / 6. Self as Higher Awareness
4881 Being a person must involve having second-order beliefs and desires (about beliefs and desires) [Dennett]
17. Mind and Body / C. Functionalism / 6. Homuncular Functionalism
4875 We descend from robots, and our intentionality is composed of billions of crude intentional systems [Dennett]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
4879 There is no more anger in adrenaline than silliness in a bottle of whiskey [Dennett]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
4876 Maybe there is a minimum brain speed for supporting a mind [Dennett]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
4878 The materials for a mind only matter because of speed, and a need for transducers and effectors [Dennett]
18. Thought / B. Mechanics of Thought / 4. Language of Thought
4874 The predecessor and rival of the language of thought hypothesis is the picture theory of ideas [Dennett]
18. Thought / D. Concepts / 5. Concepts and Language / b. Concepts are linguistic
4882 Concepts are things we (unlike dogs) can think about, because we have language [Dennett]
25. Social Practice / F. Life Issues / 3. Abortion
4872 Most people see an abortion differently if the foetus lacks a brain [Dennett]
27. Natural Reality / G. Biology / 2. Life
4877 Maybe plants are very slow (and sentient) animals, overlooked because we are faster? [Dennett]