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

    It is not the case that The inference 'If Socrates is a human being, Socrates is an animal' holds of necessity

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

    Reasons For

    2 perspectives
    Reason for 1 of 2
    ?
    • 1.Necessary inferential connections depend on conceptual containment, but 'animal' is not analytically contained in the concept 'human being' without prior biological taxonomy.
      ?

      Think about whether this reason is strong or weak

    • 2.Abelard's own intentionalist semantics grounds necessity in mental content, yet the sense of 'human being' can be grasped without grasping 'animal' (as pre-Aristotelian speakers demonstrate).
      ?

      Think about whether this reason is strong or weak

    • 3.If the inference holds of necessity, it should be knowable a priori, but the species-genus relationship is an empirical discovery, not a logical truth—undermining the modal claim.
      ?

      Think about whether this reason is strong or weak

    Reason for 2 of 2
    ?
    • 1.Kripke's distinction between metaphysical and epistemic necessity shows that even genuine essential connections need not ground the kind of strict inferential necessity Abelard claims.
      ?

      Think about whether this reason is strong or weak

    • 2.A world where 'human being' picks out a non-animal natural kind (e.g., a Cartesian thinking substance without animality) is conceivable, placing the inference in the category of a posteriori necessity rather than strict logical compulsion.
      ?

      Think about whether this reason is strong or weak

    • 3.Abelard's criterion—that the antecedent's sense 'compels' the consequent—conflates semantic entailment with metaphysical necessity, which are independently variable.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Human beings are a kind of animal (a species-genus relationship)
      ?

      Think about whether this reason is strong or weak

    • 2.The sense of the antecedent compels that of the consequent when there is a necessary metaphysical connection between the terms
      ?

      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.
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42