Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    The Anderson and Fitting variations avoid modal collapse ... — Carmelics
    Home/Natural Theology
    HistoryEditSee Inverse

    Part of a larger discussion

    Supports→The variations of Gödel's ontological argument proposed by C. Anthony Anderson and Melvin Fitting avoid modal collapse.

    The Anderson and Fitting variations avoid modal collapse in importantly different ways from each other.

    Modality & PossibilityNatural Theology
    ?Rate how convincing each reason is below to see the overall strength.

    No one has weighed in yet. Be the first to share reasons for or against this statement.

    Sign in or register to share your perspective on this statement.

    Topics

    Natural TheologyModality & Possibility

    Related

    Analysis with theorem-provers showed that the Anderson and Fitting variations do...The variations of Gödel's ontological argument proposed by C. Anthony Anderson a...Theorem-provers confirmed that Gödel's original argument entails modal collapse.

    Next step

    Based on where you are in your exploration

    Browse more in Natural Theology
    Related propositions within the same area of thought.

    Similar

    Analysis with theorem-provers showed that the Anderson and Fitting var...87%The variations of Gödel's ontological argument proposed by C. Anthony ...85%Theorem-provers confirmed that Gödel's original argument entails modal...80%Treating modal predicates as Abelardian may be the more fruitful optio...76%

    Source

    AI-extracted
    SEP: computational-philosophy
    View source passageHide passage
    Versions of the ontological argument have formed an important thread in recent work employing theorem provers, both because of their inherent interest and the technical challenges they bring with them. Prover9 and Mace have again been used recently by Jack Horner in order to analyze a version of the ontological argument in Spinoza’s Ethics (found invalid) and to propose an alternative (Horner 2019). Significant work has been done on versions of Anselm’s ontological argument (Oppenheimer & Za

    Details

    Type
    premise
    Perspectives
    0 (0 for, 0 against)
    Edits
    1 edit

    Open for perspectives

    This idea is waiting for its first supporting or challenging perspective.

    Share the first perspective