10648
|
Mereology need not be nominalist, though it is often taken to be so [Varzi]
|
|
Full Idea:
While mereology was originally offered with a nominalist viewpoint, resulting in a conception of mereology as an ontologically parsimonious alternative to set theory, there is no necessary link between analysis of parthood and nominalism.
|
|
From:
Achille Varzi (Mereology [2003], 1)
|
|
A reaction:
He cites Lesniewski and Leonard-and-Goodman. Do you allow something called a 'whole' into your ontology, as well as the parts? He observes that while 'wholes' can be concrete, they can also be abstract, if the parts are abstract.
|
8748
|
Logical positivists incorporated geometry into logicism, saying axioms are just definitions [Carnap, by Shapiro]
|
|
Full Idea:
The logical positivists brought geometry into the fold of logicism. The axioms of, say, Euclidean geometry are simply definitions of primitive terms like 'point' and 'line'.
|
|
From:
report of Rudolph Carnap (Empiricism, Semantics and Ontology [1950]) by Stewart Shapiro - Thinking About Mathematics 5.3
|
|
A reaction:
If the concept of 'line' is actually created by its definition, then we need to know exactly what (say) 'shortest' means. If we are merely describing a line, then our definition can be 'impredicative', using other accepted concepts.
|
13933
|
Existence questions are 'internal' (within a framework) or 'external' (concerning the whole framework) [Carnap]
|
|
Full Idea:
We distinguish two kinds of existence questions: first, entities of a new kind within the framework; we call them 'internal questions'. Second, 'external questions', concerning the existence or reality of the system of entities as a whole.
|
|
From:
Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 2)
|
|
A reaction:
This nicely disposes of many ontological difficulties, but at the price of labelling most external questions as meaningless, so that the internal answers have very little commitment, and the external (big) questions are now banned. Not for me.
|
13935
|
We only accept 'things' within a language with formation, testing and acceptance rules [Carnap]
|
|
Full Idea:
To accept the thing world means nothing more than to accept a certain form of language, in other words, to accept rules for forming statements and for testing, accepting, or rejecting them.
|
|
From:
Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 2)
|
|
A reaction:
If you derive your metaphysics from your language, then objects are linguistic conventions. But why do we accept conventions about objects?
|
10661
|
'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi]
|
|
Full Idea:
The thesis known as 'composition is identity' is that identity is mereological composition; a fusion is just the parts counted loosely, but it is strictly a multitude and loosely a single thing.
|
|
From:
Achille Varzi (Mereology [2003], 4.3)
|
|
A reaction:
[He cites D.Baxter 1988, in Mind] It is not clear, from this simple statement, what the difference is between multitudes that are parts of a thing, and multitudes that are not. A heavy weight seems to hang on the notion of 'composed of'.
|
10647
|
Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi]
|
|
Full Idea:
The word 'part' can used whether it is attached, or arbitrarily demarcated, or gerrymandered, or immaterial, or unextended, or spatial, or temporal.
|
|
From:
Achille Varzi (Mereology [2003], 1)
|
10649
|
'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi]
|
|
Full Idea:
It seems obvious that 'part' stands for a partial ordering, a reflexive ('everything is part of itself'), antisymmetic ('two things cannot be part of each other'), and transitive (a part of a part of a thing is part of that thing) relation.
|
|
From:
Achille Varzi (Mereology [2003], 2.1)
|
|
A reaction:
I'm never clear why the reflexive bit of the relation should be taken as 'obvious', since it seems to defy normal usage and common sense. It would be absurd to say 'I'll give you part of the cake' and hand you the whole of it. See Idea 10651.
|
10654
|
The parthood relation will help to define at least seven basic predicates [Varzi]
|
|
Full Idea:
With a basic parthood relation, we can formally define various mereological predicates, such as overlap, underlap, proper part, over-crossing, under-crossing, proper overlap, and proper underlap.
|
|
From:
Achille Varzi (Mereology [2003], 2.2)
|
|
A reaction:
[Varzi offers some diagrams, but they need interpretation]
|
13932
|
Empiricists tend to reject abstract entities, and to feel sympathy with nominalism [Carnap]
|
|
Full Idea:
Empiricists are in general rather suspicious with respect to any kind of abstract entities like properties, classes, relations, numbers, propositions etc. They usually feel more sympathy with nominalists than with realists (in the medieval sense).
|
|
From:
Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 1)
|
|
A reaction:
The obvious reason is that you can't have sense experiences of abstract entities. I like the question 'what are they made of?' rather than the question 'how can I experience them?'.
|
13937
|
New linguistic claims about entities are not true or false, but just expedient, fruitful or successful [Carnap]
|
|
Full Idea:
The acceptance of new linguistic forms about entities cannot be judged as being either true or false because it is not an assertion. It can only be judged as being more or less expedient, fruitful, conducive to the aim for which the language is intended.
|
|
From:
Rudolph Carnap (Empiricism, Semantics and Ontology [1950], 3)
|
|
A reaction:
The obvious problem seems to be that a complete pack of lies might be successful for a very long time, if it plugged a critical hole in a major theory. Is success judged financially? How do we judge success without mentioning truth?
|
7903
|
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
|
|
Full Idea:
The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
|
|
From:
Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
|
|
A reaction:
What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').
|