Einführung in die mathematische Logik
- 285pages
- 10 heures de lecture
Alfred Tarski Livres
Alfred Tarski fut un logicien et mathématicien polonais qui a profondément transformé le paysage de la logique au XXe siècle. Ses travaux, notamment sur la théorie des modèles et le concept de vérité, le placent parmi les penseurs les plus importants de l'histoire. Tarski est réputé pour ses contributions à la logique mathématique et à l'algèbre abstraite, son influence s'étendant également à la philosophie. Ses recherches approfondies et ses idées novatrices continuent d'influencer le discours scientifique contemporain.
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í.