According to Becker, the dispute between the intuitionistic (construction as the guarantor of mathematical existence) and the formalistic (non-contradiction as the guarantor of mathematical existence) definition should be resolved in a phenomenological perspective on the problem. The question of the legitimacy of the transfinite should also be resolved in the perspective of a phenomenological constitutive analysis. This analysis provides the key to the problematic of mathematical existence: the result of Becker’s investigations on the logic and ontology of the mathematical is (...) a solution in favour of the “genuine phenomena” of intuitionistic mathematics and the infinite. “Genuine phenomena” are those which turn out to be accessible for constitutive analysis precisely as phenomena of “pure consciousness” and even of the “concrete historical Dasein.” The final solution in favour of the “genuine phenomena” of intuitionistic mathematics and the infinite is motivated by the fact that Hilbert’s formalism does not satisfy the “chief phenomenological principle of demonstrability” (Ausweisbarkeit). (shrink)

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

We develop an axiomatic set theory — the Theory of Hyperfinite Sets THS— which is based on the idea of the existence of proper subclasses of large finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS, and present some applications.

To begin with, can we possibly call esthetic activity a cognitive function , that is, do the products of esthetic activity possess, along with their other characteristics, a certain cognitive value?

It would be no exaggeration to say that our art is presently undergoing a revolutionary stage in its development. The revolutionary renewal that has seized all spheres of life is being ever more forcefully represented in artistic culture as well. That culture is beginning to free itself from bureaucratic regimentation, incompetent pressure from above, inflated authorities, lifeless cliches, and opportunism of the moment. Art is actively seeking its place in perestroika, and is in turn in many respects defining the moral (...) climate of perestroika. Recent works such as Fire [Pozhar] by V. Rasputin, the Sad Detective Story [Pechal'nyi detektiv] by V. Astaf'ev, The Execution Block [Plakha] by Ch. Aitmatov, the paintings of G. Korzhev and V. Sidorov, the sculpture of V. Klykov, etc., are actively working for renewal. (shrink)

The present article analyzes the world order in the past, present and future as well as the main factors, foundations and ideas underlying the maintaining and change of the international and global order. The first two sections investigate the evolution of the world order starting from the ancient times up to the late twentieth century. The third section analyzes the origin and decline of the world order based on the American hegemony. The authors reveal the contradictions of the current unipolar (...) world and explain in what way globalization has become more profitable for the developing countries but not for the developed ones. In the paper also explains the strengthening belief that the US leading status will inevitably weaken. In this connection we discuss the alternatives of the American strategy and the possibility of the renaissance of the American leadership. The last section presents a factor analysis which allows stating that the world is shifting toward a new balance of power and is likely to become the world without a leader. The new world order will consist of a number of large blocks, coalitions and countries acting within a framework of rules and mutual responsibility. However, the transition to a new world order will take certain time (about two decades). This period, which we denote as the epoch of new coalitions, will involve a reconfiguration of the World System and bring an increasing turbulence and conflict intensity. (shrink)

We present an axiomatic framework for nonstandard analysis-the Nonstandard Class Theory which extends von Neumann-Godel-Bernays Set Theory by adding a unary predicate symbol St to the language of NBG means that the class X is standard) and axioms-related to it- analogs of Nelson's idealization, standardization and transfer principles. Those principles are formulated as axioms, rather than axiom schemes, so that NCT is finitely axiomatizable. NCT can be considered as a theory of definable classes of Bounded Set Theory by V. Kanovei (...) and M. Reeken. In many aspects NCT resembles the Alternative Set Theory by P. Vopenka. For example there exist semisets in NCT and it can be proved that a set has a standard finite cardinality iff it does not contain any proper subsemiset. Semisets can be considered as external classes in NCT. Thus the saturation principle can be formalized in NCT. (shrink)