In this paper, we give a complete algebraic description of groups elementarily equivalent to the P. Hall completion of a given free nilpotent group of finite rank over an arbitrary binomial domain. In particular, we characterize all groups elementarily equivalent to a free nilpotent group of finite rank.

In this paper we study the algebraic structure ofω-stable bilinear maps, arbitrary rings, and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.

This article is devoted to the issue of Martin Heidegger’s influence on Hannah Arendt as an offshoot of the debates over the Black Notebooks and Heidegger’s attitude toward National Socialism. It c...

In this paper we study generic complexity of undecidable problems. It turns out that some classical undecidable problems are, in fact, strongly undecidable, i.e., they are undecidable on every strongly generic subset of inputs. For instance, the classical Halting Problem is strongly undecidable. Moreover, we prove and analog of the Rice theorem for strongly undecidable problems, which provides plenty of examples of strongly undecidable problems. Then we show that there are natural super-undecidable problems. i.e., problem which are undecidable on every (...) generic (not only strongly generic) subset of inputs. In particular, there are finitely presented semigroups with super-undecidable word problem. To construct strongly- and super-undecidable problems we introducea method of generic amplification (an analog of the amplification in complexity theory). Finally, we construct absolutely undecidable problems, which stay undecidable on every non-negligible set of inputs. Their construction rests on generic immune sets. (shrink)

At their extremes, the modernization of ancient mathematical texts (absolute presentism) leaves nothing of the source and the refusal to modernize (absolute antiquarism) changes nothing. The extremes exist only as tendencies. This paper attempts to justify the admissibility of broad modernization of mathematical sources (presentism) in the context of a socio-cultural (non-fundamentalist) philosophy of mathematics.

We define an appropriate analog of the Morley rank in a totally transcendental homogeneous model with type diagram D. We show that if RM[p] = α then for some 1 ≤ n < ω the type p has n, but not n + 1, distinct D-extensions of rank α. This is surprising, because the proof of the statement in the first-order case depends heavily on compactness. We also show that types over (D,ℵ₀)-homogeneous models have multiplicity (Morley degree) 1.

At the beginning of 20th century, there was a problem of establishing which version of the association of Kant’s and Marx’s ideas is correct. If some Legal Marxists more or less combined Kant and Marx, most Russian Social Democrats, especially Bolsheviks, were against such an association. Under the influence of G. V. Plekhanov, Russian Marxists announced a sharply critical attitude toward Kant’s philosophy. This position was reinforced by Russian philosophers, poets, and slavophiles who accused Kant of being militarist. During the (...) World War I, both tendencies faced each other. Plekhanov’s desperate appeal to „the simple laws or morals and justice” and Kant’s “Critique of Practical Reason”, which was supported by L. I. Axelrod, failed. It was rejected by the majority of Marxists both during the World War I and after the triumph of the 1917 October Revolution. (shrink)

We argue that constructive approaches in epistemology and systems science, which are focused on normativity, knowledge, and communication of organisms and emphasize the primacy of activity, self-construction, and niche-construction in the cognitive agents, fit naturally to the both methodology and theory of biosemiotics. In particular, constructive view was already present in the works of the major precursors of biosemiotics: von Uexküll and Bateson, and to some extent Peirce. Biosemiotics has a chance to function as a mediating field in the theoretical (...) integration of semiotics with its construction-related sister disciplines (e.g., second order cybernetics, autopoiesis, constructivism, enactivism, and interactivism) because of its explicit assumption of the semiotic nature of life and agency and its objectified “first person” view to biosemiotic agents, the view that nevertheless avoids the agnostic attitude towards reality. (shrink)

In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. -/- For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model theoretic property that (...) we call divisible amalgamation. -/- The main result of this paper is that if c is a finite tuple algebraic over a tuple a, the Lascar group of stp(ac) is abelian, and the underlying theory is G-compact, then the Lascar groups of stp(ac) and of stp(a) are isomorphic. To show this, we prove a purely compact group-theoretic result that any compact connected abelian group is isomorphic to its quotient by every finite subgroup. -/- Several (counter)examples arising in connection with the theoretical development of this note are presented as well. For example, we show that, in the main result above, neither the assumption that the Lascar group of stp(ac) is abelian, nor the assumption of c being finite can be removed. (shrink)

Alexey Losev's concept of 'personality' was developed in his writings from the 1920s, "The Dialectics of Myth" and "The Philosophy of Name". In his later works (e.g. on the aesthetics of the Renaissance and in his book about Vladimir Soloviev) Losev also understood the 'personality' outside of the boundaries of philosophy and theology. For him, the mystical dimension of personality in the end dominates logical and cultural structures of the subject. Losev's concept of 'personality' as a myth, a symbol, rather (...) than an abstract theory was an attack on the European individualism seen as a principle of the self-affirmation of the isolated subject. (shrink)

We argue that the Rawlsian social contract argument advanced for stakeholder theory by R. Edward Freeman, writing alone and with William M. Evan, fails in three main ways. First, it is true to Rawls in neither form, nor purpose, nor the level of knowledge (or ignorance) required to motivate the veil of ignorance. Second, it fails to tailor the veil of ignorance to the fairness conditions that are required to solve the moral problem that Freeman and Evan set out to (...) solve (whereas Rawls’s own use of the device surely tailors the veil of ignorance to the problem of designing a just social order). Third, the argument, considered apart from its claimed Rawlsian pedigree, fails to bolster the stakeholder theory because it fails to demonstrate the rationality of adopting the institutional rules that Freeman and Evan favor. (shrink)

This article summarizes the recommendations concerning robotics as issued by the Commission for the Ethics of Research in Information Sciences and Technologies (CERNA), the French advisory commission for the ethics of information and communication technology (ICT) research. Robotics has numerous applications in which its role can be overwhelming and may lead to unexpected consequences. In this rapidly evolving technological environment, CERNA does not set novel ethical standards but seeks to make ethical deliberation inseparable from scientific activity. Additionally, it provides tools (...) and guidance for researchers and research institutions. (shrink)

“The world of life which is comprised of the lithosphere, the hydrosphere and the atmosphere”: this definition of the biosphere is not complete since it does not express the determining influence of living organisms on its composition, on its structure and on the processes of its continuing evolution. The part of living matter in the biosphere is relatively small (about 0.25%), but this part has a considerable influence on its structure.The biosphere should be considered as the universal source of all (...) food products without exception. Mankind's ability to feed itself depends on the productivity of this biosphere in the first place. Moreover, its condition determines not only the quantity but also the quality of nourishment. The problem is a critical one today because of the increasing pollution of the biosphere by products poured into it by various human activities. (shrink)

The purinergic signalling system, which utilises ATP, related nucleotides and adenosine as transmitter molecules, appeared very early in evolution: release mechanisms and ATP‐degrading enzymes are operative in bacteria, and the first specific receptors are present in single cell eukaryotic protozoa and algae. Further evolution of the purinergic signalling system resulted in the development of multiple classes of purinoceptors, several pathways for release of nucleotides and adenosine, and a system of ectonucleotidases controlling extracellular levels of purinergic transmitters. The purinergic signalling system (...) is expressed in virtually all types of tissues and cells, where it mediates numerous physiological reactions and contributes to pathological responses in a variety of diseases. (shrink)

Life has semiotic nature; and as life forms differ in their complexity, functionality, and adaptability, we assume that forms of semiosis also vary accordingly. Here we propose a criterion to distinguish between the primitive kind of semiosis, which we call “protosemiosis” from the advanced kind of semiosis, or “eusemiosis”. In protosemiosis, agents associate signs directly with actions without considering objects, whereas in eusemiosis, agents associate signs with objects and only then possibly with actions. Protosemiosis started from the origin of life, (...) and eusemiosis started when evolving agents acquired the ability to track and classify objects. Eusemiosis is qualitatively different from protosemiosis because it can not be reduced to a small number of specific signaling pathways. Proto-signs can be classified into proto-icons that signal via single specific interaction, proto-indexes that combine several functions, and proto-symbols that are processed by a universal subagent equipped with a set of heritable adapters. Prefix “proto” is used here to characterize signs at the protosemiotic level. Although objects are not recognized by protosemiotic agents, they can be reliably reconstructed by human observers. In summary, protosemiosis is a primitive kind of semiosis that supports “know-how” without “know-what”. Without studying protosemiosis, the biosemiotics theory would be incomplete. (shrink)

The life story of Kant’s student F. A. Hahnrieder (1765/6–1829) provides us with new examples of the application of the categorical imperative. Kant has given his opinion about that. The biography of Hahnrieder suggests that Kant has not always insisted on the uniqueness of the interpretation of the categorical imperative. He has also admitted other, “paradoxical”, “unusual”, but not “fantastic” interpretations. Kant has even respected a radical interpretation of the categorical imperative. On the base of the archive data, numerous mistakes (...) about Hahnrieder were corrected in biographies of Kant and in the Akademie-Ausgabe. (shrink)

De nouveaux thèmes théologiques apparaissent dans le décor des églises byzantines vers le milieu du 11e siècle. Ils sont nés d'un programme spécifique probablement lié au schisme de 1054. L'A. étudie les thèmes liturgiques centraux de l'Eglise orthodoxe de cette époque en prêtant une attention particulière au symbolisme des thèmes et à la date de leur émergence au sein du décor de l'église comme par exemple la communion des apôtres, les évêques officiant, le Christ comme Grand Prêtre consacrant l'Eglise ou (...) encore le Christ Prêtre. Ce programme iconographique a déterminé pour des siècles la structure et le contenu du décor de l'Eglise byzantine. Il ne s'agissait pas simplement d'illustrer des sujets polémiques mais de tenter de créer une nouvelle imagerie reflétant une nouvelle conscience de l'Eglise orthodoxe séparée de l'Occident latin. (shrink)

The article discusses the main features of the Russian philosophy of war that developed in the first third of the 20th century. The author shows that in Russia, the philosophy of war did not develop as a separate broad line of research but limited itself to only a few meaningful, but rather brief, experiments. Nevertheless, many Russian philosophers left deep, well-founded reasoning about war, which can be reconstructed as a consistent system of views. One of its features is the shift (...) in the focus of considering armed violence from the sociological and political to the anthropological and ethical; the focus is not on war as a social phenomenon, but on the human’s position in war. In this regard, the attitude to war in Russian philosophy is paradoxical. On the one hand, war brings a lot of evil in the form of death of many people and destruction, but, on the other hand, it promotes to the manifestation of the best moral qualities in people, up to selflessness and heroism. Armed violence seems to be a tragedy of the Christian conscience, and each participant must independently find a justification for his participation in the war. Based on the conditions of a difficult moral choice, personal, existential justification may come from the idea that people cannot commit violence with a clear conscience. In this case, the person choosing to participate in a war perceives the battle as his own guilt that should be expiated. (shrink)

We show that no formula of first order logic using linear ordering and the logical relation $y = 2x$ can define the property that the size of a finite model is divisible by 3. This answers a long-standing question which may be of relevance to certain open problems in circuit complexity.

In this paper, we concentrate on finite quasivarieties (i.e. classes of finite algebras defined by quasi-identities). We present a motivation for studying finite quasivarieties. We introduce a new type of conditions that is well suited for defining finite quasivarieties and compare these new conditions with quasi-identities.

Biological evolution is often viewed narrowly as a change of morphology or allele frequency in a sequence of generations. Here I pursue an alternative informational concept of evolution, as preservation, advance, and emergence of functional information in natural agents. Functional information is a network of signs that are used by agents to preserve and regulate their functions. Functional information is preserved in evolution via complex interplay of copying and construction processes: the digital components are copied, whereas interpreting subagents together with (...) scaffolds, tools, and resources, are constructed. Some of these processes are simple and invariant, whereas others are complex and contextual. Advance of functional information includes improvement and modification of already existing functions. Although the genome information may change passively and randomly, the interpretation is active and guided by the logic of agent behavior and embryonic development. Emergence of new functions is based on the reinterpretation of already existing information, when old tools, resources, and control algorithms are adopted for novel functions. Evolution of functional information progressed from protosemiosis, where signs correspond directly to actions, to eusemiosis, where agents associate signs with objects. Language is the most advanced form of eusemiosis, where the knowledge of objects and models is communicated between agents. (shrink)

ABSTRACT This article contributes to methodological debates in contemporary critical theory regarding the scope and features of immanent critique. I spell out the philosophical commitments presupposed by this approach to criticism and identify its basic features by comparing it with more recognizable argumentative or interpretative strategies. This comparison yields three immanent-critical requirements – for inherence, contradiction, and access – which bring into relief the heuristic and ampliative character of immanent criticism. Yet, these requirements also imply that “immanent critique” is not (...) a method in any strict sense, since they are multiply interpretable and hence generative of distinctive critical comportments. (shrink)

In the still highly politicized question of rupture or continuity between the Russian Empire and the Soviet Union, elements of continuity are not hard to find, nor should this be a surprise, since a new state arose in the same geographical space and made use of the economic, intellectual, and demographic resources inherited from the Russian Empire. At the same time, the Soviet Union could not have been more different than the Russian Empire. It rejected a number of key elements (...) of the sociopolitical project that underlay the nationalizing tsarist empire and introduced radically new political and social principles for organizing that space. In particular, the Bolsheviks purposefully engaged in dismantling the tsarist efforts to build a great ethnic-Russian nation to stand at the center of the Russian Empire’s nationalities policy. The irreversible disintegration of post-Soviet space into separate nationalizing states became possible only toward the end of the twentieth century. At the same time, the imperial nature of the modern post-Soviet Russian core permits us to say that the imperial logic has survived. This is where we can find an element of inescapable continuity. We present studies of “continuities” and “ruptures” in modern academic discourse and in an updated format, gravitating toward “empirically nuanced” tools for analyzing multiple historical temporalities. (shrink)

In contrast to the traditional relational semiotics, biosemiotics decisively deviates towards dynamical aspects of signs at the evolutionary and developmental time scales. The analysis of sign dynamics requires constructivism to explain how new components such as subagents, sensors, effectors, and interpretation networks are produced by developing and evolving organisms. Semiotic networks that include signs, tools, and subagents are multilevel, and this feature supports the plasticity, robustness, and evolvability of organisms. The origin of life is described here as the emergence of (...) simple self-constructing semiotic networks that progressively increased the diversity of their components and relations. Primitive organisms have no capacity to classify and track objects; thus, we need to admit the existence of proto-signs that directly regulate activities of agents without being associated with objects. However, object recognition and handling became possible in eukaryotic species with the development of extensive rewritable epigenetic memory as well as sensorial and effector capacities. Semiotic networks are based on sequential and recursive construction, where each step produces components that are needed for the following steps of construction. Construction is not limited to repair and reproduction of what already exists or is unambiguously encoded, it also includes production of new components and behaviors via learning and evolution. A special case is the emergence of new levels of organization known as metasystem transition. Multilevel semiotic networks reshape the phenotype of organisms by combining a mosaic of features developed via learning and evolution of cooperating and/or conflicting subagents. (shrink)

This essay offers a comparative analysis of the notion of trust in Hegel and Confucius. It shows that Hegel’s two senses of trust depend upon his theory of recognition and recognitive struggle. The competitive thrust of Hegel’s account of trust, it argues, introduces a series of problems that cannot be adequately resolved within his theory, since it presupposes the kinds of trusting relations—self-, intersubjective- and world-trust—that it purports to explain. This essay then turns to the Confucian notions of xin 心 (...) and li 理 to address the problems in the Hegelian account. It concludes by outlining the Confucian account’s salience for critical social theory. (shrink)