This article discusses the essence and form of various types of metatheory, paying special attention to metaphilosophy. It suggests the idea of the metatheoretical model—a completely new approach in philosophical discussion—and considers this concept with regard to the Platonic model and the Rhodian model. These models permit two different systems of metatheoretical construction. The paradigms of modern science allow the formation of metatheories that help further the development of logical, mathematical, and similar sciences. The Rhodian model allows the discovery of (...) methods that are helpful in building certain types of theory, as well as suggesting and examining theories that have special metatheoretical features and revealing their common features and differences with regard to other theories. The article discusses the complicated problem of the interrelation between philosophy and metaphilosophy and shows that metaphilosophy is also philosophy, not in the sense that metaphilosophy is a special part of philosophy but rather in the sense that metaphilosophy is a special kind of functioning of philosophy itself. (shrink)

Various authors of logic texts are cited who either suggest or explicitly state that the Gödel incompleteness result shows that some unprovable sentence of arithmetic is true. Against this, the paper argues that the matter is one of philosophical controversy, that it is not a mathematical or logical issue.

This article shows that the Rhodian model of metatheory can be successfully applied to nonformal systems of a methodological rather than an axiological nature if the demands of the model are satisfied. This requires that we take into account the possible variations of Rhodian models of argumentation and choose the most effective of them. Plato's model of meta-argumentation is only applicable to fields of argumentation that are completely formalized and could be presented as whole general theories.