메뉴 건너뛰기




Volumn 142, Issue 3, 2005, Pages 353-369

On tarski's assumptions

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84866518395     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-005-3720-0     Document Type: Article
Times cited : (3)

References (32)
  • 4
    • 0033248801 scopus 로고    scopus 로고
    • 'Unifying Threads in Alfred Tarski's Work'
    • Givant, Steven: 1999, 'Unifying Threads in Alfred Tarski's Work', The Mathematical Intelligencer 21(1), 47-58.
    • (1999) The Mathematical Intelligencer , vol.21 , Issue.1 , pp. 47-58
    • Givant, S.1
  • 8
    • 0004224053 scopus 로고
    • 2nd edn, Teubner, Leipzig. (First edition, 1899, does not contain the crucial axiom
    • Hilbert, David: 1903, Grundlagen der Geometrie, 2nd edn, Teubner, Leipzig. (First edition, 1899, does not contain the crucial axiom.)
    • (1903) Grundlagen Der Geometrie
    • Hilbert, D.1
  • 9
    • 1542400628 scopus 로고    scopus 로고
    • Independence-Friendly Logic and Axiomatic Set Theory
    • Hintikka, Jaakko: 2004(a), 'Independence-Friendly Logic and Axiomatic Set Theory', Annals of Pure and Applied Logic 126, 313-333.
    • (2004) Annals of Pure and Applied Logic , vol.126 , pp. 313-333
    • Hintikka, J.1
  • 10
    • 84866509020 scopus 로고    scopus 로고
    • On the Different Identities of Identity: A Historical and Critical Essay
    • Guttorm Fløistad (ed, Kluwer Academic Publishers, Dordrecht
    • Hintikka, Jaakko: 2004(b), 'On the Different Identities of Identity: A Historical and Critical Essay', in Guttorm Fløistad (ed.), Language, Meaning, Interpretation, Kluwer Academic Publishers, Dordrecht, pp. 117-139.
    • (2004) Language, Meaning, Interpretation , pp. 117-139
    • Hintikka, J.1
  • 11
    • 84937337225 scopus 로고    scopus 로고
    • Post-Tarskian Truth
    • Hintikka, Jaakko: 2001A, 'Post-Tarskian Truth', Synthese 125, 17-36.
    • (2001) Synthese , vol.125 , pp. 17-36
    • Hintikka, J.1
  • 12
    • 84866485700 scopus 로고    scopus 로고
    • The Proper Treatment of Quantifiers in Ordinary Logic
    • Ghita Holmström-Hintikka, Sten Lindström, and Rysiek Slivinski (eds, Kluwer Academic, Dordrecht
    • Hintikka, Jaakko: 2001B, 'The Proper Treatment of Quantifiers in Ordinary Logic', in Ghita Holmström-Hintikka, Sten Lindström, and Rysiek Slivinski (eds.), Collected Papers of Stig Kanger, with Essays on His Life and Work, Vol. II, Kluwer Academic, Dordrecht, pp. 87-95.
    • (2001) Collected Papers of Stig Kanger, With Essays On His Life and Work , vol.2 , pp. 87-95
    • Hintikka, J.1
  • 13
    • 0032148334 scopus 로고    scopus 로고
    • 'Truth-Definitions, Skolem Functions and Axiomatic Set Theory'
    • Hintikka, Jaakko: 1998, 'Truth-Definitions, Skolem Functions and Axiomatic Set Theory', Bulletin for Symbolic Logic 4, 303-337.
    • (1998) Bulletin For Symbolic Logic , vol.4 , pp. 303-337
    • Hintikka, J.1
  • 15
    • 0001937939 scopus 로고    scopus 로고
    • 'Game-Theoretical Semantics'
    • Johan van Benthem and Alice ter Meulen (eds, Elsevier, Amsterdam
    • Hintikka, Jaakko and Gabriel Sandu, 1997, 'Game-Theoretical Semantics', in Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, pp. 361-410.
    • (1997) Handbook of Logic and Language , pp. 361-410
    • Hintikka, J.1    Sandu, G.2
  • 17
    • 0001604589 scopus 로고    scopus 로고
    • 'Compositional Semantics for a Language of Imperfect Information'
    • Hodges, Wilfrid: 1997a, 'Compositional Semantics for a Language of Imperfect Information', Journal of JPGL 5, 539-563.
    • (1997) Journal of JPGL , vol.5 , pp. 539-563
    • Hodges, W.1
  • 20
    • 0001521953 scopus 로고
    • 'Boolean Algebras with Operators, Part I'
    • Also in Tarski 1986, Vol. 3, pp. 369-419
    • Jónsson, Bjarni and Alfred Tarski: 1951, 'Boolean Algebras with Operators, Part I', American Journal of Mathematics 73, 891-939. Also in Tarski 1986, Vol. 3, pp. 369-419.
    • (1951) American Journal of Mathematics , vol.73 , pp. 891-939
    • Jónsson, B.1    Tarski, A.2
  • 21
    • 0001318162 scopus 로고
    • 'Boolean Algebras and Operators, Part II'
    • Also in Tarski 1986, Vol. 3, pp. 421-458
    • Jónsson, Bjarni and Alfred Tarski: 1952, 'Boolean Algebras and Operators, Part II', Ibid. 74, 127-162. Also in Tarski 1986, Vol. 3, pp. 421-458.
    • (1952) , vol.74 , pp. 127-162
    • Jónsson, B.1    Tarski, A.2
  • 25
  • 26
    • 84866491521 scopus 로고
    • Drei Briefe and Otto Neurath'
    • Rudolf Haller and Jan Tarski (eds
    • Tarski, Alfred: 1992, 'Drei Briefe and Otto Neurath', in Rudolf Haller and Jan Tarski (eds.), Grazer Philosophische Studien, Vol. 43, pp. 11-32.
    • (1992) Grazer Philosophische Studien , vol.43 , pp. 11-32
    • Tarski, A.1
  • 27
    • 0009888176 scopus 로고
    • A Philosophical Letter of Alfred Tarski
    • with a prefatory note by Morton White
    • Tarski, Alfred: 1987, 'A Philosophical Letter of Alfred Tarski', with a prefatory note by Morton White, The Journal of Philosophy 84, 28-32.
    • (1987) The Journal of Philosophy , vol.84 , pp. 28-32
    • Tarski, A.1
  • 30
    • 0001380310 scopus 로고
    • 'Wahrheitsbegriff in den formalisierten Sprachen'
    • Reprinted in Tarski 1986, Vol. 2, pp. 51-198. English translation in Tarski 1956, pp. 152-278
    • Tarski, Alfred: 1935, 'Wahrheitsbegriff in den formalisierten Sprachen', Studia Philosophica 1, 261-405. Reprinted in Tarski 1986, Vol. 2, pp. 51-198. English translation in Tarski 1956, pp. 152-278.
    • (1935) Studia Philosophica , vol.1 , pp. 261-405
    • Tarski, A.1


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