<rss version="2.0">
  <channel>
    <title>natural-language on Context may be all you need</title>
    <link>https://matt.thompson.gr/categories/natural-language/</link>
    <description></description>
    
    <language>en</language>
    
    <lastBuildDate>Thu, 13 Aug 2026 13:15:13 +0200</lastBuildDate>
    
    <item>
      <title>[IA Series 12/n] The Grammar of Natural Language — A Term Sheet</title>
      <link>https://matt.thompson.gr/2026/08/13/131513.html</link>
      <pubDate>Thu, 13 Aug 2026 13:15:13 +0200</pubDate>
      
      <guid>http://thompsonson.micro.blog/2026/08/13/131513.html</guid>
      <description>&lt;p&gt;&lt;em&gt;This is a term sheet for the grammar of natural language, in the same spirit as the &lt;a href=&#34;https://matt.thompson.gr/2025/05/16/ia-series-n-intelligent-agents.html&#34;&gt;Intelligent Agents Term Sheet&lt;/a&gt; and the &lt;a href=&#34;https://matt.thompson.gr/2026/08/13/125930.html&#34;&gt;Grammar of Logic&lt;/a&gt;. The core terms come from the standard linguistics literature and Russell and Norvig&amp;rsquo;s &amp;lsquo;Artificial Intelligence: A Modern Approach&amp;rsquo; (Chapter 23).&lt;/em&gt;&lt;/p&gt;
&lt;h2 id=&#34;introduction&#34;&gt;Introduction&lt;/h2&gt;
&lt;p&gt;My interest in meaning goes back to reading the Thesaurus as a kid — grammar didn&amp;rsquo;t interest me much, but meaning did. The agents in this series are natural-language interfaces: they read prompts and write answers in this language. The grammar of logic (Series 11) is how an agent reasons; the grammar of natural language (Series 12) is how it communicates. The LLM agents I build sit exactly on that bridge, so the language they process deserves the same term-sheet treatment as the logic they reason in. This post is deliberately lean — a shared vocabulary, not a textbook.&lt;/p&gt;
&lt;h2 id=&#34;the-grammar--core-terminology&#34;&gt;The Grammar — Core Terminology&lt;/h2&gt;
&lt;h3 id=&#34;morphology--the-shape-of-words&#34;&gt;Morphology — the shape of words&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Morpheme&lt;/strong&gt;: The smallest unit of meaning. A word is built from morphemes.
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Free morpheme&lt;/strong&gt;: Stands alone (&lt;code&gt;run&lt;/code&gt;, &lt;code&gt;book&lt;/code&gt;).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Bound morpheme&lt;/strong&gt;: Attaches to another morpheme (&lt;code&gt;-s&lt;/code&gt;, &lt;code&gt;-ed&lt;/code&gt;, &lt;code&gt;un-&lt;/code&gt;).&lt;/li&gt;
&lt;/ul&gt;
&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Inflection&lt;/strong&gt;: Modifying a word to fit grammar without changing its core meaning — &lt;code&gt;walk&lt;/code&gt; → &lt;code&gt;walked&lt;/code&gt; (tense), &lt;code&gt;cat&lt;/code&gt; → &lt;code&gt;cats&lt;/code&gt; (number). It does not create a new word.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Derivation&lt;/strong&gt;: Building a &lt;em&gt;new&lt;/em&gt; word — &lt;code&gt;run&lt;/code&gt; → &lt;code&gt;runner&lt;/code&gt;, &lt;code&gt;happy&lt;/code&gt; → &lt;code&gt;unhappy&lt;/code&gt;. It can change meaning and category.&lt;/li&gt;
&lt;/ul&gt;
&lt;h3 id=&#34;lexical-categories-parts-of-speech&#34;&gt;Lexical categories (parts of speech)&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Noun (N)&lt;/strong&gt;: Names an entity — &lt;code&gt;agent&lt;/code&gt;, &lt;code&gt;pipeline&lt;/code&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Verb (V)&lt;/strong&gt;: Names an action or state — &lt;code&gt;query&lt;/code&gt;, &lt;code&gt;deploy&lt;/code&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Adjective (Adj)&lt;/strong&gt;: Modifies a noun — &lt;code&gt;observable&lt;/code&gt;, &lt;code&gt;stochastic&lt;/code&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Adverb (Adv)&lt;/strong&gt;: Modifies a verb, adjective, or sentence — &lt;code&gt;quickly&lt;/code&gt;, &lt;code&gt;partially&lt;/code&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Determiner (Det)&lt;/strong&gt;: Marks a noun phrase — &lt;code&gt;the&lt;/code&gt;, &lt;code&gt;a&lt;/code&gt;, &lt;code&gt;this&lt;/code&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Preposition (P)&lt;/strong&gt;: Relates a noun phrase to the rest of the sentence — &lt;code&gt;in&lt;/code&gt;, &lt;code&gt;through&lt;/code&gt;, &lt;code&gt;at&lt;/code&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Pronoun&lt;/strong&gt;: Stands in for a noun phrase — &lt;code&gt;it&lt;/code&gt;, &lt;code&gt;they&lt;/code&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Conjunction&lt;/strong&gt;: Joins constituents — &lt;code&gt;and&lt;/code&gt;, &lt;code&gt;or&lt;/code&gt;, &lt;code&gt;if&lt;/code&gt;.&lt;/li&gt;
&lt;/ul&gt;
&lt;h3 id=&#34;phrases-and-sentences&#34;&gt;Phrases and sentences&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Phrase&lt;/strong&gt;: A group of words functioning as a unit. Named by its head — &lt;strong&gt;noun phrase (NP)&lt;/strong&gt;, &lt;strong&gt;verb phrase (VP)&lt;/strong&gt;, &lt;strong&gt;prepositional phrase (PP)&lt;/strong&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Constituent&lt;/strong&gt;: A word or group of words that behaves as a single unit in the grammar.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Clause&lt;/strong&gt;: A phrase built around a verb. &lt;strong&gt;Independent&lt;/strong&gt; clauses stand alone as sentences; &lt;strong&gt;dependent&lt;/strong&gt; clauses do not.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Sentence (S)&lt;/strong&gt;: An independent clause — a complete unit of the grammar.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Parsing&lt;/strong&gt;: Recovering a sentence&amp;rsquo;s grammatical structure from its word string.&lt;/li&gt;
&lt;/ul&gt;
&lt;h3 id=&#34;grammatical-functions&#34;&gt;Grammatical functions&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Subject&lt;/strong&gt;: The noun phrase a sentence is about; typically the agent of the action.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Object&lt;/strong&gt;: The noun phrase the action is directed at.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Predicate&lt;/strong&gt;: What the sentence says about the subject — the verb and its dependents.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Agreement&lt;/strong&gt;: Grammatical matching between constituents — subject and verb agree in number (&lt;code&gt;the gate is&lt;/code&gt; vs &lt;code&gt;the gates are&lt;/code&gt;).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Case&lt;/strong&gt;: The grammatical role of a noun phrase — &lt;code&gt;I&lt;/code&gt; (subject) vs &lt;code&gt;me&lt;/code&gt; (object).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Tense&lt;/strong&gt;: When the event occurs — past, present, future.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Aspect&lt;/strong&gt;: How the event unfolds in time — progressive, perfective.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Mood&lt;/strong&gt;: The speaker&amp;rsquo;s attitude to the event — indicative, imperative, subjunctive.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Voice&lt;/strong&gt;: How the action relates to its participants — active (&lt;code&gt;the agent queries&lt;/code&gt;), passive (&lt;code&gt;is queried&lt;/code&gt;).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Word order&lt;/strong&gt;: The ordering of subject, verb, and object — English is SVO.&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;the-grammar-stated&#34;&gt;The Grammar, stated&lt;/h2&gt;
&lt;p&gt;The standard first approximation is a &lt;strong&gt;context-free grammar&lt;/strong&gt; of phrase-structure rules:&lt;/p&gt;
&lt;pre tabindex=&#34;0&#34;&gt;&lt;code&gt;S  → NP VP
NP → Det N | Det Adj N | Pronoun | ProperNoun
VP → V NP | V NP PP | V AdvP
PP → P NP
&lt;/code&gt;&lt;/pre&gt;&lt;p&gt;A caveat worth naming: natural language is &lt;em&gt;not&lt;/em&gt; fully context-free — agreement, case, and dependencies leak across the boundaries this grammar draws. The CFG is the workable approximation, not the whole truth.&lt;/p&gt;
&lt;h2 id=&#34;semantics--meaning&#34;&gt;Semantics — Meaning&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Reference&lt;/strong&gt;: What an expression points at in the world — &lt;code&gt;the merge gate&lt;/code&gt; refers to a particular object.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Sense&lt;/strong&gt;: The meaning of an expression independent of what it points at — &lt;code&gt;the morning star&lt;/code&gt; and &lt;code&gt;the evening star&lt;/code&gt; differ in sense but share a reference.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Compositionality&lt;/strong&gt;: The meaning of a whole is a function of the meanings of its parts (Frege&amp;rsquo;s principle).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Semantic roles&lt;/strong&gt;: The parts participants play in an event — &lt;strong&gt;agent&lt;/strong&gt; (does it), &lt;strong&gt;theme&lt;/strong&gt; (undergoes it), &lt;strong&gt;instrument&lt;/strong&gt; (does it with), &lt;strong&gt;recipient&lt;/strong&gt; (receives it).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Lexical semantics&lt;/strong&gt;: Word meaning, organized into relations — &lt;strong&gt;synonymy&lt;/strong&gt; (same meaning), &lt;strong&gt;antonymy&lt;/strong&gt; (opposite), &lt;strong&gt;hyponymy&lt;/strong&gt; (kind-of: &lt;em&gt;deployment&lt;/em&gt; is a hyponym of &lt;em&gt;action&lt;/em&gt;), &lt;strong&gt;meronymy&lt;/strong&gt; (part-of), &lt;strong&gt;polysemy&lt;/strong&gt; (one word, related senses: &lt;em&gt;gate&lt;/em&gt; = the physical object or the decision), &lt;strong&gt;homonymy&lt;/strong&gt; (one word, unrelated senses: &lt;em&gt;bank&lt;/em&gt;).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Distributional semantics&lt;/strong&gt;: The view that meaning is &lt;em&gt;determined by distribution&lt;/em&gt; — a word&amp;rsquo;s meaning is fixed by the contexts in which it occurs. The &lt;a href=&#34;https://en.wikipedia.org/wiki/Distributional_semantics#Distributional_hypothesis&#34;&gt;distributional hypothesis&lt;/a&gt; is due to &lt;a href=&#34;https://doi.org/10.1080/00437956.1954.11659520&#34;&gt;Harris (1954)&lt;/a&gt;; &lt;a href=&#34;https://en.wikipedia.org/wiki/Distributional_semantics&#34;&gt;Firth (1957)&lt;/a&gt; gave its slogan: &lt;em&gt;&amp;ldquo;a word is characterized by the company it keeps.&amp;quot;&lt;/em&gt; Meaning is quantified as vectors over co-occurrence (&lt;a href=&#34;https://en.wikipedia.org/wiki/Latent_semantic_analysis&#34;&gt;LSA&lt;/a&gt;, &lt;a href=&#34;https://en.wikipedia.org/wiki/Word2vec&#34;&gt;word2vec&lt;/a&gt;) — the basis of modern LLM semantics, and the natural-language counterpart of the logic sheet&amp;rsquo;s Determination: where logic&amp;rsquo;s truth is &lt;em&gt;attributed&lt;/em&gt; by a human-chosen model, natural-language meaning is &lt;em&gt;determined&lt;/em&gt; by the distribution of the corpus — learned from usage, not attributed.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Compositional distributional semantics&lt;/strong&gt;: Merging the grammar&amp;rsquo;s compositionality with distributional vectors, so the meaning of a phrase is computed from the meanings of its parts (&lt;a href=&#34;http://www.cs.ox.ac.uk/people/stephen.clark/papers/qai08.pdf&#34;&gt;Clark, Coecke &amp;amp; Sadrzadeh 2008&lt;/a&gt;). The same family as &lt;a href=&#34;http://ftp.icsi.berkeley.edu/ftp/pub/techreports/1991/tr-91-012.pdf&#34;&gt;distributed representations (Rieger 1991)&lt;/a&gt;, where meaning lives spread across many dimensions rather than in one place.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Ambiguity&lt;/strong&gt;: A phrase with more than one meaning.
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Lexical&lt;/strong&gt;: a word has multiple senses.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Structural&lt;/strong&gt;: the grammar permits two structures — &lt;em&gt;&amp;ldquo;the agent sees the man with the telescope&amp;rdquo;&lt;/em&gt; attaches the PP to the object or the verb.&lt;/li&gt;
&lt;/ul&gt;
&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Truth conditions&lt;/strong&gt;: The conditions under which a sentence is true. This is where natural-language meaning meets the logic term sheet: a sentence&amp;rsquo;s truth conditions are &lt;em&gt;determined&lt;/em&gt; by the grammar and &lt;em&gt;attributed&lt;/em&gt; by the reader, exactly as the logic sheet&amp;rsquo;s Determination defines.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Anaphora&lt;/strong&gt;: A word that refers back to an earlier one — &lt;em&gt;&amp;ldquo;the agent finished its run; it then merged.&amp;quot;&lt;/em&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;pragmatics--using-the-grammar&#34;&gt;Pragmatics — Using the Grammar&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Pragmatics&lt;/strong&gt;: What a speaker &lt;em&gt;means&lt;/em&gt; by an utterance, beyond what the sentence literally says.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Utterance&lt;/strong&gt;: A particular use of a sentence in a context.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Context&lt;/strong&gt;: The situation of the utterance — who speaks, to whom, when, and against what shared background.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Speech acts&lt;/strong&gt;: What an utterance &lt;em&gt;does&lt;/em&gt; — &lt;strong&gt;asserting&lt;/strong&gt; (&lt;code&gt;the pipeline is green&lt;/code&gt;), &lt;strong&gt;asking&lt;/strong&gt; (&lt;code&gt;is it green?&lt;/code&gt;), &lt;strong&gt;requesting&lt;/strong&gt; (&lt;code&gt;make it green&lt;/code&gt;), &lt;strong&gt;promising&lt;/strong&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Implicature&lt;/strong&gt;: What is communicated beyond what is said — &lt;em&gt;&amp;ldquo;the gate is open&amp;rdquo;&lt;/em&gt; can imply &amp;ldquo;you may go,&amp;rdquo; without stating it.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Presupposition&lt;/strong&gt;: What an utterance takes for granted — &lt;em&gt;&amp;ldquo;the merge failed&amp;rdquo;&lt;/em&gt; presupposes a merge existed.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Deixis&lt;/strong&gt;: Meaning that depends on the context of utterance — &lt;em&gt;I&lt;/em&gt;, &lt;em&gt;you&lt;/em&gt;, &lt;em&gt;here&lt;/em&gt;, &lt;em&gt;now&lt;/em&gt;, &lt;em&gt;this&lt;/em&gt;.&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Discourse&lt;/strong&gt;: A sequence of utterances — the level above the sentence, where anaphora, coherence, and topic live.&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;closing&#34;&gt;Closing&lt;/h2&gt;
&lt;p&gt;Logic is how the agent reasons; natural language is how it communicates; the ubiquitous language of the ontology work is the shared vocabulary expressed in this grammar. The LLM sits on that bridge — parsing the natural language into meaning, and generating natural language that carries it back. This term sheet names the pieces of that interface so the series can describe it precisely.&lt;/p&gt;
</description>
    </item>
    
  </channel>
</rss>