• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Формальная философия-25

Cостоялось  25-е заседание семинара "Формальная философия". Сергей Афанасьевич Павлов, сотрудник ИФ РАН, член  Редколлегии журнала «Логические исследования»  выступил с докладом "Логика символьных выражений для формальной философии".

Cостоялось  25-е заседание семинара "Формальная философия". Сергей Афанасьевич Павлов, сотрудник ИФ РАН, член журнала Редколлегии «Логические исследования»  выступил с докладом  "Логика символьных выражений для формальной философии".

Аннотация доклада:
Логика символьных выражений строится в рамках теории операторов истинности и ложности, расширенной на универсум символьных выражений. Эта логика свободна от экзистенциальных предпосылок и допускает рассмотрение как противоречивых выражений языка, так и выражений, лишенных содержательного смысла. Это позволяет использовать логику символьных выражений для анализа и формализации широкого класса философских концепций.