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ı.
aristoteles tarafından ortaya atılmış klasik mantığın, sembolleştirilmiş halidir.
p =>* q
q =>* r
;.* p=>* r

(bkz: klasik mantık)
© copyright 2005 - 2026