Pragmatic Side Effects
Jiri Marsik (SEMAGRAMME), Maxime Amblard (SEMAGRAMME)

TL;DR
This paper explores the parallels between pragmatic phenomena in natural language semantics and side effects in programming languages, proposing a formal framework that accounts for these effects through type shifts.
Contribution
It introduces a novel approach linking pragmatic phenomena to computational side effects using type theory, enhancing the formal semantics of natural language.
Findings
Establishes a formal analogy between pragmatics and programming side effects.
Proposes a type-theoretic model for pragmatic phenomena.
Demonstrates how side effect concepts can explain pragmatic language features.
Abstract
In the quest to give a formal compositional semantics to natural languages, semanticists have started turning their attention to phenomena that have been also considered as parts of pragmatics (e.g., discourse anaphora and presupposition projection). To account for these phenomena, the very kinds of meanings assigned to words and phrases are often revisited. To be more specific, in the prevalent paradigm of modeling natural language denotations using the simply-typed lambda calculus (higher-order logic) this means revisiting the types of denotations assigned to individual parts of speech. However, the lambda calculus also serves as a fundamental theory of computation, and in the study of computation, similar type shifts have been employed to give a meaning to side effects. Side effects in programming languages correspond to actions that go beyond the lexical scope of an expression (a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Logic, Reasoning, and Knowledge · Natural Language Processing Techniques
