13 ideas
| 22820 | Early Romantics sought a plurality of systems, in a quest for freedom [Hösle] |
| Full Idea: It was an early Romantic idea that there is necessarily a plurality of systems in which individuality is expressed; for a complete system would destroy freedom. | |
| From: Vittorio Hösle (A Short History of German Philosophy [2013], 7) | |
| A reaction: I'm not clear why you are free because you are locked into system that differs from that of other people. True freedom seems to be either no system, or continually remaking one's own system. Why is such freedom valuable? Freedom v truth? |
| 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) |
| 7746 | We don't normally think of names as having senses (e.g. we don't give definitions of them) [Searle] |
| Full Idea: If Tully=Cicero is synthetic, the names must have different senses, which seems implausible, for we don't normally think of proper names as having senses in the way that predicates do (we do not, e.g., give definitions of proper names). | |
| From: John Searle (Proper Names [1958], p.89) | |
| A reaction: It is probably necessary to prize apart the question of whether Tully 'has' (intrinsically) a sense, from whether we think of Tully in that way. Stacks of books have appeared about this one, since Kripke. |
| 7747 | How can a proper name be correlated with its object if it hasn't got a sense? [Searle] |
| Full Idea: It seems that a proper name could not have a reference unless it did have a sense, for how, unless the name has a sense, is it to be correlated with the object? | |
| From: John Searle (Proper Names [1958], p.91) | |
| A reaction: This might (just) be the most important question ever asked in modern philosophy, since it provoked Kripke into answering it, by giving a social, causal, externalist account of how names (and hence lots of language) actually work. But Searle has a point. |
| 7748 | 'Aristotle' means more than just 'an object that was christened "Aristotle"' [Searle] |
| Full Idea: Aristotle being identical with an object that was originally christened will not suffice, for the force of "Aristotle" is greater than the force of 'identical with an object named "Aristotle"', for not just any object named "Aristotle" will do. | |
| From: John Searle (Proper Names [1958], p.93) | |
| A reaction: This anticipates Kripke's proposal to base reference on baptism. I remain unsure about how rigid a designation of Aristotle could be, in a possible world where his father died young, and he became an illiterate soldier who hates philosophy. |
| 7749 | Reference for proper names presupposes a set of uniquely referring descriptions [Searle] |
| Full Idea: To use a proper name referringly is to presuppose the truth of certain uniquely referring descriptive statements. ...Names are pegs on which to hang descriptions. | |
| From: John Searle (Proper Names [1958], p.94) | |
| A reaction: This 'cluster' view of Searle's has become notorious, but I think one could at least try to mount a defence. The objection to Searle is that none of the descriptions are necessary, unlike just being the named object. |
| 7750 | Proper names are logically connected with their characteristics, in a loose way [Searle] |
| Full Idea: If asked whether or not proper names are logically connected with characteristics of the object to which they refer, the answer is 'yes, in a loose sort of way'. | |
| From: John Searle (Proper Names [1958], p.96) | |
| A reaction: It seems to be inviting trouble to assert that a connection is both 'logical' and 'loose'. Clearly Searle has been reading too much later Wittgenstein. This is probably the weakest point in Searle's proposal, which brought a landslide of criticism. |
| 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) |
| 22819 | In the 18th century history came to be seen as progressive, rather than cyclical [Hösle] |
| Full Idea: The turning point in the history of the philosophy of history occurs in the eighteenth century, when the ancient cyclical model of Vico is superseded by the idea of progress. | |
| From: Vittorio Hösle (A Short History of German Philosophy [2013], 6) | |
| A reaction: He says that Hegel merely inherited this progressive view, rather than creating it. I'm not sure how widely held the cyclical view was. I don't recognise it in Shakespeare. Science and technology must have suggested progress. |