Collected Papers - Alfred Tarski

Collected Papers

Volume 2: 1935-1944

(Autor)

Buch | Hardcover
XVII, 699 Seiten
2019 | 1st ed. 2019
Springer International Publishing (Verlag)
978-3-319-95428-8 (ISBN)
181,89 inkl. MwSt
Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel.  The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography.  Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy.  These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Zur Grundlegung der Boole'schen Algebra, I.- Grundzuge des Systemenkalküls, Erster Teil.- Der Wahrheitsbegriff in den formalisierten Sprachen.- Wahrscheinlichkeitslehre und mehrwertige Logik.- Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien (with A. Lindenbaum).- Über die Erweiterungen der unvollständigen Systeme des Aussagenkalküls.- Grundzüge des Systemenkalküls, Zweiter Teil.- Sur Jes classes d'ensembles closes par rapport aux operations de Hausdorff.- Grundlegung  der wissenschaftlichen Semantik.- Über den Begriff der logischen Folgerung.- Ideale in den Mengenkorpern.- Über additive und multiplikative Mengenkörper und  Mengenfunktionen.- Sur la méthode deductive.- Appendix E to J. H. Woodger's "The Axiomatic Method in Biology".- Einige Bemerkungen zur Axiomatik der Boole'schen Algebra.- Über unerreichbare Kardinalzahlen.- Drei Überdeckungssätze der allgemeinen Mengenlehre.- Ein Überdeckungssatz für endliche Mengen.- Eine äquivalente Formulierung des Auswahlaxioms.- Über das absolute Maß linearer Punktmengen.- Ein Beitrag zur Axiomatik der Abelschen Gruppen.- Algebraische Fassung des Maßproblems.- Der Aussagenkalkül und die Topologie.- Ideale in vollständigen Mengenkörpern, I.- Boolesche Ringe mit geordneter Basis (with A. Mostowski).- On well- ordered subsets of any set.- On undecidable statements in enlarged systems of logic and the concept of truth.- On the calculus of relations.- On families of mutually exclusive sets (with P. Erdos).- The algebra of topology (with J. C. C. McKinsey).- The semantic conception of truth and the foundations of semantics.

Erscheinungsdatum
Zusatzinfo XVII, 699 p. 16 illus., 1 illus. in color.
Verlagsort Cham
Sprache englisch
Maße 178 x 254 mm
Gewicht 1538 g
Themenwelt Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Logik / Mengenlehre
Schlagworte Alfred Tarski • algebraic logic • Mathematical Logic • philosophy of mathematics • Theory of truth in formalized languages • universal algebra
ISBN-10 3-319-95428-8 / 3319954288
ISBN-13 978-3-319-95428-8 / 9783319954288
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …

von Ari Wallach

Buch | Hardcover (2023)
REDLINE (Verlag)
18,00
eine logische Untersuchung

von Gottlob Frege; Uwe Voigt

Buch | Softcover (2024)
Phillip Reclam (Verlag)
5,20