(р. 02.10.1940) — спец. в обл. логики; д-р филос. наук, проф. Род. в г. Балашиха Моск. обл. Окончил Новочеркасский геолого-разведочный техникум (1960), филос. ф-т МГУ (1968). С 1968 по наст. вр. работает в ИФ РАН. С 1986 — вед. н.с, с 1999 — гл. н.с, в 1987—1989 возглавлял сектор логики науч. познания. Проф. кафедры логики Моск. гос. лингвистич. ун-та. Докт. дисс. — "Релевантная логика" (1985). Осн. науч. результаты С. — в обл. анализа, экспликации и формализации ес-теств. рассуждений. Одним из первых в стране начал изучение и разработку логич. теорий (названных впоследствии релевантными), свободных от парадоксов импликации. С. принадлежит идея построения двухуровневых семантик возможных миров. Введение в реляционные семантики крипкевского типа второго уровня принципиально исключает сведение теор. предложений к эмпирич. Необходимые истины, включая логич., оказываются либо постулированными, либо следствиями уже имеющихся постулатов. Это приводит к переосмыслению лейбницевского понимания необходимых утверждений как истинных во всех возможных мирах, т. к. само отнесение мира к "возможному" или "невозможному" на самом деле всегда конвенционально. По этой причине С. относит семантики возможных миров, предлагаемого типа, к семан-тикам не лейбницевского, а юмовского типа. По мнению С., П.Флоренский в работе "Столп и утверждение истины", отстаивая совместимость противоречивости Святого писания с божественным его происхождением, предвосхитил ряд идей, разрабатываемых ныне в рамках так называемых паранепротиворечивых и немонотонных логик. В посл. вр. интересы С. сосредоточены в осн. на двух проблемах. Первая связана с нахождением универсальной формулировки теоремы дедукции, т. е. представления этой известной теоремы в такой форме, чтобы она была адекватна любому класс. и некласс. логич. исчислению. Вторая проблема — эпистемологич. и связана с задачей представления возможных миров как моделей познания. При этом в качестве субъектов познания (познавателей), формирующих возможные миры, может выступать отдельный индивид, коллектив исследователей, науч. сооб-во, человечество. Трактовка объективности истины как соответствия онтол. миру требует переосмысления, т. к. на такое соответствие претендует любой познаватель, а верификация высказываний осуществима только в возможных мирах, отображающих всегда то, что считает истинным сам познаватель.
Соч.
: Некоторые варианты систем логического следования // Неклассическая логика. М., 1970; Пропозициональное исчисление с условной дизъюнкцией // Методы логического анализа. М., 1977; Логическое следование и условные высказывания. М., 1983; Принцип непротиворечия и парадоксальность формализованных теорий // ВФ. 1983. № 6; Логические выводы, доказательства и теория дедукции // Логика научного познания. М., 1987; Каждой арфе слух вверяй // Коммунист. 1991. № 3; Реляционная семантика релевантных исчислений // Логические исследования. Вып.3. М., 1995; Семантика возможных миров: от лейбницевской к юмовской // Там же; Логистика и теодицея (Идеи немонотонной и паранепротиворечивой логики у П.Флоренского) // ВФ. № 5. 1997; Возможные миры как модели познания // Первый российский философский конгресс. Т.3. СПб., 1997; Нормализованные выводы и обобщение теоремы дедукции // Логические исследования, М., 1998. Вып.5; Универсальная теорема дедукции // Логические исследования. Вып.7. М., 2000; Релевантная логика. М., 2000.