Logika a filozofie - moderní úvod

Recenze čtenářů

Učebnice je oceňována pro svou přehlednost, intuitivní strukturu a efektivní cvičení, která studentům pomáhají pochopit logiku prvního řádu. Zahrnuje i pokročilá témata, jako je logika vyššího řádu a modální logika, která poskytují pevný základ pro další výuku. Objevují se však značné stížnosti na špatnou kvalitu vazby a trvanlivost knihy, přičemž řada uživatelů hlásí problémy s vypadáváním stránek krátce po zakoupení. Vydání pro Kindle je navíc kritizováno za problémy s formátováním, což znesnadňuje jeho používání. Někteří recenzenti také poznamenali, že ačkoli se jedná o dobrou učebnici logiky, chybí jí hloubka filozofických diskusí.

Přehledné a intuitivní kapitoly, účinná cvičení pro ověření porozumění, různé cesty výuky, zahrnutí logiky vyššího řádu a modální logiky, příznivá cena a dobrý základní materiál pro studenty.

Špatná kvalita vazby vedoucí k vypadávání stránek, problémy s formátováním vydání pro Kindle a potenciální nedostatek hloubky filozofických témat.

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

Původní název:

Logic and Philosophy - A Modern Introduction

Obsah knihy:

Komplexní úvod do formální logiky, Logika a filozofie: Logika a logika a logika filozofie: moderní úvod je přísný a zároveň přístupný text, vhodný pro studenty, kteří se s tímto tématem setkávají poprvé. Bohaté, pečlivě vypracované soubory cvičení doprovázené jasným a poutavým výkladem směřují k výkladu výrokové logiky, predikátové logiky prvního řádu, teorie deskripce, identity, relací, teorie množin, modální logiky a aristotelské logiky. A jak už název napovídá, kniha Logika a filozofie se věnuje nejen logice, ale také filozofickým debatám, které vedly k rozvoji tohoto oboru. Ve 13. vydání bylo přidáno mnoho nového materiálu. Úvod do teorie množin a jejího vztahu k logice a matematice, včetně filozofických otázek, je nyní součástí 13. kapitoly. Kapitola 15 je úvodem do modální logiky a Kripkeho sémantiky a končí diskusí o filozofických problémech s jakýmkoli logickým vyrovnáním modalit. Vyučující, kteří nechtějí prezentovat metody dokazování, zde najdou kapitoly o pravdivostních stromech pro sentenční logiku i logiku prvního řádu a prezentaci stromů pro modální logiku.

Zvláštními rysy tohoto textu jsou historie logiky, alternativy k tradičním metodám podmíněného a nepřímého důkazu a diskuse o sémantických problémech s univerzálními a existenciálními instancemi. V celém textu autoři citlivě reagují na filozofické otázky, které vyplývají ze vztahu mezi běžným jazykem, symbolickou logikou a zdůvodněním syntaxe a sémantiky různých symbolických jazyků. Diskuse sahají od zdůvodnění pravdivostní tabulky pro větné ztvárnění výroků jestliže... pak až po sémantické a syntaktické paradoxy, včetně některých znepokojivých paradoxů, které vznikají v běžném jazyce (např. tzv. paradox kata nebo paradox překvapivého kvízu).

Kniha Logika a filozofie obsahuje dostatek materiálu pro jednosemestrální nebo dvousemestrální kurz a poskytuje důkladnou přípravu pro pokročilejší kurzy logiky.