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
    Moral statement E entails disjunction D — Carmelics
    Home/Philosophy of Language
    HistoryEditSee Inverse

    Moral statement E entails disjunction D

    Modality & PossibilityPhilosophy of Language
    ?Rate how convincing each reason is below to see the overall strength.
    1 reason for
    2 reasons against

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Disjunction D contains a disjunct describing every world where E is true
      ?

      Think about whether this reason is strong or weak

    • 2.If E is true, then one of the disjuncts of D must be true
      ?

      Think about whether this reason is strong or weak

    • 3.Therefore D is true whenever E is true
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.Entailment requires necessary truth-preservation across all possible worlds, not merely actual co-extensionality of truth conditions.
      ?

      Think about whether this reason is strong or weak

    • 2.An infinitely constructed disjunction listing E's true-worlds may be logically well-formed yet fail to capture the modal ground of E's necessity.
      ?

      Think about whether this reason is strong or weak

    • 3.If D's disjuncts are enumerated extensionally rather than derived from E's intension, D and E can diverge in counterfactual scenarios, defeating entailment.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Carnap and later Fine distinguish logical entailment from mere truth-functional consequence, requiring the latter preserve meaning, not just truth values.
      ?

      Think about whether this reason is strong or weak

    • 2.A disjunction enumerating every world where E holds is hyperintensionally distinct from E, as shown by Finean essence-based semantics.
      ?

      Think about whether this reason is strong or weak

    • 3.Two sentences with identical truth sets can diverge in what they entail if their constitutive grounds differ, so D need not inherit E's entailment profile.
      ?

      Think about whether this reason is strong or weak

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

    Next step

    Based on where you are in your exploration

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

    Topics

    Philosophy of LanguageModality & Possibility

    Related

    A disjunction enumerating every world where E holds is hyperintensionally distin...An infinitely constructed disjunction listing E's true-worlds may be logically w...Carnap and later Fine distinguish logical entailment from mere truth-functional ...Disjunction D contains a disjunct describing every world where E is true
    +5 moreShow less
    Entailment requires necessary truth-preservation across all possible worlds, not...If D's disjuncts are enumerated extensionally rather than derived from E's inten...If E is true, then one of the disjuncts of D must be trueTherefore D is true whenever E is trueTwo sentences with identical truth sets can diverge in what they entail if their...

    Similar

    Instancing a disjunct entails instancing any associated disjunctions83%In a real (exclusive and exhaustive) disjunction, the affirmation of o...78%Disjunction D contains a disjunct describing every world where E is tr...78%If D is true, then one of its disjuncts Dn must be true78%

    Source

    AI-extracted1/3 agreementValid
    SEP: moral-epistemology-a-priori
    View source passageHide passage
    Now, although it is an odd sentence—a very long disjunction—there is an important fact about D: it entails E and it is entailed by E. If E is true, then one of the disjuncts of D must be true, because D contains a disjunct describing every world where E is true; hence, D will be true as well. On the other hand, if D is true, then one of its disjuncts must be true, say it is Dn. E could not be false in a world described by Dn because Dn is included as a disjunct of D. Hence, if E were false in a
    Extraction notes

    Validity: Extracted via Max plan + API grounding/validity checks

    Details

    Type
    claim
    Perspectives
    3 (1 for, 2 against)
    Edits
    1 edit