UofC Navigation

Tuesday, September 29, 2009

Logic and Madness?

Since reading Logicomix (which, as I said, I really like), I've been wondering about the "logic and madness" theme that runs through the book. In the making-of movie (which I also recommend), Papadimitriou says at the beginning, "We were both interested in this very curious fact, that the majority of the protagonists of this intellectual adventure [the quest for mathematical foundations] ended up insane" and Doxiadis cites the well known line from Gian-Carlo Rota's Indiscrete Thoughts:
It cannot be a complete coincidence that several outstanding logicians of the twentieth century found shelter in asylums at some point in their lives: Cantor, Zermelo, Gödel and Post are some. (p. 4)
And, if you've read the book, you'll probably agree that the "logic and madness" theme does make for a great story. But is it true? Is there a link between logic and madness?

First, some facts, and corrections of claims of facts. It is well known that Georg Cantor underwent psychiatric treatment and "died in an asylum". But as Grattan-Guiness and Dauben have documented, it was neither Kronecker's attacks on Cantor's set theory, nor Cantor's failure to solve the continuum hypothesis that drove him mad. Cantor suffered from bipolar affective disorder, i.e., he was manic depressive, and stress such as that caused by having your work viciously attacked by a leading member of the profession, or that caused by expending every last effort and yet failing to prove a theorem, caused the onset of manic periods. He would have had such attacks also if he hadn't invented set theory (see Dauben's Georg Cantor, Ch. 12, esp. p. 285; Dauben is very critical of people like E. T. Bell here, and offers a very nuanced interpretation of the relationship between Cantor's mental health and his mathematics). Remember, this all happened between 1884 and 1918, when no effective treatment for bipolar disorder was available; lithium wasn't used until the 1950s and approved by the FDA for this use only in 1970.

Emil Post likewise was manic depressive, and died from a heart attack following electric shock therapy he was undergoing in 1954. And Gödel did die because he starved himself to death as he suffered from the paranoid fear that people were trying to poison him. But also Gödel's mental health problems manifested themselves quite early, and not as a result of a lifetime of work on logic, or because he couldn't prove the continuum hypothesis (see Dawson's Logical Dilemmas). In addition to Cantor, Post, and Gödel, Moses Schönfinkel, the inventor of combinatory logic, is reported to have been mentally ill.

What about the others? Rota mentions Peano and Zermelo. I couldn't find any evidence that either of them had mental health problems. Both spent time in medical institutions, but underwent treatment not for mental health problems but for lung disease.

That leaves Frege. In Logicomix, Frege is portrayed as a raving lunatic spewing paranoid anti-semitic nonsense. In the biographical section at the end of the book, one reads the following:
In the last decades of his life, Frege became increasingly paranoid, writing a series of rabid treatises attacking parliamentary democracy, labor unions, foreigners, and especially, the Jews, even suggesting a "final solution" to the "Jewish problem". (p. 325-326)
The source of these claims is Frege's infamous "political diary" (edited by Gottfried Gabriel and Wolfgang Kienzler, "Frege's politisches Tagebuch", Deutsche philosophische Zeitschrift 42:6 (1994) p.105–1098; translated by Richard Mendelsohn, "Diary: Written by professor Dr Gottlob Frege in the time from 10 March to 9 April 1924", Inquiry 39 (1996) 303–342; you can get a taste for them with a bit of background in Stroll's Twentieth-century Analytic Philosophy and in the chapter on Frege in Martin Davis' The Universal Computer). As you can see for yourself, the diaries reveal the very dark side of Frege's political views: reactionary, anti-semitic, anti-catholic, anti-socialist. But: Frege didn't write "increasingly rabid treatises" over "the last decades of his life"—these are diary entries written over two months in the very last year before he died. As far as I can tell, he never advocated a "final solution" to the "Jewish problem" with anything like the meaning that these terms have taken on, and he didn't use this Nazi terminology. There is no indication that he admired Hitler (he opposed the Munich Putsch of 1923), and there's no indication that his anti-semitism was racially motivated or anywhere near the level of the Nazis. But most importantly: He wasn't clinically paranoid. As objectionable as his views are, they were widespread in Germany at the time (Had they not been, Hitler would never have come to power). Moreover, if he had been paranoid, this would, I think, absolve Frege of moral responsibility. After all, we don't hold people morally (or legally) responsible for their actions when they're insane. So: Frege: reactionary anti-semite, but no Nazi, and not insane.

Of the "protagonists of this intellectual adventure", four (Cantor, Schönfinkel, Gödel, Post) had mental health issues. We don't know enough about Schönfinkel, Cantor and Post were manic depressives, Gödel more than the others, and probably paranoid schizophrenic. Is that "a majority"? Is it even a statistically significant increase from the norm?

The National Institutes of Mental Health puts the percentage of the US population with "serious mental illness" at 6%. What's the percentage of pioneers of logic with a serious mental illness? We've found four, but what's the sample? Let's say Rota had in mind the authors of papers in van Heijenoort's From Frege to Gödel. That's 30, and doesn't even include Tarski, Lukasiewicz, Church, Fraenkel, Gentzen, Turing (all not insane), or many of the less well known people working in foundations at around that time. So: 13% of the pioneers of logic had a serious mental illness. But with a sample of 30, the margin of error has to be huge. I'm no statistician, but using the standard formula, I get a margin of error of ±12% (
ok, I know you probably shouldn't use the standard formula for samples this small; if you know stats, help me out, please). This suggests that there's good reason to think that Rota's claim is just wrong: it may very well be pure coincidence.

All this of course doesn't detract from the good story told in Logicomix, which, after all is mainly about Russell, about his personal life, and about his struggle with the foundations of mathematics; the "logic and madness" theme isn't that pronounced. But that story does play into a myth that, if taken on its own, is not exactly the image any field of science wants to project (or have painted) of itself: that it's the domain of lunatics. It's not only detrimental to the field and hurtful to the people working in it, it also distorts and minimizes the actual personal struggles of the protagonists and the interesting historical context. All of these people lived through one world war, many of them through two and the toughest economic times of the last 100 years. Some were forced to flee their home countries, some faced persecution and prejudice, some personal tragedy, some professional misfortune. Most of them produced their groundbreaking results despite these obstacles. These are the important stories, not any myths about how doing logic drives people mad.


8 Comments:

At September 30, 2009 6:36 AM , Blogger BipolarPorch said...

Very interesting article. For me and who suffers from bipolar, I am both mad and genius.

Or is that my Narcissistic Personality disorder showing?

Great post...
Andrew

Visit my Bipolar News Site...

 
At September 30, 2009 9:42 AM , Blogger Greg Frost-Arnold said...

I haven't been able to get a copy of Logicomix yet, so this is just a request for information. In the quotes you have in your post, I don't see your targets saying claiming more than the existence of a link of some sort between being a logician and suffering from mental illness. That's obviously not the same as "doing logic causes mental illness", which seems to be the position you are criticizing in places. I would think that the link that your targets consider defensible would be some sort of common cause. (And if I remember correctly, that seems to be the line in A Beautiful Mind, too.)

(Also, here's possible further justification for your case: I take it that the NIMH data is the percentage people who are suffering from mental illness right now, not the percentage of people who have suffered from mental illness at some point in their lives. The latter number is what your 13% of logicians measures.)

 
At September 30, 2009 10:08 AM , Blogger Richard Zach said...

I didn't mean to suggest that Doxiadis and Papadimitriou claim that there's a causal link, and I guess neither does Rota. Doxiadis (in the book) does suggest that madness (and Hilbert's "bad parenting") are caused by "fear of ambiguity and emotions"--so he does suggests a common cause for logical greatness and madness (p. 282). And the "Cantor driven mad by continuum hypothesis" myth comes from a 1927 tribute to Cantor by Schoenflies ("Die Krisis in Cantor's mathematischem Schaffen", Acta mathematica 50 (1927) 1–23), where he does explicitly say that Kronecker's attacks and failure to prove the continuum hypothesis caused Cantor's depression. Anyway, doing a post hoc ergo propter hoc is so tempting when someone says "great logicians, all gone mad" even if they don't claim that there's a link. I just wanted to figure out if there's even a reason to wonder about this—of course, the absence of evidence that there's a systematic link doesn't mean that there couldn't be connections in every single case. In fact, there will probably be such links, since, after all, logic was a major part of these people's lives!

 
At September 30, 2009 10:14 AM , Blogger Richard Zach said...

Oh, and yes, thank's for your second point. The 6% figure includes all serious mental illnesses; it's 1.1% for schizophrenia and 2.6% for bipolar disorder. In any given year. And also now, when we know a lot more and have better treatment options than 100 years ago.

 
At September 30, 2009 11:57 AM , Anonymous Jason Dyer said...

The 6% seems to be anything from the list of DSM-IV disorders, which includes some (like substance abuse) that would not result in asylum time. I do think the statistical tendency here among your logicians leans to abnormal.

However, statistically with a sample of only 30 nearly *anything* can be coincidence.

 
At September 30, 2009 12:26 PM , Blogger Richard Zach said...

Yes, but (see above) the incidence of severe mental illness of the kinds that do (or would back then have) warranted asylum time is still somewhere between 2 and 3% in any given year. But what we're counting here is asylum visits over the entire lifetime. I'm too lazy to go back to the biographies and count years, but let's say each one of our four "mad logicians" spent ten years in an asylum over a an adult lifetime of, say, 40 years. So that's 40 asylum years over 1,200 adult logician years, or a bit over 3%. Still looks like selection bias to me.

 
At September 30, 2009 3:30 PM , Blogger Noam said...

Thanks for writing this. I also enjoyed Logicomix, but was similarly disturbed that they made this recurring myth of logic and madness central to the theme. Addressing Greg's point, I believe Doxiadis is actually explicit in positing that the causal link goes the other way around: not that studying logic leads to madness, but that people with a natural tendency to paranoia/obsession have a gift for logic. See p.230: "Alecos: Here Russell seems to imply that madness comes from logic and not the other way round, as you say! Apostolos: I don't think so...in many comments, he describes Wittgenstein as 'very like' him, which he explains as 'typical of logicians'! [...] It's his character, his insecurities, his neuroses which drove him to logic!"

But regardless of the causal direction, I agree that it's unfortunate and somewhat irresponsible that they suggested this connection in a novel that's supposed to introduce logicians to a general audience, especially basing it on historical inaccuracies.

 

Post a Comment

Links to this post:

Create a Link

<< Home