Paul Lorenzen introduced an approach to formal semantics named for these events that assesses the truth of a sentence in first-order logic via a tuple and two people typically named Eloise and Abelard. For 10 points each:
[10m] Name these events that another philosopher cited as sharing “family resemblances.” That philosopher coined a type of these events exemplified by one involving a builder, an assistant, and words like “slab.”
ANSWER: games [accept language-games or Sprachspiel] (The latter philosopher is Ludwig Wittgenstein.)
[10h] A logician from this country pioneered game-theoretic semantics and developed epistemic logic in the book Knowledge and Belief. The inventor of deontic logic, G. H. von Wright, was from this country.
ANSWER: Finland [or Suomi; or Republic of Finland; or Suomen tasavalta; or Republiken Finland] (The first logician is Jaakko Hintikka.)
[10e] In a semantic game, the roles of the Verifier and Falsifier essentially swap if a formula has this operation, which for a proposition P is often written “tilde P” or “exclamation point P.” This operation flips truth values.
ANSWER: negation [or word forms like negating; or “not P”; or complementation; or inverse or inversion]
<TM, Philosophy>