ABC i symbolisk logik är en första inledning till logikens språk och grundbegrepp. Den moderna logiken kännetecknas av att den infört särskilda symboler för olika logiska operationer. I de språk som härigenom skapats anges den logiska formen genom själva skrivsättet. Att lära sig logik är därför som att lära sig ett nytt språk ? man måste lära sig att tänka och uttrycka sig i det nya språket. Boken presenterar två av logikens mest grundläggande basspråk och visar genom exempel hur man översätter från vanlig svenska till de logiska språken och omvänt. Men boken syftar framförallt till att ge en förståelse av vad det innebär att något är logiskt giltigt. Teorierna om sådana grundbegrepp som logisk sanning, logisk konsekvens och logiskt bevis ges en systematisk framställning. ABC i symbolisk logik vänder sig till var och en som vill stifta bekantskap med modern logik och lära sig att stava i dess språk. Boken har länge använts i universitetskurser. Den utkommer nu i en andra upplaga i vilken flera revideringar gjorts för att tillfredsställa önskemål som framförts från olika håll. Dag Prawitz är professor emeritus i teoretisk filosofi vid Stockholms universitet.