Византийский богослов, философ-платоник. Считается автором книги Обзор логики Аристотеля, известной по первому слову греческого назания Синопсис (в данной статье я исхожу из этой трактовки). Внес значительный вклад в развитие средневековой логики не только в Византийской империи, но и на Западе. Впервые использовал буквенные обозначения основных видов атрибутивных высказываний: α для общеутвердительных, ι для частноутвердительных, ε для общеотрицательных, ο для частноотрицательных, на основе которых строятся мнемонические названия совершенных модусов, (в отличие от позднейших латинских названий) имевшие обычный языковой смысл и складывавшиеся в осмысленные фразы.
Например, совершенные модусы первой фигуры передавались фразой (в латинской транслитерации): grammata, egrapse, graphidi, texnikos (Буквы начертал резцом художник). Там же, видимо, впервые
используется схема логический квадрат.
Литература: Маковельский А.О. История логики. Жуковский – М., 2004.