ABC i symbolisk logik är en första inledning till logikens språk och grundbegrepp. Den moderna logiken kännetecknas av att den har 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 språ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. Detta den tredje utökade upplagan med några nya avsnitt i vilka en enkel metod presenteras för att besvara frågor om logisk sanning och logisk konsekvens. Dag Prawitz är professor emeritus i teoretisk filosofi vid Stockholms universitet.