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

Recenze čtenářů

Tarského kniha je oceňována pro svou srozumitelnost a hloubku obsahu, takže je cenným zdrojem informací pro studenty logiky, zejména pro ty, kteří již mají určité matematické vzdělání. Často je doporučována jako zásadní četba pro každého, kdo se zajímá o logiku, ačkoli někteří se domnívají, že pro úplné začátečníky nemusí být kvůli své hutnosti a složitosti tou nejlepší volbou. Text obsahuje informativní poznámky pod čarou a účinně propojuje pojmy, i když se objevuje kritika týkající se jeho mnohomluvnosti a nedostatku odpovědí na cvičení.

⬤ Srozumitelný a dobře napsaný text, který zpřístupňuje složité myšlenky.
⬤ Cenný pro samostudium a poskytuje hluboký vhled do logiky.
⬤ Bohatý obsah, který propojuje definice a axiomatické struktury.
⬤ Vřele doporučujeme čtenářům, kteří se již s logikou a matematikou setkali.
⬤ Užitečné poznámky pod čarou, které zlepšují porozumění.

⬤ Rozsáhlé a některým čtenářům mohou připadat heslovité nebo suché.
⬤ Nevhodné pro úplné začátečníky; doporučuje se předchozí znalost logiky nebo matematiky.
⬤ Chybí řešení cvičení na konci každé kapitoly.
⬤ Někteří čtenáři ji považovali za příliš složitou a nepoutavou pro samostudium bez dalších instrukcí.

(na základě 32 hodnocení čtenářů)

Původní název:

Introduction to Logic: And to the Methodology of Deductive Sciences

Obsah knihy:

Toto klasické dílo, které poprvé vyšlo v polštině v roce 1936, bylo původně napsáno jako populárně-naučná kniha, která by vzdělaným laikům podala jasný obraz některých silných myšlenkových směrů v moderní logice. Podle autora se tyto směry snažily vytvořit jednotný pojmový aparát jako společný základ pro celé lidské poznání.

Protože tyto nové směry v logickém myšlení směřovaly ke zdokonalení a vyostření deduktivní metody, která je v mnoha oborech nepostradatelným nástrojem pro vyvozování závěrů z přijatých předpokladů, rozhodl se autor rozšířit rozsah díla. V dalších vydáních knihu přepracoval tak, aby se z ní stal také text, na němž lze založit základní vysokoškolský kurz logiky a metodologie deduktivních věd. Právě toto revidované vydání je zde přetištěno.

První část se zabývá prvky logiky a deduktivní metody, včetně používání proměnných, větného kalkulu, teorie identity, teorie tříd, teorie vztahů a deduktivní metody. Druhá část se zabývá aplikacemi logiky a metodologie při konstrukci matematických teorií, včetně zákonů řádu čísel, zákonů sčítání a odčítání, metodologických úvah o konstruované teorii, základů aritmetiky reálných čísel a dalších. Autor poskytl studentům četná cvičení, která jim pomohou osvojit si látku, která je nejen podnětným a myšlenkově náročným úvodem do základů logického myšlení, ale je i ideálním doplňkem kurzů logiky a základů matematiky.