Abstract
This paper was written with two aims in mind. A large part of it is just an exposition of Tarski’s theory of truth. Philosophers do not agree on how Tarski’s theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.
In this paper I argue that Tarski’s chief concern was the following question. Suppose a language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done?
Many students of Tarski’s conception will find the above exposition inconsistent with their own views on the essence of Tarski’s conception. On the other hand, as it is argued in this paper, the proposed interpretation of Tarski’s ideas allows one to use Tarski’s theory as a fundamental tool for semantic analyses of various theories, factual theories in particular. More specifically, it is argued that Tarski’s theory of truth allows one to clearly oppose a theory meant to be certain deductive system (a set of accepted sentences, say axioms, and a logical machinery for deducing from them new ones) and a theory meant to be a certain semantic system, i.e a set of sentences that serve to communicate some states of affairs and to use that opposition to explicate and occasionally also define the notion of truth.
The opposition in question is of the utmost significance for analyzing some developments in both mathematics and factual sciences. The approach which is concerned with the logical relations between the elements of science such an approach is throughout this paper called analytical is put into question. The growth of science is determined by how well scientific theories are able to account for factual states of affairs.
The intuitive notion of truth applied by the scientists does not necessarily correspond in a straightforward way to its Tarskian counterpart. On the other hand, as is claimed in this paper, the Tarskian notion of truth offers as adequate explication of intuitive notion of truth as possible.
Similar content being viewed by others
References
Barwise, J. and Perry, J. (1983), Situations and Attitudes, Bradford Books — The MIT Press.
Black, M. (1948), ‘The Semantic Definition of Truth’, Analysis, 8, 49–63; reprinted with corrections in Black (1949), 89–107, 251.
Black, M. (1949), Language and Philosophy, Ithaca: Cornell University Press.
Bridgeman, P. W. (1927). The Logic of Modern Physics, New York: Macmillan.
Carnap, Rudolf. (1932), ‘Überwindung der Metaphysic durch Logische Analyse der Sprache,’ Erkenntnis, 2, English transl., 60–81, in Ayer (1959).
Carnap, Rudolf. (1936–37), ‘Testability and Meaning’, Philosophy of Science, 3, 420–68, 4, 1–40.
Carnap, R. (1942), Introduction to Semantics, Cambridge, Massachusetts: Harvard University Press.
Dalla Chiara, M. L. and Toraldo di Francia, G. (1973), ‘A Logical Analysis of Physical Theories,’ Revisita del Nuovo Cimento, 3, 1–20.
Davidson, Donald. (1967), ‘Truth and Meaning,’ Synthese, 17; reprinted in Davidson (1984), 17–36.
Davidson, Donald. (1969), ‘True to the Facts,’ Journal of Philosophy, 66, 748–764; reprinted in Davidson (1984).
Davidson, Donald. (1973), ‘In Defence of Convention T,’ in Davidson (1984), 65–75.
Davidson, Donald. (1984), Inquires into Truth and Interpretation, (reprinted with corrections 1991), Oxford: Clarendon Press.
Davidson, Donald. (1990), ‘The Structure and the Content of Truth,’ The Journal of Philosophy, 87, 279–327.
Devitt, M. (1984), Realism and Truth, Oxford: Blackwell.
Dummett, M. (1978), Truth and Other Enigmas, Cambridge, Massachusetts: Harvard University Press.
Field, H. (1972), ‘Tarski’s Theory of Truth,’ Journal of Philosophy, 69, 347–375.
Field, H. (1986), The Deflationary Conception of Truth, in G., Macdonald, C., Wright, (eds), (1986), Fact, Science and Morality, Oxford: Blackwell, 55–117.
Field, H. (1989), Realism, Meaning and Truth, Oxford: Blackwell.
Frege, G. (1892), ‘Über Sinn und Bedeutung,’ Zeitschrift für Philosophie und philosophische Kritik, 100, 25–40.
Gödel, K. (1929), Über die Vollständigkeit des Logikkalküls (PhD. thesis), Universität Wien, reprinted in Gödel (1986), Collected Works, vol.I, New York: Oxford University Press, s.60-101.
Gödel, K. (1931), ‘Über formal undentscheidbare Sätze der Principia Mathematica und verwandte Systeme I’, Monatshefte für Mathematik und Physik, 38, 173–198.
Grunbaum, A. (1971). ‘Can we Ascertain the Falsity of a Scientific Hypothesis,’ in Mandelbaum (1971).
Haack, S. (1976), ‘Is it True what They say about Tarski?,’ Philosophy, 51, 323–336.
Haack, S. (1978), Philosophy of Logics, Cambridge: Cambridge University Press.
Haack, S. (1993), Evidence and Inquiry, Oxford: Blackwell.
Kitcher, Philip. (1953), The Advancement of Science, Oxford: Oxford University Press.
Kokoszyńska, M. (1951), ‘A Refutation of the Relativism of Truth,’ Studia Philosophica, IV, 93–149.
McKinsey, J.C.C. (1948/49), ‘A New Definition of Truth,” Synthese, 7, 428–433.
Montague, R. (1970), ‘Universal Grammar,’ Theoria, XXXVI, 373–398; reprinted in Montague (1974), 222–246.
Montague, R. (1974), Formal Philosophy, New Haven: Yale University Press.
Newton-Smith, William. (1981), The Rationality of Science. London: Routledge.
Polanyi, Michael. (1958), Personal Knowledge, Chicago: University of Chicago Press.
Popper, Karl R. (1955), ‘A Note on Tarski’s Definition of Truth,’ Mind, 64, 388–391.
Popper, Karl R. (1963), Conjectures and Refutations. Routledge & Kegan Paul. 2nd ed. New York: Basic Books.
Putnam, Hilary. (1973), ‘Meaning and Reference,’ Journal of Philosophy, 70, 699–711.
Putnam, Hilary. (1983), ‘On Truth’, in L., Cauman, I., Levi, Ch., Parsons, R., Schwartz (eds), (1983), How many Questions?, Indianapolis: Hackett.
Putnam, Hilary. (1985), ‘On Comparison of Something with Something Else,’ New Literary History, XVII, 61–79.
Quine, W. V. (1951), ‘Two Dogmas of Empiricism,’ Philosophical Review, 60, 20–43; reprinted in Quine (1953).
Quine, W. V. (1953), From a Logical Point of View, Cambridge, Massachusetts: Harvard University Press.
Quine, W. V. (1990), Pursuit of Truth, Cambridge, Massachusetts: Harvard University Press.
Sellars, W. (1962), ‘Truth and “Correspondence”,’ Journal of Philosophy, 59, 29–56.
Smith, Peter. (1981), Realism and the Progress of Science, Cambridge: Cambridge University Press.
Stenius, E. (1985), ‘The so-called Semantic Definition of Truth,’ in G., Holström, A., Jones (eds), Action, Logic and Social Theory, Helsinki: Societas Philosophica Fennica, 299–313.
Suppes, Patrick. (1967), Set-Theoretical Structures in Science, Stanford: Stanford University.
Tarski, Alfred. (1932), ‘Der Wahrheitsbegriff in den Sprachen der deduktiven Wissenshaften,’ Akademie der Wissenschaften in Wien Anzeiger, LXIX, 23–25.
Tarski, Alfred. (1933), Pojęcie prawdy w językach nauk dedukcyjnych, Warszawa: Prace Towarzystwa Naukowego Warszawskiego. English version: ‘The Semantic Concept of Truth in Formalized Languages,’ in Tarski (1956), 152–278.
Tarski, Alfred. (1936), ‘Der Wahrheitsbegriff in den formalisierten Sprachen,’ Studia Philosophica, I, 261–405; reprinted in Tarski (1986), Collected Papers, vol.1, Basel: Birkhäuser, 51–198.
Tarski, Alfred. (1944), ‘The semantic Conception of Truth and the Foundations of Semantics,’ Philosophy and Phenomenological Research, 4, 341–375; reprinted in Tarski (1986), Collected Papers, vol.2, Basel: Birkhäuser, 661–699.
Tarski, Alfred, (1956), Logics, Semantics, Metamathematics, edited by J. H., Woodger, Oxford: Oxford University Press.
Turner, Jonathan H. (1978), The Structure of Sociological Theory, The Dorsay Press.
Walker, R. (1989), The Coherence Theory of Truth. Realism, Anti-Realism, Idealism, London: Routlege and Kegan Paul.
Van Fraassen, Bas, C. (1980), The Scientific Image, Oxford: Clarendon Press.
Woleński, J. (1989), ‘Brentano’s Criticism of the Correspondence Theory of Truth and Tarski’s Semantic Theory,’ Topoi, 6, 105–110.
Woodward, James. (1989), ‘Data and Phenomena,’ Synthese, 79, 393–472.
Wójcicki, Ryszard. (1979), Topics in the Formal Methodology of Empirical Sciences, D. Reidel (Dordrecht) and Ossolineum (Wrocław).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wójcicki, R. Theories, theoretical models, truth. Found Sci 1, 471–516 (1995). https://doi.org/10.1007/BF00125783
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF00125783