Problem egzystencjalnego zaangażowania logiki
Existential Commitment in Logic

Summary/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 (against of the non-existential) understanding of logic.

• Details
• Contents