Gratis Versand in ganz Österreich
Bookbot

Alfred Tarski

    Alfred Tarski war ein polnischer Logiker und Mathematiker, der die Logik im zwanzigsten Jahrhundert maßgeblich prägte. Seine Arbeiten, insbesondere zur Modelltheorie und zum Wahrheitsbegriff, zählen ihn zu den bedeutendsten Denkern der Geschichte. Tarski ist berühmt für seine Beiträge zur mathematischen Logik und abstrakten Algebra, wobei sein Einfluss auch auf die Philosophie reicht. Seine tiefgründige Forschung und neuartigen Ideen beeinflussen weiterhin aktuelle wissenschaftliche Diskurse.

    Alfred Tarski
    Úvod do logiky a metodologie deduktivních věd
    Mатематическая логика и ее применения. Matematicheskaya logika i yeye primeneniya
    Introduction to Logic: and to the Methodology of Deductive Sciences
    Einführung in die mathematische Logik
    • 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.

      Introduction to Logic: and to the Methodology of Deductive Sciences
    • 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í.

      Úvod do logiky a metodologie deduktivních věd