Interpretations, according to Tarski

Abstract

The notion of interpretation is absolutely fundamental to mathematical logic and the foundations of mathematics. It is also crucial for the foundations and philosophy of science - although here some crucial conditions generally need to be imposed; e.g., “the interpretation leaves the mathematical concepts unchanged”.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The nature of numbers in the light of a broader interpretation of reality.I. E. Arepiev - 2014 - Liberal Arts in Russia 3 (4):229--236.
Truth & assertibility.Nik Weaver - 2015 - New Jersey: World Scientific.
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.) - 2019 - Cham: Springer Verlag.
Correction: From Turing to Peirce. A semiotic interpretation of computation.Luca M. Possati - 2023 - Foundations of Science 28 (4):1175-1175.
Robinson Abraham. Ordered structures and related concepts. Mathematical interpretation of formai systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, 1955, pp. 51–56. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):170-170.
Harvey Friedman's Research on the Foundations of Mathematics.Harvey Friedman & L. A. Harrington - 1985
Visual Thinking and the Socio-Historical Aspects of Richard Dedekind’s Contributions to the Foundations of Mathematics.Karolina Tytko - 2023 - Philosophy of Science 31:1-26.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
A Tour Through Mathematical Logic.Robert S. Wolf - 2004 - Washington, DC, USA: Cambridge University Press.
Feferman on Foundations: Logic, Mathematics, Philosophy.Gerhard Jäger & Wilfried Sieg (eds.) - 2017 - Cham: Springer.

Analytics

Added to PP
2009-01-28

Downloads
208 (#194,128)

6 months
207 (#48,741)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

CERTIFIED $ \Sigma _1$ -SENTENCES.Taishi Kurahashi & Albert Visser - forthcoming - Journal of Symbolic Logic:1-29.
The limitless first incompleteness theorem.Yong Cheng - 2025 - Logic Journal of the IGPL 33 (3).
On a Question of Krajewski's.Fedor Pakhomov & Albert Visser - 2019 - Journal of Symbolic Logic 84 (1):343-358.
There Are No Minimal Effectively Inseparable Theories.Yong Cheng - 2023 - Notre Dame Journal of Formal Logic 64 (4):425-439.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references