それが可能ならば、それは存在する：様相存在論的証明
様相存在論的証明
したがって、最大限に偉大な存在は現実世界に存在する。神は存在し、しかも必然的に存在する。
最大限に偉大な存在は可能であり、したがってある可能世界において存在する。もしそれが一つの世界において存在するなら、すべての世界において存在する。
「それが可能ならば、それは存在する：様相存在論的証明」は、問い「神は存在するか？」（答え：有神論）に関するAlvin Plantingaの論証です（『必然性の本性』第10章；『神・自由・悪』（1974年）, 1974）。その主張は次のとおりです：したがって、最大限に偉大な存在は現実世界に存在する。神は存在し、しかも必然的に存在する。。 AskPhilosophyの論理チェック（Z3ソルバー）によれば、この論証が妥当であるのは、著者が明示していない前提（P4）を認める場合に限られます。 AskPhilosophyでは、4件の反論を紹介しています。そのうち3件には文献に基づく応答があり、各前提の元になった原文も一字一句照合して確認しています。
カントは、存在は概念から引き出せるような完全性ではないと反論していた。20世紀には、複数の哲学者（マルコム、ハートショーン、ゲーデル、プランティンガ）が、可能世界の論理という新たな道具を用いてアンセルムスの証明を取り上げ直す。「可能世界」とは、物事がありえた完全な一つのあり方である。「最大限に偉大な」存在とは、あらゆる可能世界において全能であり、全知であり、完全に善である存在として定義される。その発想はこうである。そのような存在が存在することが単に可能であるだけでも、それは現実に存在する。プランティンガ自身は、この論証が神を証明すると言っているのではなく、神を信じることが合理的であることを示すと言っている。
前提をクリックすると、それを退けられます
暗黙の前提がない場合： P4 がなければ、コンピュータは二つの世界からなるモデルを見つける。私たちの世界は、最大限に偉大な存在が存在する世界 W を見ているが、W は私たちの世界を見ていない（見つかったモデルでは、W はいかなる世界も見ていない）。W から見れば、この存在は「あらゆる所に」存在するが、その「あらゆる所」には、この存在が存在しない私たちの世界は含まれない。
反論
4それぞれの反論は一つの対話です。クリックすると、誰が応答しているか、そして議論が今どこにあるかが分かります。
対対称的なパロディ（オッピー、ラスムッセンとシュミット、スタンフォード哲学百科事典） 2024 · 前提1を攻撃この論証は逆向きに書くことができる。「最大限に偉大な存在が存在しないことは可能である」。同じ P3 と同じ S5 の論理で、そのような存在は不可能であると結論される。出発点となる二つの前提は同じくらいもっともらしく見えるが、両方が同時に真であることはできない。前者を選ぶ理由がなければ、この論証は信者と非信者の間の議論を前進させない。この反論は1970年代から論じられている（ヴァン・インワーゲン 1977、トゥーリー 1981）。
Plantingaの応答
この論証は逆向きに書くことができる。「最大限に偉大な存在が存在しないことは可能である」。同じ P3 と同じ S5 の論理で、そのような存在は不可能であると結論される。出発点となる二つの前提は同じくらいもっともらしく見えるが、両方が同時に真であることはできない。前者を選ぶ理由がなければ、この論証は信者と非信者の間の議論を前進させない。この反論は1970年代から論じられている（ヴァン・インワーゲン 1977、トゥーリー 1981）。
ウウィリアム・L・ロウ 2009 · 前提1を攻撃「最大限に偉大な存在は可能である」という前提は、神が実際に存在する場合にのみ真である。というのも、そのような存在は、可能であるならば、あらゆる世界に存在するからである。したがって、P1を受け入れることはすでに結論を受け入れることである。つまり、この論証は循環している（「論点先取」である）。
応答なし
「最大限に偉大な存在は可能である」という前提は、神が実際に存在する場合にのみ真である。というのも、そのような存在は、可能であるならば、あらゆる世界に存在するからである。したがって、P1を受け入れることはすでに結論を受け入れることである。つまり、この論証は循環している（「論点先取」である）。
ジジョーダン・ハワード・ソベル（ゲーデル版への反論） 1987 · 前提3を攻撃ゲーデル版では、神はすべての「肯定的」性質をもつ存在として定義される。ソベルは、ゲーデルの公理から「様相崩壊」が帰結することを示す。すなわち、真であることはすべて必然的になってしまう。偶然的なものも自由なものも何もなくなる。たとえば、あなたが今日青いセーターを着ているなら、赤いセーターを着ることは不可能だったことになる。公理は証明しすぎており、したがってそのうち少なくとも一つは偽である。
擁護者の応答
ゲーデル版では、神はすべての「肯定的」性質をもつ存在として定義される。ソベルは、ゲーデルの公理から「様相崩壊」が帰結することを示す。すなわち、真であることはすべて必然的になってしまう。偶然的なものも自由なものも何もなくなる。たとえば、あなたが今日青いセーターを着ているなら、赤いセーターを着ることは不可能だったことになる。公理は証明しすぎており、したがってそのうち少なくとも一つは偽である。
ヒヒュー・チャンドラー（1976年）、ネイサン・サーモン（1989年） 1976 · 前提4を攻撃S5そのものに異議を唱えることができる。可能なものがどの世界から見ても同じであるという保証はない。可能なものが世界ごとに異なりうるなら、「可能的に必然的」から「必然的」への移行はもはや成り立たない。
Plantingaの応答
S5そのものに異議を唱えることができる。可能なものがどの世界から見ても同じであるという保証はない。可能なものが世界ごとに異なりうるなら、「可能的に必然的」から「必然的」への移行はもはや成り立たない。