In 1933, Konstantinas Raičinskis, a student of the Theologo-Philosophical Faculty (Department of Philosophy) of Kaunas University, wrote the diploma paper “Mathematical Methods in Logic”, and was conferred the degree of Bachelor of Philosophy.
It was the first paper in Lithuania on mathematical logic. It consists of two parts: a general and a special (theory of properties). The paper discussed a number of important questions of mathematical logic. The problem of formalizing intensional relations between concepts is of peculiar interest. Konstantinas Raičinskis suggested a new method which envisaged different symbols for the content and the form of a concept, the concept as a whole being expressed by a combination of the symbols. The aim of the method was to make formalization in logic more complete.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Please read the Copyright Notice in Journal Policy.
Most read articles by the same author(s)