Skip to ContentSkip to Navigation
About us Faculty of Philosophy Organization News & Events News Events

Grolog Colloquium: Gil Sagi

When:Th 09-04-2015 15:15 - 17:00
Where:Faculty of Philosophy, Room Beta

Lecture by Gil Sagi (MCMP - LMU Munich) organized by Grolog

Tarski has characterized logical notions as invariant under permutations of the domain. Tarski proposed this characterization as an extension of Klein’s Erlanger Program, where various geometrical disciplines are characterized by invariance under certain kinds of transformations. The idea was that logical notions are more general than any of the geometrical notions, and are thus invariant under the most general class of transformations. In this paper, I take Tarski’s logical notions...(continue reading...)