Павлов, Сергей Афанасьевич
(р. 05.12.1946) — спец. В обл. Логики. Канд. Филос. Наук. Род. Во Львове. Окончил физ. Ф-т Киевского гос. Ун-та (1970). С 1990 работает в ИФ РАН. Инженер, м.н.с, в наст. Вр. — н. С. Сектора логики. С 1997 является также рук. Отдела информац. Обеспечения при Президиуме Росс. Филос. Об-ва. Создал и поддерживает сайт Росс. Филос. Об-ва в Интернете. Канд. Дисс. — "Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белна-па и Вригта". (2000). П. Построил логику, в к-рой операторы и предикаты истинности и ложности введены в объектный язык исчисления и допускается их итерация. Эта логика позволяет корректно оперировать, в частности, с высказываниями, содержащими противоречивую и неполную информацию. П. Также построил аксиоматическую теорию отношения обозначения (именования), в язык к-рой погружается элементарная онтология Леснев-ского.
В теории обозначения определены как экстенсиональные, так и интенсиональные отношения между именами. Эта теория допускает рассмотрение семантически замкнутых языков, что существенно для анализа естеств. Языка. Обобщая представления о семантических треугольниках, П. Выдвинул идею тетраэдра семиозиса.Соч. От исчисления предиката ложности к исчислению символьных выражений // Труды научно-исследовательского семинара логического центра Института философии РАН 1998. М., 1999. Условия применимости классической логики в рамках языков неклассических логик // Логические исследования. Вып.7, М., 2000. Аксиоматический подход к теории обозначения // Труды научно-исследовательского семинара логического центра Института философии РАН 1997.
М., 1998..
Дополнительный поиск Павлов, Сергей Афанасьевич
На нашем сайте Вы найдете значение "Павлов, Сергей Афанасьевич" в словаре Большая биографическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Павлов, Сергей Афанасьевич, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 26 символа