Disciplina în care sunt tratate cu folosind o limbă artificială menite să evite ambiguitățile și logică carențe de limbi naturale argumente valabile și operațiuni.