ABC i symbolisk logik - Logikens språk och grundbegrepp

+ LÄGG TILL

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...

Visa mer