13 ideas
13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
Full Idea: The whole of quantified modal logic collapses if essence is withdrawn. | |
From: Willard Quine (Intensions Revisited [1977], p.121) | |
A reaction: Quine offers an interesting qualification to this crushing remark in Idea 13590. The point is that objects must retain their identity in modal contexts, as if I say 'John Kennedy might have been Richard Nixon'. What could that mean? |
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) |
13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
Full Idea: The notion of essence makes sense in context. Relative to a particular enquiry, some predicates may play a more basic role than others, or may apply more fixedly; and these may be treated as essential. | |
From: Willard Quine (Intensions Revisited [1977], p.121) | |
A reaction: Quine has got a bad press on essentialism, and on modal logic, but I take this point seriously. If you give something a fixed identity by means of essence in some context, you can then go ahead and apply possible world reasoning in that context. |
8483 | Necessity is relative to context; it is what is assumed in an inquiry [Quine] |
Full Idea: The very notion of necessity makes sense to me only relative to context. Typically it is applied to what is assumed in an inquiry, as against what has yet to transpire. | |
From: Willard Quine (Intensions Revisited [1977], p.121) | |
A reaction: Lots of things are assumed by an inquiry without an assumption that they must be true. Quine is the greatest opponent of necessity in all of philosophy. Asserting necessities, though, is too much fun to give up. It would ruin philosophy. |
13589 | Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine] |
Full Idea: Talk of possible worlds is a graphic way of waging the essentialist philosophy, but it is only that; it is not an explication. Essence is needed to identify an object from one possible world to another. | |
From: Willard Quine (Intensions Revisited [1977], p.118) | |
A reaction: He makes the proposal sound circular, but I take a commitment to essences to be prior to talk of possible worlds. Possible worlds are a tool for clarifying modalities, not for clarifying essential identities. |
13588 | A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine] |
Full Idea: A rigid designator differs from others in that it picks out its object by essential traits. It designates the object in all possible worlds in which it exists. | |
From: Willard Quine (Intensions Revisited [1977], p.118) | |
A reaction: This states the point more clearly than Kripke ever does, and I presume it is right. Thus when we say that we wish 'our' Hubert Humphrey had won the election, we can allow that his victory elation would change him a bit. Kripke is right. |
13592 | Beliefs can be ascribed to machines [Quine] |
Full Idea: Beliefs have been ascribed to machines, in support of a mechanistic philosophy, and I share this attitude. | |
From: Willard Quine (Intensions Revisited [1977], p.123) | |
A reaction: [He cites Raymond Nelson] One suspects that this is Quine's latent behaviourism speaking. It strikes me as a crass misuse of 'belief' to ascribe it to a simple machine like a thermostat. |
22100 | Experienced time means no two mental moments are ever alike [Bergson] |
Full Idea: If duration [experienced time] is what we say, deep-seated psychic states are radically heterogeneous to each other, and it is impossible that any two of them should be quite alike, since they are two different moments in a life-story. | |
From: Henri Bergson (Time and Free Will [1889], p.220), quoted by Pete A.Y. Gunter - Bergson p.174 | |
A reaction: This implies that we are intrinsically unpredictable, and there certainly can't be a regularity account of mental causation. The sense of time is said to make the self radically different from the rest of reality. Bergson later rejected dualism. |