Allikas: Vikipeedia

Sümbolloogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kunstlikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. 20. sajandi alguses püüdsid Gottlob Frege, Bertrand Russell ja teised filosoofid näidata, et matemaatikat saab taandada sümbolloogikale. See küll ei õnnestunud, kuid vastavad loogika-alased uuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks.