Hannes Leitgeb – On the Logic of Vector Space Models

Logic Supergroup — Online Colloquium, May 8, 2020 Hannes Leitgeb (MCMP, Munich) – On the Logic of Vector Space Models This talk will introduce a new logical system in which formulas represent “effects“ (e.g. of argumentation), such that these “effects“ correspond formally to vectors. In a slogan: content is a vector. The logic involves a deductive system, a semantics with an appropriate notion of logical consequence, and extensions to similarity, inductive logic, and be