Daniyar Shamkanov spoke at the seminar "Formal Philosophy"

Daniyar Shamkanov made a presentation on the topic "On the question of the importance of self-reference for an ontological argument" at the theoretical seminar "Formal Philosophy" on December 6.

Abstract
The presentation is an attempt to discuss the specifics of the argumentation that we encounter in the ontological argument. First of all, we are interested in the question of the role of self-reference in such argumentation. We will give a simple example of an autoreferential predicate. Given the recursive definition of the autoreferential predicate, it is deduced that its volume is not empty in standard predicate logic (taking into account the condition that the subject area is not empty). While discussing the validity of recursive definitions, we will also consider fixed point theorems for several propositional logics.