메뉴 건너뛰기




Volumn 127, Issue 1-3 SPEC. ISS., 2004, Pages 303-323

Gödel on Tarski

Author keywords

G del; Logic; Platonism; Semantics; Tarski; Truth; Truth definition

Indexed keywords


EID: 2342653006     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2003.11.019     Document Type: Article
Times cited : (4)

References (47)
  • 2
    • 33746856649 scopus 로고
    • The reception of Gödel's incompleteness theorems
    • Also in Shanker [31], 74-95
    • J. Dawson, The reception of Gödel's incompleteness theorems, Proc. Biennial Meeting of the Philosophy of Science Association, Vol. 2, 1984, 1985, pp. 253-371. Also in Shanker [31], 74-95.
    • (1984) Proc. Biennial Meeting of the Philosophy of Science Association , vol.2 , pp. 253-371
    • Dawson, J.1
  • 3
    • 0002913955 scopus 로고
    • Completing the Gödel-Zermelo correspondence
    • Dawson J. Completing the Gödel-Zermelo correspondence Historia Math. 12 1985 66-70
    • (1985) Historia Math. , vol.12 , pp. 66-70
    • Dawson, J.1
  • 4
    • 0003415587 scopus 로고    scopus 로고
    • Logical Dilemmas, The Life and Work of Kurt Gödel
    • Wellesley, MA: A K Peters
    • Dawson J. Logical Dilemmas, The Life and Work of Kurt Gödel 1997 A K Peters Wellesley, MA
    • (1997)
    • Dawson, J.1
  • 5
    • 2342502711 scopus 로고    scopus 로고
    • Kurt Gödel: Conviction and caution
    • P. Weingartner, Ch. Puhringer (Eds.), A Selection of Contributed Papers of the Seventh International Congress of Logic Methodology and Philosophy of Science, Salzburg, 1983, Anton Hain, Meisenheim/Glan, 1984; also in Shanker [31]
    • S. Feferman, Kurt Gödel: conviction and caution, in: P. Weingartner, Ch. Puhringer (Eds.), Philosophy of Science-History of Science, A Selection of Contributed Papers of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, Anton Hain, Meisenheim/Glan, 1984; also in Shanker [31]
    • Philosophy of Science-History of Science
    • Feferman, S.1
  • 6
    • 84866498425 scopus 로고    scopus 로고
    • Tarski and Gödel: Between the Lines
    • Woleński and Köhler [46]
    • S. Feferman, Tarski and Gödel: Between the Lines, in Woleński and Köhler [46] pp. 53-63.
    • Feferman, S.1
  • 7
    • 0039767576 scopus 로고
    • H. Hermes, F. Kambartel, F. Klaubach (Eds.), Hamburg
    • G. Frege, in: H. Hermes, F. Kambartel, F. Klaubach (Eds.), Nachgelassene Schriften, Hamburg, 1969.
    • (1969) Nachgelassene Schriften
    • Frege, G.1
  • 8
    • 24244478451 scopus 로고
    • Pisma semantyczne
    • (tłum. B. Wolniewicz) PWN, Warszawa
    • G. Frege, Pisma semantyczne (tłum. B. Wolniewicz) PWN, Warszawa, 1977.
    • (1977)
    • Frege, G.1
  • 9
    • 0000495135 scopus 로고
    • Die Vollstandigkeit der Axiome des logischen Funktionenkalküls
    • Gödel K. Die Vollstandigkeit der Axiome des logischen Funktionenkalküls Monatsh. Math. Phys. 37 1930 349-360
    • (1930) Monatsh. Math. Phys. , vol.37 , pp. 349-360
    • Gödel, K.1
  • 10
    • 34347193348 scopus 로고
    • Über formal unentscheidbare Sätze der Principa mathematica und verwandter Systeme I
    • Gödel K. Über formal unentscheidbare Sätze der Principa mathematica und verwandter Systeme I Monatsh. Math. Phys. 38 1931 173-198
    • (1931) Monatsh. Math. Phys. , vol.38 , pp. 173-198
    • Gödel, K.1
  • 11
    • 0039188894 scopus 로고    scopus 로고
    • Russel's mathematical logic
    • Schilpp [28] Also in [14]
    • K. Gödel, Russel's mathematical logic, in: Schilpp [28] Also in [14]
    • Gödel, K.1
  • 12
    • 8444250152 scopus 로고    scopus 로고
    • Remarks before the Princeton bicentennial conference on problems in mathematics"
    • in Davis [1] and [14]
    • K. Gödel, Remarks before the Princeton bicentennial conference on problems in mathematics", in Davis [1] and [14]
    • Gödel, K.1
  • 13
    • 24244452683 scopus 로고
    • S. Feferman et al. (Eds.), Oxford: Oxford University Press
    • Gödel K. in: Feferman S. et al. (Eds.), Collected Works, t. I 1989 Oxford University Press Oxford
    • (1989) Collected Works T. I
    • Gödel, K.1
  • 14
    • 24244452683 scopus 로고
    • S. Feferman et al (Eds.), Oxford: Oxford University Press
    • Gödel K. in: Feferman S. et al. (Eds.), Collected Works, t. II 1990 Oxford University Press Oxford
    • (1990) Collected Works, T. II
    • Gödel, K.1
  • 15
    • 24244452683 scopus 로고
    • S. Feferman et al (Eds.), Oxford: Oxford University Press
    • Gödel K. in: Feferman S. et al. (Eds.), Collected Works, t. III 1995 Oxford University Press Oxford
    • (1995) Collected Works, T. III
    • Gödel, K.1
  • 16
    • 0000829056 scopus 로고
    • In Memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
    • Grattan-Guinness, A. In Memoriam Kurt Gödel: his 1931 correspondence with Zermelo on his incompletability theorem, Historia Math. 6 (1979) 294-304.
    • (1979) Historia Math. , vol.6 , pp. 294-304
    • Grattan-Guinness, A.1
  • 17
    • 2342486821 scopus 로고
    • Logic as calculus and logic as language
    • R. Cohen, & M. Wartofsky (Eds.), Dodrecht: Reidel
    • van Heijennort J. Logic as calculus and logic as language in: Cohen R. Wartofsky M. (Eds.), Boston Studies in the Philosophy of Science 1967 440-446 Reidel Dodrecht
    • (1967) Boston Studies in the Philosophy of Science , pp. 440-446
    • van Heijennort, J.1
  • 18
    • 2342621582 scopus 로고
    • On the development of the model-theoretic viewpoint in logical theory
    • Hintikka J. On the development of the model-theoretic viewpoint in logical theory Synthèse 77 1988 1-36
    • (1988) Synthèse , vol.77 , pp. 1-36
    • Hintikka, J.1
  • 20
    • 2342619668 scopus 로고
    • From Dedekind to Gödel, Essays on the Development of the Foundations of Mathematics
    • (Ed.) Kluwer Academic Publishers, Dodrecht
    • J. Hintikka (Ed.) From Dedekind to Gödel, Essays on the Development of the Foundations of Mathematics, Kluwer Academic Publishers, Dodrecht, 1995.
    • (1995)
    • Hintikka, J.1
  • 21
    • 0346606886 scopus 로고    scopus 로고
    • Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presuppostion of Twentieth-Century Philosophy
    • Dodrecht: Kluwer Academic Publishers
    • Hintikka J. Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presuppostion of Twentieth-Century Philosophy 1997 Kluwer Academic Publishers Dodrecht
    • (1997)
    • Hintikka, J.1
  • 22
    • 19144373283 scopus 로고    scopus 로고
    • Belmont, CA: Wadsworth Academic Publishers
    • Hintikka J. On Gödel 2000 Wadsworth Academic Publishers Belmont, CA
    • (2000) On Gödel
    • Hintikka, J.1
  • 24
    • 0013104636 scopus 로고
    • Gödel's excursions into intuitionistic logic
    • P. Weingartner, & L. Schmetterer (Eds.), Napoli: Bibliopolis
    • Kreisel G. Gödel's excursions into intuitionistic logic in: eingartner P. Schmetterer L. (Eds.), Gödel Remembered 1987 65-185 Bibliopolis Napoli
    • (1987) Gödel Remembered , pp. 65-185
    • Kreisel, G.1
  • 25
    • 2342468884 scopus 로고    scopus 로고
    • Undefinability of truth, the problem of priority: Tarski vs. Gödel
    • Murawski R. Undefinability of truth, the problem of priority: Tarski vs. Gödel History Philosophy Logic 19 1998 153-160
    • (1998) History Philosophy Logic , vol.19 , pp. 153-160
    • Murawski, R.1
  • 26
    • 2342629408 scopus 로고    scopus 로고
    • Kontekst historyczny i recepcja twierdzeń Gödla o niezupełnosci
    • J. Hartmana (Ed.), Kraklów: Aureus
    • Murawski R. Kontekst historyczny i recepcja twierdzeń Gödla o niezupełnosci Hartmana J. Filozofia i logika. W stronç Jana Woleńskiego 2000 414-426 Aureus Kraklów
    • (2000) Filozofia I Logika. W Stronç Jana Woleńskiego , pp. 414-426
    • Murawski, R.1
  • 30
    • 2342508560 scopus 로고    scopus 로고
    • Recepcja semantycznej koncepcji prawdy w latach 1933-1939, Logika tom 21
    • M. Magdziak (Ed.), Wroclaw: Uniwersytet Wrocławski
    • Selinger M. Magdziak M. Recepcja semantycznej koncepcji prawdy w latach 1933-1939, Logika tom 21 2001 65-98 Uniwersytet Wrocławski Wroclaw
    • (2001) , pp. 65-98
    • Selinger, M.1
  • 32
    • 24244440988 scopus 로고
    • Pojȩcie prawdy w jȩzykach nauk dedukcyjnych
    • Prace Towarzystwa Naukowego Warszawskiego, wydział III, nr 34, Warszawa
    • A. Tarski, Pojȩcie prawdy w jȩzykach nauk dedukcyjnych, Prace Towarzystwa Naukowego Warszawskiego, wydział III, nr 34, Warszawa 1933.
    • (1933)
    • Tarski, A.1
  • 33
    • 0003792011 scopus 로고
    • On undecidable statements in enlarged systems of logic and the concept of truth
    • Tarski A. On undecidable statements in enlarged systems of logic and the concept of truth Journal of Symbolic Logic 4 1939 105-112
    • (1939) Journal of Symbolic Logic , vol.4 , pp. 105-112
    • Tarski, A.1
  • 34
    • 0001511816 scopus 로고
    • The semantic conception of truth and the foundations of semantics
    • Tarski A. The semantic conception of truth and the foundations of semantics Philos. Phenomenological Res. 4 1944 341-375
    • (1944) Philos. Phenomenological Res. , vol.4 , pp. 341-375
    • Tarski, A.1
  • 36
    • 2342504691 scopus 로고
    • Pisma logiczno-filozoficzne, t. I
    • J. Zygmunta (Ed.), Warszawa: PWN
    • Tarski A. in: Zygmunta J. (Ed.), Pisma logiczno-filozoficzne, t. I 1995 PWN Warszawa
    • (1995)
    • Tarski, A.1
  • 39
    • 2342573738 scopus 로고
    • Some facts about Kurt Gödel
    • Wang H. Some facts about Kurt Gödel J. Symbolic Logic 46 1981 653-659
    • (1981) J. Symbolic Logic , vol.46 , pp. 653-659
    • Wang, H.1
  • 42
    • 1542670535 scopus 로고
    • Gödel, Tarski and the Undefinability of Truth
    • Wien also in Woleński [44, pp. 134-138]
    • J. Woleński, Gödel, Tarski and the Undefinability of Truth, Yearbook 1991 of Kurt Gödel Society, Wien, 1993, pp. 97-108; also in Woleński [44, pp. 134-138]
    • (1993) Yearbook 1991 of Kurt Gödel Society , pp. 97-108
    • Woleński, J.1
  • 43
    • 24244456567 scopus 로고    scopus 로고
    • On Tarski's background, in Hintikka
    • [20, pp. 331-341] also in Woleński
    • J. Woleński, On Tarski's background, in Hintikka [20, pp. 331-341] also in Woleński [44, pp. 126-133]
    • , vol.44 , pp. 126-133
    • Woleński, J.1
  • 45
    • 85032218856 scopus 로고    scopus 로고
    • Semantic revolution: Rudolf Carnap
    • Kurt Gödel, Alfred Tarski, in: [46]
    • J. Woleński, Semantic revolution: Rudolf Carnap, Kurt Gödel, Alfred Tarski, in: [46] pp. 1-15.
    • Woleński, J.1
  • 47
    • 0009888176 scopus 로고
    • A philosophical letter of Alfred Tarski
    • White M. A philosophical letter of Alfred Tarski J. Philosophy 84 1987 28-32
    • (1987) J. Philosophy , vol.84 , pp. 28-32
    • White, M.1


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