Combining Texts

All the ideas for 'fragments/reports', 'Nominalism and Substitutional Quantifiers' and 'Being You'

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


22 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]
     Full Idea: The nominalist finds that standard semantics shackles him to first-order languages if, as nominalists are wont, he is to make do without abstract higher order objects.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
     A reaction: Aha! Since I am pursuing a generally nominalist strategy in metaphysics, I suddenly see that I must adopt a hostile attitude to higher-order logic! Maybe plural quantification is the way to go, with just first-order objects.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)]
     Full Idea: The tendency has been to call any expression a 'name', however distant from the grammatical category of nouns, provided it is seen as referring.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)]
     Full Idea: For a nominalist with an ontology of empirically distinguishable objects, proper names are seen as a primary vehicle of reference.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
5. Theory of Logic / G. Quantification / 1. Quantification
Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)]
     Full Idea: For the nominalist, at level zero, where substituends are referring names, the quantifiers may be read existentially. Beyond level zero, the variables and quantifiers are read sustitutionally (though it is unclear whether this program is feasible).
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)]
     Full Idea: On a substitutional semantics of a first-order language, a domain of objects is not specified. Variables do not range over objects. They are place markers for substituends (..and sentences are true-for-all-names, or true-for-at-least-one-name).
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.165)
Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)]
     Full Idea: An adequate language for referring to infinitely many objects would seem to require variables and quantifiers in addition to names.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.164)
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)]
     Full Idea: It has been suggested that a substitutional semantics for quantification theory lends itself to nominalistic aims.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.161)
Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)]
     Full Idea: Translation into a substitutional language does not force the ontology. It remains, literally, and until the case for reference can be made, a façon de parler. That is the way the nominalist would like to keep it.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)]
     Full Idea: Critics say if there are nondenumerably many objects, then on the substitutional view there might be true universal sentences falsified by an unnamed object, and there must always be some such, for names are denumerable.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
     A reaction: [See Quine 'Reply to Prof. Marcus' p.183] The problem seems to be that there would be names which are theoretically denumerable, but not nameable, and hence not available for substitution. Marcus rejects this, citing compactness.
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Is being just referent of the verb 'to be'? [Marcus (Barcan)]
     Full Idea: Being itself has been viewed as referent of the verb 'to be'.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)]
     Full Idea: Nominalists have the major task of explaining how predicates work. They usually construct it as a relation between individuals, or deny the referential function of predicates.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.163)
9. Objects / A. Existence of Objects / 3. Objects in Thought
If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)]
     Full Idea: If objects are thoughts, aren't we back to psychologism?
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
     A reaction: Personally I don't think that would be the end of the world, but Fregeans go into paroxyms at the mention of 'psychology', because they fear that it destroys objectivity. That may be because they haven't understood thought properly.
9. Objects / F. Identity among Objects / 2. Defining Identity
Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)]
     Full Idea: Substitutivity 'salve veritate' cannot define identity since two expressions may be everywhere intersubstitutable and not refer at all.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
15. Nature of Minds / A. Nature of Mind / 8. Brain
Single neurons can carry out complex functions [Seth]
     Full Idea: It is increasingly apparent that even single neurons are capable of carrying out highly complex functions all by themselves.
     From: Anil Seth (Being You [2021], I.1 n)
     A reaction: Bang goes the simple connectionist account of consciousness.
The cerbellum has a huge number of neurons, but little involvement in consciousness [Seth]
     Full Idea: The cerebellum [at the back] has about four times as many neurons as the rest of the brain put together, but seems barely involved in consciousness.
     From: Anil Seth (Being You [2021], I.2)
     A reaction: I wonder if it also has four times as many connections?
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
Maybe a system is conscious if the whole generates more information than its parts [Seth]
     Full Idea: The main claim of Tononi's 'integrated information theory' is that a system is conscious to the extent that its whole generates more information than its parts.
     From: Anil Seth (Being You [2021], I.3)
     A reaction: Seth seems to present this as an 'interesting' proposal. I find it unlikely that consciousness could be explain in terms of information, or that a machine constructed on this principle would thus become conscious. (Databases pass this test).
16. Persons / C. Self-Awareness / 2. Knowing the Self
The self is embodied, perspectival, volitional, narrative and social [Seth, by PG]
     Full Idea: The elements of a self are 1) embodied - related directly to the body, 2) perspectival - having a viewpoint, 3) volitional - being an agent, 4) narrative - aware of past and future, and 5) social - as others perceive me.
     From: report of Anil Seth (Being You [2021], III.8) by PG - Db (ideas)
     A reaction: [summarised] Seth says there are distinctive emotions associated with each of these aspects of the self. This list is very helpful, as a discouragement for anyone who wants to pick one of these as the sole true nature of the self.
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
Modern AI is mostly machine-based pattern recognition [Seth]
     Full Idea: Much of today's AI is best described as sophisticated machine-based pattern recognition.
     From: Anil Seth (Being You [2021], IV.13)
     A reaction: Personally I wouldn't want to underestimate the extent to which human intelligence is also pattern recognition (across time as well as in space).
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
Volition is felt as doing what you want, with possible alternatives, and a source from within [Seth]
     Full Idea: The experience of volition is defined by 1) the feeling that I am doing what I want to do, 2) that I could have done otherwise, and 3) that voluntary actions seem to come from within.
     From: Anil Seth (Being You [2021], III.11)
     A reaction: Note that these can all be cited without reference to their feeling 'free'.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / d. Biological ethics
Human exceptionalism plagues biology, and most other human thinking [Seth]
     Full Idea: Human exceptionalism has repeatedly plagued biology, and has darkened the history of human thought everywhere.
     From: Anil Seth (Being You [2021], I.2)
     A reaction: I increasingly agree with this, as much in philosophy as in biology. We really need to get used to our place in evolution.
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
     Full Idea: Archelaus was the first person to say that the universe is boundless.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
     Full Idea: Archelaus wrote that life on Earth began in a primeval slime.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus
     A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea.