Доклад Данияра Шамканова «К вопросу о значении автореферентности для онтологического аргумента»
6 декабря в 18:30 состоится заседание теоретического семинара «Формальная философия».
Данияр Шамканов
НИУ ВШЭ
выступит с докладом на тему
«К вопросу о значении автореферентности для онтологического аргумента»
Аннотация.
Настоящий доклад представляет собой попытку обсудить особенности той аргументации, которую мы встречаем в онтологическом аргументе. Прежде всего нас интересует вопрос о роли автореферентности в такой аргументации. Мы приведем простой пример автореферентного предиката, из рекурсивного определения которого выводится непустота его объема в стандартной логике предикатов (с условием непустоты предметной области). Обсуждая вопрос законности рекурсивных определений, мы также рассмотрим теоремы о неподвижных точках для нескольких пропозициональных логик.