Einführung in die mathematische Logik
- 285 páginas
- 10 horas de lectura
Alfred Tarski Orden de los libros (cronológico)
Alfred Tarski fue un lógico y matemático polaco que transformó fundamentalmente el panorama de la lógica en el siglo XX. Su obra, particularmente en lo referente a la teoría de modelos y el concepto de verdad, lo sitúa entre los pensadores más importantes de la historia. Tarski es célebre por sus contribuciones a la lógica matemática y al álgebra abstracta, y su influencia se extiende a la filosofía. Su profunda investigación e ideas innovadoras continúan impactando el discurso científico contemporáneo.
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í.