In 2004 Atserias, Kolaitis, and Vardi proposed $\text {OBDD}$ -based propositional proof systems that prove unsatisfiability of a CNF formula by deduction of an identically false $\text {OBDD}$ from $\text {OBDD}$ s representing clauses of the initial formula. All $\text {OBDD}$ s in such proofs have the same order of variables. We initiate the study of $\text {OBDD}$ based proof systems that additionally contain a rule that allows changing the order in $\text {OBDD}$ s. At first we consider a proof (...) system $\text {OBDD}$ that uses the conjunction rule and the rule that allows changing the order. We exponentially separate this proof system from $\text {OBDD}$ proof system that uses only the conjunction rule. We prove exponential lower bounds on the size of $\text {OBDD}$ refutations of Tseitin formulas and the pigeonhole principle. The first lower bound was previously unknown even for $\text {OBDD}$ proofs and the second one extends the result of Tveretina et al. from $\text {OBDD}$ to $\text {OBDD}$.In 2001 Aguirre and Vardi proposed an approach to the propositional satisfiability problem based on $\text {OBDD}$ s and symbolic quantifier elimination $ algorithms). We augment these algorithms with the operation of reordering of variables and call the new scheme $\text {OBDD}$ algorithms. We notice that there exists an $\text {OBDD}$ algorithm that solves satisfiable and unsatisfiable Tseitin formulas in polynomial time, but we show that there are formulas representing systems of linear equations over $\mathbb {F}_2$ that are hard for $\text {OBDD}$ algorithms. Our hard instances are satisfiable formulas representing systems of linear equations over $\mathbb {F}_2$ that correspond to checksum matrices of error correcting codes. (shrink)

The breadth and ambiguity of philosophical concepts opens the door to the most diverse interpretations of these concepts and their manifold relations. Often the ideological use of philosophical concepts and ideas descends to the level of everyday meanings in which vagueness and even primitivism become a regular phenomenon of spiritual everyday life. The basic task of professional philosophers is to define clearly the subject of their science. This task is, of course, very difficult, as is evident from the multitude of (...) different definitions of philosophy that have been offered by its many creators and, especially, by its lovers. Without claiming complete originality, the author of this article offers his understanding of this extremely important question. Further, the author considers it an elementary point to seek the answer in the two-thousand-year history of philosophy, which has developed its defining concepts and terms. On the other hand, a reliance on the principal facts of contemporary scientific knowledge of human evolution and our civilization is no less widespread. Thus, a retrospective view of the subject of philosophy through its history coincides with a prospective approach. (shrink)

Vector encoding in perception -- From detector map to maps of memory and semantic units -- Vector encoding in response conditioning -- The neural screen of consciousness -- The modular organization of the brain -- The mosaic nature of consciousness -- Varieties of consciousness -- The neurophysiology of consciousness -- Conclusion: the spherical model of consciousness.

The article critically addresses Boris Groys’ interpretation of photographs by Alexandre Kojève. In 2012, Groys organized the exhibition After History: Alexandre Kojève as a Photographer, which intended to demonstrate the “posthistorical” dimension in Kojève’s artistic output. The article questions the adequacy of that perspective, given the somewhat tendentious curatorial presentation of the photos as showing an empty, dehumanized world. Considering the aesthetic and ontological aspects of the analysis of visual images that were central to Kojève’s brief account of his 1920 (...) visit to the Borghese Gallery in Rome and to his 1936 article on Kandinsky, Groys’ reading of Kojève’s photographic stance is subject to revision. The notion of aura, as proposed by Walter Benjamin, is operative in a comparative treatment of the photos by Kojève and Eugène Atget. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Dmitry Khanin THE POSTMODERN POSTURE Postmodernists—the sectarians ofour day—proclaim that the old kingdom of historical narrative and historical subject has perished, and is now being replaced by a new one of ahistorical discourses and ahistorical characters. According to these prophets, "history" is anyway just changes in ways of talking about history. Anyone who does not agree with the ahistoricity of the postmodern world oudook may be accused—and tried (...) on the spot—of defending the cause of the totalitarian Reason against the most liberating movement of today. This postmodernist abuse of history is paradoxical, since the very notion of history coming to its end and giving way to the ahistorical kingdom of freedom and merry debauchery is itself a very old idea, even a mythological one. The description ofhistory as marching toward its own demise relies on a whole tradition which portrays history as a drama. Aristode's conception of tragedy as a sequence of actions culminating in a dénouement has no doubt shaped this view of historical process. Christian and other religious millenarians have announced the end of history already many times. Yet another notorious instance of such eschatological daydreaming is the futurology of Karl Marx, who envisaged the kingdom of communism as occupying this same ahistorical space. A rather obsolete idea, perhaps, but it seems still to attract postmodernists, though they give it a characteristic twist, since they sincerely believe theory, discourse, écriture (i.e., theoretico-symbolical activity) are much more important than any actual historical contentprocesses and events. One of the most notable spokesmen for this approach is Arthur Danto, who insists that world history evolved in a good Hegelian manner until the theorists came to understand that history depends on their Philosophy and Literature, © 1990, 14: 239-247 240Philosophy and Literature texts much more than theorists themselves depend on historical processes and events.1 Many theoreticians working in an otherwise Marxist tradition similarly are glad to assert with FredricJameson that we must say farewell to Marx's positivistic illusion that history is driven by laws disguised as economic forces.2 In the epoch of "late capitalism," says Jameson, consumption gains the upper hand over production and becomes the mainspring of history. Of course, in light of recent doings in Europe I am tempted to ask if we owe it to postmodernists—and their ahistorical, inconsistent, and generally confounding claims about history lying in ruins—that the Berlin Wall actually is in ruins and Vaclav Havel is president of Czechoslovakia. Even more daring theorists may now declare an era of "very late capitalism." Here it will not be merely the mass media that act transformatively on society (as McLuhan claimed), but rather consumer goods themselves, like state-of-the-art washing machines or French perfumes, which create a new aura of intellectual discourse. TL· Postmodern Scene: Excremental Culture and Hyper-AesÜietics, a book by two Canadian authors, Arthur Kroker and David Cook, promotes such a sea change in the theoretical landscape and along the way presents a joyous recapitulation ofthe latest fads in postmodern thinking. The new apostolic generation ofpostmodern critics seems to enjoy the beautiful new things that can be bought for bucks, worrying at the same time that bucks may be losing some of their purchasing power. Like Hari-Krishnas dancing in the street they luckily possess a sort of happy consciousness which also recalls their puritanical great grandfathers who regarded profligacy as the greatest sin and much preferred saving to spending. In what follows I want to draw a portrait of this new postmodern posture. A few main assumptions underlie Kroker's and Cook's wake for postmodernism, which, in its peculiar genre of philosophic obituary, epitomizes and thus prepares for future oblivion views which were exceedingly popular in the preceding decade. First of all, the authors adopt Baudrillard's equation of Marx and Nietzsche: "Marx and Nietzsche shared a deep and common affinity in meditating upon historical (Christian) and materialistic (capitalist) expressions ofthewill ofpower."3 From Baudrillard's perspective Marx appears as a pathetic romantic who tried to defend the "referential illusion" by renaturalizing concrete labor even though its entirely abstract character was brilliandy revealed in Das Kapital. Baudrillard... (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

Collected writings on Plato’s unwritten teachings.

This book considers the emergence of dialectic out of the spirit of dialogue and traces the relation between the two. It moves from Plato, for whom dialectic is necessary to destroy incorrect theses and attain thinkable being, to Cusanus, to modern philosophers—Descartes, Kant, Hegel, Schleiermacher and Gadamer, for whom dialectic becomes the driving force behind the constitution of a rational philosophical system. Conceived as a logical enterprise, dialectic strives to liberate itself from dialogue, which it views as merely accidental and (...) even disruptive of thought, in order to become a systematic or scientific method. The Cartesian autonomous and universal yet utterly monological and lonely subject requires dialectic alone to reason correctly, yet dialogue, despite its unfinalizable and interruptive nature, is what constitutes the human condition. (shrink)

Представление о шарообразном Солнце было стандартным для греческой культуры уже во времена Аристотеля, однако происхождение этого представления настолько мало освещено в источниках, что современная наука даже не попыталась взяться за решение этого вопроса. Между тем правдоподобная реконструкция вполне возможна. Греческая религия, в сущности, не препятствовала возникновению естествознания, а его основатели, Фалес и Анаксимандр, совмещая научные и философские интересы, стремились к построению всеобъемлющей космологии, в рамках которой было необходимым не только описать движение Солнца, но и объяснить, что это за тело и (...) почему с ним связаны свет и тепло. Модель Анаксимандра, описывавшая Солнце как скопление огня, пребывающего внутри колесообразного контейнера из сгустившегося воздуха и обнаруживающего себя сквозь единственное отверстие, которое кажется незначительным, но в действительности размером с Землю, оказалась несовместимой с фактами, ставшими доступными в следующем поколении в связи с расширением географического кругозора греков. В частности, было надежно установлено, что полуденное Солнце, которое в Средиземноморье неизменно видно на юге, для наблюдателей, находящихся южнее тропика Рака, в разгар лета оказывается на севере. Необходимость пересмотреть концепцию Анаксимандра с учетом новых данных вызвала идейный поиск, который привел к убеждению в том, что Солнце должно иметь форму шара. Это представление утвердилось, судя по всему, не в силу какого-либо остроумного довода, выдвинутого влиятельным мыслителем, сколько на основании согласия круга профессионалов, рассмотревших вопрос с разных сторон. Солнечный шар, однако, было трудно представить огненным, поскольку огонь сам по себе не образует компактных, очерченных тел. С этим связаны распространенные в V в. до н. э. попытки приписать свету Солнца зеркальную природу. Признание же наличия в космосе трех огромных шаров – Солнца, Луны и Земли способствовало выдвижению идеи, согласно которой земной шар, как и прочие два, является движущимся небесным телом. (shrink)

The sources of religious tolerance but also of religious nationalism in post-soviet Russia can be found basically in the group identification of nationality and religion. In crisis situations, the historical religion of the Russian society - Orthodoxy - becomes the criterion for identifying the national identity. However, despite the fact that the majority of Russians in our times consider themselves Orthodox, many of them are not believers. The observable effect of the “external belief” results in the fact that the religion (...) tends to become a matter of personal choice and an individual value. It assumes a nationalistic function and to become an ideology. As a result, the political elite considers religion as a means of achieving different non- religious purposes. The Russian Orthodox Church, the official church, is compelled to take this fact into consider- ation and even support it. This is why religious intolerance and religious nationalism in modern Russia are often directed towards religion. (shrink)

The conserved ribosomal protein uS3 in eukaryotes has long been known as one of the essential components of the small (40S) ribosomal subunit, which is involved in the structure of the 40S mRNA entry pore, ensuring the functioning of the 40S subunit during translation initiation. Besides, uS3, being outside the ribosome, is engaged in various cellular processes related to DNA repair, NF‐kB signaling pathway and regulation of apoptosis. This review is devoted to recent data opening new horizons in understanding the (...) roles of uS3 in such processes as the assembly and maturation of 40S subunits, ensuring proper structure of 48S pre‐initiation complexes, regulation of initiation and ribosome‐based RNA quality control pathways. Besides, we summarize novel results on the participation of the protein in processes beyond translation and consider biomedical implications of previously known and recently found extra‐ribosomal functions of uS3, primarily, in oncogenesis. (shrink)

The solution of the problem of the future random events truth is considered in Vasil’ev’s logic. N. A. Vasil’ev graded the logic according to two levels—the level of facts, i.e. time fixed events, and the level of notions or rules, governing these facts. The mathematical construction previously suggested for imaginary Vasil’ev’s logic, extends to the early variant of his logic—a logic of notions. In the paper, we investigate the meaning of problematic and uncertain assertions introduced by Vasil’ev. As a result, (...) we developed a model of Vasil’ev’s logic of facts that resolves also the truth problem of future random events. The imaginary logic has also been extended to the level of notions, and the law of the excluded eighth is gotten in it. The correspondence between Vasil’ev’s terms “some” and “all” and modern quantifiers is discussed. (shrink)

Luce and Narens (Journal of Mathematical Psychology, 29:1–72, 1985) showed that rank-dependent utility (RDU) is the most general interval scale utility model for binary lotteries. It can be easily established that this result cannot be generalized to lotteries with more than two outcomes. This article suggests several additional conditions to ensure RDU as the only utility model with the desired property of interval scalability in the general case. The related axiomatizations of some special cases of RDU of independent interest (the (...) quantile utility, expected utility, and Yaari’s dual expected utility) are also given. (shrink)

Edelman suggests that any shape is encoded by an excitation vector with components corresponding to excitations of corresponding neuronal modules. This results in discrimination of stimuli in a shape space of low dimensionality. Similar vector encoding is present in color vision. Red-green, blue-yellow, bright and dark neurons are modules that represent a number of different color stimuli in color space of low dimensionality. Vector encoding allows effective computation of color differences and color similarities. Such a neuronal vector-encoding approach has also (...) been applied to the perception of visual movement, line orientation, and stereopsis. (shrink)

We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T 1 and T 2 coincide, the logic of T 1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.

We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the universal (...) theory of normal modal algebras is EXPTIME-complete. It also follows that the quasi-equational theory of monotonic modal algebras is co-NP-complete. While the EXPTIME upper bound for the universal theory of normal modal algebras can be obtained in a more straightforward way, as discussed in the paper, due to its close connection to the equational theory of normal modal algebras with the universal modality operator, the technique based on the theory of partial algebras is applicable to the study of universal theories of algebras corresponding to a wide range of logics with intensional operators, where no such connection is available. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

The essay presents its author's understanding of historical sociology, as well as a view on how to practice historical sociology. The preconditions that have been necessary for the emergence of historical sociology from the American intellectual tradition are the following: first, to overcome the ‘historiosophical ahistoricism’ of classical sociology and the ahistoricism of early empirical sociology in the United States. Second, the emergence of ‘social history’ in Europe under the influence of the Great War and the social sciences rejecting the (...) idea of progress in its evolutionary and revolutionary interpretations. The essay provides a detailed investigation of the features of the ‘new historical science’ in comparison with its traditional counterpart, as well as exploring the similarities and differences between social history and historical sociology. Social history is considered as an intermediate link between the classical ‘sociology of history’ and American historical sociology. Following social history, historical sociology turns to comparative studies and quantitative methods, but at the same time does not abandon hermeneutics. Historical sociology presupposes a mutual weakening of the nomothetics of classical ‘grand theories’ and the ideography of traditional history. It also implies a full-fledged sociological investigation of historical phenomena using procedures accepted in empirical sociology, rather than the reinterpretation of historical research in sociological-theoretical terms. This results in the emergence of special (rather than general) processual and medium-level theories of social change based on historical facts. Historical sociology focuses on theoretical generalizations, which clearly distinguishes it from social history. The essay investigates the different approaches and purposes of using the comparative historical method - and the quantitative methods that complement it. In turn, their utilization leads to problems with the acceptance of their results by traditional historians specialized in a single country and on studying primary sources in the original. Instead of concluding, the author discusses his experience and participation in the institutionalization of historical sociology in Russia and points out the problems hindering it. (shrink)

The article develops the idea of forming postcapitalist social relations as a social revolution of an individual, which consists in the fact that popularity becomes a key advantage, the “possession” of which is a desired goal and a significant resource of political influence. At the same time, it is shown that this process leads to forming a new dominant stratum — personalities (“people with personality”): celebrities, popular bloggers, social media influencers, micro- and nanosignature. It is substantiated that the personaliat domination (...) is a consequence of contradictory social relations between the new aristocracy represented by the representatives of the personaliat and many people who do not “possess” a popular personality - the impersonaliat (“extra people”, “lower” precariat, those who turn out to be outsiders in the world of social platforms). This contradiction is associated with the rooting of a celebrity’s culture, which encourages a lot of people to fight for popularity and focus on finding advantageous differences from others in the process of self-realization. However, this struggle in the end for the overwhelming majority turns into an increase in creative competition and subtraction. Various new forms of subtraction that appear in situations of widespread self-realization are revealed. Accordingly, arguments are given in favor of the fact that in the context of the “personality revolution”, the truly left will be rather an alternative that will call into question the ways of solving social problems formulated by popular personalities. In other words, it will be possible to oppose the total pursuit of popularity with the projects of society, in which the person is relied not as someone who rises above the others, but as an involved person who values life in harmony with others higher than his own “I”. (shrink)

This article is devoted to a critical analysis of neuropsychoanalysis, an interdisciplinary field that emerged at the end of the 20th century and set itself the task of combining neuroscience with the psychoanalytic approach. The author draws attention to the conceptual gaps of this ambitious undertaking. The main gap is argued to be the insufficient attention paid to the psychophysical problem (or mind-body problem), which ends up overlooking the fundamental difference between brain and psychic / mental reality, and attempts to (...) derive the principles of functioning of the latter from the observations of brain activity. This, in turn, leads to further problems: the problem of translation and search for a correspondence between psychoanalytic theory based on a thick observation of the subject's mental activity and the conceptual tools of neurosciences. What percentage of loss of meaning in this translation can be recognized as acceptable and what remains of psychoanalysis as a result of such a procedure? Another problem is related to the intersubjective symbolic nature of human desire, which cannot be deduced from observations of brain physiology. Finally, the author draws attention to the fact that neurosciences - and neuropsychoanalysis is no exception here - are already initially interwoven into social and cultural space, making them easy victims of contemporary- sometimes implicit - ideological attitudes. The article concludes with a call for greater reflexivity regarding neuropsychoanalysis on the part of both interested parties - psychoanalysts and neuroscientists. (shrink)

This book is a philosophical study of two major thinkers who span the period of late antiquity: Plotinus, who establishes many of the central themes for later debate and establishes strategies of argument and interpretation, and Proclus, who develops a grand philosophical synthesis and provides original insights into a number of important problems regarding being and thinking, matter and evil.

A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.

The outburst of antiracist protests in the USA in 2020 demonstrates how deeply this society’s present-day problems are rooted in its past. From this perspective, a study of the cultural memory of the time of the Civil War and the abolition of slavery, the key moment in the contemporary American nation formation, is especially relevant and important. The cultural frontier between the North and the South that had appeared as an outcome of differences in US history has not disappeared up (...) to now. By example of the complexity and inconsistency of the historical memory of the Civil War, slavery, and its abolition in the USA manifested in their visual representations, the article documents how through collective memory, history does not just invade modernity but is present in it, particularly in the form of memorials, monuments, museum expositions, and therefore determines the nation’s modernity to a large degree. (shrink)