Præsenterer en ny tilgang til formelle sprog, især men ikke udelukkende som anvendt i logik. Fokuserer på deres kognitive indvirkning på menneskelig ræsonnement, med udgangspunkt i historisk udvikling, psykologi, kognitiv videnskab og filosofi. For studerende og forskere inden for logik og datalogi.