Einführung in die mathematische Logik
- 285 pages
- 10 hours of reading
Alfred Tarski Book order (chronological)
Alfred Tarski was a Polish logician and mathematician who fundamentally reshaped the landscape of logic in the twentieth century. His work, particularly concerning the theory of models and the concept of truth, places him among the most significant thinkers in history. Tarski is renowned for his contributions to mathematical logic and abstract algebra, with his influence extending into philosophy. His profound research and innovative ideas continue to impact contemporary scientific discourse.
Práce polského logika, přeložená do mnoha jazyků, objasňuje nejdůležitější pojmy "matematické logiky". Ukazuje, že logické pojmy prostupují celek matematiky, že obsahují všechny specifické matematické pojmy jako své speciální případy a že logické zákony jsou stále aplikovány v matematických úsudcích. Posléze se snaží vyložit nejdůležitější zásady budování matematických teorií, tj. předmětu metodologie matematiky. Vysvětluje, jak si počínáme při aplikaci těchto zásad v praxi. Nepodává soustavný a přísně deduktivní výklad logiky, žádnou informaci - kromě dvou pasáží - o tradiční aristotelské logice a nepojednává o problémech, jež náleží do tzv. logiky a metodologie empirických věd.Na konci každé kapitoly jsou připojena cvičení.