Abstract

The aim of the paper is to consider some questions concerning the role of concept of existence in formal logic, especially the question whether the existence is a logical category. In the first step, I discuss the problem from the point of view of the classical logic. In this context I consider the issue whether empty names may appear as substitutions in logical propositions. Then I consider the function of the concept of existence in logic from a broader perspective, namely in the light of the classical theory of truth, as well as from a meta-theoretical perspective on the relationship between logic and ontology. Since the notions of existence and truth seem to me to play an indispensable role in logic, I argue in favour of the existential understanding of logic.Key words LOGIC, EXISTENCE, NAME, TRUTH