Finite-State Methods for Sub-Atomic Semantics

Lecturer: 
Topic: 
Language & Computation
Level: 
Advanced
Abstract: 

The course applies Finite-State Methods to Sub-Atomic Semantics, a label from Parsons 1990 for the study of those "formulas of English" that are treated as atomic formulas in most logical investigations of English - including tense and aspect, and predication/modification. Implicit in the idea of sub-atomic semantics is non-atomicity, or put another way, open-endedness. One form of open-endedness is variable adicity, the raison d’etre of events in Davidson 1967. A second form of open-endedness arises from the choice of temporal propositions, changes in which determine a notion of time. We analyze open-endedness uniformly through model-theoretic notions of satisfaction formulated within institutions in the sense of Goguen and Burstall 1992. Models take the form of strings, as in the Buechi-Elgot-Trakhtenbrot representation of regular languages in Monadic Second-Order Logic, and of finite frames, understood as finite automata.

Week: 
Second week
Slot: 
09:00 - 10:30 - slot 1
Room: 
52.119