Date: Tue, 10 Mar 2020 21:17:28
Subject: Dag Prawitz, ABC i symbolisk logik

Hej!

Nu har jag läst ut ABC i symbolisk logik, av Dag Prawitz. Jag läste den redan vårterminen 1996, då jag läste A-kursen i filosofi på Stockholms universitet. Författaren pratade lite för oss nån gång, men mest hade vi andra lärare. Jag klarade logikdelen då. Och i morgon ska jag nog tenta liknande igen, här i Lund. Jag läste nog inte de två sista kapitlen 1996, så jag skriver inte (omläst) i rubriken eller när jag lägger upp den på http://onnebring.se/recensioner/ (de ingår inte i det vi behöver kunna på B-kursen på LU heller, men nyttigt att kunna för programmering och matematik).

Innehåll:
1 Det satslogiska språket
2 Analys av satslogisk form
3 Sanning, logisk sanning och konsekvens i satslogiken
4 Härledningar och bevis i satslogiken
5 Det predikatlogiska språket
6 Analys av predikatlogisk form
7 Sanning och logisk sanning i predikatlogiken
8 Slutledningar och härledningsmetoder i predikatlogiken
9 Klasslogik
10 Relationslogik

Boken har 239 sidor och är nyttig och läsvärd. Den handlar till stor del om icke, och, eller, alla och någon. T.ex att inte(p och q) är samma sak som inte-p eller inte-q (jmd NAND-grind i digitaltekniken). Och att icke-q eller q alltid är sann men icke-p och p alltid är falsk osv.

mvh aö