Event Semantics: Formal Representation of Eventualities

Graduate Depth 66 in the knowledge graph I know this Set as goal
Unlocks 79 downstream topics
semantics events formalism

Core Idea

Event semantics treats verbs as predicates over events, not just propositions. Formalized by quantifying over event variables: 'John ran' is ∃e[run(e) ∧ agent(e, john)]. This naturally captures adverbial modification and explains patterns in passivization and nominalization.

Explainer

From your work on semantic types and composition, you know how to build the meaning of a sentence by combining types: a transitive verb is a function from individuals to properties, and applying it to arguments yields a proposition. That approach works cleanly for simple subject-predicate sentences. But it encounters problems as soon as you add adverbs. In the Davidsonian tradition, "John ran quickly in the park" should entail "John ran" — if you strip away the adverbs, the core event persists. In a purely propositional semantics, "ran(john)" and "ran-quickly-in-the-park(john)" are completely separate predicates with no logical relationship. You cannot derive one from the other. Event semantics solves this by introducing a new argument slot — the event variable — into the logical representation of verbs.

The Davidsonian analysis reanalyzes verbs as relations that include an event participant. Instead of "ran(john)" as a two-place predicate, the logical form becomes ∃e[run(e) ∧ agent(e, john)]: there exists an event *e* such that *e* is a running event and John is the agent of *e*. Adverbs become predicates over the same event variable, conjoined to the main predication: "John ran quickly" → ∃e[run(e) ∧ agent(e, john) ∧ quick(e)]. Now the entailment falls out automatically: if ∃e[run(e) ∧ agent(e, john) ∧ quick(e)] is true, then ∃e[run(e) ∧ agent(e, john)] is also true, because you simply drop the conjunct. Adverbs are existential statements about the same event, not modifications of the predicate itself.

The neo-Davidsonian extension separates thematic roles entirely from the verb's argument structure. In the original Davidson, "John saw Mary" might still embed the agent and patient directly. In the neo-Davidsonian version, even subject and object are introduced as separate conjuncts: ∃e[see(e) ∧ agent(e, john) ∧ patient(e, mary)]. This modularity pays off for passivization: "Mary was seen" simply drops the agent conjunct and promotes the patient — the event predicate and the patient role remain, and the agent is existentially closed or suppressed. The semantics of passives no longer requires a separate lexical entry; it follows from the structure of the event representation.

The same logic extends to nominalization — turning verbs into nouns ("the destruction," "the running"). Nominalizations denote the same events as their verbal counterparts, allowing sentences like "The destruction was sudden" to be semantically related to "It was destroyed suddenly" via shared event variables. This also accounts for why "John's destruction of the city" and "the city's destruction" both make reference to the same underlying event with the same participants, even though the surface syntax differs. Event semantics provides a unified account of these relationships that predicate-only semantics cannot. As you proceed to more formal analyses of aspect, aktionsart, and causal structure, the event variable will appear at the center of each analysis.

Practice Questions 5 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical Inference and Proof RulesProof Strategies in Discrete MathematicsSoundness and Completeness of Propositional LogicSoundness and Completeness of First-Order LogicCompactness Theorem for First-Order LogicBasic Model TheoryLöwenheim-Skolem TheoremsGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicModal Semantics: Necessity and PossibilityIntensionality and Possible Worlds SemanticsEvent SemanticsEvent Semantics: Formal Representation of Eventualities

Longest path: 67 steps · 407 total prerequisite topics

Prerequisites (2)

Leads To (2)