Доклад М. А. Смирнова «Бессмысленные» высказывания и естественные классы: формальный подход»
Мероприятие завершено
6 ноября в 18.00 в ауд. А-121 состоится заседание исследовательского семинара «From the Logical Point of View».
Михаил Алексеевич Смирнов
(сотрудник Международной лаборатории логики,
лингвистики и формальной философии)
выступит с докладом:
«Бессмысленные» высказывания и естественные классы: формальный подход»
Аннотация доклада:
В докладе будет предложено оригинальное решение проблемы логического статуса «бессмысленных» высказываний (таких как «Цезарь есть простое число»). В классической логике, в которой любому высказыванию приписывается одно из двух истинностных значений («истина» или «ложь»), такие высказывания трактуются как ложные. Альтернативной позицией является понимание подобных высказываний как «бессмысленных». Для реализации этой позиции могут служить такие распространенные подходы, как построение трехзначных логик (с истинностным значением «бессмысленно» для подобных высказываний), теоретико-типовых или многосортных семантик. Однако, по мнению докладчика, эти подходы, по сути, представляют собой ограничения, искусственно накладываемые на логику, что противоречит идее формальности логики (иначе говоря, ее нейтральности в отношении предметной области). В то же время проблему логического статуса подобных высказываний нельзя игнорировать: ее актуальность связана с важными семантическими свойствами обыденного языка. Эксплицируя эти свойства, докладчик фиксирует в обыденном языке две различные операции отрицания, обозначая их как u-отрицание (универсальное отрицание) и t-отрицание (типовое отрицание). Для формального определения и исследования свойств этих операций предлагается особая семантическая структура. В рамках представленного подхода дается формальное определение понятия естественного класса.
- Время: 6 ноября (ср), 18.00
- Место: ул. Старая Басманная 21/4, ауд. А-121
- Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR
Дата
6 ноября
18:00
Адрес
ауд. А - 121
В статье упомянуты
Персоны