The studies in the fields of philosophical logic, the philosophy of language and the philosophy of mathematics are the hallmark of the Philosophy Department. The work on formal logic, theory of argumentation, theory of meaning, as well as on the key issues of the foundations of mathematics has been done for many years under the supervision of Prof. V.V. Tselischev.
The classical texts written by the faculty members are well known; they played important role in the formation of the Russian tradition of philosophical logic, giving rise to the generation of analytical philosophers:
- The logical truth and empiricism鈥� 1974);
- The logic of existence鈥� (1976);
- The philosophical problems of the semantics of possible worlds鈥� (1977);
- Two interpretations of the logical systems鈥� (1979).
The recent works, dealing with the 鈥渉ot topics鈥� of the contemporary philosophy of mathematics (鈥淭he ontology of mathematics鈥� (2003), 鈥淭he Godelian argument鈥� (2005), 鈥淭he epistemology of mathematical proof鈥� (2006), 鈥淚ntuition, finitism and the recursive thinking鈥� (2007), 鈥淎lgorithms and computability in human cognition鈥� (2012), and some other works, are also known and recognized.
Expert 鈥� DSc in Philosophy, Prof. Vitaliy Tselischev,
leitval@gmail.com
