The history of the use of ⟦.⟧-notation in natural language semantics

Research output: Contribution to journalArticlepeer-review


In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't make use of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question.
Original languageEnglish
Article number12
JournalSemantics and Pragmatics
Issue number12
Early online date2016
Publication statusPublished - 2016


  • denotation brackets
  • semantic notation

Fingerprint Dive into the research topics of 'The history of the use of ⟦.⟧-notation in natural language semantics'. Together they form a unique fingerprint.

Cite this