Ben at (Blog&~Blog) has conclusively demonstrated the error of your perverse ways!

Ben at (Blog&~Blog) has conclusively demonstrated the error of your perverse ways!
November 11, 2009 in Humor, Philosophy of Logic | Permalink | Comments (0) | TrackBack (0)
Leiter's been running a poll, and Brian Weatherson has some commentary. He voted for Lewis, and I voted for Carnap, but his post is about why Russell has been doing so well. I'm actually a little surprised that Lewis is doing so well, though I think he's a perfectly defensible choice.
It seems that part of the reason Weatherson is surprised at Russell's showing is that the project of Principia Mathematica ended in failure. I find that very difficult to evaluate. It made contributions to the state of modern logic, and I guess I tend to think that modern logic is a truly enormous philosophical achievement. However, it's difficult to know how to assign credit for it. It's amazing how much was already set out by Frege; most of what comes afterward could be seen as just clarifying and patching a few mistakes. But clarifying and patching mistakes is perhaps not trivial in this area. How much did Principia move beyond Frege? It did, I suppose, have some mistakes of its own. I'm not sure exactly how to evaluate it, but I am skeptical that the failure of its official stated project is a particularly important criterion.
I suppose there are similar issues with Carnap. I rank him highly both because of his contributions to the unfolding story of modern logic, and because I think his philosophical attitude toward logic was entirely correct. But how much did he really add, as opposed to clarifying? And how much did he clarify, if, as I tend to think, so many of his contemporaries and near successors misunderstood him?
Maybe that's an argument for Weatherson's choice. There is no question that Lewis clarified many things. But I guess I still think the same is true of Carnap, and of Russell, and that perhaps it is only less obvious for them because what they worked on was so unclear before they got to it that even quite substantial progress still left plenty of murk.
March 02, 2009 in 20th century philosophy, Philosophy of Logic | Permalink | Comments (0) | TrackBack (0)
One way of characterizing the difference between traditional empiricism and traditional rationalism is that traditional rationalists have been dazzled by the impressive certainty of our a priori knowledge. Logic and mathematics are so remarkable that many rationalists have literally accorded them the status of magic, attributing them to some mystical contact with the divine. It is likely not a mere rhetorical device when Parmenides presents his logical arguments as having been given to him by a goddess. Plato accords his forms a kind of divine status, and says we know them from previous exposure to them when our souls were in a higher realm of existence; Descartes says what may amount to the same thing, that mathematical knowledge and a few other items were implanted in our souls by God.
Those in the rationalist tradition have also almost always classified ethics as a priori. Of course, lots of specific reasons for that could be given, but there are also very general motivations from the rationalist tradition which push that way. First, of course, rationalists have generally been imperialists when it comes to the application of reason; since a priori knowledge is the really good knowledge, the rationalists have sought to reduce everything, or at least as much as possible, to the a priori, to have the best possible knowledge of everything. Further, ethics specifically is about what's valuable, important, and good, and when it comes to knowledge the a priori is, according to the rationalist, the most valuable, important, and good, so while this does not itself amount to a rational argument, there seems to be some affinity between ethics and the a priori. This further connection is no doubt enhanced by the tradition of connecting moral good to the divine; since the rationalists also connected the a priori to the divine, this would further encourage bundling the two together.
Of course, the mainstream of the empiricist tradition has long maintained that the reason logic and mathematics have their apparent infallibility is that they are not actually giving us information about the world; since they don't tell us how things stand with the world, the world cannot refute them. But the empiricists insist that real truth is about the world, so these a priori matters the rationalists regard with such enthusiasm are at best some kind of honorary truth. A priori claims embody useful tools, ways of thinking about the world, but don't report facts. The rationalist project of relying only on the a priori is, from the empiricist perspective, a project of ignoring the real world, of casting aside the only truth worth looking for.
Empiricists have thus traditionally sought to reduce the scope of the a priori, rejecting for example the a priori approaches to science championed by some of the rationalists. It is perhaps for this reason that some empiricists have tried to argue against a priori ethics as well, saying that we need to be more naturalistic in our approach to ethical matters.
However, there seems to be another possible reaction, which I'm surprised hasn't been more common. Many empiricists have also been meta-ethical subjectivists (Hume being probably the most famous example). Such empiricists should find it quite congenial to categorize ethical claims as honorary truths, useful tools which don't reports facts about the world. So why is it so rare for empiricists to treat ethics as a priori, just like logic and mathematics? A good reason does not occur to me. I can think of some bad reasons; perhaps even empiricists are partly under the spell of the apparent certainty of logic and mathematics. Thus, perhaps they ignore the historical controversies in logic and mathematics, and think that the controversies in ethics show that ethics must be something entirely different from our stable logic and mathematics.
Actually, on one interpretation Kant might be an example of the sort of philosophy I think should be more common. Of course, Kant claims to chart a third way, neither empiricist nor rationalist, but it has been very common to be skeptical of this. Many interpreters take him to have simply been either a sneaky rationalist or, less commonly, a sneaky empiricist. If he was a sneaky empiricist, he was an empiricist of the rare kind I've been puzzling about. I wonder if the fact that people generally don't connect a priori ethics to empiricism has contributed to the empiricist interpretation of Kant being the less common reading.
November 07, 2008 in Epistemology, Ethics, Metaphysics, Philosophy of Logic | Permalink | Comments (0) | TrackBack (0)
As GFA notes, there has come to be something of a sentiment that logical consequence is a more fundamental notion than logical truth. He cites Read and Etchemendy; Dummett also takes this view (I've been reading Dummett's Frege: Philosophy of Language). GFA questions how anybody can say this when the two are (usually) equivalent; usually you can translate a logical truth into the claim that some consequence relation holds, and vice versa.
GFA does note a couple of exceptions to this equivalence. It is not exactly an exception, but is perhaps also relevant that in providing a minimal basis for a logical system, it is possible to give only rules of inference and no axioms (in fact, this is often done; the logic I'm teaching in my intro class this semester is a "natural deduction" system which uses this approach). On the other hand, it is not possible to give only axioms; some rule of inference is always needed ("axiomatic" systems normally have modus ponens, as well as some sort of substitution rule; substitution rules may be a special case, but modus ponens is clearly a rule of logical consequence). At least, the only way to give a purely axiomatic system would be to make every logical truth an axiom.
Whether all of this suffices to make consequence the more "fundamental" notion, I'm not sure. I am by nature very suspicious of claims that anything is more fundamental than anything else. On the other hand, I sympathize with some of the motives for saying that consequence is the more fundamental notion. Dummett notes that the 20th century saw quite a bit of controversy over the status of logical truths; whether they could be understood to be "analytic" (whatever that means anyway; another issue that was much fought over) and what status they did have if they couldn't be classified as analytic. Dummett seems to consider this largely ink spilled in vain (certainly nothing much was ever settled by all these debates), and also thinks there wouldn't have been so much fuss over it if people had been thinking in terms of consequences rather than logical truths. Perhaps there is more of an intuition that a logical truth needs to be about something, that something needs to make it true, than there is any corresponding intuition regarding logical consequences.
If such an intuition has indeed been a source of frivolous worries, then the equivalence of logical consequence and logical truth ought to be enough to undermine the intuition; if logical truth and logical consequence are equivalent, then it's possible, even if not compulsory, to give a reductive account of the former in terms of the latter, so intuitions that special explanations of logical truths are needed should already be undermined. But they're not precisely equivalent; as GFA's examples show, and as mine may also show, logical consequence is an ever so slightly broader notion. This surely wouldn't justify any extravagant metaphysical thesis that logical consequences are built into the structure of reality in a way that logical truths are not, but of course I don't myself think any extravagant metaphysical theses are ever justified, and if Dummett is right the great benefit of focusing on logical consequence is that such a metaphysical thesis has no intuitive appeal anyway. If we set aside such metaphysical concerns, though, we do seem to be left with a meaningful sense in which consequence is more fundamental. Still, perhaps the terminology is less than ideal, since the word "fundamental" has so many associations with the metaphysical concerns.
February 23, 2008 in 20th century philosophy, Metaphysics, Philosophy of Logic | Permalink | Comments (1) | TrackBack (0)
I've been thinking about part 1 of Beyond Good and Evil recently, as I've been teaching it. I like to teach a bit of Nietzsche in intro, and I like to use a large block of text because I think context is important to understanding Nietzsche. In this particular case, I have now come to think that "On the Prejudices of Philosophers" has as a central goal advancing a certain doctrine of the a priori, one influenced by but in conflict with that of Kant.
Nietzsche of course rejects the a priori claims of traditional metaphysics, on the basis that they purport to represent a true world which is in reality utterly fanciful. Such is already firmly stated in the preface of BGE. He also speaks harshly of the synthetic a priori judgments of Kant, insisting forcefully that they are among the "falsest judgments" (5), but he at the same time claims that they are "indispensable," something he never claims about the judgments of dogmatic metaphysics.
What did he mean in saying they were false? Well, it's clear that they don't represent the true world; nothing does. There is no true world. Further, however, they do not represent experience. Nietzsche doesn't dispute Kant's claim that such judgments constitute part of what makes experience possible for us, but he denies (on my reading) that this means they really tell us anything about the world of experience (a point on which Kant says equivocal things; Nietzsche is clearly reading Kant as either being confused or mistaken when he speaks of the synthetic a priori claims as empirically true and necessary). Nietzsche is concerned to insist that the judgments are inventions of ours, interpretations imposed by us. He explicitly opens up the possibility of alternatives to Kantian logic in various places, questioning the causal interpretation of the world (22) and suggesting that the subject/object pattern of interpreting the world is a mistake (12, 17) and an artifact of language (20), but even if we had no alternatives, he would insist that Kant (and more so the Kantians) were nonetheless failing to "distinguish between 'invention' and 'discovery'" (11).
So logic and mathematics are inventions, not in any way given to us, either by a true world or by any kind of fanciful a priori intuitions (the "faculties" he mocks in section 11). An additional virtue of attributing such a view of the a priori to Nietzsche is that it may further help explain the surprisingly positive reference to Nietzsche in Carnap's "Overcoming Metaphysics through the Logical Analysis of Language," which even has a somewhat Nietzschean title. The view of logic and mathematics as human inventions accords well with Carnap's conventionalism, and the possibility of alternative interpretations and the focus on the usefulness of the interpretations for us both match up with Carnap's principle of tolerance and his emphasis on pragmatic considerations in language choice. If this was Carnap's own reading of Nietzsche, it becomes less surprising that Nietzsche earned his praise for "almost entirely avoiding" the confusion which Carnap saw as infecting metaphysics.
May 03, 2007 in Philosophy of Logic | Permalink | Comments (1) | TrackBack (0)
So I've been reading Kenny's book on Wittgenstein. He said he wrote it because he was concerned that important lessons Wittgenstein had to teach were being forgotten (as of the early 70s). Of course, Wittgenstein's star has, if anything, sunk further since then. I was not impressed with the lessons Kenny derived from Wittgenstein; I still think his reputation has declined for good reasons. But it gave me an occasion to ponder what those reasons are, and I have a theory.
December 13, 2006 in Philosophy of Logic | Permalink | Comments (0) | TrackBack (0)