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
    Richard Montague — Carmelics
    Thinkers/Richard Montague
    Richard Montague

    Richard Montague

    modernAnalytic Philosophy, Formal Semantics

    1930 – 1971

    Richard Montague (1930–1971) was an American logician and philosopher of language at UCLA, best known for developing Montague Grammar—a formal semantic framework demonstrating that natural language could be analyzed with the same rigor as formal logical languages. A student of Alfred Tarski, he bridged mathematical logic, set theory, and linguistics, producing foundational work in intensional logic and model-theoretic semantics. His career was cut short by his murder in 1971, leaving behind a compact but enormously influential body of work.

    WWikipediaSEPStanford Encyclopedia

    Notable Achievements

    1

    Developed Montague Grammar, establishing that natural language semantics can be treated with formal logical precision

    2

    Published 'The Proper Treatment of Quantification in Ordinary English' (PTQ), a landmark in formal linguistics

    3

    Extended intensional logic to account for propositional attitudes and modal contexts in natural language

    4

    Contributed to universal algebra and set theory under Alfred Tarski at Berkeley

    5

    Demonstrated the inadequacy of syntactic approaches to meaning, influencing generations of formal semanticists

    Positions & Arguments(3)

    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

    Discourse markers should be used appropriately in text generation to enhance coherence

    Skepticism

    claim

    Katz's argument by elimination for platonism fails

    Truth & Knowledge

    claim

    Katz's argument by elimination for platonism fails

    At a Glance

    Ideas

    3

    Topics

    5

    Era

    modern

    Tradition

    Analytic Philosophy, Formal Semantics

    Topic Influence

    Truth & Knowledge1
    Free Will & Foreknowledge1
    Modality & Possibility1
    Philosophy of Language1
    Skepticism1

    Related Thinkers

    David Lewis5 sharedImmanuel Kant5 sharedAristotle5 sharedDavid Hume5 sharedPlato5 sharedRudolf Carnap5 sharedIsaac Newton5 shared

    Dive Deeper

    Explore Truth & Knowledge→See Free Will & Foreknowledge→
    John Locke5 shared