메뉴 건너뛰기




Volumn 59, Issue 234, 2005, Pages 459-490

Gödel, Tarski and truth

Author keywords

[No Author keywords available]

Indexed keywords


EID: 60950335245     PISSN: 00488143     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review
Times cited : (4)

References (42)
  • 3
    • 34347183869 scopus 로고
    • Die Antinomien und die Unvollständingkeit der Mathematik
    • CARNAP, R. 1934, "Die Antinomien und die Unvollständingkeit der Mathematik", Monatshefte für Mathematik und Physik 41, PP. 263-284.
    • (1934) Monatshefte für Mathematik und Physik , vol.41 , pp. 263-284
    • CARNAP, R.1
  • 7
    • 0012220097 scopus 로고
    • Kurt Gödel: Conviction and Caution
    • repr. in Feferman 1998, pp. 150-164
    • FEFERMAN, S. 1984, "Kurt Gödel: Conviction and Caution", Philosophia Naturalis 21, pp. 546-562; repr. in Feferman 1998, pp. 150-164.
    • (1984) Philosophia Naturalis , vol.21 , pp. 546-562
    • FEFERMAN, S.1
  • 9
    • 84866498425 scopus 로고    scopus 로고
    • Tarski and Gödel: Between the Lines
    • FEFERMAN, S. 1999, "Tarski and Gödel: Between the Lines", in Woleński and Köhler 1999, pp. 53-63.
    • (1999) Woleński and Köhler 1999 , pp. 53-63
    • FEFERMAN, S.1
  • 11
    • 0003913615 scopus 로고
    • Publications 1929-1936, ed. S. Feferman et al, Oxford University Press, Oxford
    • GÖDEL, K. 1986, Collected Works Volume 1, Publications 1929-1936, ed. S. Feferman et al., Oxford University Press, Oxford.
    • (1986) Collected Works , vol.1
    • GÖDEL, K.1
  • 12
    • 0003913615 scopus 로고
    • Unpublished Essays and Lectures, ed. by S. Feferman et al, Oxford University Press, Oxford
    • GÖDEL, K. 1995, Collected Works Volume III, Unpublished Essays and Lectures, ed. by S. Feferman et al., Oxford University Press, Oxford.
    • (1995) Collected Works , vol.3
    • GÖDEL, K.1
  • 13
    • 33745596937 scopus 로고    scopus 로고
    • ed. by S. Feferman et al., Oxford University Press, Oxford
    • GÖDEL, K. 2003, Collected Works Volume IV, Correspondence A-G, ed. by S. Feferman et al., Oxford University Press, Oxford.
    • (2003) Collected Works IV, Correspondence A-G
    • GÖDEL, K.1
  • 14
    • 0000829056 scopus 로고
    • In Memoriam Kurt Gödel: His 1931 Correspondence with Zermelo on His Incompletability Theorem
    • Gödel, pp. 420-431
    • GRATTAN-GUINESS, I. 1979, "In Memoriam Kurt Gödel: His 1931 Correspondence with Zermelo on His Incompletability Theorem", Historia Mathematica 6, 294-304; the correspondence is reprinted in Gödel 2003a, pp. 420-431.
    • (1979) Historia Mathematica , vol.6 , pp. 294-304
    • GRATTAN-GUINESS, I.1
  • 16
    • 60950367174 scopus 로고
    • Defining Truth, The Whole Truth and Nothing but the Truth
    • University of Helsinki, no. 2, Helisnki; repr. in Hintikka 1997
    • HINTIKKA, J. 1991, Defining Truth, The Whole Truth and Nothing but the Truth, Reports from the Department of Philosophy, University of Helsinki, no. 2, Helisnki; repr. in Hintikka 1997, pp. 46-103.
    • (1991) Reports from the Department of Philosophy , pp. 46-103
    • HINTIKKA, J.1
  • 18
    • 19144373283 scopus 로고    scopus 로고
    • Wadsworth Publishing Company, Florence, KY
    • HINTIKKA, J. 2002, On Gödel, Wadsworth Publishing Company, Florence, KY.
    • (2002) On Gödel
    • HINTIKKA, J.1
  • 19
    • 79954688652 scopus 로고    scopus 로고
    • Gödel und Wiener Kreis
    • Weibel et al. 2002, B. 1
    • KÖHLER, E. 2002, "Gödel und Wiener Kreis", in Köhler, Weibel et al. 2002, B. 1.
    • (2002) Köhler
    • KÖHLER, E.1
  • 20
    • 0013104636 scopus 로고
    • Gödel Excursions into Intutionistic Logic
    • ed. by P. Weingartner and L. Schmetterer, Bibliopolis, Napoli
    • KREISEL, G. 1987, "Gödel Excursions into Intutionistic Logic", in Gödel Remembered, ed. by P. Weingartner and L. Schmetterer, Bibliopolis, Napoli, pp. 65-85.
    • (1987) Gödel Remembered , pp. 65-85
    • KREISEL, G.1
  • 23
    • 2342468884 scopus 로고    scopus 로고
    • Undefinability of Truth. The Problem of Priority: Tarski vs. Gödel
    • MURAWSKI, R. 1998, "Undefinability of Truth. The Problem of Priority: Tarski vs. Gödel", History and Philosophy of Logic 19, pp. 153-160.
    • (1998) History and Philosophy of Logic , vol.19 , pp. 153-160
    • MURAWSKI, R.1
  • 24
    • 79955362676 scopus 로고    scopus 로고
    • Undefinability vs. Definability of Satisfaction and Truth
    • MURAWSKI, R. 1999, "Undefinability vs. Definability of Satisfaction and Truth", in Woleński and Köhler 1999, pp. 213-215.
    • (1999) Woleński and Köhler 1999 , pp. 213-215
    • MURAWSKI, R.1
  • 27
    • 2342612583 scopus 로고
    • O pojeciu prawdy w odniesieniu do sformalizowanych teorii dedukcyjnych (On the Concept of Truth in Formalized Languages of Deductive Sciences)
    • TARSKI, A. 1930-31, "O pojeciu prawdy w odniesieniu do sformalizowanych teorii dedukcyjnych" (On the Concept of Truth in Formalized Languages of Deductive Sciences), Ruch Filozoficzny XII, pp. 210-211.
    • (1930) Ruch Filozoficzny , vol.12 , pp. 210-211
    • TARSKI, A.1
  • 29
    • 0003792011 scopus 로고
    • On Undecidable Sentences in Enlarged Systems of Logic and the Concept of Truth
    • TARSKI, A. 1939, "On Undecidable Sentences in Enlarged Systems of Logic and the Concept of Truth", The Journal of Symbolic Logic 4, no 3, pp. 105-112.
    • (1939) The Journal of Symbolic Logic , vol.4 , Issue.3 , pp. 105-112
    • TARSKI, A.1
  • 30
    • 0001511816 scopus 로고
    • The Semantics Definition of Truth and the Foundations of Semantics
    • TARSKI, A. 1944, "The Semantics Definition of Truth and the Foundations of Semantics", Philosophy and Phenomenological Research 4, pp. 341-375.
    • (1944) Philosophy and Phenomenological Research , vol.4 , pp. 341-375
    • TARSKI, A.1
  • 37
    • 1642329489 scopus 로고
    • Tarski as a Philosopher
    • ed. by F. Coniglione, R. Poli, and J. Woleński, Rodopi, Amsterdam, pp
    • WOLEŃSKI, J. 1993a, "Tarski as a Philosopher", in Polish Scientific Philosophy: The Lvov-Warsaw School, ed. by F. Coniglione, R. Poli, and J. Woleński, Rodopi, Amsterdam, pp. 319-338.
    • (1993) Polish Scientific Philosophy: The Lvov-Warsaw School , pp. 319-338
    • WOLEŃSKI, J.1
  • 38
    • 79954796668 scopus 로고    scopus 로고
    • Theories of Truth in Austrian Philosophy
    • repr. in Woleński 1999, pp. 150-175
    • WOLEŃSKI, J. 1998, "Theories of Truth in Austrian Philosophy", Reports on Philosophy 18, pp. 13-49; repr. in Woleński 1999, pp. 150-175.
    • (1998) Reports on Philosophy , vol.18 , pp. 13-49
    • WOLEŃSKI, J.1
  • 39
    • 85032218856 scopus 로고    scopus 로고
    • Semantic Revolution-Rudolf Carnap, Kurt Gödel, Alfred Tarski
    • WOLEŃSKI, J. 1999, "Semantic Revolution-Rudolf Carnap, Kurt Gödel, Alfred Tarski", in Woleński and Köhler 1999, pp. 1-15.
    • (1999) Woleński and Köhler 1999 , pp. 1-15
    • WOLEŃSKI, J.1
  • 42
    • 1642324707 scopus 로고
    • De Veritate: Austro-Polish Contributions to the Theory of Truth from Brentano to Tarski
    • ed. by K. Szaniawski, Kluwer Academic Publishers, Dordrecht, pp
    • WOLEŃSKI, J. and SIMONS, P. 1989, "De Veritate: Austro-Polish Contributions to the Theory of Truth from Brentano to Tarski", in The Vienna Circle and the Lvov-Warsaw School, ed. by K. Szaniawski, Kluwer Academic Publishers, Dordrecht, pp. 391-442.
    • (1989) The Vienna Circle and the Lvov-Warsaw School , pp. 391-442
    • WOLEŃSKI, J.1    SIMONS, P.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.