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
    J. Michael Dunn — Carmelics
    Thinkers/J. Michael Dunn
    JM

    J. Michael Dunn

    contemporaryAnalytic Philosophy, Formal Logic, Relevant Logic

    1941 – 2021

    J. Michael Dunn (1941–2021) was an American logician and philosopher at Indiana University, widely recognized as a foundational figure in relevant logic and non-classical logics. He developed the Belnap-Dunn four-valued logic (FDE) and made major contributions to the semantic foundations of substructural and paraconsistent logics. His work bridged formal logic, computer science, and metaphysics.

    WWikipediaSEPStanford Encyclopedia

    Notable Achievements

    1

    Co-developed the Belnap-Dunn four-valued logic (First Degree Entailment, FDE), foundational to paraconsistent and relevance logic

    2

    Provided influential relational semantics ('star semantics') for relevant logic

    3

    Developed gaggle theory, generalizing residuation and Galois connections across substructural logics

    4

    Co-authored foundational work on entailment with Anderson and Belnap

    5

    Contributed to information-based interpretations of logical connectives

    Positions & Arguments(1)

    Philosophy of Language

    claim

    There is no viable conception of vector properties on which vector properties are both necessarily extrinsic and capable of being fundamental

    Modality & Possibility

    claim

    There is no viable conception of vector properties on which vector properties are both necessarily extrinsic and capable of being fundamental

    At a Glance

    Ideas

    1

    Topics

    2

    Era

    contemporary

    Tradition

    Analytic Philosophy, Formal Logic, Relevant Logic

    Topic Influence

    Modality & Possibility1
    Philosophy of Language1

    Related Thinkers

    Immanuel Kant2 sharedDavid Lewis2 sharedBertrand Russell2 sharedAristotle2 sharedPlato2 sharedvan Fraassen2 sharedDavid Hume2 sharedLudwig Wittgenstein2 shared

    Dive Deeper

    Explore Modality & Possibility→See Philosophy of Language→