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
    Kripke's distinction between metaphysical and epistemic n... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The inference 'If Socrates is a human being, Socrates is an animal' holds of necessity

    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.

    ?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

    Abelard
    # Abelard Peter Abelard (1079–1142) was a French philosopher and theologian who became famous for his brilliant teaching at the University of Paris and for his tragic love affair with Héloïse, a student who became a nun. He developed new ways of thinking about logic and reasoning, and challenged church authorities by questioning whether blind faith alone was enough—he believed people should use their minds to understand religious beliefs. His life and ideas made him one of the most influential and controversial thinkers of the medieval period.
    Essential connections(as connections that may be metaphysically necessary)
    Deep, necessary links between things—the kind of connections that make something what it fundamentally is (like how being a shape is essential to a triangle).
    Inferential necessity(as a type of necessity that Abelard claimed)
    When you *have* to reach a conclusion if you accept certain starting points—the kind of strict logical requirement where the conclusion is forced by the premises.
    Kripke
    Kripke refers to Saul Kripke, an influential American philosopher and logician known for revolutionizing how we think about names, meaning, and possibility. He argued that names like "Albert Einstein" refer directly to the actual person rather than through descriptions of their properties, which changed philosophy fundamentally. His work also introduced "possible worlds" as a way to understand concepts like necessity and possibility, making him one of the most important philosophers of the 20th century.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    epistemic necessity(Distinguished from other kinds of necessity in formal epistemology)
    The necessity of things that must be true given what one knows.
    metaphysical necessity(Distinguishing types of necessity)
    A property of things that must be the case but not purely by logical form — true in all possible worlds without being logical tautologies

    Connections

    2 topics

    Modality & Possibility1 linkedPhilosophy of Language1 linked

    Related

    The inference 'If Socrates is a human being, Socrates is an animal' holds of nec...

    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