Tarski’s Practice and Philosophy: Between Formalism and Pragmatism

Hourya Benis Sinaceur (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

Considering works by Tarski, the author claims that Tarski’s fundamental aim was to establish formal semantics as a new branch of mathematics.

Mots clés: Tarski; mathematics

Domaines: Histoire, Philosophie et Sociologie des sciences

Hourya Benis Sinaceur. Tarski’s Practice and Philosophy: Between Formalism and Pragmatism: What has Become of Them?. Sten Lindström; Erik Palmgren; Krister Segerberg; Viggo Stoltenberg-Hansen. Logicism, Intuitionism, and Formalism, Springer, 2009, 978-1-4020-8926-8 16. ⟨halshs-01122267⟩