Simbolinė logika
Simbolinė logika (arba matematinė logika) – mokslas, nagrinėjantis įrodymus bei samprotavimus, naudojant dirbtinę kalbą natūralių kalbų dviprasmybėms ir loginiams prieštaravimams išvengti. Šis mokslas turi artimas sąsajas su matematika, taip pat informatika ir filosofine logika. Simbolinė logika yra naudojama dviem skirtingais atvejais: Logikos mokslo pritaikymas matematiniuose procesuose. Matematikos pritaikymas, tiriant formaliąją logiką. Simboliai logikoje turi panašius privalumus kaip ir matematikoje. Jais galima lengviau manipuliuoti, taip pat perprasti teiginių struktūras. Simboliai pasitarnauja dirbant su sudėtingais samprotavimais ir tai leidžia daugiau pasiekti pačiai logikai.