The defeat of the USSR and of the world system of socialism, which was of a world-wide significance, raised a key question of its underlying causes. As an answer to that question, it is shown that the defeat was by no way accidental as it was brought forth not only because of mistakes in the application of Marxism but also of significant economic and socio-political fallacies. The key is in the fallacies, which are hidden deeply inside the methodology of Marxism (...) and which therefore went unnoticed by anyone, i.e. in the violation in Marx’s Das Kapital of the requirements of a number of scientific methods that he used. Marx violated the requirements of the main method used in Das Kapital, viz. the method of ascension from the abstract to the concrete (he attributed the function of forecasting the future to that method, even though the method does not have it) as well as the methods of forecast, systems approach and hypothesis. Those methodological fallacies and distortions and their epistemological consequences provide evidence that Marxism is a result of seriously flawed beliefs and it could not avoid failure. Exposure of the above-mentioned fallacies and distortions will help broad masses of people to shed communist illusions and to avoid new social and political upheavals. (shrink)

Предназначено для студентов художественных вузов и факультетов, а также для учащихся профессиональных учебных заведений художественного профиля.

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular strong (...) limit cardinal or PFA. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

I analyze in this article the different ways in which Descartes uses abstraction in the Regulæ, discussing his project of a mathematical physics, the role of the imagination, and the status of numbers. I also try to show that the doctrine of simple natures cannot be well accommodated with the theory of abstraction developed in Rule 14, having instead a greater affinity with Descartes’ later theory of abstraction and exclusion, in which imagination plays no role and everything happens at a (...) strictly intellectual level. This interpretation is supported by the recent discovery of the Cambridge manuscript, which almost certainly records an early stage of composition and in which the doctrine of simple natures is absent, thus being very probably a later development. (shrink)

We show that assuming the determinacy of all games on reals, every set of reals is \ universally baire.

Han Fei was a famous Legalist in the late Warring States period. During the struggle to criticize the Confucian school, he developed the theory of the "rule of law," which laid a theoretical groundwork on which the newly emerging landlord class could build a centralized feudal state. His works had been appreciated by Ch'in Shih-huang. When Ch'in Shih-huang read the book Han Fei Tzu, he sighed and said, "I would feel no regret about dying if I could meet this person (...) and become his friend." Later Ch'in Shih-huang applied this progressive theory of Han Fei in practice and developed it through practice. (shrink)

We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi–Magidor theorem from (in The independence between the concepts of compactness and supercompactness, circulated manuscript), i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact cardinals can be the first n measurable cardinals while the strong (...) compactness of each strongly compact cardinal is indestructible under Levy collapses (our theorem is actually more general, see Sect. 3). A further application is that the class of strong cardinals can be nonempty yet coincide with the class of strongly compact cardinals while strong compactness of any strongly compact cardinal κ is indestructible under κ-directed closed posets that force GCH at κ. (shrink)

During his Fall 2005 set theory seminar, Woodin asked whether V-supercompactness implies HOD-supercompactness. We show, as he predicted, that that the answer is no.

Assuming $V=L+AD$, using methods from inner model theory, we give a new proof of the strong partition property for ${\sim}{ \delta }^{2}_{1}$. The result was originally proved by Kechris et al.

We re-prove Becker’s theorem from Becker :229–234, 1981) by showing that \}\) implies that \\vDash ``\omega _2\) is -supercompact”. Our proof uses inner model theoretic tools instead of Baire category. We also show that \ is \-strongly compact.

A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. ${\sf Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The ${\sf Largest\ Suslin\ Axiom}$ is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let ${\sf LSA}$ - ${\sf (...) over}$ - ${\sf uB}$ be the statement that in all generic extensions there is a model of $\sf {LSA}$ whose Suslin, co-Suslin sets are the universally Baire sets. We outline the proof that over some mild large cardinal theory, $\sf {Sealing}$ is equiconsistent with $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$. In fact, we isolate an exact theory that is equiconsistent with both. As a consequence, we obtain that $\sf {Sealing}$ is weaker than the theory “ $\sf {ZFC}$ + there is a Woodin cardinal which is a limit of Woodin cardinals.” This significantly improves upon the earlier consistency proof of $\sf {Sealing}$ by Woodin. A variation of $\sf {Sealing}$, called $\sf {Tower \ Sealing}$, is also shown to be equiconsistent with $\sf {Sealing}$ over the same large cardinal theory. We also outline the proof that if V has a proper class of Woodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy, then $\sf {Sealing}$ holds after collapsing the successor of the least strong cardinal to be countable. This result is complementary to the aforementioned equiconsistency result, where it is shown that $\sf {Sealing}$ holds in a generic extension of a certain minimal universe. This theorem is more general in that no minimal assumption is needed. A corollary of this is that $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$ is not equivalent to $\sf {Sealing}$. (shrink)

In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, J. Symbolic Logic (...) 67 1197–1226] for tame trees. (shrink)

kn. 1. Predystorii͡a, zasedanii͡a -- kn. 2. Khronika, portrety.

Everybody knows that the Revolution of 1911 was an anti-imperialist and antifeudal democratic revolution led by the revolutionary and democratic group of the bourgeoisie in the period of the old democratic revolution in China. The leader of that revolution was Sun Yat-sen, and the guiding ideology was his old Three People's Principles. It is well known that Chairman Mao has made a series of scientific appraisals of these facts, but the newspapers and magazines controlled by the anti-Party clique of Wang (...) Hung-wen, Chang Ch'un-ch'iao, Chiang Ch'ing and Yao Wen-yuan openly oppose Chairman Mao's scientific appraisals, betraying the fundamental principles of Marxism, distorting the Revolution of 1911 as a struggle between Confucians and Legalists, and replacing Sun Yat-sen as the standard-bearer of the revolution with Chang T'ai-yen, who played first an active and then a devastating role in the revolution. All this is part of the clique's attack on the Party in order to usurp the Party, seize power, restore capitalism and fabricate the "history" of the struggle between the Confucians and the Legalists. (shrink)