(р. 5.12.1946) — спец. в обл. филос. логики и логической семантики; к. филос. н. Р. во Львове. Окончил физ. ф-т Киевского гос. ун-та (1970). С 1990 работает в ИФ РАН (прежнее название — ИФ АН СССР). В наст. вр. - ст. н. с. сектора логики. Создал и поддерживает сайт Рос. филос. об-ва в интернете. Канд. дисс. — «Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта» (2000). П. построил логику, в к-рой операторы и предикаты истинности и ложности введены в объектный язык исчисления и допускается их итерация. Эта логика позволяет корректно оперировать, в частности, высказываниями, содержащими противоречивую и неполную информацию. П. построил для этой логики семантику с единственным денотатом «истина». П. также построил аксиоматическую теорию отношения обозначения (именования), в язык к-рой погружается элементарная онтология Лесневского. В теории обозначения определены как экстенсиональные, так и интенсиональные отношения между именами. Эта теория допускает рассмотрение семантически замкнутых языков, что существенно для анализа естеств. языка. Обобщая представления о семантических треугольниках, П. выдвинул идею тетраэдра семиозиса.
Соч.: Аксиоматический подход к теории обозначения // Труды научно-исследовательского семинара логического центра Института философии РАН 1997. М., 1998; Условия применимости классической логики в рамках языков неклассических логик // Логические исследования. Вып. 7. М., 2000; Логика с операторами истинности и ложности. М., 2004; Модификации семантики Фреге и семантики Дана для сентенционных логик//Логические исследования. Вып. 13. М., 2006.
ПАВЛОВ Сергей Афанасьевич
ПАВЛОВ Сергей Афанасьевич
Источник: Философы России начала XXI столетия Биографии идеи труды. Энциклопедический словарь 2009
ПАВЛОВ Сергей Афанасьевич
Родился 5 декабря 1946 г. во Львове. Окончил физический факультет Киевского государственного университета (1970). С 1990 г. в Институте философии РАН. В 2000 г. защитил кандидатскую диссертацию «Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта». Специалист в области философской логики, неклассических логик и логической семантики. Построил логику, в которой операторы и предикаты истинности и ложности введены в объектный язык исчисления и допускается их итерация. Эта логика позволяет корректно оперировать, в частности, с высказываниями, содержащими противоречивую и неполную информацию. Эту логику обосновал и обобщил в теории операторов истинности и ложности, в которой область определения этих операторов расширена на универсум символьных выражений. Построил аксиоматическую теорию отношения обозначения (именования), в язык которой погружается элементарная онтология Лесневского. В теории обозначения определены как экстенсиональные, так и интенсиональные отношения между именами. Обобщая представления о семантических треугольниках, выдвинул идею тетраэдра семиозиса.
Основные публикации Логика ложности FL4 // Труды научноисследовательского семинара логического центра Института философии РАН. 1993. М., 1994; Аксиоматический подход к теории обозначения // Там же. 1997. М., 1998; От исчисления предиката ложности к исчислению символьных выражений // Там же. 1998. М., 1999; Условия применимости классической логики в рамках языков неклассических логик // Логические исследования. Вып. 7. М., 2000; Элементарная теория истины с операторами истинности и ложности и расширение области их определения на универсум символьных выражений // Логико-философские исследования. Вып. 5. М., 2012.
Основные публикации Логика ложности FL4 // Труды научноисследовательского семинара логического центра Института философии РАН. 1993. М., 1994; Аксиоматический подход к теории обозначения // Там же. 1997. М., 1998; От исчисления предиката ложности к исчислению символьных выражений // Там же. 1998. М., 1999; Условия применимости классической логики в рамках языков неклассических логик // Логические исследования. Вып. 7. М., 2000; Элементарная теория истины с операторами истинности и ложности и расширение области их определения на универсум символьных выражений // Логико-философские исследования. Вып. 5. М., 2012.
Источник: Философы современной России. 2015 г.