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
    Necessitism gains independent support from the logical ad... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The Linsky-Zalta-Williamson position that necessarily everything necessarily exists is only as plausible as its explanation of the intuitive contingency of ordinary objects.

    Necessitism gains independent support from the logical advantages of constant-domain quantified modal logic, including the validity of the Barcan formula and avoidance of possibilist ontology.

    ?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

    Barcan Formula(A mixing axiom for modal operators and quantifiers in quantified modal logic.)
    The principle according to which all instances of the sentence ◊∃xφ(x) → ∃x◊φ(x) are logically true.
    Constant-domain quantified modal logic(as a logical framework)
    A formal system where the same set of things exists in all possible scenarios, making it easier to compare what's true across different possibilities.
    Modal logic(logic)
    A system of logic that deals with concepts like possibility, necessity, and what could or must be true.
    Ontology(Carnap argues this enterprise is based on a mistake)
    The philosophical discipline that tries to answer hard questions about what there really is.
    Possibilist ontology

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    (as a rival philosophical position)
    A view that some things can exist only as possibilities, not as concrete reality—for example, you might say 'a unicorn is possible' even if unicorns don't actually exist.
    necessitism(Philosophy of modality; a logical truth of SQML)
    The view that everything that exists exists necessarily — both possibilia and actually existing things alike are necessary beings, such that there are no worlds from which they are altogether absent.

    Connections

    2 topics

    Modality & Possibility1 linkedPersonal Identity1 linked

    Related

    The Linsky-Zalta-Williamson position that necessarily everything necessarily exi...

    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