Доклад Я. И. Петрухина «О трехзначном подходе М. Видаля к дефективной логике и ее применению в математике»

14 ноября в 16.40 в ауд. Б-513 состоится заседание исследовательского семинара «From the Logical Point of View».

Ярослав Игоревич Петрухин
(МГУ)

выступит с докладом:

«О трехзначном подходе М. Видаля к дефективной логике

 и ее применению в математике»

Аннотация доклада:

«Логика называется дефективной, если её импликация дефективна. Ключевая особенность дефективной импликации состоит в том, что она принимает истинностное значение "неопределенно", если её антецедент ложен. Мы рассмотрим два подхода, разработанных М. Видалем, к применению трёхзначных дефективных логик в математике. Видаль рассматривает простое рассуждение из геометрии и, исходя из истинной посылки и используя классическую логику, приходит к заключению, противоречащему интуиции. На его взгляд, для решения возникшей проблемы требуется найти подходящую дефективную логику. Однако, анализируя наиболее известные трёхзначные логики и рассматривая ряд дефективных импликаций, он не находит подходящей логики. Следуя критериям Видаля к дефективной логике, мы предлагаем альтернативный подход, показывающий, что трёхзначные логики могут использоваться для адекватного построения дефективной логики».

Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR