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