Большая биографическая энциклопедия - павлов сергей афанасьевич

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

Соч.: От исчисления предиката ложности к исчислению символьных выражений // Труды научно-исследовательского семинара логического центра Института философии РАН 1998. М., 1999; Условия применимости классической логики в рамках языков неклассических логик // Логические исследования. Вып.7, М., 2000; Аксиоматический подход к теории обозначения // Труды научно-исследовательского семинара логического центра Института философии РАН 1997. М., 1998.

Большая биографическая энциклопедия

2009