Monday, November 23, 2020
When both sides accuse the other of a coup d'état
Sunday, November 22, 2020
The Knowledge Argument
Anyhoo, one day Mary is sitting underneath a tree reading a book about Isaac Newton when an apple falls on her head and momentarily knocks her out. When she wakes up her monochromacy is gone: she can see the green grass, she can see purple mountain majesties, and she can see the clear blue sky. She had never seen these colors before. She had never known what "blue" looks like. But she knew everything that happened in the brain when someone experienced the color blue. So the question is: does Mary know something now that she didn't know before? This is the Knowledge Argument.
This isn't as easy to answer as you might think. I've been asking my students this for years and it's usually a split vote. One point to make here is that knowing what blue looks like wouldn't be propositional knowledge, but does it count as knowledge then? Some people think it's obvious Mary knows something that she didn't know before (what blue looks like) and others think it's obvious she doesn't.
The issue here is about qualia (singular: qualium), the "what it's like" experiences. Thomas Nagel wrote an essay called "What Is It Like to Be a Bat?" which really brought this point home. Many philosophers of mind say that qualia are the heart and soul of the mind, and even human life in general. But the problem is that qualia can't be quantified and are effectively invisible to science. Science seeks to explain things from a third person perspective, but qualia are intrinsically first person in nature. Mary could describe color perception from a third person perspective but with no awareness of the qualium "what blue looks like". So the reason this is important is that, if Mary knows something after seeing the color blue that she did not know before, then there are important things -- foundational, fundamental things -- that science cannot address. If you had a complete physical, scientific description of the entire universe, it would be intrinsically incomplete, since it would not include qualia.
Moreover, the third person perspective is derived from the first person: to describe something from the third is to observe it from another standpoint, but ultimately this just means to observe it from what a first person perspective from that other standpoint would be. There can be no (to reference another Nagel work) view from nowhere. So science is utterly dependent on the first person perspective, and thus qualia, but cannot address them.
Naturally, all this is controversial. Some philosophers of mind, like Daniel Dennett, deny the reality of qualia. The philosopher who came up with the Knowledge Argument, Frank Jackson, eventually changed his mind about it because of the implications it had, viz., that there is more to reality than the physical world. Jaegwon Kim, who gives Nagel a run for his money as the greatest living philosopher in my opinion, fully accepts the reality of qualia and their centrality in human life, but still defends physicalism: see his books Mind in a Physical World and Physicalism, or Something Near Enough. And there's a collection of some of the most important essays about the Knowledge Argument which has the unfortunate title There's Something about Mary. So now you know what to read during the quarantine.
Wednesday, November 18, 2020
Quote of the Day
"... satisfide
A lonesome mortall God t' have died."
Sunday, November 15, 2020
Recycle
My posts on space science here are not consistent. I wrote a bit ago about a spacecraft that was going to momentarily touch down on a freaking asteroid, gather some stuff up, and then return to Earth. Then it actually did so, got more stuff than it was anticipating, everything's going great, and I didn't post about it. Not to mention the claims that they found some chemicals in Venus's atmosphere that, in our experience, are only produced by life, although it's possible for them to be produced by other processes. Didn't post on it. You'll notice I'm not providing links to those stories either. That's because it would have required effort on my part.
Saturday, November 7, 2020
Some more recent acquisitions
William P. Alston, A Realist Conception of Truth.
---, The Reliability of Sense Perception.
Robert Audi, The Architecture of Reason: The Structure and Substance of Rationality.
Owen Barfield, Poetic Diction: A Study in Meaning.
Michael Bergmann, Justification without Awareness: A Defense of Epistemic Externalism.
Edwyn Bevan, Symbolism and Belief.
Roderick M. Chisholm, The Foundations of Knowing.
Paul Copan, ed., Will the Real Jesus Please Stand Up? A Debate between William Lane Craig and John Dominic Crossan.
Daniel C. Dennett, From Bacteria to Bach and Back: The Evolution of Minds.
Alvin I. Goldman, Epistemology and Cognition.
George S. Pappas and Marshall Swain, eds., Essays on Knowledge and Justification.
Ernest Sosa, Epistemology.
Ernest Sosa and Jaegwon Kim, eds., Epistemology: An Anthology (1st edition).
Barry Stroud, Hume.
Peter Unger, Philosophical Papers, vol. 1.
---, Philosophical Papers, vol. 2.
Dallas Willard, The Great Omission: Reclaiming Jesus' Essential Teachings on Discipleship.
Charles Williams, The Descent of the Dove: A Short History of the Holy Spirit in the Church.
Fiction:
Italo Calvino, The Complete Cosmicomics.
Tony Daniel, The Robot's Twilight Companion.
Jack Dann, ed., Wandering Stars: An Anthology of Jewish Fantasy and Science Fiction.
Philip José Farmer, Night of Light.
Walter M. Miller, Jr., Conditionally Human.
---, The View from the Stars.
Kim Stanley Robinson, The Martians.
---, Galileo's Dream.
---, The Best of Kim Stanley Robinson.
Cordwainer Smith, The Rediscovery of Man.
Robert Charles Wilson, Spin.
Thursday, November 5, 2020
Oy vey
Situation 1: Say the Trumpfolk are right and the Bidenkin are trying to steal the election. Honestly, I take it for granted that there are a lot of nefarious machinations behind the scenes like this. And while I'm not a Republican, I have noticed that when there's a close race and the Republican is slightly ahead, they often find a secret cache of votes that go disproportionately to the Democrat. I think it's generally accepted that the Democrats stole the 1960 Presidential election. In my own neck of the woods, Chris Dudley was ahead by about 30,000 votes in the 2010 race for Governor in Oregon, and then overnight they found more votes that made him 30,000 votes behind. In the 2008 Senate election in Minnesota, Al Franken was behind in the votes, although it was really close. As they recounted, they kept finding ways to include or exclude votes, and it just happened to skew to Franken until, ultimately, Franken was declared the winner. I'm not saying it never goes the other way, it's just what I've noticed.
So anyway, I don't think it's outrageous to suggest that's what's happening now. If so, then there's no way that Trump, being Trump, is going to let it go. I suspect a lot of the Trumpfolk wouldn't accept it, even it went to the Supreme Court and they found for Biden. Really, if the Bidenkin are trying to steal the election, then the Trumpfolk shouldn't accept the results. But I don't think the Bidenkin would let it go either. For them to let it go would be to tacitly admit that they cheated and tried to steal a Presidential election. They're not going to do that, they would lose authority and power for good. So if the Bidenkin really are cheating, neither side can back down under any circumstances.
Situation 2: OK, now say that they're not cheating, or at least their cheatings aren't consequential enough to change the election results. In this case, the Bidenkin wouldn't let it go for the same reason: it would be a tacit admission that they cheated. It's even worse here though, because it would have the same effects (a permanent loss of authority and power) but it wouldn't even be true. They wouldn't and shouldn't give in if this is the case.
Could Trump let it go? Well, I guess he could, but, y'know, Trump. He won't. I wouldn't trust him to let it go even if he came to genuinely realize that he legitimately lost (although I don't think he's unique in that regard). But there's more to it. If he let it go it would be a loss of prestige and authority for him. He could run again in 2024, but I think it would closer to a Teddy Roosevelt in 1912 scenario than a Grover Cleveland in 1892 one. So Trump wouldn't let it go. What about the movement that he represents? I'm not sure if they would lose power and prestige, but I don't think they would be willing to let it go either. Trump is their avatar.
So that's why I'm concerned. If the Bidenkin cheated, there's no way either side would back down. If they didn't cheat, there's no way either side would back down. I think Civil War 2.0 is starting, folks. But I really, really hope I'm wrong. The good news is that me being wrong is much more likely.
Update (Nov. 30): This article by a pollster sums up the reasons why people are claiming the election looks like it was rigged.
Sunday, November 1, 2020
The Lucas-Penrose Argument
In the early 20th century, it was thought that mathematics could be made into a complete formal system. This is a system in which every element has a complete definition, every entailment is deductive (so that conclusions necessarily follow from premises), and which contains no contradictions. But some basic concepts are unformalizable. "Truth," for example, allows us to form the Liar Paradox: "This statement is not true." If it's true, then it's false, and if it's false, it's true. So no formal system can have a truth predicate in it. (This isn't a mark against truth, btw.) One motive for this is a system with a contradiction leads to the principle of explosion, since ex falso quodlibet -- from a contradiction, everything follows.
Anyhoo, Kurt Gödel, inarguably the greatest logician of the 20th century, suggested we use a concept in place of truth that IS formalizable and doesn't lead to a paradox: provability. "This statement is not provable" doesn't lead to a problem like the Liar Paradox. But since such a statement can be made within any formal system, and since any such system must involve deductive provability, it follows that there can be no complete formal system. This is the intuition behind Gödel's Incompleteness Theorems. We'd been chasing a mirage.
This was around 1930. About the same time we had huge strides made in artificial intelligence by the likes of Alan Turing, Alonzo Church, etc. Turing came up with the idea of a Turing machine, which is an instantiation of a formal system, the cause-and-effect processes of the machine standing in for the deductive ground-consequent relations of the formal system. But since any formal system will have a statement within it to the effect of "This statement is not provable within this system" (called a Gödel sentence), such would also have to be the case for a Turing machine.
This is a problem because a Turing machine can only affirm provable claims, so any given machine will have a Gödel sentence which it cannot affirm. Human minds, however, have no such limitation: we can see that there is a Gödel sentence within our own systems of thought and affirm it, recognizing that it is correct. It is correct that "This statement is not provable within this system" is not provable within that system. This has two consequences: 1) Human minds cannot be reduced to Turing machines. They cannot be fully explained by the mechanistic cause-and-effect processes that are going on in the brain. There is an element of the mind that goes beyond it, and this element is truth-conducive. 2) Turing machines, and artificial intelligence in general, cannot fully duplicate the processes of human minds. They may be able to duplicate the end-products, but they can't produce them the same way that human minds do: through non-deductive (non-formal) reasoning. They can only do it via mechanistic cause-and-effect processes which don't have to be truth-conducive in order to arrive at those end-products.
This conclusion was reached by Gödel himself in his 1951 Gibbs Lecture, "Some Basic Theorems on the Foundations of Mathematics and Their Implications", but it wasn't published until the third volume of his Collected Works came out in 1995. J.R. Lucas -- who in writing this post I have learned passed away earlier this year, which devastates me -- however, wrote an enormously influential essay in 1961, "Minds, Machines, and Gödel" which presented the same idea. It motivated a lot of objections which Lucas responded to in philosophy journals, and then he published his book "The Freedom of the Will" in 1970, the last third of which is on the implication of Gödel's Incompleteness Theorems for the mind and AI. You can read most of his essays online at https://web.archive.org/web/20160718073705/http://users.ox.ac.uk/~jrlucas/. Later, mathematical physicist Roger Penrose defended the argument in his own way in his books The Emperor's New Mind and Shadows of the Mind.
Simple, no?
Monday, October 19, 2020
Quote of the Day
P.V.N Myers
A General History for Colleges and High Schools (1889)
Jim's comments: This is a clear and widely-read statement of the flat earth myth -- the idea that, prior to Columbus, people (or at least Europeans) thought the earth was flat on religious grounds. It's false: the sphericity of the earth had been the almost universal view in Europe for two millennia by the time we get to Columbus. Perhaps we can give Myers some grace since the flat earth myth was very common at the time. I wrote about it before here. The best book on it is Jeffery Burton Russell's Inventing the Flat Earth: Columbus and Modern Historians. Another interesting book is Christine Garwood's Flat Earth: The History of an Infamous Idea, although only the first chapter is on the flat earth myth, with the rest on the flat earth movement in the 19th and 20th centuries.
Tuesday, October 13, 2020
Metallic rules
The Golden Rule: Do unto others as you would have them do unto you -- treat people the way you want to be treated.
The Silver Rule: Don't do unto others as you would not have them do unto you -- don't treat people the way you don't want to be treated.
The Platinum Rule: Do unto others as they would be done by -- treat people the way they want to be treated, not the way you want to be treated.
The Brass Rule: Do unto others as they have done unto you -- treat people the way they treat you.
The Iron Rule: Do unto others before they do unto you -- might makes right.
Recognizing the wisdom of the Golden Rule is perhaps the most important early stage in civilization because it implies that we see others as similar to ourselves and that we see ourselves as deserving no treatment that is better than what others get (although we would generally prefer it -- we're not saints). However, the Golden Rule may not be the ultimate rule to live by because (as we discuss further in Chapter 11) others may not want to be treated as you'd like to be treated. Then, according to some thinkers, the "Platinum Rule" ought to kick in: Treat others as they want to be treated! Proponents of the Golden Rule say that this takes the universal appeal out of the rule. The spark of moral genius in the rule is precisely that we are similar in our human nature -- not that we would all like to have things our way.
This raises another issue: a lot of people don't view these rules as rules for themselves but as rules for others. When they say "do unto others as you would have them do unto you" what they mean is "do unto me as you would have me do unto you." The Golden and Silver Rules, however, give us a reason to apply them to ourselves, although we can ignore it: why should people treat me well (or at least not treat me badly)? Because they would want me to treat them well (or would not want me to treat them badly). But then this immediately brings up the self-application of these rules, that we should treat other people well, not just expect others to treat us well. They trigger us to apply the rules to ourselves. The Platinum Rule does not. If we apply it to others, by telling people to treat us how we want to be treated, it just means we want to have things our way. There's no motive to apply it to ourselves. And even if we do, we do it blindly, without any reason or justification for it.
Sunday, October 4, 2020
Reaction videos
Friday, September 25, 2020
Space news
Saturday, September 19, 2020
Searle contra Dennett
Here's where it gets interesting: Dennett then wrote a letter to the NYRB blasting Searle, to which Searle responded, and you can read both here. Prior to this, Searle and Dennett were, I think, friendly rivals. Not after. Dennett writes, "Searle doesn't have a program of research. He has a set of home truths to defend. They land him in paradox after paradox, but so long as he doesn't address the critics who point this out, who’ll ever know? ... There is not room in these pages for Searle to repair fifteen years of disregard, so no one should expect him to make good here, but if he would be so kind as to tell us where and when he intends to respond to his critics with the attention and accuracy they deserve, we will know when to resume paying attention to his claims."
I have to agree with Searle's assessment of Dennett's accusations: "Dennett’s letter has a peculiar rhetorical quality in that he is constantly referring to some devastating argument against me that he never actually states. The crushing argument is always just offstage, in some review he or somebody else wrote or some book he published years ago, but he can’t quite be bothered to state the argument now."
I should also point out that I tend to agree with Searle's argument:
An intuition in [Dennett's] sense is just something one feels inclined to believe, and such intuitions often turn out to be false. For example, people have intuitions about space and time that have been refuted by relativity theory in physics. In my review, I gave an example of an intuition about consciousness that has been refuted by neurobiology: the commonsense intuition that our pain in the arm is actually located in the physical space of the arm. But the very existence of my conscious states is not similarly a matter for my intuitions. The refutable intuitions I mentioned require a distinction between how things seem to me and how they really are, a distinction between appearance and reality. But where the existence of conscious states is concerned, you can’t make the distinction between appearance and reality, because the existence of the appearance is the reality in question. If it consciously seems to me that I am conscious, then I am conscious. It is not a matter of “intuitions,” of something I feel inclined to say. Nor is it a matter of methodology. Rather it is just a plain fact about me—and every other normal human being—that we have sensations and other sorts of conscious states.
However, I am suspicious of making it into an argument because it allows Dennett and others (like the Churchlands) to argue that you can make a distinction between appearance and reality with regards to conscious states, and their philosophies of mind explain how. All they have to do is deny that premise. Certainly that's not a very plausible option, but they could do it. I'm not sure if you could prove Searle's point via an argument to someone who was dead-set against it.
Sunday, September 13, 2020
Arguing from Authoritah
That may seem easy, but people tend to strongly react against it. Here, for example, is a standard example of a fallacious appeal to authority.
But there are valid appeals to authority. Traditionally in Western civilization arguments from authority have been considered the weakest possible type of argument, at least according to the medieval Christian theologians. The reason it's extremely weak is because it doesn't involve you coming into direct contact with the truth of a matter: you're just accepting it because someone else has supposedly come into contact with it. But it's still a valid argument merely because, well, let's let Asimov say it:
What this counts for is a matter of dispute among philosophers. There are plenty who say that it only has relevance alongside other arguments. Others say it has strength by itself, but not so much to overturn an assertion. And some just reject the whole shebang.
Where people tend to gloss over the distinctions between valid and invalid appeals to authority is in appeals to science. Authority, supposedly, is of the old system, but science and a rejection of authority is the new system. Ignoring the point that the old system explicitly specified valid arguments from authority as the weakest of all arguments, science is completely beholden to authority. The glory and strength of science comes from its ability to challenge authorities -- background assumptions, traditional modes of understanding -- but of course the individual scientist cannot challenge all authorities. In order to get any work done, she has to accept the vast majority of claims on the basis of the authority of those who made them. She has to build up from what others have already accomplished, and this requires her to accept their claims on the basis of their authority. And of course the non-scientist has to accept scientific claims on the basis of the authority of the scientists who make the claims and the strong authority of science in general. I'm not challenging science at all, by the way, I'm just pointing out that a) appealing to authority isn't intrinsically bad and b) appeals to authority cannot realistically be removed, even from science. If your concept of science doesn't allow this, you're probably thinking of it as fundamentally iconoclastic rather than truth seeking. (Having said that, I'm writing these posts because I thoroughly enjoy telling people that they're wrong. So maybe we're even.)
The rabbit hole goes much deeper, of course. Does all this apply to individual authorities, or should it be reserved for the consensus of authorities? Can the collective efforts of the scientific community avoid appealing to authority even if the individual scientist can't? And who gets to decide who qualifies as an authority -- and who gave them that authority?
Monday, September 7, 2020
The Modal Ontological Argument
Ontological arguments sound like riddles, but some of the greatest intellects throughout history have defended them. Just in the last 100 years we've had Kurt Gödel (inarguably the greatest logician of the 20th century), Norman Malcolm, Alvin Plantinga, and Charles Hartshorne all defending versions of it. The standard objection to ontological arguments, from Kant, is that they treat existence as if it were a property a being could have or fail to have. But a being that failed to have existence wouldn't be a being at all. The recent counterargument is that this would only apply to Descartes's ontological argument, not to those of others, like Anselm's (or, for that matter, Kant's).
The contemporary versions use modal logic. This is basically the logic of possibility and necessity. If it's logically possible for you to do or be something -- say, waking up one morning as a giant cockroach -- then you have the modal property of "possibly existing as a cockroach." The weird thing is that, if it is possible for you to wake up one morning as a cockroach, then this modal property would not itself be a possible property you may or may not have, it would be an actual property. If something is possible, then its possibility is necessary (possible in all possible worlds), and if it's necessary, it's actual. So if it's possible you may wake up as a cockroach, then you actually have the modal property of "possibly existing as a cockroach." This sounds weird but it's a basic premise in modal logic (axiom S5) and as far as I know, it is uncontested in logical and philosophical circles.
So: say God is the maximally great being -- he has all positive properties, has them without limit, and has no negative properties. If this is logically possible, then God exists in at least one possible world. Now say God exists in only one possible world. Then he would lack the modal property of "possibly existing in world 2," and so wouldn't be maximally great. OK, so he has the property of possibly existing in worlds 1 and 2 and that's it. But then he lacks the modal property of "possibly existing in world 3." Now say he has the modal properties of "possibly existing in all possible worlds but one." Then he would lack the modal property of "possibly existing in that one world," and by lacking that modal property, wouldn't be maximally great. So if God exists in one possible world, he exists in all possible worlds. And the real world is a possible world, since if something is actual, it must be possible. Another way to say this is that any maximally great being worth its salt would exist necessarily, not just contingently; and if a necessarily existing being exists in one possible world, it exists in all possible worlds. Here's a rundown.
1. A maximally great being (God) is logically possible.
2. Therefore, a maximally great being exists in at least one possible world.
3. Therefore, a maximally great being exists in all possible worlds (otherwise he wouldn't be maximally great).
4. Therefore, a maximally great being exists in the actual world.
5. Therefore, a maximally great being (still God) exists.
There are some very interesting things about this, each one leading to the next. First, virtually every step in this argument is uncontroversial among logicians and philosophers, including atheists. But, second, there's a way to avoid the conclusion: deny the first premise. Deny that God, a maximally great being, is logically possible. Then God doesn't exist in any possible world. In fact, Plantinga, one of this argument's advocates, explicitly makes this point. Third, this means that God either exists in no possible worlds or all possible worlds. He either can't exist or can't not exist. He's either logically impossible or logically necessary. Fourth, since in order to say that God does not exist we have to say God cannot exist, the atheist bears the burden of proof. They must show that it is logically impossible for God to exist, that a maximally great being entails a logical contradiction. The theist only has to maintain that it's logically possible. But you don't have to prove something is logically possible unless you have a reason to think it may not be.
Naturally, one of the main objections to God is precisely that a maximally great being entails logical contradictions. For example, such a being would be maximally merciful but also maximally just. But these are, allegedly, incompatible since perfect justice would conflict with perfect mercy. Some individual traits are accused of being incoherent: could a maximally powerful (omnipotent) being create a stone so big that even he couldn't move it? If he can't, then there's something he can't do: make that stone. If he can, then there's something he can't do: move that stone. Either way, there's something he can't do and so omnipotence is a chimera. Naturally again, there are plenty of counterarguments and countercounterarguments and countercountercounter . . . . etc. Regardless, the modal ontological argument is fascinating, not least because it makes denying God's existence much more problematic.
Wednesday, September 2, 2020
The Burden of Proof
In philosophy burden of proof issues are notoriously difficult. Sometimes the person making a claim bears the burden of proof, but sometimes the person denying a claim bears it. Sometimes all parties bear it. It depends. And there's no absolute standard agreed upon by philosophers, although there are some clear examples. One traditional philosophical issue is the problem of other minds. How do we know that other people are really sparks of self-consciousness? The simplistic idea of burden of proof would say the person who denies other minds exist (solipsism) does not shoulder any of the burden of proof, but in this case he shoulders all of it. The person who affirms that other minds exist does not need to prove anything.
One objection people raise is that you can't prove a negative. Except you can. Of course you can. I can prove there is no full-sized elephant in this room right now. I can prove that there is not an army of fifty foot tall badgers ransacking downtown Portland as we speak. In fact, Karl Popper's philosophy of science says that all science can do is falsify claims, not prove them, in which case, science only proves negatives. It can't prove the positive claim "All swans are white" but it can prove the negative claim "Not all swans are white" by finding one example of a swan that isn't white. What you cannot do is empirically prove a universal negative. But you can still empirically prove a non-universal negative (like "Not all swans are white") and you can logically prove a universal negative (if it's a logical contradiction).
Another objection people raise is Bertrand Russell's suggestion of a teapot orbiting the sun between Earth and Mars. The person making this claim shoulders the burden of proof because in the absence of any evidence or reason to think such a teapot exists, the rational response is to disbelieve it, not just to be agnostic about it. We don't need a reason to disbelieve it, since in the absence of evidence we don't shoulder any burden of proof. But we do have a reason to disbelieve it: it's completely ad hoc or contrived. The more ad hoc a suggestion is, the less likely it is true. The teapot apologist must provide evidence to overcome the ad hoc-ness of the claim. Contrast this with the problem of other minds: there the solipsist is making the ad hoc claim and so must bear the burden of proof.
Most claims end up somewhere in between orbiting teapots and other minds (orbiting minds?), meaning that burden of proof is difficult to establish. The more ad hoc a claim is, the larger the share of the burden of proof one has, and sometimes denying a claim is more ad hoc than affirming it, not least because denying some claims can have repercussions that are outrageous. Carl Sagan said, "Incredible claims require incredible evidence," which is also simplistic and false, but if we restate it as "Ad hoc claims require sufficient evidence to counter their ad hoc-ness" then it can be salvaged, although it may not work as well as an aphorism.
* Incidentally, "begs the question" means you're arguing in a circle. You are assuming (begging) what is at question. So if I said "Trump is the most honest President ever," and when you asked why I believe that, I said, "Trump said so, and the most honest President ever wouldn't lie about something like that," I would be begging the question. The question is whether Trump is honest and my reasoning assumes he is in order to conclude he is. It argues in a circle, it begs the question. I actually wrote about this on Quodlibeta back in the day.










