Combining Texts

All the ideas for 'fragments/reports', 'Nominalism and Substitutional Quantifiers' and 'Individuals without Sortals'

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


30 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.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / d. Counting via concepts
Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers]
     Full Idea: If we count the concept 'coin in this box', we could regard coin as the 'unit', while taking 'in this box' to limit the scope. Counting coins in two boxes would be not a difference in unit (kind of object), but in scope.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Counting')
     A reaction: This is a very nice alternative to the Fregean view of counting, depending totally on the concept, and rests more on a natural concept of object. I prefer Ayers. Compare 'count coins till I tell you to stop'.
If counting needs a sortal, what of things which fall under two sortals? [Ayers]
     Full Idea: If we accepted that counting objects always presupposes some sortal, it is surely clear that the class of objects to be counted could be designated by two sortals rather than one.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Realist' vii)
     A reaction: His nice example is an object which is both 'a single piece of wool' and a 'sweater', which had better not be counted twice. Wiggins struggles to argue that there is always one 'substance sortal' which predominates.
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)
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
Events do not have natural boundaries, and we have to set them [Ayers]
     Full Idea: In order to know which event has been ostensively identified by a speaker, the auditor must know the limits intended by the speaker. ...Events do not have natural boundaries.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Concl')
     A reaction: He distinguishes events thus from natural objects, where the world, to a large extent, offers us the boundaries. Nice point.
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 / A. Existence of Objects / 5. Individuation / a. Individuation
To express borderline cases of objects, you need the concept of an 'object' [Ayers]
     Full Idea: The only explanation of the power to produce borderline examples like 'Is this hazelnut one object or two?' is the possession of the concept of an object.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Counting')
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
Recognising continuity is separate from sortals, and must precede their use [Ayers]
     Full Idea: The recognition of the fact of continuity is logically independent of the possession of sortal concepts, whereas the formation of sortal concepts is at least psychologically dependent upon the recognition of continuity.
     From: M.R. Ayers (Individuals without Sortals [1974], Intro)
     A reaction: I take this to be entirely correct. I might add that unity must also be recognised.
Speakers need the very general category of a thing, if they are to think about it [Ayers]
     Full Idea: If a speaker indicates something, then in order for others to catch his reference they must know, at some level of generality, what kind of thing is indicated. They must categorise it as event, object, or quality. Thinking about something needs that much.
     From: M.R. Ayers (Individuals without Sortals [1974], Intro)
     A reaction: Ayers defends the view that such general categories are required, but not the much narrower sortal terms defended by Geach and Wiggins. I'm with Ayers all the way. 'What the hell is that?'
We use sortals to classify physical objects by the nature and origin of their unity [Ayers]
     Full Idea: Sortals are the terms by which we intend to classify physical objects according to the nature and origin of their unity.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Concl')
     A reaction: This is as opposed to using sortals for the initial individuation. I take the perception of the unity to come first, so resemblance must be mentioned, though it can be an underlying (essentialist) resemblance.
Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers]
     Full Idea: It is unnecessary to call moths 'caterpillars' or caterpillars 'moths' to see that they can be the same individual. It may be that our sortal concepts reflect our beliefs about continuity, but our beliefs about continuity need not reflect our sortals.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Realist' vi)
     A reaction: Something that metamorphosed through 15 different stages could hardly required 15 different sortals before we recognised the fact. Ayers is right.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Could the same matter have more than one form or principle of unity? [Ayers]
     Full Idea: The abstract question arises of whether the same matter could be subject to more than one principle of unity simultaneously, or unified by more than one 'form'.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Realist' vii)
     A reaction: He suggests that the unity of the sweater is destroyed by unravelling, and the unity of the thread by cutting.
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers]
     Full Idea: The statue is marble and man-shaped, but so is the piece of marble. So not only are the two objects in the same place, but two marble and man-shaped objects in the same place, so 'that marble, man-shaped object' must be ambiguous or indefinite.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Prob')
     A reaction: It strikes me as basic that it can't be a piece of marble if you subtract its shape, and it can't be a statue if you subtract its matter. To treat a statue as an object, separately from its matter, is absurd.
9. Objects / D. Essence of Objects / 5. Essence as Kind
Sortals basically apply to individuals [Ayers]
     Full Idea: Sortals, in their primitive use, apply to the individual.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Concl')
     A reaction: If the sortal applies to the individual, any essence must pertain to that individual, and not to the class it has been placed in.
9. Objects / E. Objects over Time / 5. Temporal Parts
You can't have the concept of a 'stage' if you lack the concept of an object [Ayers]
     Full Idea: It would be impossible for anyone to have the concept of a stage who did not already possess the concept of a physical object.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Concl')
Temporal 'parts' cannot be separated or rearranged [Ayers]
     Full Idea: Temporally extended 'parts' are still mysteriously inseparable and not subject to rearrangement: a thing cannot be cut temporally in half.
     From: M.R. Ayers (Individuals without Sortals [1974], 'Prob')
     A reaction: A nice warning to anyone accepting a glib analogy between spatial parts and temporal parts.
9. Objects / F. Identity among Objects / 1. Concept of Identity
Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers]
     Full Idea: Some hold that the 'covering concept' completes the incomplete concept of identity, determining the kind of sameness involved. Others strongly deny the identity itself is incomplete, and locate the covering concept within the necessary act of reference.
     From: M.R. Ayers (Individuals without Sortals [1974], Intro)
     A reaction: [a bit compressed; Geach is the first view, and Quine the second; Wiggins is somewhere between the two]
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)
9. Objects / F. Identity among Objects / 3. Relative Identity
If diachronic identities need covering concepts, why not synchronic identities too? [Ayers]
     Full Idea: Why are covering concepts required for diachronic identities, when they must be supposed unnecessary for synchronic identities?
     From: M.R. Ayers (Individuals without Sortals [1974], 'Prob')
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.