An Introduction to Formal Logic: Second Edition
- 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.
