Szimbolikus logika

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Symbolic Logic

Könyv tartalma:

Ez a könyv átfogó bevezetést nyújt a standard (klasszikus) szimbolikus logika alapvető elemeibe. A legfontosabb témakörök a következők:

- A logika mint tudományág jellegzetes természete és hatóköre.

- A formális fordításra alkalmas, megkülönböztetett nevű formális nyelvek felépítése.

- Szemantikai modellek.

- Döntési eljárások felépítése.

- Bizonyításelméleti elrendezések, például természetes dedukció és bizonyítási szekvencia-rendszerek kivitelezése.

A könyv a standard szentenciális (mondattani) logika és a predikátum (elsőrendű) logika szemantikáját és bizonyításelméletét egyaránt tárgyalja. További témák: fák elemzése, alternatív jelölések (például a lengyel jelölés) kivonása, Fitch-féle bizonyításelmélet, szekvenciális és "fa" bizonyítási rendszerek, összehasonlítások és ellentétek az intuitív logikával, valamint predikátumlogikai modellek bemutatása. A kötet végén kényelmesen elhelyezett, a halmazelmélet elemeiről szóló kiegészítő fejezet betekintést nyújt a halmazelmélet Zermelo-Fraenkel-féle rendszerezésébe. A logika filozófiáját is vizsgáljuk.

A szövegben található gyakorlatok a matematikai indukciót oktatják a képletkonstrukcióhoz, a lengyel jelölés jólformáltságának tesztelését és a funkcionális teljességet.

A Szimbolikus logika nélkülözhetetlen olvasmány minden középszintű formális logikai kurzusokat tartó filozófiahallgató számára, és a szorgalmas elsőéves logika-hallgatóknak is tetszeni fog. A szöveg bővelkedik a logika formális gépezetével és filozófiai aspektusaival kapcsolatos feladatokban.