WWW.ABSTRACT.DISLIB.INFO
FREE ELECTRONIC LIBRARY - Abstracts, online materials
 
<< HOME
CONTACTS



Pages:   || 2 |

«¨ A GODELIAN ONTOLOGICAL ARGUMENT IMPROVED EVEN MORE ALEXANDER R. PRUSS 1. Introduction G¨del’s ontological argument axiomatizes the notion of a ...»

-- [ Page 1 ] --

¨

A GODELIAN ONTOLOGICAL ARGUMENT IMPROVED

EVEN MORE

ALEXANDER R. PRUSS

1. Introduction

G¨del’s ontological argument axiomatizes the notion of a positive propo

erty, and then argues, based on plausible further “non-formal” axioms about

which properties are in fact positive, that there is a being that has at least

some of the central attributes of God.

The formal axioms are:

F1. If A is positive, then ∼ A is not positive.

F2. If A is positive and A entails B, then B is positive.

There are several ways of metaphysically understanding the notion of a positive property.1 On the excellence view, a positive property is one that in no way detracts from its possessor’s excellence, but whose negation does. On the limitation view, a positive property entails no limitation in its possessor, but its negation does. According to Leibniz, there are basic properties, all subsets of which are mutually compatible. Leibniz would probably define a positive property as one that is a conjunction of basic properties.2 But we can modify his view to be open to the possibility that some basic properties are not valuable, by saying that some basic properties are excellences and a positive property is one that is entailed by one or more basic properties that are excellences. Each of these accounts makes F1 and F2 very plausible.

Now consider the following two non-formal axioms:

N1. Necessary existence is positive.

N2. Essential omniscience, essential omnipotence and essential perfect goodness are positive properties.

We can then define A to be a strongly positive property provided that EA, the property of having A essentially, is a positive property. (By F2, strongly In M. Szatkowski (ed.), Ontological Proofs Today, Ontos Verlag, 2012.

1Pruss (2009) also offers an account due to Maydole on which a property is positive provided that it is better to have that property than not to have it. However, Oppy (2009) has rightly pointed out that it is far from clear whether the disjunction of a property that it is better to have than not to have with a property that it is better to not have than to have counts as something that it is better to have than not to have.

2Along these lines, Pruss (2009) makes the suggestion that one could take a positive property to be one that is entailed by one or more basic properties.

2 ALEXANDER R. PRUSS positive properties are positive.) Pruss (2009) then assumes a modal logic

including S5 and proves:

Theorem T1. Given F1, F2 and N1, if A is a strongly positive property, then there is a necessarily existing being that essentially has A.

It follows from F1, F2, N1 and N2 that there is a necessarily existing being that is essentially omniscient. And one that is essentially omnipotent.

And one that is essentially perfectlygood. But Pruss (2009) could not show, without making further controversial assumptions, that there is a being that has all these three essential properties.

This paper remedies this defect. Admittedly, we will make further nonformal assumptions, but they will be very plausible.

We will end up by discussing a reformulation of the arguments in terms of negative properties as well as Oppy’s parody of the Pruss (2009) argument.

2. Uniqualization There can be at most one being that has the property of being the tallest woman. If A is a property such that it is impossible that there exist x and y such that x and y each have A, but x = y, then we shall say that A is uniqualizing. Being the tallest woman is uniqualizing.

The following non-formal axiom is very plausible:

N3. There is at least one uniqualizing strongly positive property.

In fact, it is very plausible that we can give an example of one. Axiom N3

follows from N2 and:

N4. Essential omnipotence is uniqualizing.

Why should we think essential omnipotence is uniqualizing? Well, the idea of two essentially omnipotent, or even two contingently omnipotent, beings is deeply problematic. Omnipotence requires perfect freedom and an efficacious will.3 But there cannot be two beings with perfect freedom and an efficacious will. For if they are perfectly free, they will be able to will incompatible propositions to be true, and then one of their wills shall have to fail to be efficacious. (This argument assumes that we are individuating beings in such a way that distinct beings with will have their own will. If God is a Trinity, the persons of the Trinity do not have distinct wills, and hence will not count as distinct beings in our sense.) Othr plausible examples of an equalizing strong positive property are being greater than every other being as well as being creator of every other

being. To work with the latter property, we can assume:

N5. Being essentially such that one is creator of every other being is a positive property.

N6. If x is creator of y, then y is not creator of x.

3Pearce and Pruss (forthcoming) argue that omnipotence just is perfect freedom and efficacious will.

¨

A GODELIAN ONTOLOGICAL ARGUMENT IMPROVED EVEN MORE 3

And then being creator of every other being will be strongly positive and uniqualizing, so that N3 will follow.





All in all, it does not appear that N3 is very controversial.

We can now add to the results from Pruss (2009):

Theorem T4. Given F1, F2, N1 and N3, it follows that there is a necessary being that essentially has every strongly positive property.

The following immediately follows:

Corollary C3. Given F1, F2, N1, N2 and N3, there is a necessary being that is essentially omnipotent, essentially omniscient and essentially perfectly good.

Now, define:

Definition D4. A God is a being that essentially omnipotent, essentially omniscient, essentially perfectly good, and creator of every other being.

Then:

Corollary C4. Given F1, F2, N1, N2, N5 and N6, there necessarily exists a unique God.

For N5 and N6 implies N3, so that by T4 it follows that there is a God, and by N6 this God is unique, as he is creator of every other being.4

The proof of T4 needs the following lemma from Pruss (2009):

Lemma L1. Given F1 and F2, any pair of positive properties is compossible.

(The proof is easy: if A and B are positive and not compossible, then A entails ∼ B, so that by F2, ∼ B is positive, and by F1, B cannot be positive as well, so absurdity follows.) To prove T4, let U be a uniqualizing strongly positive property, by N3.

By T1, there is a necessarily existing being that essentially has U. Let’s say that Umberto is such a being. Let A be any strongly positive property.

Then EA, the property of having A essentially, is also positive. By L1, EA is compossible with U. Thus there is a possible world w at which there is a being, x, that has both EA and U. But Umberto exists at every world and has U at every world. Thus, Umberto exists at w and has U there. Since U is uniqualizing, it follows that x is identical with Umberto. Therefore, Umberto has EA at w. Thus, it is true at w that Umberto necessarily has A. By S5, it follows that at the actual world it is also the case that Umberto necessarily has A. Hence, Umberto essentially has A. Thus, Umberto essentially has every strongly positive property.

4Some think (mistakenly, I believe) that God is not the creator of

Abstract

entities, and indeed that it is impossible for any being to be the creator of abstract entities, but that there nonetheless necessarily exist abstract entities. Impossible properties aren’t going to be positive, since an impossible property entails non-positive properties like being cruel, so if it’s not possible to be the creator of abstract entities, and there must be abstract entities, we will instead need to work with the property of being the creator of every other concrete being. Plausibly this property is strongly positive, and if we assume the axiom that every creator is concrete, we conclude that this property is strongly uniqualizing.

4 ALEXANDER R. PRUSS It is interesting to note that the above argument also shows that for every positive property A, even ones that are not strongly positive, Umberto at least possibly has A. For by L1, A is compatible with U, and hence at some world some being has both A and U. But only Umberto has U in that or any other world, and so Umberto has both A and U in that world.

3. Negative properties There is, perhaps, something somewhat unnatural and gerrymandered about the notions of positive properties offered in the introduction. The notion of a positive property on all three accounts offered does not exactly correspond to any intuitive notion of an excellence or a property that’s worth having. For instance, since anything entailed by a positive property is positive, if knowing that 2 +2 = 4 is a positive property, so is being foolish or knowing that 2+2 = 4.5 This disjunction is not a counterexample to F2 given the three stipulative metaphysical accounts of positive properties offered in the introduction, but given the relative complexity of the stipulations, our intuitions about the non-formal axioms are liable to be less confident than we would like.

We might, however, proceed differently, by taking as our primitive the notion of a negative property, which is actually more natural than the G¨delian o notion of a positive property. We can think of a negative property as one

that limits a being in some way. The following two axioms then are intuitively plausible:

F1∗. If A is negative, then ∼ A is not negative.

F2∗. If B is negative and A entails B, then A is negative.

Axiom F1∗ tells us that to lack something that limits one is not limiting, i.e., that limitation is avoidable, while F2∗ tells us that a property that entails a limitation is limiting.

We can then stipulate a positive property as one whose negation is negative. It is easy to see that under this stipulation the conjunction of F1 with F2 is equivalent to the conjunction of F1∗ and F2∗. But it is better to work with the more natural notion of a negative or limiting property as in F1∗ and F2∗.

We can define a strongly negative property as a property A such that P A is negative, where P A is the property of possibly having A. A property is strongly negative if and only if its negation is strongly positive. We can say that a property is nearly universal provided that it must be had by all except at most one being. A property is nearly universal if and only if its negation is uniqualizing.

We still need some non-formal axioms. These will be direct translations

of the N-axioms. For instance:

N1∗. Possible non-existence is negative.

5Cf. Oppy’s criticism of Maydole’s definition of positivity (Oppy, 2009, p. 359).

¨

A GODELIAN ONTOLOGICAL ARGUMENT IMPROVED EVEN MORE 5

N2∗. Possible non-omniscience, possible non-omnipotence and possible lack of perfect goodness are negative properties.

N3∗. There is at least one strongly negative nearly universal property.

These axioms are still plausible. To substantiate N3∗ we just use the negations of our examples of candidates for strongly positive uniqualizing properties (or small variants on them, if desirable for stylistic or intuitive reasons). Thus coexisting with an entity one did not create or not being omnipotent are properties that, plausibly, all beings except at most one can have.

Moreover, given F1∗ and F2∗, the starred versions of the N-axioms are

equivalent to the unstarred versions. Hence we get equivalent starred versions of our results T4, C3 and C4. For instance, we have:

Corollary C4∗. Given F1∗, F2∗, N1∗, N2∗, N5∗ and N6∗, there necessarily exists a unique God.

The only difference between C4∗ and C4 is that the argument behind C4∗ did not rely on a gerrymandered concept of positivity.

Let us go back to the initial counterintuitiveness of the idea that being foolish or knowing that 2 + 2 = 4 is positive. The parallel claim on the side of negativeness is that not being foolish and not knowing that 2 + 2 = 4 is negative, i.e., limiting. And that certainly is true—it is limiting through its second conjunct.

4. Oppy’s parody Oppy begins by stipulating the notion of a natural property (not in the sense in which in the preceding section I talked of some notions as more natural than others) as a property whose instantiation in no way entails the existence of any supernatural entities, or the holding of any supernatural states of affairs, or the like, but the instantiation of whose negation does in some way entail the existence of supernatural entities, or the holding of supernatural states of affairs, or the like. (Oppy, 2009, pp. 360–1) Oppy then offers two formal axioms about naturalness. The first parallels F1, and the second parallels a plausible generalization of F2. Then Oppy

offers a non-formal axiom:

The following property is natural: having no world-mate that is a necessarily existent, essentially omnipotent, essentially [omniscient]6, essentially perfectly good being (Oppy, 2009, p. 361).

6Oppy’s text has a reduplicated “essentially omnipotent” in several places. I assume one of the occurrences is always meant to be “essentially omniscient”.

6 ALEXANDER R. PRUSS Oppy argues that his axioms entail that there is no necessarily existent, essentially omnipotent, essentially omniscient and essentially perfectly good being. And he’s right about that.



Pages:   || 2 |


Similar works:

«Suite 800, 789 West Pender Street Vancouver, British Columbia Canada V6C 1H2 Telephone: (604) 638-8067 Facsimile: (604) 648-8105 NEWS RELEASE Pre-Feasibility Study on Taysan Copper-Gold Project shows Post-Finance After-Tax IRR of 49% and NPV at 10% of US$503 million Highlights  A pre-feasibility study (“PFS”) on the Taysan Copper-Gold Project (“Project”) has been completed to support a trade sale or a joint venture of the Project.  The PFS forecasts average annual payable...»

«1 Avoiding plagiarism, self-plagiarism, and other questionable writing practices: A guide to ethical writing INTRODUCTION Scientific writing can be a complex and arduous process, for it simultaneously demands clarity and conciseness; two elements that often clash with each other. In addition, accuracy and integrity are fundamental components of the scientific enterprise and, therefore, of scientific writing. Thus, good scientific writing must be characterized by clear expression, conciseness,...»

«OFFICE OF THE NATIONAL COMMANDER CIVIL AIR PATROL UNITED STATES AIR FORCE AUXILIARY MAXWELL AIR FORCE BASE, ALABAMA 36112-5937 17 November 2015 MEMORANDUM FOR ALL CAP UNIT COMMANDERS FROM: CAP/CC SUBJECT: Interim Change Letter – CAPR 20-1, Organization of Civil Air Patrol 1. CAPR 20-1 is currently undergoing revision as a part of the publications reengineering project. This interim change letter will remain in effect until such time as the new CAPR 20-1 is complete and published. 2. CAPR 20-1...»

«REVUE DE PRESSE 2009 Château Canon – BP 22 – 33 330 St Emilion Tel: 05 57 55 23 45 Fax: 05 57 24 68 00 contact@chateau-canon.com Sommaire • PRIMEURS 2008 Page 4 – The Wine Advocate – Avril 2009 – The Wine Spectator Avril 2009 – Decanter – Avril 2009 – Jean-Marc Quarin Avril 2009 – Wine Enthusiast Avril 2009 – Tast – Avril 2009-06-19 – Jancis Robinson – Avril 2009 – RVFAvril 2009 – The Wine Journal – Avril 2009 – The Wine Review – Mai 2009 – Le Point –...»

«August 17, 2007 Ms. Nancy M. Morris Secretary Securities and Exchange Commission 100 F Street, NE Washington, DC 20549-2001 Subject: Securities Act Release No. 8812 File No. S7-10-07 Dear Ms. Morris: Pink Sheets LLC (“Pink Sheets”) respectfully submits the following comments on the amendments proposed by the Securities and Exchange Commission (“the SEC or the Commission”) to the eligibility requirements of Forms S-3 and F-3.1 In Release 33-8812, the Commission proposes to allow a larger...»

«CHEMIE-PACK MOERDIJK Feitenrelaas inzake de vergunningsituatie en het toezicht Datum 4 maart 2011 CHEMIE-PACK MOERDIJK | 4 maart 2011 Colofon Ministerie van Infrastructuur en Milieu VROM-Inspectie Directie Uitvoering Programma Regionaal Accountmanagement Rijnstraat 8 Postbus 16191 2500 BD Den Haag Publicatienummer: VI-2011-56 Deze publicatie is te downloaden via www.vrominspectie.nl Pagina 2 van 67 CHEMIE-PACK MOERDIJK | 4 maart 2011 Inhoud 1 Samenvatting 2 Inleiding 2.1 Aanleiding en doel 2.2...»

«FMW (Fort Atkinson, Milton, Whitewater) Youth Baseball Rules and Policies Please note that these are the standing rules for Fort Atkinson, Milton & Whitewater Little League. All three communities have agreed to these rules. 3rd & 4th Grade Rules of Play Game Length 1. 6 innings or 1 hour 45 minutes from the time of the first pitch.2. In the event of rain, 3 ½ innings will constitute a complete game, provided the home team is ahead.3. Make-ups for games that have started will be resumed at a...»

«1er janvier Rapport 2016 annuel, 2015 Secteur Ce rapport a pour objectif de comprendre la situation des interventions de lutte contre la malnutrition à Madagascar, pour l’année 2015. Nutrition Table des matières I. RESUME EXECUTIF : II. INTRODUCTION: III. PREVENTION DE LA MALNUTRITION: 3.1 Suivi de la croissance: 3.2 Le taux d’insuffisance pondérale (TIP): 3.3 Promotion de l’Alimentation du Nourrisson et du Jeune Enfant et Nutrition de la Femme (ANJE NdF) à travers l’approche cycle...»

«Capacities/Research Potential FP7-REGPOT-2012-2013-1 Project No. 316014 EAgLE European Action towards Leading Centre for Innovative Materials Report from activity at WP1 during period from June to November 2013 Project management WP leader Krystyna Jablonska Task 1.1 Preparation of the manual on the project implementation Manual on Project Implementation was elaborated and sent to EC on 29 of November according to the project timetable. The elaborated procedures guarantee the successful...»

«Small Wars Journal www.smallwarsjournal.com Love and Hate Michael Few     Figure 1.  “The Surge” as seen through the eyes of 5‐73 Recon (Airborne) trench by trench, house by house, block  by bloody block.  Clockwise from top‐left:     1. AQI beheading Shias in Zaganiyah (recovered video).  2. COL. Andrew Poppas comforting a dying boy struck by a suicide bomber (Yuri Zarakhovich, Time Magazine,  2007). ...»

«A Report to the media on Poodle Rescue Mr. Jack MacGillivray, President, Poodle Club of America Mrs. Sally Poindexter, President Poodle Club of America Rescue Foundation November 11, 2008 This information packet is being sent to various media groups in hopes of educating the public on our breed, the poodle. Recent news coverage of President-elect Obama’s statements about getting his daughters a new puppy has sparked much opinion throughout the dog community. His daughter mentioned a...»

«Shell Canada Limited Sour Gas Pipeline Failure Licence No. 23800, Line No. 61 November 19, 2007 ERCB Investigation Report October 7, 2008 Report prepared by Brian Temple (Incident Investigator), Brad Olive (Field Surveillance), Dave Grzyb (Operations), Murray Barber (Field Surveillance), Al Duben (Field Surveillance), Jessica Schlager (Emergency Planning and Assessment), Bruce Greenfield (Environment), Kristofer Siriunas (Environment) ENERGY RESOURCES CONSERVATION BOARD ERCB Investigation...»





 
<<  HOME   |    CONTACTS
2017 www.abstract.dislib.info - Abstracts, online materials

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.