REFERENCES
Bach, C.: 1995, Tarski and the Concept of Logical Consequence, Ph.D. Dissertation, University of California, Berkeley, CA.
Black, M.:1948, ‘Semantic Definition of Truth’ Analysis 8, 49–63; reprinted in M. Black, Language and Philosophy Studies in Method, Cornell University Press, pp. 89–107.
Buss, S.: 1998, ‘Proof Theory of Arithmetic’ in S. Buss (ed.), Handbook of Truth Theory, Elsevier, Amsterdam, pp. 77–147.
Cantini, A.: 1996, Logical Framework for Truth and Abstraction: An Axiomatic Study, Elsevier, Amsterdam.
Etchemendy, J.: 1990, The Concept of Logical Consequence, Harvard University Press, Cambridge, MA.
Feferman, S.: 1993, ‘What Rests on What?’ The Proof-Theoretic Analysis of Mathematics#x2019;, in J. Czermak (ed.), Philosophy of Mathematics Proceedings of the 15th international Wittgenstein Symposium, Part I, Hölder-PichlerTempsky, Wien, pp. 147–171; reprinted in S. Feferman, In the Light of Logic, Oxford University Press, New York, 1998, pp. 187–208.
Field, H.: 1972, ‘Tarski's Theory of Truth’ The Journal of Philosophy 69, 347–375.
Garcia-Carpintero, M.: 1997, ‘On an Incorrect Understanding of Tarskian Truth Definitions’ in E. Villaneuva (ed.), Truth (Philosophical Issues 8), Ridgeview, Atascadero, CA, pp. 45–56.
Gjelsvik, O.: 1995, ‘On Convention T and Whether a Tarskian Truth-Definition Catches Hold of the Classical Conception of Truth’ in J. Hill and P. Kot'átko (eds), Karlovy Vary Studies in Reference arid Meaning, Filosofia, Praha, pp. 343–364.
Goméz-Torrente, M.: 1996, ‘Tarski on Logical Consequence’ Notre Dame Journal of Formal Logic 37,125–151.
Goméz-Torrente, M.: 1998, ‘On a Fallacy Attributed to Tarski’ History and Philosophy of Logic 19, 227–234.
Goméz-Torrente, M.: 1999, ‘Logical Truth and Tarskian Logical Truth’ Synthese 117, 375–408.
Grandy, R.: 1977, Advanced Logic for Applications, D. Reidel, Dordrecht.
Grzegorczyk, A.: 1974, An Outline of Mathematical Logic Fundamental Results and Notions Explained with All Details, D. Reidel, Dordrecht.
Grzegorczyk, A.: 1997, Logic-A Human Affair, Scholar, Warszawa.
Haack, S.: 1978, Philosophy of Logics, Cambridge University Press, Cambridge.
Halbach, V: 1996, Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin.
Halbach, V.: 1998, Truth and Reduction (preprint), Universität, Konstanz.
Halbach, V: 1999, ‘Conservative Theories of Classical Truth’ Studia Logica 62, 352–370.
Kirkham, R. L.: 1992, Theories of Truth A Critical Introduction, TheMIT Press, CA.
Kokoszyńska, M.: 1936, ‘Logiczna składnia j¸ezyka, semantyka I logika wiedzy’ (Logical Syntax of Language, Semantics and Logic of Science), Przegl¸ad Filozoficzny 39, 38–49.
Kokoszyńska, M.: 1936a, ‘W sprawie wzgldności i bezwgledności prawdy (On Relativity and Absoluteness of Truth), Przeglad Filozoficzny 39, 424–425.
Krajewski, 5.: 1994, ‘Tarski's Definititon of Truth and Mathematics’ in B. Twardowski and J. Woleński (eds), Sixty Years of Tarski's Definition of Truth Proceedings of the Conference Held in Kraków, April 9–10 1993, Philed, Kraków, pp. 16–33.
Lindström, P.: 1997, Aspects of Incompleteness, Springer Verlag, Berlin.
Moreno, L. F: 1992, Wahrheit und Korrespondenz bei Tarski Eme Untersuchung der Wahrheitstheorie Tarski als Korrespondenztheorie der Wahrheit, Köningshausen und Neumann, Würzburg.
Murawski, R.: 1999, Recursive Functions and Metamathematics Problems of Completeness and Decidability, Gödel's Theorems, Kluwer, Dordrecht.
Niiniluoto, I.: 1994, ‘Defending Tarski against His Critics’ in B. Twardowski and J. Woleński (eds.), Sixty Years of Tarski's Definition of Truth Proceedings of the Conference Held in Kraków, April 9–10 1993, Philed, Kraków, pp. 48–68.
Niiniluoto, I.: 1999, ‘Tarskian Truth as Correspondence-Replies to Some Objections’ in J. Peregrin (ed.), Truth and Its Nature (if any), Kluwer, Dordrecht, pp. 91–104.
Putnam, H.: 1975, ‘Do True Assertions Correspond to Reality’ in H. Putnam, Mind, Language and Reality, Philosophical Papers, vol. 2, Cambridge University Press, Cambridge, pp. 70–84.
Putnam, H.: 1983, ‘On Truth’ in Ch. Parsons and R. Schwartz (eds), How Many Questions? Essays in Honor of Sidney Morgenbesser, Hackett, Indianapolis, pp. 55–56; reprinted in H. Putnam, Words & Life, edited by J. Conant, Harvard University Press, Cambridge, MA, 1994, pp. 315–329.
Putnam, H.: 1985–1986, ‘On Comparison of Something with Something Else’ New Literary History 17, 61–79; reprinted in H. Putnam, Words & Life, edited by J. Conant, Harvard University Press, Cambridge, MA, 1994, pp. 330–350.
Ray, G.: 1996, ‘Logical Consequence: A Defence of Tarski’ Journal of Philosophical Logic 26, 617–677.
Rosser, B. J. and H. Wang: 1950, ‘Non-standard Models for Formal Logics’ The Journal of Symbolic Logic 19, 113–129.
Schurz, G.: 1994, ‘Logical Truth: Comments on Etchemendy's Critique of Tarski’ in B. Twardowski and J. Woleński (eds), Sixty Years of Tarski's Definition of Truth Proceedings of the Conference Held in Kraków, April 9–10, 1993, Philed, Kraków, pp. 78–95.
Shelah, 5.1994, Cardinal Arithmetic, Oxford University Press, New York.
Sher, G.:1996, ‘Did Tarski Commit ‘Tarski's Fallacy’ Journal of Symbolic Logic 61, 653–686.
Sher, G.: 1998, ‘On the Possibility of a Substantive Theory of Truth’ Synthese 117, 133–172.
Simpson, S. G.: 1999, Subsystems of Second Order Arithmetic, Springer Verlag, Berlin.
Smorynski, C.: 1977, ‘The Incompleteness Theorems’ in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, pp. 821–865.
Smullyan, A.: 1992, Gödel's Incompleteness Theorems, Oxford University Press, New York.
Soames, S.: 1999, Understanding Truth, Oxford University Press, New York.
Stegmüller, W.: 1957, Das Wahrheitsproblem und die Idee der Semantik Eine Einführung in die Theorien von A. Tarski und R. carnap, Springer Verlag, Wien.
Tarski, A.: 1933, Pojęcie prawdy w jęykach nauk dedukcyjnych (The Concept of Truth in Languages of Deductive Sciences), Towarzystwo Naukowe Warszawskie, Warszawa.
Tarski, A.: 1936, ‘Das Wahrheitsbegriff in formalisierten Sprachen’ Studia Philosophica I, 261–405; English translation by J. H. Woodger, in A. Tarski, Logic, Semantics, Metamathematics Papers from 1923 to 1938, Clarendon Press, Oxford 1956, pp. 52–278, 2nd ed., edited by J. Corcoran, Hackett, Indianapolis, 1984.
Tarski, A.: 1936a, '[Głos w dyskusji]’ (Contribution to Discussion), Przegl¸ad Filozoficzny 39, 425; reprinted in A. Tarski, Collected Papers, edited by S. Givant and R. McKenzie, vol. 4, Birkkäuser Verlag, Basel, 1986, p. 701.
Tarski, A.: 1936b, ‘Grundlegung der wissenschaftlichen Semantik’ Actes du Congrés International de Philosophic Scientfique, Paris 1935, vol. 3, Hermann, Paris, pp. 50–57; English translated by I. H. Woodger, in A. Tarski, Logic, Semantics, Metamathematics Papers from 1923 to 1938, Clarendon Press, Oxford, 1956, pp. 401–408, 2nd ed., edited by J. Corcoran, Hackett, Indianapolis, 1984.
Tarski, A.: 1944, ‘The Semantic Conception of Truth and the Foundations of Semantics’ Philosophy and Phenomenological Research 4, 341–376; reprinted in A. Tarski, Collected Papers, edited by S. R. Givant and R. N. McKenzie, vol. 2, 1935–1944, Birkäuser, Basel, 1986, pp. 661–699.
Tarski, A.: 1969, ‘Truth and Proof’ L'Age de Science 1, 279–301; reprinted in A. Tarski, Collected Papers, edited by S. Givant and R. McKenzie, vol. 4, Birkkäuser Verlag, Basel, 1986, pp. 401–423.
Wang, H.: 1952, ‘Truth Definitions and Consistency Proofs’ Transactions of American Mathematical Society 73, 243–275; reprinted in H. Wang, A Survey of Mathematical Logic, North-Holland, Amsterdam, 1964, pp. 443–477.
Woleńki, J.: 1993, ‘Two Concepts of Correspondence’ From the Logical Point of View 3, 42–55.
Woleński, J.: 1994, ‘Logic and Falsity’ in T. Childers and O. Majer, Logica'94 Proceedings of the 8th International Symposium, Filosofia, Praha, pp. 95–105.
Woleński, J.: 1999, ‘Semantic Conception of Truth as a Philosophical Theory’ in J. Peregrin (ed.), Truth and Its Nature (if any), Kluwer, Dordrecht, pp. 51–65.
Woleński, J.: 1999a, ‘Logic from a Metalogical Point of View’ in F. Orłowska, Logic at Work Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag, Berlin, pp. 25–35.
Woleński, J.: 2000, Truth and Semantics, Kluwer, Dordrecht (forthcoming).
Woleński, J. and P. M. Simons: 1989, ‘De Veritate: Austro-Polish Contributions to Truth from Brentano to Tarski’ in K. Szaniawski (ed.), The Lvov-Warsaw School and the Vienna Circle, Kluwer, Dodrecht, 1989, pp. 390–442.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
woleński, J. In Defense of the Semantic Definition of Truth. Synthese 126, 67–90 (2001). https://doi.org/10.1023/A:1005243814579
Issue Date:
DOI: https://doi.org/10.1023/A:1005243814579