13 ideas
12772 | Philosophy is a value- and attitude-driven enterprise [Fraassen] |
Full Idea: Philosophy is a value- and attitude-driven enterprise; philosophy is in false consciousness when it sees itself otherwise. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: It is one thing to be permeated with values, and another to be value-driven. Truth, reason and logic are (I take it) granted a high value in philosophy, just as the offside rule is in football. I am trying to place reality in charge, not humanity. |
12771 | Is it likely that a successful, coherent, explanatory ontological hypothesis is true? [Fraassen] |
Full Idea: How likely is it that a truly successful, coherent, explanatory ontological hypothesis is true? | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: Van Fraassen announces "I reject metaphysic" (p.3), so we know where he stands. Anything becomes less certain as it moves to a higher level of generality. Should we abandon generalisation? There is much illumination in metaphysics. |
12773 | Analytic philosophy has an exceptional arsenal of critical tools [Fraassen] |
Full Idea: Analytical philosophy can rightly pride itself on having produced the greatest critical arsenal the world has ever known. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.6) | |
A reaction: This is, of course, in the context of a scathing attack on the desire to use analytical methods to do speculative metaphysics. I say that if these are the best tools, then we should push forward with them to see how far we can get. |
12770 | We may end up with a huge theory of carefully constructed falsehoods [Fraassen] |
Full Idea: The specter that faces us is that we may end up having explained all that is dreamt of in our philosophies by intricately crafted postulates that are false. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: This is more persuasive that Idea 12769. People who cannot bear to live with a total absence of explanation (with Keats's 'negative capability') are most in danger from this threat. |
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) |
12769 | Inference to best explanation contains all sorts of hidden values [Fraassen] |
Full Idea: The very phrase 'inference to the best explanation' should wave a red flag for us. What is good, better, best? What values are slipped in here, under a common name, and where do they come from? | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: A point worth making, but overstated. If we are going to refuse to make judgements for fear that some wicked 'value' might creep in, our lives will be reduced to absurdity. |
12768 | We accept many scientific theories without endorsing them as true [Fraassen] |
Full Idea: The choice among theories in science may be a choice to accept in some sense falling far short of endorsement as true. | |
From: Bas C. van Fraassen (The Empirical Stance [2002], 1.5) | |
A reaction: When put like this, it is hard to deny the force of Van Fraassen's reservations about science. Lots of people, including me, use scientific theories as working assumptions for life, with nothing like full confidence in their truth. |
7810 | The 'Eumenides' of Aeschylus shows blood feuds replaced by law [Aeschylus, by Grayling] |
Full Idea: The 'Eumenides' of Aeschylus tells how the old rule of revenge and blood feud was replaced by a due process of law before a civil jury. | |
From: report of Aeschylus (The Eumenides [c.458 BCE]) by A.C. Grayling - What is Good? Ch.2 | |
A reaction: Compare Idea 1659, where this revolution is attributed to Protagoras (a little later than Aeschylus). I take the rule of law and of society to be above all the rule of reason, because the aim is calm objectivity instead of emotion. |