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

11 апреля состоялось 12-е заседание семинара "Формальная философия". С докладом "ПОНЯТИЕ ВЫСКАЗЫВАНИЯ И ФОРМАЛИЗАЦИЯ ЕГО ОПРЕДЕЛЕНИЯ" выступил с.н.с. сектора теории познания ИФ РАН к.ф.н.  Сергей Афанасьевич Павлов.

11 апреля состоялось 12-е заседание семинара
"Формальная философия".
С докладом
"ПОНЯТИЕ ВЫСКАЗЫВАНИЯ И ФОРМАЛИЗАЦИЯ ЕГО ОПРЕДЕЛЕНИЯ"
выступил с.н.с. сектора теории познания ИФ РАН
к.ф.н.  Сергей Афанасьевич Павлов

. 
                                                                                 Аннотация:

В докладе обсуждается понятие высказывания, которое является исходным для классической логики высказываний. Отмечается неформальный характер его определения. Анализируется логическая семантика Фреге для логики высказываний. Выделяется логическая часть аппарата семантики, предназначенная для обоснования логики высказываний. С учетом учения Фреге об истинности и ложности, формально вводятся операторы истинности и ложности и строится соответствующая им теория. В языке этой теории операторов истинности и ложности строится формальное определение двузначных высказываний: на первом шаге для элементарных формул, а затем и в более общих случаях.