Анна Моисеева выступила на международной конференции в Екатеринбурге
22 мая Анна Моисеева выступила с докладом «Выражения с кванторами "обычно" / "почти всегда" / "в норме" и генерический объект как ультрафильтр».
Аннотация
Генерические рассуждения — это рассуждения, предметом которых являются не индивиды, а виды или типы. Каждый вид или тип определяется некоторым набором характеристик, в норме присущих его представителям, однако небольшое количество представителей может быть лишено тех или иных характеристик из этого набора. Существуют различные способы формализации таких рассуждений. Одним из известных способов является использование немонотонной логики, в которой вывод из генерических свойств возможен «по умолчанию», то есть в отсутствии какой-либо информации, исключающей данный случай из общего правила. Классический пример:
Птицы летают; Твитти — птица - > Твитти летает,
Но: Твитти — пингвин - > Твитти не летает.
Однако и сама немонотонная логика, и ее применение к формализации генерических рассуждений подверглись обоснованной критике (Israel 1980, Besnard et al. 1991). В дальнейшем этот подход был неоднократно модифицирован (обзор см. Sette et al. 1997).
В докладе будет рассмотрен альтернативный подход с использованием понятия ультрафильтра (Carnielly, 1997). Будут показаны его преимущества над подходом немонотонной логики, базирующиеся на его позитивном характере, то есть на том, что основанием рассуждения является не отсутствие определенной информации о данном объекте — негативный факт, — а присутствие определенной информации о т.н. генерическом объекте как каноническом представителе вида или типа. Такой объект по отношению к множеству обычных объектов, относящихся к данному виду или типу, может быть описан как ультрафильтр на этом множестве.
В конце доклада будут рассмотрены ограничения применения данного подхода к проблемам семантики пропозициональных установок, в частности, к проблеме интенционального тождества.
Ссылка на официальную страницу конференции.
