bugün

aristoteles tarafından ortaya atılmış klasik mantığın, sembolleştirilmiş halidir.
p =>* q
q =>* r
;.* p=>* r

(bkz: klasik mantık)
19. ve 20. yüzyılda önem kazanan ve Frege, Russell, Whitehead ve Wittgenstein gibi öncüler tarafından geliştirilen, temelinde ideal dil arayışı olan mantık alanı.