Павлов Сергей Афанасьевич

Специалист в области логики; кандидат философских наук.

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

© AZ, 2009 - 2018
Сайт подготовлен при финансовой поддержке РГНФ № 09-03-12124в.