Аннотация:В данной работе была поставлена цель с применением поведенческих и глазодвигательных параметров дифференцировать процессы рассуждения на примере различных типов пропозициональных умозаключений. Использовались два варианта каждого из типов (Modus Ponens, Modus Tollens, Modus Tollendo Ponens, Modus Ponendo Tollens) (правильный и неправильный или с различными видами дизъюнкции). Регистрация движения глаз осуществлялась с применением устройства SMI Hi-Speed при частоте регистрации 1250 Гц. Были обнаружены статистически значимые различия в показателях времени решения, количества и длительности фиксаций, количества и скорости саккад, а также длины пути в зависимости от типов и вариантов решаемых умозаключений. Полученные данные подтверждают, что при помощи технологии айтрекинга можно дифференцировать различные типы умозаключений.Ключевые слова: айтрекинг, когнитивные процедуры, умозаключения, рассуждения, логика.The goal of this study was to differentiate the processes of reasoning using behavioral and oculomotor parameters on the example of various types of propositional inferences. Two variants of each type of inference (Modus Ponens, Modus Tollens, Modus Tollendo Ponens, Modus Ponendo Tollens) (correct and incorrect or with different types of disjunction) were used. Eye movements were recorded using the SMI Hi-Speed at a registration frequency of 1250 Hz. Statistically significant differences were found in the indicators of the response time, the number and duration of fixations, the number and speed of saccades, as well as the path length, depending on the types and variants of the solved inferences. The obtained data confirm that using eye tracking technology, it is possible to differentiate various types of inference.Keywords: eye tracking, cognitive procedures, inferences, reasoning, logic.