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

19 марта 2019 г. на философском факультете состоится очередное заседание «Теоретического семинара кафедры логики», начало в 15:00, аудитория Е-317.

В рамках семинара состоится доклад Екатерины Кубышкиной (Центр логики, эпистемологии и истории науки, Университет Кампинаса, Бразилия)

«Консервативный перевод четырехзначных логик в модальную логику»

Аннотация:
Следуя предложению Куи и Тамминга (2013)*, я строю консервативный перевод для каждой четырехзначной истинностно-функциональной пропозициональной логики в модальную логику. Тем не менее, использование такого перевода не позволяет сохранить интуитивное прочтение истинностных значений для любой четырехзначной логики. Для решения данной проблемы, я модифицирую перевод и доказываю его консервативность с помощью метода обобщенных истинностных значений.  

*Kooi, B., Tamminga, A. Three-valued Logics in Modal Logic // Studia Logica, Vol. 101, №5, 2013. С. 1061-1072.
 

Ekaterina Kubyshkina
(Centre for Logic, Epistemology and the History of Science, University of Campinas, Brazil)
 

Conservative translations of four-valued logics in modal logic

Abstract.

Following a proposal by Kooi and Tamminga (2013)*, I introduce a conservative Translation Manual for every four-valued truth-functional propositional logic into a modal logic. However, the application of this translation does not preserve the intuitive reading of the truth-values for every four-valued logic. In order to solve this problem, I modify the Translation Manual and prove its conservativity by exploiting the method of generalized truth-values.

Для оформления пропуска в МГУ присылайте свои ФИО по адресу logic@philos.msu.ru