The author considers following question: is a consistent semantically closed language possible? The negative answer is the orthodox answer in the logic of the 20th century. It was presented in Russell's theory of types and Tarski's semantic theory of metalanguages. Nevertheless, contemporary logicians and philosophers of language return to this problem time and again, pointing to its relevance in various aspects. In particular, it is asserted that semantically closed language is a very important tool for expressing logical and philosophical ideas. (...) In logic of the 20th century, the problem of semantically closed language was discussed in connection with the problem of logical paradoxes. Russell and Tarski saw a fundamental cause of paradoxes in the phenomenon of self-reference that arises in semantically closed language. Accordingly, a solution for paradoxes was seen in eliminating the cause, that is, in prohibiting semantically closed language by means of a hierarchy of logical types of classes (Russell) or a hierarchy of metalanguages (Tarski). However, some contemporary logicians criticize the hierarchical approach, whose main argument consists in asserting that the approach was wrong in its diagnosis of the cause of paradoxes. This author does not try to correct the diagnostics of the hierarchical approach by identifying another cause of paradoxes. Instead, the author recognizes that a general solution of the problem of paradoxes cannot be given, a priori, by eliminating what fundamentally generates them. In this article, a new “ad hoc solution" of the problem is offered that rests upon an empirical method of identifying and eliminating paradoxes. A specific characteristic of the method is admitting the existence of consistent semantically closed language. (shrink)

The phenomenon of self-reference combines self-refutation in the case of Plato’s critics of Protagoras in “Theaetetus” and self-predication in the case of a difficulty which Plato himself faces developing the theory of ideas in “Parmenides”. The author of the article asserts that self-predication does not produce a negative impact on Plato’s metaphysics and in no way destroys the integrality of Plato’s philosophy: It is logically correct as are both his criticism of Protagoras’ relativism and the theory of ideas.

A straight solution to Kripke’s problem proposed by Borisov is discussed in the article. The significance of the problem for modern philosophy of language and epistemology is established. Controversial aspects in Borisov’s study are analyzed. The main question is following. What solution to Kripke’s problem would be considered straight? It is argued that Borisov’s solution does not reach the level of a straight solution although it represents a significant step in this direction. The methodological importance of Borisov’s thesis that knowledge (...) of meaning is not an interpretation of the facts of speech behavior is substantiated. (shrink)