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
    If the world-type-for-Oscar in W reflects Oscar's omnipot... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Flint and Freddoso's account of omnipotence does not provide a logically necessary condition on omnipotence.

    If the world-type-for-Oscar in W reflects Oscar's omnipotence at t, then (e) belongs to no achievable extension of that type, and Flint and Freddoso's account correctly withholds the power rather than mistakenly attributing it.

    ?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.

    Key Terms

    (E)(Each instance pairs a specific proposition with a truth predication about that proposition)
    The equivalence schema, whose instances form the axioms of Horwich's minimalist theory of truth
    Achievable extension(in modal logic)
    A way of adding to or building upon something that is actually possible or reachable; in this case, a possible outcome that could really happen.
    Flint and Freddoso(as philosophers referenced in a discussion of omnipotence)
    Two contemporary philosophers who developed a specific theory about what it means for God (or any being) to be all-powerful.
    Oscar(in logic and philosophy)
    A placeholder name used in this philosophical example to represent a person or agent (like a character in a thought experiment).
    Reflects

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    (in philosophical logic)
    In this context, means 'accurately shows' or 'is consistent with'—the world-type shows what Oscar's power actually is.
    Withholds the power(in philosophy of religion)
    Correctly denies that someone has a certain ability, rather than mistakenly saying they can do something they actually cannot.
    World-type(in philosophy of religion and logic)
    A description of all the kinds of things that exist and happen in a possible world—basically, a blueprint of what that world is like.
    omnipotence(Bruno's theological framework)
    God's primary attribute as designated by the Apostles' Creed, entailing that all possibilities are actualized

    Connections

    1 topic

    Divine Attributes1 linked

    Related

    Flint and Freddoso's account of omnipotence does not provide a logically necessa...

    Details

    Type
    claim
    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