Grolog Colloquium: Gil Sagi

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...)