Философский факультет

12 декабря 2023 года состоится доклад к.ф.н., старшего преподавателя кафедры логики философского факультета МГУ Беликова А. А. «О проблеме симуляции паранепротиворечивых и параполных отрицаний»
 
Аннотация.
 
В докладе будут изложены результаты, полученные совместно с О.М.Григорьевым и связанные с исследованием возможности семантического моделирования таких унарных связок, чья двойная итерация была бы способна симулировать свойства других унарных связок: классического, паранепротиворечивого, параполного и парадефинитного отрицаний. В частности, будет предложено несколько разновидностей формальной семантики, в рамках которой унарная связка типа отрицания ~ удовлетворяет критериям парадефинитного отрицания, а её двойная итерация, то есть ~~, ведет себя в точности как отрицание в «сильной» трехзначной логике Клини или «логике парадокса» Приста.
 
Время - 16.45.
Аудитория- г-518it