Экспликации понятия публичного диалога
- Страницы / Pages
- 16-27
публичные объявления
логика публичных объявлений
диалог с публичными объявлениями
натуральное исчисление
public announcements
logic of public announcements
dialogue with public announcements
natural deduction
Аннотация
В статье предлагаются нестандартные подходы к формальной экспликации рассуждений на основе публичных объявлений. Рассматриваются два варианта систем натурального вывода для формализации таких рассуждений.
Abstract
T
Список литературы
Бочаров, В.А. и Маркин, В.И. (2005) Основы логики, М: Форум.
Зайцев, Д.В. (2014) ‘Диспозиционность, энтимема и знание‘, Логические исследования, Вып. 20, с. 48–59.
Зайцев, Д.В. (2015) ‘Моделирование диалога с публичными объявлениями‘, Логические исследования, Вып. 21 (1), с. 155–166.