Einführung in die mathematische Logik
- 285pagine
- 10 ore di lettura
Alfred Tarski Ordine dei libri (cronologico)
Alfred Tarski fu un logico e matematico polacco che trasformò radicalmente il panorama della logica nel XX secolo. Il suo lavoro, in particolare sulla teoria dei modelli e sul concetto di verità, lo colloca tra i pensatori più significativi della storia. Tarski è rinomato per i suoi contributi alla logica matematica e all'algebra astratta, con un'influenza che si estende anche alla filosofia. La sua profonda ricerca e le sue idee innovative continuano a influenzare il discorso scientifico contemporaneo.
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í.