Bevezetés a formális logikába: Második kiadás

Eredeti címe:

An Introduction to Formal Logic: Second Edition

Könyv tartalma:

- Filozófia, matematika, nyelvészet vagy informatika szakos hallgatóknak szánt kurzus, és kiválóan alkalmas önképzésre.

- Motivációt ad minden formális fogalomhoz és a formális logika felépítésének minden egyes lépéséhez az érvelés formalizálása szempontjából. A könyv fontos pontjain összefoglalókat adunk, hogy a hallgatók tisztában legyenek azzal, hogy mit csinálnak és hová tartanak.

- A formalizálás kritériumait kidolgozzák és alkalmazzák a hétköznapi nyelvi érvelés formalizálására példaanalízis formájában.

- Több mint 300 kidolgozott példa.

- Több mint 500 feladat, a válaszok a weben elérhetőek.