Matematisk logik
är en benämning som ibland används som en synonym till symbolisk logik, men med den benämningen vill man ofta också antyda att den nya logiken, utöver att liksom matematiken använda särskilda symboler, har matematisk prägel även på så sätt att den deduktivt bevisar sina påståenden, dvs. härleder dem logiskt från
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse