Alfred Tarski was een Poolse logicus en wiskundige die het landschap van de logica in de twintigste eeuw fundamenteel hervormde. Zijn werk, met name op het gebied van de modeltheorie en het concept van waarheid, plaatst hem onder de meest significante denkers uit de geschiedenis. Tarski staat bekend om zijn bijdragen aan de wiskundige logica en abstracte algebra, waarbij zijn invloed zich ook uitstrekt tot de filosofie. Zijn diepgaande onderzoek en innovatieve ideeën blijven hedendaagse wetenschappelijke discussies beïnvloeden.
The book offers a comprehensive examination of the deductive method, focusing on its foundational principles in the first part. In the second part, it delves into the applications of logic and methodology in developing mathematical theories. Throughout the text, exercises are included to reinforce learning and understanding, making it a practical resource for undergraduate students.
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í.