[ TANNERY [2] ]

W przekładzie na angielski Terrella Warda Bynuma w: Gottlob Frege, Conceptual Notation and Related Articles, translated and edited, with a Biography and Introduction by Terrell Ward Bynum, Oxford, at the Clarendon Press 1972 (na odwrocie strony tytułowej Oxford University Press 1972), s. 232-234.

[ ^ ]

Teza doktorska, Uniwersytet Warszawski, 1923. W nieco zmodyfikowanej wersji w dwu częściach po francusku: Sur le terme primitif de la logistique i Sur les truth-functions au sens de MM. Russell et Whitehead (zob. odpowiednie pozycje w katalogu).Także (pod tytułem On the primitive term of logistic) w: Alfred Tarski, Logic, semantics, metamathematics, s. 1-23. Praca techniczna; równoważność jako "wyraz pierwotny logistyki", dzięki czemu definicje można uważać za tezy systemu (inaczej niż u Russella i Whiteheada). Nawiązania do Leśniewskiego i Łukasiewicza.

Francuska wersja części artykułu O wyrazie pierwotnym logistyki.

Francuska wersja części artykułu O wyrazie pierwotnym logistyki.

Wykład mereologii w formie aksjomatycznej i opartej na tym "geometry of solids", w nawiązaniu do sugestii Leśniewskiego. Odsyła też do Whiteheada An inquiry... 1919 i The concept of nature 1920 oraz do Nicoda La géometrie dans le monde sensible.

Pod tytułem On some fundamental concepts of metamathematics w Alfred Tarski, Logic, semantics, metamathematics, s. 30-37. Główne idee tego artykułu przedstawił Tarski w odczycie w PTM, Oddział Warszawski, w 1928. Streszczenie tego odczytu: Remarques sur les notions fondamentales de la méthodologie des mathématiques 1929. Por. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I 1930 i Grundzüge des Systemenkalkül 1935 i 1936.

Por. Über einige fundamentale Begriffe der Metamathematik.

Pod tytułem Fundamental concepts of the methodology of the deductive sciences w Alfred Tarski, Logic, semantic, metamathematics, s. 60-109. Por. Über einige fundamentale Begriffe der Metamathematik 1930 i Grundzüge des Systemenkalkül 1935 i 1936.

Streszczenie dwóch odczytów: PTF Warszawa 8.10.1930 i PTF LWów 15.12.1930.

Główne idee z 1929, odczyt w PTM, Lwów 1930; streszczenie Über definierbare Mengen reeller Zahlen. Z pewnymi zmianami pod tytułem On definable sets of real numbers w Alfred Tarski, Logic, semantics, metamathematics, s. 110-142.

Por. Alfred Tarski, Sur les ensembles définissables de nombres réels i Kazimierz Kuratowski, Alfred Tarski, Les opérations logiques et les ensembles projectives.

Pod tytułem Some observations on the concepts of ω-consistency and ω-completeness, w Alfred Tarski, Logic, semantics, metamathematics, s. 279-295. Artykuł nawiązujący do pewnej pracy Gödla, gdzie był oprzykład systemu "consistent" w zwykłym sensie, ale nie "ω-consistent"; tu inny przykład na to samo plus pewne uwagi (m. in. związek z indukcją). Tarski m.i. pokazuje, że w pewnej prostej teorii są twierdzeniami zdania, że dla każdego n, n ma własność P, ale za pomocą zwykłych reguł (rules of inference) nie można udowodnić, że każda liczba narturalna ma własność P. Na s. 279 Tarski pisze, że o ważności dwóch tytułowych pojęć mówił już w 1927 (odczyt wspomniany w "Ruchu Filozoficznym" 10 (1926-7), s. 96) w PTF, Warszawa, wskazując zarazem na ich związek z zasadą indukcji pozskończonej; tym niemniej wysoko ocenia rezultat Gödla i nie przypisuje sobie pierwszeństwa.
Komentarz na s. 295: "the profound analysis of Gödel's investigations shows that whenever we have udertaken a sharpening of the rules of inference, the facts, for the sake of which this sharpening was felt to be necessary, stilll persist, although in a more complicated form, amd in connexion with sentences of a more complicated logical structure. The formalised concept of consequence will, in extension, never coincide with the ordinary one, the consistency of the system will not prevent the possibility of 'structural falsehood'. However liberally we interpret the concept of the deductive method, its essential feature has always been (at least hitherto) that in the construction of the system and in particular in the formulation of its rules of inference, use is made exclusively of general logical and structurally descriptive concepts. If now we wish to regard as the ideal of deductive science the construction of a system in which all the true statements (of the given language) and only such are contained, then this ideal unfortunately cannot be combined with the above view of the deductive method."

Stron vii + 116. Wydanie niemieckie Der Wahrheitsbegriff in den formalisierten Sprachen, "Studia Philosophica" 1 (1936), s. 261-405 (off-printy datowane 1935). Oparta na wydaniu niemieckim wersja angielska The concept of truth in formalized languages w: Alfred Tarski, Logic, semantics, metamathematics, s. 152-278 [ pF 250-278 ]. W wydaniu angielskim o wydaniu niemieckim jest informacja, że był dołączony "Postscript in which some views which had been stated in the Polish original underwent a rather essential revision and modification" - stąd wydanie niemieckie jest często uważane za wersję kanoniczną i oryginalną.

Zob. Alfred Tarski, Pojęcie prawdy w językach nauk dedukycjnych.

Zob. Alfred Tarski, Introduction to logic and to the methodology of deductive sciences.

Por. Alfred Tarski, Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe.

Skrócona wersja: Z badań metodologicznych nad definiowalnością terminów 1934. Nieco zmieniona wersja pod tytułem Some methodological investigations on the definability of concepts, w Alfred Tarski, Logic, semantics, metamathematics, s. 296-319.

Pod tytułem On the foundations of Boolean algebra w Alfred Tarski, Logic, semantics, metamathematics, s. 320-341. (W tytule podawane jest, że to jest część I, ale części II nie było).

Pod tytułem Foundations of the calculus of systems w Alfred Tarski, Logic, semantics, metamathematics, s. 342-364 (wstęp i §§1.-3.

Pod tytułem Foundations of the calculus of systems w Alfred Tarski, Logic, semantics, metamathematics, s. 364-383 (§§4.-5. i Appendix). Na s. 382-383 Tarski pisze, że rezultaty tego artykułu (obu części) pochodzą z lat 1926-1932 i były częściowo publikowane.

Pod tytułem On extensions of incomplete systems of the sentential calculus w Alfred Tarski, Logic, semantics, metamathematics, s. 393-400. (Tekst odczytu z 1935, Wiedeń).

Streszczenie odczytu 19 września 1935 na posiedzeniu Pierwszego Międzynarodowego Kongresu Filozofii Naukowej w Paryżu - Grundlegung der wissenschaftlichen Semantik, w "Actes du Congrès International de Philosophie Scientifique", vol. 3, Paris 1936, s. 1-8. Pod tytułem The establishment of scientific semantics w Alfred Tarski, Logic, semantics, metamathematics, s. 401-408. Na s. 51 Tarski pisze, że Leśniewski pierwszy "z całą wyrazistością" zwrócił uwagę, że " język, który by zawierał swą własną semantykę, a w którym by obowiązywały zwykłe prawa logiki, musiałby być językiem sprzecznym", i to wskazywało drogę do uniknięcia trudności dawnej semantyki.

Streszczenie odczytu 16 września 1935 na posiedzeniu Pierwszego Międzynarodowego Kongresu Filozofii Naukowej w Paryżu - Über den Begriff der logischen Folgerung, w "Actes du Congrès International de Philosophie Scientifique", vol. 7, Paris 1936, s. 1-11. Pod tytułem On the concept of logical consequence w Alfred Tarski, Logic, semantics, metamathematics, s. 409-420. Pojęcie wynikania logicznego, pojęcie analityczności. S. 417 w Logic...: system X wynika logicznie ze zdań klasy K iff każdy model K jest modelem X (w przypisie, że Scholz w pracy o Bolzano, pokazał, że ta idea było u Bolzano; tej uwagi nie ma w wersji w "Przeglądzie Filozoficznym"); s. 418 - zdanie jest analityczne, jeżeli wynika z każdej (w szczególności pustej) klasy zdań, natomiast niechętnie wypowiada się Tarski o rozumieniu tautologii jako czymś, co "says nothing about reality" (s. 419-420).(

[ TARSKI [3] ] Tekst odczytu 1937 Warszawa - Trzeci Polski Zjazd Matematyczny, z informacją, że rezultaty pochodzą z 1935. Pod tytułem Sentential calculus and topology w Alfrd Tarski, Logic, semantics, metamathematics, s. 421-454. Topologiczna interpretacja klasycznego i intuicjonistycznego rachunku zdań.

[ DI ]

[ pF 250-278 (fragment artykułu o pojęciu prawdy) 456-462 (bibliografia) ] A collection of Alfred Tarski's main pre-war contributions to mathematical logic and metamathematics. 17 przekładów z różnych języków, bibliografia, indeksy. W latach odpowiednio 1972 i 1974 były wydane w dwu częściach (Logique, sémantique, métamathématique: 1923-1944, Librairie Armand Colin, Paris, G. Granger éd.) francuskie wersje pierwszych 8 artykułów (w pierwszym tomie) oraz następnych 9 i 4 dodatkowych (w drugim).

With appendices by Chen-Chung Chang, Some additional theorems on ordinal algebra and B. Jonsson, A unique decomposition theorem for relational addition.

[ TARSKI [1] | F ] Wersja w The philosophy of mathematics trochę się różni od wersji z The axiomatic method.

Pierwsze wydanie 1941, drugie wydanie poprawione 1946 (eight printing 1959), w 1994 ukazało się czwarte poprawione wydanie. Przekład Olafa Helmera, o ile wiem, z wydania niemieckiego Einführung in die mathematische Logik und in die Methodologie der Mathematik, Julius Springer Verlag, Wien 1937, równoważnego wydaniu oryginalnemu, O logice matematycznej i metodzie dedukcyjnej, "Biblioteczka Matematyczna" t. 3-5, Książnica -Atlas Lwów - Warszawa 1936.

[ = | ^ ]

Cztery tomy: 1 (1921-1934), 2 (1935-1944), 3 (1945-1957), 4 (1958-1979).

Zawiera bibliografię prac Tarskiego, kompletną do 1993.

[ ^ ] Autorzy: Stefan Banach, Alfred Tarski.

[ ^ ] Autorzy: Stefan Banach, Alfred Tarski.

Autorzy: Jan Łukasiewicz, Alfred Tarski. Wersja polska Badania nad rachunkiem zdań (przekład Egon Vielrose) w Jan Łukasiewicz, Z zagadnień logiki i filozofii, s. 129-143. Pod tytułem Investigations into the sentential salculus w Alfred Tarski, Logic, semantics, metamathematics, translated by J.H. Woodger, Oxford, at the Clarendon Press (Oxford Unicersity Press) 1956, s. 39-49.

Autorzy: Kazimierz Kuratowski, Alfred Tarski. Pod tytułem Logical operations and projective sets w Alfred Tarski, Logic, semantics, metamathematics, s. 143-151. Główne rezultaty były przedstawione przez autorów w PTM, Lwów, w dwóch odczytach z 1920. Streszczenia tych odczytów, zob. Kazimierz Kuratowski, Über eine geometrische Auffassung der Logistik i Alfred Tarski, Über definierbare Mengen reeller Zahlen.

Antorzy: Adolf Lindenbaum, Alfred Tarski.

[ = | ^ ] Autorzy: Paul Erdöss, Alfred Tarski.

Autorzy: Adolf Lindenbaum, Alfred Tarski. Referat 17 poaździernika 1026 na posiedzeniu PTM, Warszawa).

Artykuł krytyczny wobec analitycznej filozofii języka naturalnego, pokazujący, że rozróżnianie a priori permissible and impermissible locutions nie ma sensu (co obala standardowy "argument z nonsensu").

"Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression." (philpapers.org/s/Mark Textor)

Stron xii + 442. Spis treści: Introduction - J. Ferreirós and J. J. Gray. Reinterpretations in the history and philosophy of foundations. M. Beaney, Frege and the role of historical elucidation: Methodology and the foundations of mathematics, J. Ferreirós, Riemann's Habilitationsvortrag at the crossroads of mathematics, physics and philosophy, J. Tappenden, The Riemannian background to Frege's philosophy, L. Corry, Axiomatics, empiricism, and Anschauung in Hilbert's conception of geometry: Between arithmetic and general relativity. Explorations into the emergence of modern mathematics. J. Avigad, Methodology and metaphysics in the development of Dedekind's theory of ideals, C. McLarty, Emmy Noether's "set-theoretic" topology: from Dedekind to the rise of functors, P. Mancosu, Tarski on models and logical consequence, J. P. Marquis, A path to the epistemology of mathematics: Homotopy theory. Alternative views and programs in the philosophy of mathematics. M. Epple, Felix Hausdorff's 'considered empiricism', E. Scholz, Practice-related symbolic realism in H. Weyl's mature view of mathematical knowledge, H. Benis-Sinaceur (Translated by J. Deans), From Kant to Hilbert: French philosophy of concepts in the beginning of the 20th Century, W. Sieg, Relative consistency and accessible domains (Synthese, vol. 84, 1990). Coda. J. J. Gray, Modern mathematics as a cultural phenomenon

[ THE AXIOMATIC METHOD 1959, HENKIN, SUPPES, TARSKI 1959 ] Stron xi+488.

[ BUNGE ed. 1964 (Popper) | x ] Stron xv + 480. Contents, v-vi, Preface, vii-ix, Biographical notes on the contributors, xi-xv; strony 1-470 29 artykułów, s. 471 (właściwie 473)-480 Writings of Karl R. Popper.

[ SCHILPP (Whitehead) ]

A Four-Volume Collection of Scholarly Articles on All Aspects of Frege's Philosophy, Vol.1: General Assessments and Historical Accounts of Frege's Philosophy, Vol.2: Logic and Foundations of Mathematics in Frege's Philosophy, Vol.3: Meaning and Ontology in Frege's Philosophy, Vol.4: Sense and Reference in Frege's Philosophy.

[ HINTIKKA 1969 | pF ]

[ SCHILPP (Carnap) ]

[ THIEL 1968 | F ] Oryg. Sinn und Bedeutung in der Logik Gottlob Freges, Verlag Anton Hain, Meisenheim am Glan 1965 (THIEL 1965) - przekład z niem. by T. J. Blakeley. W literaturze wiele powołań na wydanie niemieckie.

[ K ]

[ THIRY [1] ]

[ [127] ]

[ [128] ]

Oryg. w "Review of Metaphysics" 26 (1972).

2 tomy.

[ TROELSTRA [1] | N ] Bibliografia prac Heytinga.

[ TROELSTRA [2] | = } ^ ]

[ Evans & McDowell 1976 ]

Wersja niemiecka, Die Bedeutung des Ausdrucks 'Bedeutung' bei Frege, w: Studien zu Frege / Studies on Frege, Matthias Schirn (hrsg.), Frommann-Holzboog, Stuttgart-Bad Cannstatt, 1976, t. III, s. 51-65, z dodanym Postskript, s. 65-69.

[ [52] ]

[ [18] ] Stron vi + 447.

[ [0] ] Zawiera bibliografię prac Twardowskiego opracowaną przez Danielę Gromską.

Stron x + 337. Jeden z rozdziałów porównuje Abelarda z Fregem.