Претраживање
Приказ резултата 1-2 од 2
Logic for the theory of concepts2
(Univerzitet u Novom Sadu - Filozofski fakultet - Odsek za filozofiju, Novi Sad, 2020)
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 ...
Godel on Deduction
(Springer, Dordrecht, 2019)
This is an examination, a commentary, of links between some philosophical views ascribed to Godel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, ...