Заседание «Теоретического семинара кафедры логики»
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