Developments and projects of the Laboratory for logic and philosophy analysis
The classification of methods of logical and semantic research in analytical philosophy has been developed.
Historical and philosophical reconstruction and a critical analysis of the program of logicism in the foundations of mathematics (G. Frege, B. Russell, F. Ramsey) is carried out.
An original ontological concept of formal realism has been developed.
Reconstruction and critical analysis of the decisions of formal realism regarding the role of self-reference in the field of semantic paradoxes are carried out.
A classification of modern positions on the role of self-reference in the field of semantic paradoxes is presented.
The reasons for the emergence of the logical-semantic paradox "Liar" are investigated.
The logical foundations of epistemological criticism of relativism are explicated.
An original solution to logical paradoxes in a semantically closed language is formulated.
Limitations of the concept of semantic underdetermination in the framework of the concept of "radical translation" W.V.O. Quine is fixed.
Explication of the ontological obligations of the program of logical-semantic analysis of the language in a number of works by G. Frege, B. Russell and early L. Wittgenstein is made.
The methodological specificity of the pragmatic theory of interpretation of Quine - Davidson is revealed.
A projective approach in the theory of meaning which thematizes the underdetermination of descriptive content and the mechanisms of its completion within the framework of some speech practices has been developed.
The limits of applicability of the theory of rigid designation in relation to the semantics of names of natural species are shown.
Explication and criticism of the skeptical solution to L. Wittgenstein’s and S. Kripke’s rule-following problem is carried out.
A direct solution to L. Wittgenstein’s and S. Kripke’s skeptical problem in relation to some formalized languages is formulated.