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
    Home/Original/inverse
    See Original
    Inverse View

    It is not the case that SQML does not get the logical cart before the philosophical horse by building necessitism into its logical foundations.

    ?Set your confidence on the premises below to see your aggregate.

    Reasons For

    2 perspectives
    Reason for 1 of 2
    ?
    • 1.SQML's axiom schema ∀x□∃y(y=x) encodes necessitism as a theorem of the logical system, not a contingent metaphysical addition.
      ?

      Think about whether this reason is strong or weak

    • 2.When a metaphysical doctrine is derivable from the pure logic alone, that logic presupposes rather than remains neutral toward that doctrine.
      ?

      Think about whether this reason is strong or weak

    • 3.Williamson's own derivation in 'Modal Logic as Metaphysics' shows necessitism follows from SQML's quantifier rules, confirming it is built in foundationally.
      ?

      Think about whether this reason is strong or weak

    Reason for 2 of 2
    ?
    • 1.Free logic traditions (Lambert, Bencivenga) demonstrate that quantified modal systems can be constructed without existential import, making SQML's choice non-mandatory.
      ?

      Think about whether this reason is strong or weak

    • 2.If an alternative logical framework avoiding necessitism is coherent and equally expressive, then SQML's entailment of necessitism reflects a substantive philosophical commitment, not logical neutrality.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Necessitism is not merely a natural complement to possibilism but an essential component of it.
      ?

      Think about whether this reason is strong or weak

    • 2.Possibilism requires necessitism to preserve its central justification — that modal propositions have truthmakers grounded in the modal properties of individuals.
      ?

      Think about whether this reason is strong or weak

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.