તેમણે સેમિઓટિક્સ ઔપચારિક શાખા તરીકે તર્ક જોયું, જે સ્થાપક હતા.