19 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. |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
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. |
3286 | An organism is conscious if and only if there is something it is like to be that organism [Nagel] |
Full Idea: An organism only has conscious mental states if and only if there is something that it is like to be that organism. | |
From: Thomas Nagel (What is it like to be a bat? [1974], p.166) | |
A reaction: It is hard to argue with this, but one should push on and ask what features of its consciousness make it such that there is a 'what it is like'. What is it like to have a subconscious mind, or be deeply asleep, or drive while daydreaming? |
3288 | Can we describe our experiences to zombies? [Nagel] |
Full Idea: The goal of an objective phenomenology would be to describe, at least in part, the subjective character of experiences in a form comprehensible to beings incapable of having those experiences. | |
From: Thomas Nagel (What is it like to be a bat? [1974], p.179) | |
A reaction: This seems a bizarre expectation. We can already explain visual experience to the blind up to a point, but no one is dreaming of an "objective phenomenology" which will give blind people total understanding, just by reading about it in braille. |
4883 | Nagel's title creates an impenetrable mystery, by ignoring a bat's ways that may not be "like" anything [Dennett on Nagel] |
Full Idea: Nagel's title invites us to ignore all the different ways in which bats might accomplish their cunning feats without its "being like" anything for them. We create an impenetrable mystery for ourselves if we assume that Nagel's title makes sense. | |
From: comment on Thomas Nagel (What is it like to be a bat? [1974]) by Daniel C. Dennett - Kinds of Minds Ch.6 | |
A reaction: This could well be correct about bats, but the question applies to humans as well, and we can't deny that "what it is like" is a feature of some creatures' realities. On the fringes of our own consciousness there are mental events that are "like" nothing. |
3287 | We can't be objective about experience [Nagel] |
Full Idea: If the subjective character of experience is fully comprehensible only from one point of view, then any shift to greater objectivity does not take us nearer to the real nature of the phenomenon: it takes us further away from it. | |
From: Thomas Nagel (What is it like to be a bat? [1974], p.174) | |
A reaction: We can, however, talk to one another about our subjectivity, and compare notes, and such 'inter-subjectivity' may be one approach to objectivity. We must concede Nagel's point, but we also miss something about a stone if we must remain outside of it. |
4989 | Physicalism should explain how subjective experience is possible, but not 'what it is like' [Kirk,R on Nagel] |
Full Idea: A physicalist account of conscious experience must explain how it is possible for a physical system to be a conscious subject, but not 'what it is like' for some organism. | |
From: comment on Thomas Nagel (What is it like to be a bat? [1974]) by Robert Kirk - Mind and Body §4.2 | |
A reaction: You can't entirely evade Nagel's challenge. We are trying to discover the 'neural correlate of consciousness', which will explain why we are conscious, but we also want to know why we experience green for one wavelength, and red for another. |