La disciplina approfondisce lo studio della logica simbolica moderna, interessandosi in particolare agli ambiti più rilevanti di cui si occupa la ricerca odierna nel relativo settore di studi.