Satslogik: En Introduktion
Abstract
Den här boken är en inledning till den s.k. satslogiken. Satslogiken är en gren av logiken som studerar logiska relationer mellan satser. Boken innehåller fem kapitel. Det första kapitlet är en kort inledning till logik som går igenom några grundläggande logiska begrepp. Vad är logik? Vad menas med ”argument”, ”premiss”, ”slutsats”, ”giltighet” osv.? Kapitel 2 handlar om syntax. Hur är det satslogiska språket uppbyggt och hur förhåller det sig till naturliga språk? Kapitel 3 handlar om semantik. Vad betyder olika symboliska tecken? Vad har olika satser för sanningsvillkor? Det går igenom ett antal grundläggande semantiska termer, såsom ”logisk sanning”, ”logisk falskhet”, ”logisk kontingens”, ”logisk satisfierbarhet”, ”logisk följd” och ”logisk giltighet”. Det visar hur man kan använda sanningstabeller för att avgöra om ett argument är giltigt eller inte, om en sats är logiskt sann eller inte m.m. Kapitel 4 handlar om bevisteori. Vad är ett bevis? Vad är en härledning? Hur kan man avgöra om ett argument är giltigt eller inte? Det nämner tre olika bevismetoder/härledningsmetoder: axiomatiska system, naturlig deduktion och semantiska tablåer. Det tar upp ett antal exempel som visar hur man kan använda dessa metoder. Kapitel 5 innehåller en allmän diskussion om sanningsfunktioner och fler övningar. Det går igenom ett antal logiska fakta och säger något kort om metalogik. Boken innehåller en stor mängd övningar som kan hjälpa läsaren att öva upp sina logiska förmågor.