(szimbolikus logika). Az ítéletek feldolgozásának, a logikai következtetéseknek, bizonyítási folyamatoknak formális leírásával foglalkozó tudományág. Tárgyát tekintve logika, módszerét tekintve matematika. Egyes fejezeteinek igen jelentős a gyakorlati alkalmazása az adatfeldolgozó berendezések tervezésében (Boole-algebra), számítógépek programozásában, a kibernetikában, a nyelvtudományokban, a neurofiziológiában (neuronhálók modellezése) stb.
Lásd még:
