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
    Gordon Plotkin — Carmelics
    Thinkers/Gordon Plotkin
    GP

    Gordon Plotkin

    contemporaryMathematical Logic, Theoretical Computer Science, Formal Semantics

    b. 1946

    Gordon Plotkin (born 1946) is a British computer scientist and logician at the University of Edinburgh, renowned for foundational contributions to the theory of programming languages and formal semantics. His work bridges mathematical logic and computer science, with lasting influence on how programming language meaning is rigorously defined. He is a Fellow of the Royal Society and recipient of the Royal Society Wolfson Research Merit Award.

    WWikipedia

    Notable Achievements

    1

    Developed Structural Operational Semantics (SOS), a foundational framework for defining programming language behavior

    2

    Major contributions to domain theory and denotational semantics of programming languages

    3

    Pioneered the theory of algebraic effects and handlers in programming language design

    4

    Contributed to LCF (Logic for Computable Functions) alongside Robin Milner

    5

    Foundational work on the lambda calculus, type theory, and continuations

    Positions & Arguments(1)

    Philosophy of Language

    claim

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

    At a Glance

    Ideas

    1

    Topics

    1

    Era

    contemporary

    Tradition

    Mathematical Logic, Theoretical Computer Science, Formal Semantics

    Topic Influence

    Philosophy of Language1

    Related Thinkers

    Gotthold Ephraim Lessing1 sharedJohann Gottfried Herder1 sharedImmanuel Kant1 sharedAristotle1 sharedLudwig Wittgenstein1 sharedBertrand Russell1 sharedDavid Hume1 sharedF. Schlegel1 shared

    Dive Deeper

    Explore Philosophy of Language→