Knihy
Fyzika a příbuzné vědy
Matematika
Alfred Tarski
Úvod do logiky a metodologie deduktivních věd

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

1969 | Nakladatelství Academia

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ží v…ylož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í. 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í.

Stav

Dobrý

Skladem na prodejně

O knize

Stav:	Dobrý
Vazba:	Pevná s obálkou
Počet stran:	245
Jazyk:	česky
Překladatel:	Pavel Materna
Edice:	Filosofická knihovna
Vydání:	2. vydání
Vydáno v:	Praha
Vystaveno:	15. 9. 2024 13:7
Číslo položky:	971998

O autorovi

Alfred Tarski

Alfred Tarski byl polský logik a matematik, který téměř 40 let žil a pracoval v USA. Zabýval se zejména matematickou logikou, teorií modelů, algebrou a teorií množin. Publikoval však také články z jiných oblastí matematiky. Významným způsobem ovlivnil rozvoj logiky a matematiky ve 20. století. Alfred Tarski se narodil jako Alfred Tajtelbaum do varšavské židovské rodiny. Již na střední škole se u něj projevilo matematické nadání, přesto však roku 1918 nastoupil na varšavské univerzitě ke studiu biologie. Brzy však začal navštěvovat kurzy logiky, matematiky a filozofie matematiky, které ve Varšavě vedli Jan Łukasiewicz, Wacław Sierpiński, Stefan Mazurkiewicz a Tadeusz Kotarbiński. Doktorát získal pod vedením Stanisława Leśniewského. Roku 1923 si spolu se svým bratrem Wacławem změnil příjmení na Tarski. Důvodem byla snadnější výslovnost tohoto jména v polštině. Další možnou motivací pro změnu jména mohla být snaha zakrýt svůj židovský původ kvůli získání dobrého místa na univerzitě; tomu nasvědčuje i to, že ve stejnou dobu a ačkoli byl ateista, konvertoval Tarski k římskokatolické církvi. Po získání doktorátu učil Tarski matematiku a logiku na několika polských univerzitách a také na jedné střední škole. Roku 1929 se oženil s Marií Witowskou se kterou měl dvě děti. Ve třicátých letech opakovaně navštívil Vídeň, kde se seznámil s Kurtem Gödelem, a také Paříž. Roku 1939 byl pozván na kongres konaný na Harvard University v USA, což mu možná zachránilo život. Z Polska totiž odjel v srpnu 1939 poslední lodí do Spojených států, která z Polska vyplula před německou invazí a vypuknutím druhé světové války. O tom, že si tohoto nebezpečí nebyl vůbec vědom, svědčí to, že doma zanechal svoji ženu i s oběma dětmi. Setkal se s nimi znovu až v roce 1946. V USA získal Tarski postupně místa na několika univerzitách, mezi nimiž nejvýznamnější byly Harvard Univers...

Více od autora