Predikatlogik: En Introduktion
Abstract
Den här boken är en inledning till den s.k. predikatlogiken. Predikatlogiken studerar argument vars giltighet beror på ord såsom ”allting”, ”någonting” och ”ingenting”. Boken innehåller fem kapitel. Det första kapitlet är en kort inledning till predikatlogik. Kapitel 2 handlar om syntax. Det tar upp flera predikatlogiska språk, det beskriver hur dessa är uppbyggda och hur de förhåller sig till olika naturliga språk. Kapitel 3 handlar om semantik. Vad betyder olika symboliska tecken? Vad har olika satser för sanningsvillkor? Kapitel 4 handlar om bevisteori. Det går bl.a. igenom hur man kan avgöra om ett argument är predikatlogiskt giltigt eller inte. Det nämner tre olika bevismetoder/härledningsmetoder: axiomatiska system, naturlig deduktion och semantiska tablåer. Kapitlet innehåller många exempel. Om man vill lära sig mer om logik, kan det vara bra att försöka bemästra alla dessa olika metoder. Kapitel 5 innehåller viss allmän information om predikatlogiken och fler övningar. Predikatlogiken är en utvidgning av den s.k. satslogiken, som bl.a. beskrivs i boken Satslogik: En Introduktion. För att förstå materialet i den här boken bör läsaren först ha studerat Satslogik: En Introduktion eller någon liknande bok. Predikatlogik: En Introduktion innehåller en stor mängd övningar som kan hjälpa läsaren att öva upp sina logiska förmågor.