Доклад Е. В. Борисова "Табличное исчисление для логики кросс-мировой предикации"
30 октября в 16.40 состоится заседание исследовательского семинара «From the Logical Point of View» Международной лаборатории логики, лингвистики и формальной философии.
Евгений Васильевич Борисов
доктор философских наук, профессор кафедры истории философии и логики
Томского государственного университета
выступит с докладом:
"Табличное исчисление для логики кросс-мировой предикации"
Аннотация доклада:
Для адекватного анализа предложений, описывающих кросс-мировые отношения, необходима логика, основанная на кросс-мировой интерпретации предикатов. При кросс-мировой интерпретации предикатов n-местный предикат получает экстенсионал для каждой упорядоченной n-ки возможных миров – не для отдельных возможных миров, как в стандартной модальной логике. В литературе предложен ряд логик такого рода; из них для меня наиболее существенны темпоральная логика Баттерилда и Стерлинга и кросс-мировая логика сослагательного наклонения Вемайера. В докладе предлагается логика для кросс-мировой предикаɰии (cross-world predication logic, CPL), развивающая подходы Баттерфилда – Стерлинга и Вемайера. Главное преимущество CPL перед указанными логиками состоит в том, что последние имеют довольно узкую сферу применения; например, логика сослагательного наклонения Вемайера применима только к двухместным предикатам, а логика Баттерфилда – Стерлинга не позволяет адекватно анализировать предложение «Джон был богаче, чем когда-либо прежде»; CPL снимает такого рода ограничения. (Детальный анализ ограничений указанных логик выходит за рамки доклада.) Дополнительное преимущество CPL состоит в том, что она использует стандартный формальный язык, тогда как указанные авторы расширяют формальный язык специфическими символами и выражениями. В докладе CPL представлена как версия алетической логики, но предлагаемый подход может быть распространен на модальную логику любого типа – эпистемическую, деонтическую, темпоральную и т.п.
План доклада: 1) язык и семантика CPL; 2) табличный метод доказательства замкнутых теорем CPL; 3) доказательство корректности и полноты табличного метода доказательства относительно представленной семантики применительно к замкнутым формулам.
- Время: 30 октября (ср), 16.40
- Место: ул. Старая Басманная 21/4, аудитория А-121
- Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR