12 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
13168 | My formal unifying atoms are substantial forms, which are forces like appetites [Leibniz] |
Full Idea: To find real entities I had recourse to a unified formal atom. Hence I rehabilitated the substantial forms in a way to render them intelligible. I found that their nature consists in force, from which follows something analogous to sensation and appetite. | |
From: Gottfried Leibniz (New system of communication of substances [1695], p.139) | |
A reaction: [several lines are here compressed] This passage sums up the key to Leibniz's essentialism, which I take to be a connection between Aristotelian form and the physicists' notion of force. This gives us a modern version of Aristotelianism for science. |
13169 | I call Aristotle's entelechies 'primitive forces', which originate activity [Leibniz] |
Full Idea: Forms establish the true general principles of nature. Aristotle calls them 'first entelechies'; I call them, perhaps more intelligibly, 'primitive forces', which contain not only act or the completion of possibility, but also an original activity. | |
From: Gottfried Leibniz (New system of communication of substances [1695], p.139) | |
A reaction: As in Idea 13168, I take Leibniz to be unifying Aristotle with modern science, and offering an active view of nature in tune with modern scientific essentialism. Laws arise from primitive force, and are not imposed from without. |
18948 | There is an object for every set of properties (some of which exist, and others don't) [Parsons,T, by Sawyer] |
Full Idea: According to Terence Parsons, there is an object corresponding to every set of properties. To some of those sets of properties there corresponds an object that exists, and to others there corresponds an object that does not exist (a nonexistent object). | |
From: report of Terence Parsons (Nonexistent Objects [1980]) by Sarah Sawyer - Empty Names 5 | |
A reaction: This I take to be the main source of the modern revival of Meinong's notorious view of objects (attacked by Russell). I always find the thought 'a round square is square' to be true, and in need of a truthmaker. But must a round square be non-triangular? |
13170 | The analysis of things leads to atoms of substance, which found both composition and action [Leibniz] |
Full Idea: There are only atoms of substance, that is, real unities absolutely destitute of parts, which are the source of actions, the first absolute principles of the composition of things, and, as it were, the final elements in the analysis of substantial things. | |
From: Gottfried Leibniz (New system of communication of substances [1695], p.142) | |
A reaction: I like this because it addresses the pure issue of the identity of an individuated object, but also links it with an active view of nature, and not some mere inventory of objects. |
13171 | Substance must necessarily involve progress and change [Leibniz] |
Full Idea: The nature of substance necessarily requires and essentially involves progress or change, without which it would not have the force to act. | |
From: Gottfried Leibniz (New system of communication of substances [1695], p.144) | |
A reaction: Bravo. Most metaphysical musings regarding 'substance' seem entirely wrapped up in the problem of pure identity, and forget about the role of objects in activity and change. |
13167 | We need the metaphysical notion of force to explain mechanics, and not just extended mass [Leibniz] |
Full Idea: Considering 'extended mass' alone was not sufficient to explain the principles of mechanics and the laws of nature, but it is necessary to make use of the notion of 'force', which is very intelligible, despite belonging in the domain of metaphysics. | |
From: Gottfried Leibniz (New system of communication of substances [1695], p.139) | |
A reaction: We may find it surprising that force is a metaphysical concept, but that is worth pondering. It is a mysterious notion within physics. Notice the emphasis on what explains, and what is intelligible. He sees Descartes's system as too passive. |