Symbolická logika

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Symbolic Logic

Obsah knihy:

Táto kniha poskytuje komplexný úvod do základných prvkov štandardnej (klasickej) symbolickej logiky. Medzi kľúčové témy patria.

- Charakteristická povaha a rozsah logiky ako disciplíny.

- Konštrukcia radu zreteľne pomenovaných formálnych jazykov vhodných na formálny preklad.

- Sémantické modely.

- Konštrukcia rozhodovacích procedúr.

- Vykonávanie dôkazovo-teoretických usporiadaní, ako je prirodzená dedukcia a dôkazovo-sekvenčné systémy.

Kniha sa zaoberá sémantikou aj teóriou dôkazov štandardnej sentenciálnej (výrokovej) logiky a predikátovej logiky (prvého rádu). Medzi ďalšie témy patria: rozbor stromov, extrakcia alternatívnych notácií (napríklad poľskej notácie), dôkazová teória vo Fitchovom štýle, sekvenčné a "stromové" dôkazové systémy, porovnania a kontrasty s intuicionistickou logikou a prezentácie modelov predikátovej logiky. Na konci je vhodne umiestnená pomocná kapitola o prvkoch teórie množín, ktorá obsahuje poznatky o Zermelo-Fraenkelovej systematizácii teórie množín. Skúma sa aj filozofia logiky.

Cvičenia v texte poskytujú návod na matematickú indukciu pri konštrukcii formúl, testy správnosti poľského zápisu a funkčnej úplnosti.

Symbolická logika je nevyhnutným čítaním pre všetkých študentov filozofie, ktorí navštevujú kurzy formálnej logiky na strednej úrovni, a zaujme aj usilovných študentov prvého ročníka logiky. Text je bohatý na cvičenia týkajúce sa formálneho mechanizmu aj filozofických aspektov logiky.