Combining Texts

All the ideas for 'Consciousness: matter becomes imagination', 'A Plea for Substitutional Quantification' and 'On Second-Order Logic'

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

31 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
9470 Modal logic is not an extensional language [Parsons,C]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
14249 Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
10830 Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
10829 A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10832 '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
9469 Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]
9468 On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10834 Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]
5. Theory of Logic / K. Features of Logics / 6. Compactness
13841 Why should compactness be definitive of logic? [Boolos, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
10833 Many concepts can only be expressed by second-order logic [Boolos]
8. Modes of Existence / D. Universals / 5. Universals as Concepts
4938 Prior to language, concepts are universals created by self-mapping of brain activity [Edelman/Tononi]
13. Knowledge Criteria / E. Relativism / 4. Cultural relativism
4934 Cultures have a common core of colour naming, based on three axes of colour pairs [Edelman/Tononi]
15. Nature of Minds / A. Nature of Mind / 5. Unity of Mind
4924 A conscious human being rapidly reunifies its mind after any damage to the brain [Edelman/Tononi]
15. Nature of Minds / A. Nature of Mind / 8. Brain
4932 A conscious state endures for about 100 milliseconds, known as the 'specious present' [Edelman/Tononi]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
4931 Consciousness is a process (of neural interactions), not a location, thing, property, connectivity, or activity [Edelman/Tononi]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / c. Parts of consciousness
4923 The three essentials of conscious experience are privateness, unity and informativeness [Edelman/Tononi]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / d. Purpose of consciousness
4941 Consciousness can create new axioms, but computers can't do that [Edelman/Tononi]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
4930 Consciousness arises from high speed interactions between clusters of neurons [Edelman/Tononi]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / a. Nature of intentionality
4929 Dreams and imagery show the brain can generate awareness and meaning without input [Edelman/Tononi]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / b. Intentionality theories
4940 Physicists see information as a measure of order, but for biologists it is symbolic exchange between animals [Edelman/Tononi]
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
4935 The sensation of red is a point in neural space created by dimensions of neuronal activity [Edelman/Tononi]
16. Persons / B. Nature of the Self / 7. Self and Body / a. Self needs body
4936 The self is founded on bodily awareness centred in the brain stem [Edelman/Tononi]
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
4939 A sense of self begins either internally, or externally through language and society [Edelman/Tononi]
16. Persons / F. Free Will / 5. Against Free Will
4925 Brains can initiate free actions before the person is aware of their own decision [Edelman/Tononi]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
4933 Consciousness is a process, not a thing, as it maintains unity as its composition changes [Edelman/Tononi]
18. Thought / B. Mechanics of Thought / 3. Modularity of Mind
4928 Brain complexity balances segregation and integration, like a good team of specialists [Edelman/Tononi]
18. Thought / B. Mechanics of Thought / 4. Language of Thought
4927 Information-processing views of the brain assume the existence of 'information', and dubious brain codes [Edelman/Tononi]
18. Thought / C. Content / 6. Broad Content
4922 Consciousness involves interaction with persons and the world, as well as brain functions [Edelman/Tononi]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
5793 Concepts and generalisations result from brain 'global mapping' by 'reentry' [Edelman/Tononi, by Searle]
4926 Concepts arise when the brain maps its own activities [Edelman/Tononi]
22. Metaethics / B. Value / 1. Nature of Value / b. Fact and value
4937 Systems that generate a sense of value are basic to the primitive brain [Edelman/Tononi]