Combining Texts

All the ideas for 'Katzav on limitations of dispositions', 'Universal Arithmetick' and 'Abstract Objects: a Case Study'

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


10 ideas

6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
A number is not a multitude, but a unified ratio between quantities [Newton]
     Full Idea: By a Number we understand not so much a Multitude of Unities, as the abstracted Ratio of any Quantity to another Quantity of the same Kind, which we take for unity.
     From: Isaac Newton (Universal Arithmetick [1669]), quoted by John Mayberry - What Required for Foundation for Maths? p.407-2
     A reaction: This needs a metaphysics of 'kinds' (since lines can't have ratios with solids). Presumably Newton wants the real numbers to be more basic than the natural numbers. This is the transition from Greek to modern.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Mathematics is both necessary and a priori because it really consists of logical truths [Yablo]
     Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10)
     A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity.
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo]
     Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08)
     A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo]
     Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01)
     A reaction: There's a shift here, from his own 'properties' to the 'intrinsic properties' of the abstracta. Presumably his own 'intrinsic' properties are not accidental. In fact, intrinsic properties tend to be essential properties, I think.
We are thought to know concreta a posteriori, and many abstracta a priori [Yablo]
     Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02)
     A reaction: Personally I think numbers are rooted in experience, though pure arithmetic has travelled a long way since it started. I doubt whether arithmetic is possible without counting things. I don't think I believe in the 'pure' a priori.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
The natural kinds are objects, processes and properties/relations [Ellis]
     Full Idea: There are three hierarchies of natural kinds: objects or substances (substantive universals), events or processes (dynamic universals), and properties or relations (tropic universals).
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 91)
     A reaction: Most interesting here is the identifying of natural kinds with universals, making universals into the families of nature. Universals are high-level sets of natural kinds. To grasp universals you must see patterns, and infer the underlying order.
26. Natural Theory / D. Laws of Nature / 2. Types of Laws
Least action is not a causal law, but a 'global law', describing a global essence [Ellis]
     Full Idea: The principle of least action is not a causal law, but is what I call a 'global law', which describes the essence of the global kind, which every object in the universe necessarily instantiates.
     From: Brian Ellis (Katzav on limitations of dispositions [2005])
     A reaction: As a fan of essentialism I find this persuasive. If I inherit part of my essence from being a mammal, I inherit other parts of my essence from being an object, and all objects would share that essence, so it would look like a 'law' for all objects.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
A species requires a genus, and its essence includes the essence of the genus [Ellis]
     Full Idea: A specific universal can exist only if the generic universal of which it is a species exists, but generic universals don't depend on species; …the essence of any genus is included in its species, but not conversely.
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 91)
     A reaction: Thus the species 'electron' would be part of the genus 'lepton', or 'human' part of 'mammal'. The point of all this is to show how individual items connect up with the rest of the universe, giving rise to universal laws, such as Least Action.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis]
     Full Idea: The hierarchy of natural kinds proposed by essentialism may be more elaborate than is strictly required for purposes of ontology, but it is necessary to explain the necessity of the laws of nature, and the universal applicability of global principles.
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 91)
     A reaction: I am all in favour of elaborating ontology in the name of best explanation. There seem, though, to be some remaining ontological questions at the point where the explanations of essentialism run out.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis]
     Full Idea: It is objected to dispositionalism that without the principle of least action, or some general principle of equal power, the specific dispositional properties of things could tell us very little about how these things would be disposed to behave.
     From: Brian Ellis (Katzav on limitations of dispositions [2005], 90)
     A reaction: Ellis attempts to meet this criticism, by placing dispositional properties within a hierarchy of broader properties. There remains a nagging doubt about how essentialism can account for space, time, order, and the existence of essences.