Понятие существования в формальных языках

Abstract

In this paper the notion existence in logical systems is analysed. As examples of logical methods of the notion analysis will be considered Russell's description theory and Quine's theory of existence. In this paper two theses will be asserted: 1) (Lejewski's thesis) logic of existence comes from the mixing of quantification theory and the existence concept. Ontological assumptions appear to be implicit presuppositions, which are necessary to clarify by logical analysis; 2) pure logic is free of any ontological assumptions; they may be detected only in applied logic: existential assumptions are made in case of object area fixation and specific descriptive signs established in symbolism. The base of these assumptions lies entirely beyond the field of logic.

В работе исследуется понятие существования в формальных языках на примерах теории определенных дескрипций Рассела и теории существования Куайна. В работе отстаиваются два тезиса: 1) (тезис Лейевского) логика существования происходит от смешения теории квантификации и понятия существования; 2) чистая логика свободна от каких бы то ни было онтологических допущений, онтологические допущения можно обнаружить только в прикладной логике.