Esittelee uuden lähestymistavan formaalikieliin, erityisesti mutta ei yksinomaan logiikassa käytettyihin. Keskittyy niiden kognitiiviseen vaikutukseen ihmisen päättelyyn, hyödyntäen historiallista kehitystä, psykologiaa, kognitiotiedettä ja filosofiaa. Opiskelijoille ja tutkijoille logiikan ja tietojenkäsittelytieteen aloilla.