Filmmaker Errol Morris hates Thomas Kuhn. What’s your take on Kuhn?Exactly correct. Kuhn's popularity is a large part of why I trash philosophy of science.

The Structure of Scientific Revolutions contains some nice observations on the nature of what Kuhn calls “normal science”, which makes it out to have none of the heroic aspects that Popper insisted on. But when Kuhn goes beyond normal science to “revolutionary science” the book is a disaster. It promotes an irrationalist view of scientific revolutions that is both false and pernicious.

Overwhelmingly most philosophers are atheists or agnostics, which I take to be convergence to the truth. Most are compatibilist about free will and believe in it, which I also take to be convergence to the truth. Almost all believe in consciousness and most don’t have a clue how to explain it, which is wisdom.This is reassuring.

What’s your take on multiverses and strings and the problem of testability?Yes.

Some people have been mesmerized by fancy math. It is not interesting physics in my view, and has had a very, very bad effect on the seriousness of theoretical physics as practiced.

Does Gödel’s incompleteness theorem have implications beyond mathematics? Is it a worm in the apple of rationality?Again, I agree. Godel's theorem is fascinating and profound for logic and the foundations of mathematics, but nearly all applications outside math in the popular literature are nonsense.

No. Absolutely no one should have ever been surprised that mathematical truth cannot be equated with theoremhood in some finite axiomatic system.

He lost me with his favorite interpretation of quantum mechanics. I have discussed that elsewhere. He also lost me with this:

What’s your position on the status of ethics? Do any moral rules have the same status as mathematical truths? Do you believe in moral progress?Wow. Because of some logical, almost mathematical argument, known to Plato, someone like Hillary Clinton should be President of the USA?!

Yes (with qualification) and yes. Already in Republic (Plato again!) we have an argument — a clear and compelling rational argument — that even the highest political office should be open to women. The argument? List what it takes to be a good leader of the state, then note the conditions that distinguish the sexes. There just is zero overlap between the two lists. That is as compelling as a rational argument can be, and it follows that opening all political offices to women (much less acknowledging in law that women should have as much right to vote as men) is objective moral progress. Similarly for invidious legal restrictions by race. The civil rights movement was strict moral progress. That’s as true as 2 + 2 = 4.

Donald Trump has that list of qualities. Fearless. Honest. Loyal. Blunt. Likable. Strength of character. True to his word. Alpha. Not intimidated by his enemies. Maintain hundreds of friendships and political alliances. Forceful. Smart. Competent. Just enough of a narcissist Machiavellian sociopath to be effective. Strong moral compass. Unflinching about sticking up for the people he represents. Vision for a better future. Communicates his ideas well. Owned by no one. Shitlord.

Neither Hillary Clinton nor any other woman has these qualities.

Maudlin is probably a typical academic leftist Trump-hater who voted for Hillary Clinton, so I am sure he disagrees. But I do wonder about his list of what it takes to be a good leader of the state. Is there really such a list where Donald Trump and Hillary Clinton do equally well?

Maybe Maudlin is making a joke here. He would probably be ostracized from his profession if he openly supported Trump.

When the thought-control police are forcing you to take a political stand, sometimes the best way is to give an argument that is so unreasonable that no one could take it seriously. Maybe Maudlin is doing that here, and trolling us. Can he really think that supporting Hillary Clinton is like 2 + 2 = 4?

He says he believes in free will. At least he says he believes Brett Cavanaugh has free will. We don't want any more pre-programmed automatons on the Supreme Court, do we? Did he say Cavanaugh has free will as a sneaky way of supporting him?

I should just agree with his arguments that made sense, and not try to decode his political sarcasm. I don't like to get political on this blog anyway.

Incompleteness has no impact on mathematics at all. Gödel sentences are grammatical (well-formed formulas) gibberish about totalities of properties. Even Cohen confused trivial incompleteness with Gödel incompleteness.

ReplyDeleteFeferman: As things stand today, these explorations of the set-theoretical stratosphere are clearly irrelevant to the concerns of most working mathematicians. A reason for this was also given by Gödel near the outset of his 1951 Gibbs lecture (posthumously published in 1995), where he said that the “phenomenon of the inexhaustibility of mathematics” follows from the fact that “the very formulation of the axioms [of set theory over the natural numbers] up to a certain stage gives rise to the next axiom. It is true that in the mathematics of today the higher levels of this hierarchy are practically never used. It is safe to say that 99.9% of present-day mathematics is contained in the first three levels of this hierarchy.” In fact, modern logical studies have shown that the system corresponding to the second level of this hierarchy, called second-order arithmetic or analysis and dealing with the theory of sets of natural numbers, already accounts for the bulk of present-day mathematics. Indeed, much weaker systems suffice, as is demonstrated in Simpson (1999). Even more, I have conjectured and verified to a considerable extent that all of current scientifically applicable mathematics can be formalized in a system that is proof-theoretically no stronger than PA (cf. Feferman 1998, Ch. 14). https://math.stanford.edu/~feferman/impact.pdf