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
    Krister Segerberg — Carmelics
    Thinkers/Krister Segerberg
    KS

    Krister Segerberg

    contemporaryAnalytic Philosophy / Modal Logic

    b. 1936

    Krister Segerberg is a Swedish logician and philosopher best known for his foundational work in modal logic and the logic of action. He has made significant contributions to dynamic logic, deontic logic, and the formal analysis of belief revision and agency.

    WWikipedia

    Notable Achievements

    1

    Pioneered the development of dynamic logic and the logic of action

    2

    Authored influential work on the modal logic of belief revision

    3

    Developed formal frameworks for deontic logic and normative reasoning

    4

    Served as professor at Uppsala University and shaped Scandinavian analytic philosophy

    5

    Contributed foundational results to the semantics of tense and modal operators

    Positions & Arguments

    (2)

    Modality & Possibility

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    Free Will & Foreknowledge

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    Skepticism

    claim

    Plausibility updates in sequential games during actual play differ in interpretation from plausibility updates used in pregame deliberation for Backward Induction.

    Truth & Knowledge

    claim

    Plausibility updates in sequential games during actual play differ in interpretation from plausibility updates used in pregame deliberation for Backward Induction.

    At a Glance

    Ideas

    2

    Topics

    4

    Era

    contemporary

    Tradition

    Analytic Philosophy / Modal Logic

    Topic Influence

    Truth & Knowledge1
    Free Will & Foreknowledge1
    Modality & Possibility1
    Skepticism1

    Related Thinkers

    David Lewis4 sharedImmanuel Kant4 sharedAristotle4 sharedDavid Hume4 sharedPlato4 sharedRudolf Carnap4 sharedIsaac Newton4 shared

    Dive Deeper

    Explore Truth & Knowledge→See Free Will & Foreknowledge→
    Gottfried Wilhelm Leibniz4 shared