Open AccessLOGIC FOR THE THEORY OF CONCEPTS
Author(s) -
Jovana Kostić
Publication year - 2021
Publication title -
arhe
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.1
H-Index - 1
eISSN - 1821-4940
pISSN - 1820-0958
DOI - 10.19090/arhe.2020.34.85-102
Subject(s) - non classical logic , calculus (dental) , foundation (evidence) , computer science , logical framework , predicate logic , basis (linear algebra) , epistemology , mathematics , logical consequence , artificial intelligence , philosophy , description logic , programming language , medicine , geometry , dentistry , archaeology , history
In this paper, we follow Gödel’s remarks on an envisioned theory of concepts to determine which properties should a logical basis of such a theory have. The discussion is organized around the question of suitability of the classical predicate calculus for this role. Some reasons to think that classical logic is not an appropriate basis for the theory of concepts, will be presented. We consider, based on these reasons, which alternative logical system could fare better as a logical foundation of, in Gödel’s opinion, the most important theory in logic yet to be developed. This paper should, in particular, motivate the study of partial predicates in a certain system of three-valued logic, as a promising starting point for the foundation of the theory of concepts.