The ontological proof for the existence of God (really “proofs” or perhaps “arguments,” as there are various versions) has popped up in the blogs a few times recently: e.g. Ophelia Benson, Josh Rosenau, Jerry Coyne. You’ve probably heard this one; it was most famously formulated by Saint Anselm, and most famously trashed by Immanuel “Existence is not a predicate” Kant. A cartoon version of it would be something like
- God is by definition a perfect being.
- It is more perfect to exist than to not exist.
- Therefore, God exists.
Now, this is a really cartoonish version of the argument — it’s not meant to be taken seriously. This kind of ontological proof is a favorite whipping-argument for atheists, just because it seems so prima facie silly. Just ask Jesus and Mo.
This kind of mockery is a little unfair (although only a little). What’s important to realize is that the ontological proof is perfectly logical — that is, the conclusions follow inevitably from the premises. It’s the premises that are a bit loopy.
It’s instructive and fun to see this in terms of formal logic, especially because the proof requires modal logic — an extension of standard logic that classifies propositions not only as “true” or “false,” but also as “necessarily true/false” and “possibly true/false.” That is, it’s a logic of hypotheticals.
So here is one formalization of the ontological argument, taken from a very nice exposition by Peter Suber. First we have to define some notation to deal with our modalities. We denote possibility and necessity via:
Just given these simple ideas, a few axioms, and a fondness for pushing around abstract symbols, we’re ready to go. Remember that “~” means “not,” a “v” means “or,” and the sideways U means “implies.” Take “p” to be the proposition “something perfect exists,” and we’re off:
There is something beautiful here, even if it’s somewhat silly as a proof for the existence of God. It’s silly in an illuminating way!
As Suber says, the argument is “valid but unsound.” He pinpoints three premises with which reasonable people might disagree: 1 (“if perfection exists, it necessarily exists”), 2 (“perfection possibly exists”), and 5 (“if something is necessarily true, then it is necessarily necessarily true”). That last one is not a typo.
For me, the crucial mistake is some mixture of 1 and 2, mostly 2. The basic problem is that our vague notion of “perfection” isn’t really coherent. Anselm assumes that perfection is possible, and that to exist necessarily is more perfect than to exist contingently. While superficially reasonable, these assumptions don’t really hold up to scrutiny. What exactly is this “perfection” whose existence and necessity we are debating? For example, is perfection blue? You might think not, since perfection doesn’t have any particular color. But aren’t colors good, and therefore the property of being colorless is an imperfection? Likewise, and somewhat more seriously, for questions about whether perfection is timeless, or unchanging, or symmetrical, and so on. Any good-sounding quality that we might be tempted to attribute to “perfection” requires the denial of some other good-sounding quality. At some point a Zen monk will come along and suggest that not existing is a higher perfection than existing.
We have an informal notion of one thing being “better” than another, and so we unthinkingly extrapolate to believe in something that is “the best,” or “perfect.” That’s about as logical as using the fact that there exist larger and larger real numbers to conclude that there must be some largest possible number. In fact the case of perfection is much worse, since there is not single ordering on the set of all possible qualities that might culminate in “perfection.” (Is perfection sweet, or savory?) The very first step in the ontological argument rests on a naive construal of ordinary language, and the chain is no stronger than its weakest link.
- I Spy With My Little Eye… [Last Updated On: November 7th, 2009] [Originally Added On: November 7th, 2009]
- A Crack Opens in the Ethiopian Landscape, Preparing the Way for a New Sea | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- The Politics of Addiction | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Finally! An iPhone App That Lets You Track Your Bathroom Habits | Discoblog [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Don’t Pack Your Bags Yet—New Planet-Finder Hobbled by Electronic Glitch | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- In Controversial Scent Lineups, a Dog’s Nose Picks Out the Perp | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Are You a Cognitive Miser? | Cosmic Variance [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- The Secret Lives and Loves of Great White Sharks | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Britain’s New Protected Minority: Tree-Huggers | Discoblog [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Inspired by Maple Seeds, a Robotic Whirligig Takes To The Skies | Discoblog [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- New Statesman on Accommodationism | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Laser-Powered Robot Climbs to Victory in the Space-Elevator Contest | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Checking Back In With SEAPLEX | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Podcast: An Embarrassment of Genomes | The Loom [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- A Baby Neutron Star, Swaddled in a Carbon Atmosphere | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Butterfliiiies… iiinnnn… SPPPAAAAACCCCEEEEE! | Bad Astronomy [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- My Slate Dialogue with Michael Specter Begins | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Musical, Fahrvergnügen-Inspired Staircase Makes Commuters Less Lazy | Discoblog [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Laser-Etched Fruit Is an Answer in Search of a Problem | Discoblog [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Ares and the carnivals | Bad Astronomy [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Toddler Gets a Telescoping, Prosthetic Arm Bone That Grows With Him | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Neutered HIV Virus Delivers Treatment to Fatally Ill Boys | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Specter’s First Reply: Denialism Kills People | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- LRO sees a Moonslide | Bad Astronomy [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Al Gore’s New Book: A Focus on Solutions | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- The Universe Has Us in Its Crosshairs | Bad Astronomy [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Makers of Universes | Cosmic Variance [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Can Your Pet Catch & Spread Swine Flu? Yes, If Your Pet’s a Ferret | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Droid 2.0 Vs iPhone | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Tangled Bank News: An Excerpt and More | The Loom [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- LHC Shut Down By Wayward Baguette, Dropped by Bird Saboteur | Discoblog [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Careidolia | Bad Astronomy [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Slate Reply to Specter Up–We Need a National Dialogue on Synthetic Biology | The Intersection [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Pray this doesn’t get passed | Bad Astronomy [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- You Can’t Make This Stuff Up | Cosmic Variance [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Mother Tongue, Indeed: Newborn’s Cries Mimic Mama’s Accent | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Ripped From the Journals: The Biggest Discoveries of the Week | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Alternative Landscapes | The Loom [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Can an iPhone App Decipher Your Baby’s Cries? | Discoblog [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Reminder: Carl Sagan Day | Bad Astronomy [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Are There Pesticides in Your Soup? Dunk a Pollution Dipstick to Find Out. | 80beats [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Log in and Join the Conference [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Conference Ends [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Conference Archive Opens [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Galaxy Zoo [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- .Astronomy 2009 Dates [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- .Astronomy 2009: Programme and venue details [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- .Astronomy Gets Some IYA Love [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- 2009 Posters and Imagery [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- 2009 Sponsors [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- When in Holland… [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- The WHAT Cloud? [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- The Jewel Box [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Happy Halloween! [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Ares 1-X Launch [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Confessions of an Alien Hunter [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- LRO Spies Apollo 17 Site [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Mercury in Color [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Hubble and M83 [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Cassini Flyby of Enceladus [Last Updated On: November 8th, 2009] [Originally Added On: November 8th, 2009]
- Preserving A Moth [Science Tattoo] | The Loom [Last Updated On: December 12th, 2009] [Originally Added On: December 12th, 2009]
- Another Russian rocket spiral lights up the sky | Bad Astronomy [Last Updated On: December 12th, 2009] [Originally Added On: December 12th, 2009]
- A (Very Gentle) Riddle to Complete Your Saturday [Last Updated On: December 12th, 2009] [Originally Added On: December 12th, 2009]
- Darwin Gets Swine Flu: The YouTube Edition | The Loom [Last Updated On: December 12th, 2009] [Originally Added On: December 12th, 2009]
- Happy Slothy Holidays | The Loom [Last Updated On: December 12th, 2009] [Originally Added On: December 12th, 2009]
- Jetting to Copenhagen | The Intersection [Last Updated On: December 12th, 2009] [Originally Added On: December 12th, 2009]
- Michael Gerson Attempts Thoughtfulness on “ClimateGate,” Then Gives it Up | The Intersection [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Incredible VISTA of the cosmos | Bad Astronomy [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Bundle up Sunday Night to Watch the Geminid Meteor Shower | 80beats [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- “ClimateGate” a PR Disaster That Will Be “Taught in University Communications Courses” | The Intersection [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Is Google the Guardian Angel of Rainforests? | 80beats [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- La ciencia es importante. Una vez mas. | Bad Astronomy [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Sensenbrenner Pulls an Inhofe, Asserts Global Warming is an “International Conspiracy” | The Intersection [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Let Kids Eat Dirt: Over-Cleanliness Linked to Heart Disease | 80beats [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- What Are The Best Science Papers Of The Past Decade? | The Intersection [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Finally! Math Shows How to Cut Evenly Sized Pizza Slices | Discoblog [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Half-baked math | Bad Astronomy [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Can “Biological Passports” Save Sports From Doping? | 80beats [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Aiiiieeee! Slow down! | Bad Astronomy [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]
- Weekly News Roundup: Bad Headlines, Martian moons, and Rotating Houses | Discoblog [Last Updated On: December 13th, 2009] [Originally Added On: December 13th, 2009]