ABSTRACT This is a continuing attempt in a series of papers [KM 93, Mur 93, Mur 96] to show how computer-represented knowledge can be arranged as elements of an effectively represented semantic (or algebraic) domain in the sense of [GS 90]. We present a direct deductive description of the domain, which was defined semantically in [KM 93], via the Scott's notion of information system. Also, the internal structure of the continuous ampliative operations coordinated with the domain's effective basis is established. (...) Though we always remain in the paradigm of the toleration of contradictory information described in [Bel 75, Bel 76], the approach in question could be extended to include domains for consistency knowledge bases. (shrink)

We outline the Gödel-McKinsey-Tarski Theorem on embedding of Intuitionistic Propositional Logic Int into modal logic S4 and further developments which led to the Generalized Embedding Theorem. The latter in turn opened a full-scale comparative exploration of lattices of the (normal) extensions of modal propositional logic S4, provability logic GL, proof-intuitionistic logic KM, and others, including Int. The present paper is a contribution to this part of the research originated from the Gödel-McKinsey-Tarski Theorem. In particular, we show that the lattice ExtInt (...) of intermediate logics is likely to be the only constructing block with which ExtS4, the lattice of the extensions of S4, can be formed. We, however, advise the reader that our exposition is different from the historical lines along which some of the results discussed below came to light. Part 1, presented here, deals mostly with structural issues of extensions of logics, where algebraic semantics, though underlying this approach, is used merely occasionally. Part 2 will be devoted to algebraic analysis of the Embedding Theorem. (shrink)

We show that the lattices of the normal extensions of four well-known logics—propositional intuitionistic logic \, Grzegorczyk logic \, modalized Heyting calculus \ and \—can be joined in a commutative diagram. One connection of this diagram is an isomorphism between the lattices of the normal extensions of \ and \; we show some preservation properties of this isomorphism. Two other connections are join semilattice epimorphims of the lattice of the normal extensions of \ onto that of \ and of the (...) lattice of the normal extensions of \ onto that of \. The link between \ and \ is a well-known isomorphism established by the Blok–Esakia theorem. (shrink)

We deal with monotone structural deductive systems in an unspecified propositional language \ . These systems fall into several overlapping classes, forming a hierarchy. Along with well-known classes of deductive systems such as those of implicative, Fregean and equivalential systems, we consider new classes of unital and weakly implicative systems. The latter class is auxiliary, while the former is central in our discussion. Our analysis of unital systems leads to the concept of Lindenbaum–Tarski algebra which, under some natural conditions, is (...) a free algebra in a variety closely related to the deductive system in focus. (shrink)

On the 28th of October, 2006, Alexander Vladimirovich Kuznetsov, so is his full name, would have turned 80. Although belated, the editorial board of Logic and Logical Philosophy, we, the editors and contributors of the present issue, and other members of the logic community mark this event with the present issue. Most of those who contributed to it knew Kuznetsov in person and/or were influenced by him or by his ideas, which very often resided in somebody else’s papers or became (...) part of a scientific folklore. But, to be sure, there are even more mathematicians and logicians who have been witnesses to his scientific activity and/or have taken advantage of its results. (shrink)

We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.

We seek to trace how the assertion–rejection dichotomy arose, as well as in what forms it was realized in logical discourse. From this viewpoint, we observe the approaches to the concept of rejection by Łukasiewicz, Carnap, and Słupecki. We also explore the controversy between rejection and negation. Our main observation is that for a correct understanding of this dichotomy, it is necessary to distinguish between the object language and metalanguages of different levels.

Alexander Vladimirovich Kuznetsov, also known to the second generation of Soviet logicians as Sasha Kuznetsov, was born in Moscow on the 28 th of October, 1926. He lived a short yet fruitful life and died of cancer 1 in Chişinău, Moldova, on the 24 th of July, 1984.

This paper is devoted to the concepts of consequence and rejection, formulated as operators on a nonempty set of sentences, which may initially be unstructured. One of the issues that we pay attention to is the “cyclicity” of these concepts when they are defined one through the other. In addition, we explore this cyclicity, when the set of all sentences acquires some structure, or we can assume some structure of sentences in the sense that the operation of substitution can be (...) applied to them. (shrink)

We discuss nonmonotonic reasoning in terms of consequence relations and corresponding operators. Based on the matrix consequence that gives the monotonic case, we define a restricted matrix consequence that illustrates the nonmonotonic case. The latter is a generalization of the relation of logical friendliness introduced by D. Makinson. We prove that any restricted single matrix consequence, although it may be nonmonotonic, is always weakly monotonic and, in the case of a finite matrix, the restricted matrix consequence is very strongly finitary. (...) Further, by modifying the definition of logical friendliness relation formulated specifically in a proof-theoretic manner, we show a possibility of obtaining other reflexive nonmonotonic consequence relations, for which a limited result towards finitariness is proved. This leads to numerous questions about nonmonotonic consequence relations in the segment between the monotonic consequence relation based on intuitionistic propositional logic and logical friendliness. (shrink)

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)

Book Commentary:A.Yu. Korobov-Latyntsev. Philosopher and War. On Russian Military Philosophy. Moscow: Russkaya filosofiya, 2020.

This article looks at Lev P. Karsavin’s experience with the heritage of early Christian Gnosticism, from his attempts at stylization based on his study of genuine Gnostic texts and his systematic presentation of Gnostic systems in art almanacs published in the Soviet Union, to his perception of Gnosticism as a kind of “other principle” in his original religious–philosophical texts. We show that, following Silver-Age traditions, Karsavin uses myth as a form of philosophical thinking. He teeters on the edge of Gnosticism, (...) applying certain Gnostic concepts, but he generally turns to Gnostic thought only to distinguish it from his own, which he presents as authentic to the Christian tradition. He criticizes both ontological and anthropological postulates of Gnosticism: the hierarchization of intradivine life, the introduction of the cosmic feminine into the bosom of the Divine, the interpretation of the Fall as the kenosis of God in time, and the explanation of the perfect God from the imperfect world, as well as the type of religious personhood that leads to a rupture in theory and personal faith. We examine Karsavin’s reception of Gnosticism against the background of interest in Gnosticism in post-revolutionary Russia, as expressed by Kropotkinite anarchists, A. Karelin, V. Murav’ev, Yu. Danzas, and M. Kuzmin. (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)

As a comparative study of the virtue ethics of Aristotle and Confucius, this book explores how they each reflect upon human good and virtue out of their respective cultural assumptions, conceptual frameworks, and philosophical perspectives. It does not simply take one side as a framework to understand the other; rather, it takes them as mirrors for each other and seeks to develop new readings and perspectives of both ethics that would be unattainable if each were studied on its own.

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)

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)

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)

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)