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
    Dana Scott — Carmelics
    Thinkers/Dana Scott
    Dana Scott

    Dana Scott

    contemporaryMathematical Logic / Analytic Philosophy

    b. 1932

    Dana Scott (born 1932) is an American logician and computer scientist whose work spans mathematical logic, modal logic, and the foundations of programming languages. He is best known for co-developing Scott-Montague semantics for modal logic and for founding domain theory, which provided the first rigorous mathematical semantics for the lambda calculus. His contributions have been foundational to both formal philosophy and theoretical computer science.

    WWikipedia

    Notable Achievements

    1

    Co-developed Scott-Montague possible-worlds semantics for modal logic

    2

    Founded domain theory, enabling denotational semantics for programming languages

    3

    Proved (with Michael Rabin) the undecidability of various automata-theoretic problems

    4

    Developed continuous lattices and the Scott topology

    5

    Awarded the Turing Award (1976) for contributions to automata theory and programming language semantics

    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

    Philosophy of Language

    claim

    The shared denotation of sentences (1) and (5) cannot be the propositions expressed by each sentence

    At a Glance

    Ideas

    2

    Topics

    3

    Era

    contemporary

    Tradition

    Mathematical Logic / Analytic Philosophy

    Topic Influence

    Free Will & Foreknowledge1
    Modality & Possibility1
    Philosophy of Language1

    Related Thinkers

    Immanuel Kant3 sharedDavid Lewis3 sharedAristotle3 sharedDavid Hume3 sharedPlato3 sharedLudwig Wittgenstein3 sharedRudolf Carnap3 shared

    Dive Deeper

    Explore Free Will & Foreknowledge→See Modality & Possibility→
    Isaac Newton
    3 shared