14 ideas
| 9406 | A class is natural when everybody can spot further members of it [Quinton] |
| Full Idea: To say that a class is natural is to say that when some of its members are shown to people they pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: He concedes a number of problems with his view, but I admire his attempt to at least begin to distinguish the natural (real!) classes from the ersatz ones. A mention of causal powers would greatly improve his story. |
| 17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
| Full Idea: The facts of geometry order themselves into a geometry, the facts of arithmetic into a theory of numbers, the facts of statics, electrodynamics into a theory of statics, electrodynamics, or the facts of the physics of gases into a theory of gases. | |
| From: David Hilbert (Axiomatic Thought [1918], [03]) | |
| A reaction: This is the confident (I would say 'essentialist') view of axioms, which received a bit of a setback with Gödel's Theorems. I certainly agree that the world proposes an order to us - we don't just randomly invent one that suits us. |
| 17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
| Full Idea: If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions. | |
| From: David Hilbert (Axiomatic Thought [1918], [09]) | |
| A reaction: Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others. |
| 17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
| Full Idea: It is necessary to study the essence of mathematical proof itself if one wishes to answer such questions as the one about decidability in a finite number of operations. | |
| From: David Hilbert (Axiomatic Thought [1918], [53]) |
| 17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
| Full Idea: The linearity of the equation of the plane and of the orthogonal transformation of point-coordinates is completely adequate to produce the whole broad science of spatial Euclidean geometry purely by means of analysis. | |
| From: David Hilbert (Axiomatic Thought [1918], [05]) | |
| A reaction: This remark comes from the man who succeeded in producing modern axioms for geometry (in 1897), so he knows what he is talking about. We should not be wholly pessimistic about Hilbert's ambitious projects. He had to dig deeper than this idea... |
| 17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
| Full Idea: The laws of calculation and the rules of integers suffice for the construction of number theory. | |
| From: David Hilbert (Axiomatic Thought [1918], [05]) | |
| A reaction: This is the confident Hilbert view that the whole system can be fully spelled out. Gödel made this optimism more difficult. |
| 15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
| Full Idea: Pure, extreme nominalism sees all classification as the product of arbitrary convention. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I'm not sure what the word 'arbitrary' is doing there. Nominalists are not daft, and if they can classify any way they like, they are not likely to choose an 'arbitrary' system. Pragmatism tells the right story here. |
| 15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
| Full Idea: The naturalness of a class depends as essentially on the nature of the observers who classify as it does on the nature of the objects that they classify. ...It depends on our perceptual apparatus, and on our relatively mutable needs and interests. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: This seems to translate 'natural' as 'natural for us', which is not much use to scientists, who spend quite a lot of effort combating folk wisdom. Do desirable sports cars constitute a natural class? |
| 9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
| Full Idea: To say there are properties is to say there are natural classes, classes introduction to some of whose members enables people to pick out others without hesitation and in agreement. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: Aristotle would like this approach, but it doesn't find many friends among modern logician/philosophers. We should go on to ask why people agree on these things. Causal powers will then come into it. |
| 15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
| Full Idea: Properties that have no concrete instances must be defined in terms of those that have. | |
| From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
| A reaction: I wonder what the dodo used to smell like? |
| 8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
| Full Idea: Quinton proposes that an individual is a union of a group of qualities and a position. | |
| From: report of Anthony Quinton (The Nature of Things [1973], Pt I) by Keith Campbell - The Metaphysic of Abstract Particulars §5 | |
| A reaction: This seems the obvious defence of a bundle account of objects against the charge that indiscernibles would have to be identical. It introduces, however, 'positions' into the ontology, but maybe that price must be paid. Materialism needs space. |
| 8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
| Full Idea: Sceptics respond to the regress problem by denying knowledge; Foundationalists accept justifications without reasons; Positists say reasons terminate is mere posits; Coherentists say mutual support is justification; Infinitists accept the regress. | |
| From: James Van Cleve (Why coherence is not enough [2005], I) | |
| A reaction: A nice map of the territory. The doubts of Scepticism are not strong enough for anyone to embrace the view; Foundationalist destroy knowledge (?), as do Positists; Infinitism is a version of Coherentism - which is the winner. |
| 8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
| Full Idea: Contemporary foundationalists are seldom of the strong Cartesian variety: they do not insist that basic beliefs be absolutely certain. They also tend to allow that coherence can enhance justification. | |
| From: James Van Cleve (Why coherence is not enough [2005], III) | |
| A reaction: It strikes me that they have got onto a slippery slope. How certain are the basic beliefs? How do you evaluate their certainty? Could incoherence in their implications undermine them? Skyscrapers need perfect foundations. |
| 17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
| Full Idea: By pushing ahead to ever deeper layers of axioms ...we also win ever-deeper insights into the essence of scientific thought itself, and become ever more conscious of the unity of our knowledge. | |
| From: David Hilbert (Axiomatic Thought [1918], [56]) | |
| A reaction: This is the less fashionable idea that scientific essentialism can also be applicable in the mathematic sciences, centring on the project of axiomatisation for logic, arithmetic, sets etc. |