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.

Alexei V. Samsonovich, Int. J. Mach. Conscious., 06, 49 (2014). DOI: 10.1142/S1793843014400083.

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)

Critics attack normative ethical stakeholder theory for failing to recognize the special moral status of shareholders that justifiesthe fiduciary duties owed to them at law by managers. Stakeholder theorists reply that there is nothing morally significant about shareholders that can underwrite those fiduciary duties. I advance an argument that seeks to demonstrate both the special moral status of shareholders in a firm and the concomitant moral inadequacy of stakeholder theory. I argue that (i) if some relations morally requirefiduciary duties, and (...) (ii) the shareholder-manager relation possesses the features that make fiduciary duties morally necessary to thoserelations, then (iii) stakeholder theory is morally lacking. (shrink)

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)

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)

The journal Biosemiotics was envisioned by its founding editor, Marcello Barbieri, as a major periodical for interdisciplinary papers that integrate biology and semiotics. Since 2008 the journal has published 21 issues, including special issues on crucial problems such as the semiotics of perception, origins of mind, code biology, biohermeneutics, biosemiotic analysis of information and chance. The impact factor of the journal does not fully describe the significance of this journal, because the discipline of biosemiotics is young and remains in its (...) early phase of growth. As the new editorial team of Biosemiotics, we would like to express our gratitude to Dr. Barbieri for his excellent job as an editor, and ensure the readers that we are equally committed to maintain high standards and the scientific rigor of published papers. At the end of 2014 we reorganized the editorial board of the journal based on the credential and former activity of prospective members. The cu .. (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)

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)

Principles of constructivism are used here to explore how organisms develop tools, subagents, scaffolds, signs, and adaptations. Here I discuss reasons why organisms have composite nature and include diverse subagents that interact in partially cooperating and partially conflicting ways. Such modularity is necessary for efficient and robust functionality, including mutual construction and adaptability at various time scales. Subagents interact via material and semiotic relations, some of which force or prescribe actions of partners. Other interactions, which I call “guiding”, do not (...) have immediate effects and do not disrupt the evolution and learning capacity of partner agents. However, they modify the extent of learning and evolutionary possibilities of partners via establishment of scaffolds and constraints. As a result, subagents construct reciprocal scaffolding for each other to rebalance their communal evolution and learning. As an example, I discuss guiding interactions between the body and mind of animals, where the pain system adjusts mind-based learning to the physical and physiological constraints of the body. Reciprocal effects of mind and behaviors on the development and evolution of the body includes the effects of Lamarck and Baldwin. (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)

The target article by Denis Noble is an excellent overview of the illusions of the Modern Synthesis that still remains in textbooks despite of the recent criticism. Overcoming these illusions shows the active role of organisms in the evolutionary process and accounts for additional mechanisms such as plasticity of embryo development, epigenetic heredity, multilevel selection, Baldwin effect, and niche construction, which are components of the Extended Evolutionary Synthesis. Adding these mechanisms is certainly an important step forward, but I argue that (...) it is not sufficient for building a new theory of evolution. What is missing is a clear understanding of such notions as agency, autonomy, semiosis, interpretation, and goal-directedness, which so far belong to the humanities and have not been applied seriously in science. Organisms are autonomous and goal-directed semiotic agents capable of interpreting hereditary signs and making meaningful models of their environment. Evolutionary biology needs a semiotic vocabulary to talk about higher level functions in organisms, where specific molecules and mechanisms are only means for integrating functions over the life cycle and adapting to the environment without compromising organism integrity and identity. Such a vocabulary is being developed in biosemiotics; thus, I expect the emergence of a biosemiotic theory of evolution. (shrink)

Volume 3, Issue 1, March 2019, Page 104-108.

Two trends have emerged in recent work from the Frankfurt School: the first involves a reconsideration of immanent critique’s basic commitments and viability for critical social theory, while the second involves an effort to introduce temporal considerations for social interaction into critical theorizing to help make sense of the phenomenon of social acceleration. This article contributes to these ongoing discussions by investigating whether social systems theory, in which temporal relations play a primary role, can be integrated with immanent critique. If (...) such a synthesis were successful, it would promise to unify two distinct forms of social theorizing that have often been taken to be orthogonal or incommensurate since the debate between Luhmann and Habermas in the 1970s. The investigation proceeds in three parts: first, the article delineates immanent critique’s conditions of success; second, using these conditions, it identifies potential points of contact between social systems theorizing and immanent critical forms of analysis, while exemplifying these commonalities via a case study; finally, the article argues that, although immanent critique is not a strict method of analysis or investigation, its success conditions preclude social systems theory on the grounds that the latter approach cannot anchor itself within the context of analysis in the way ‘immanent critique’ requires. (shrink)

We have revised the problem of the motion of a heavy symmetric top. When formulating equations of the Lagrange top with the diagonal inertia tensor, the potential energy has more complicated form as compared with that assumed in the literature on dynamics of a rotating body. This implies the corresponding improvements in equations of motion. Using the Liouville’s theorem, we solve the improved equations in quadratures and present the explicit expressions for the resulting elliptic integrals.

To explore the mechanism of sensation correlations between EP component amplitude and signal detection indices were studied. The time of sensation coincided with the peak latency of those EP components that showed a correlation with both indices. The components presumably reflected information synthesis in projection cortical neurons. A mechanism providing the synthesis process is proposed.

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)

Although the term taxon is one of the most common concepts in biology, a range of its meanings cannot be comprehended by an universal definition. Usually, biologists construe their knowledge of “the same” taxon by substantially different interpretations, so they find themselves in need either to justify this “multiplication of taxon essences”, or to surmount their plurality unifying its interpretations into a single explanation of what a taxon is. In both cases, an ontological status (“reality”) of that taxon is questioned. (...) Therefore, discrepancy between universality of the taxon concept in biology and unavoidable plurality of its interpretations can be regarded as a source of problem of the taxon ontology. The present work aims to clarify the premises of this discrepancy using phenomenological approach. Three ways of the taxon positing (as a class, as a place in the world, and as a individualized body) have been distinguished. Taxon as a class is established by common essence that is shared by a set of living beings. These living beings are regarded as speculative objects beyond an idea of the world, i.e. as objects of the experimental science. A question about ontology of taxon as a class refers to the scholastic problem of universalia; its status can be defined within the scope of the nominalism/realism opposition. Taxon as a place of common appearance of the specimens is regarded in the context of the etiological relations unifying various entities into the entire world. Taxon as a place refers to a certain position in the Natural System that is construed as an etiological map of the world. In this case a specimen of a living being is known as a curiosity, i.e. representant of its relationships as well as of the place of its origin. Ontological status of a taxon as a place is to be clarified within the framework of the natural/artificial opposition. The positing of a taxon as a collective body marked off by limits of joint survival of living beings is characteristic for biology in the strict sense which arose in the very beginning of the 19 century. A taxon as a body established by the techniques of disciplinary power sensu M. Foucault extended from the human bodies to bodies of other living beings. The ontological status of a taxon as a collective body can be defined within the scope of the wild/domesticated opposition. Therefore, the discrepancy between the universality of the taxon concept and the plurality of its interpretations is underlayed by interpenetration of three distinct modi of taxon establishing. Distinguishing between these three modi can clarify sources of ontological problems concerned with the term taxon in each case when they arise. (shrink)

Numerous results about capturing complexity classes of queries by means of logical languages work for ordered structures only, and deal with non-generic, or order-dependent, queries. Recent attempts to improve the situation by characterizing wide classes of finite models where linear order is definable by certain simple means have not been very promising, as certain commonly believed conjectures were recently refuted (Dawar's Conjecture). We take on another approach that has to do with normalization of a given order (rather than with defining (...) a linear order from scratch). To this end, we show that normalizability of linear order is a strictly weaker condition than definability (say, in the least fixpoint logic), and still allows for extending Immerman-Vardi-style results to generic queries. It seems to be the weakest such condition. We then conjecture that linear order is normalizable in the least fixpoint logic for any finitely axiomatizable class of rigid structures. Truth of this conjecture, which is a strengthened version of Stolboushkin's conjecture, would have the same practical implications as Dawar's Conjecture. Finally, we suggest a series of reductions of the two conjectures to specialized classes of graphs, which we believe should simplify further work. (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.

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.

The Bell inequalities of the metric form are introduced. The quantum-mechanical correlations of the particles with s=1/2 and photons are described using the relative measure of probability on the concave surfaces. The relation of the proposed scheme with the Bayes theorem about conditional information entropy and J. von Neumann's postulates is discussed.

The article is devoted to the well-known dispute between R. Carnap and W.V.O. Quine on the meaning of statements with names of abstractions, which also revealed their disagreements on the more general question of the nature of the dependence of ontology on the choice of language of knowledge. According to Quine, the choice of language carries with it certain ontological commitments – judgments of existence that must be true for anyone who appropriately uses the language in question. The language of (...) abstractions (using appropriate names and indications) is widely used not only in philosophy and everyday communication, but also in the sciences, including natural sciences. The names of abstractions (or, alternatively, quantification by corresponding entities) cannot be completely excluded from science, as Carnap, in particular, points out. He also considers it wrong to attribute to a scientist with empiricist views the belief in the existence of something that he, as an empiricist, is not ready to consider existing. In his view, the choice of language (framework) does not carry any ontological obligations: it determines what should be the correct answer to the so-called internal questions of the theory but does not affect metaphysical questions. Carnap interprets meaningful statements about abstractions as analytical truths, while Quine believes that most references to abstractions are removable from the language of science, and those that are not removable create additional ontological obligations, which, however, for some reason say nothing about reality itself. But why this is so, if the theory implicating them claims to describe reality, is not clear. This debate about the role of judgments about abstractions in scientific knowledge gave rise to a whole branch of metaphysical and ontological research, best known as metaontology. The main parties in this dispute are realists, who interpret irreducible abstractions as part of reality and denotations of certain names, and anti-realists, who, as a rule, deny the connection of statements with such names with reality, treating them as pseudo-statements or something similar. The solution to the problem, which is proposed in this article, consists in abandoning the belief, widespread both in philosophy and in everyday thought, which can be generally called “The theory of reference” and which consists in the fact that the contribution of names and certain other types of expressions to communication is their denotations. If we assume that names have no denotations at all and their semantic contribution to statements is only their senses or something similar, then the names of abstractions in this respect will be no different from other types of names. In this case, it would be no need to either assume that they designate some “Platonic” entities in order for some statements with them being true, nor interpret these judgments as pseudo-statements or as truths of some special kind that are not related to reality. The interpretation of statements with such names and their evaluation will not pose any special problem for the empiricist with this approach. (shrink)

Functional information means an encoded network of functions in living organisms from molecular signaling pathways to an organism’s behavior. It is represented by two components: code and an interpretation system, which together form a self-sustaining semantic closure. Semantic closure allows some freedom between components because small variations of the code are still interpretable. The interpretation system consists of inference rules that control the correspondence between the code and the function (phenotype) and determines the shape of the fitness landscape. The utility (...) factor operates at multiple time scales: short-term selection drives evolution towards higher survival and reproduction rate within a given fitness landscape, and long-term selection favors those fitness landscapes that support adaptability and lead to evolutionary expansion of certain lineages. Inference rules make short-term selection possible by shaping the fitness landscape and defining possible directions of evolution, but they are under control of the long-term selection of lineages. Communication normally occurs within a set of agents with compatible interpretation systems, which I call communication system. Functional information cannot be directly transferred between communication systems with incompatible inference rules. Each biological species is a genetic communication system that carries unique functional information together with inference rules that determine evolutionary directions and constraints. This view of the relation between utility and inference can resolve the conflict between realism/positivism and pragmatism. Realism overemphasizes the role of inference in evolution of human knowledge because it assumes that logic is embedded in reality. Pragmatism substitutes usefulness for truth and therefore ignores the advantage of inference. The proposed concept of evolutionary pragmatism rejects the idea that logic is embedded in reality; instead, inference rules are constructed within each communication system to represent reality, and they evolve towards higher adaptability on a long time scale. (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)