Main Article Content



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.

Article Details

How to Cite
KOSTIĆ, J. (2021). LOGIC FOR THE THEORY OF CONCEPTS. Arhe, 17(34), 85–102. https://doi.org/10.19090/arhe.2020.34.85-102
Author Biography

JOVANA KOSTIĆ, University of Belgrade, Faculty of Philosophy

University of Belgrade, Faculty of Philosophy


Bochvar, D. A. & Bergmann, M., (1981) “On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus”, History and Philosophy of Logic Vol. 2, No. 1-2, pp. 87-112.

Crocco, G. & Bernard, J., (2016) “Gödel and the Paradox in Max Phil X” in Kurt Gödel: Philosopher-scientist, 978-2-85399-976-2, hal-01473451.

Feferman, S., (1984) “Toward Useful Type-Free Theories I”, The Journal of Symbolic Logic Vol. 49, No. 1, pp. 75-111.

Grocco, G., van Atten, M., Cantu, P., Engelen, E. M., (2017) “Kurt Gödel Maxims and Philosophical Remarks Volume X”, hal-01459188.

Gödel, K., (1944) “Russell’s Mathematical Logic”, in: Collected Works, II: Publications 1938-1974, Oxford University Press, Oxford (1990), pp. 119-141.

Kleene, S. C., (1971) Introduction to Metamathematics, Wolters-Noordhoff, Groningen.

Reinhardt, W. N., (1986) “Some Remarks on Extending and Interpreting Theories with a Partial Predicate for Truth”, Journal of Philosophical Logic Vol. 15, pp. 219-251.

Wang, H., (1996) A Logical Journey: From Gödel to Philosophy, MIT Press, Cambridge, MA.