The concept of scaffolding has wide resonance in several scientific fields. Here we attempt to adopt it for the study of development. In this perspective, the embryo is conceived as an integral whole, comprised of several hierarchical modules as in a recurrent circularity of emerging patterns. Within the developmental hierarchy, each module yields an inter-level relationship that makes it possible for the scaffolding to mediate the production of selectable variations. A wide range of genetic, cellular and morphological mechanisms allows the (...) scaffolding to integrate these modular variations into a functionally coordinate unit. A genetic scaffolding accounts for the inherited invariance of pattern formation during the embryo’s growth. At higher level, cells behave as agents endowed with the capacity to interpret any scaffolding variation as signs. The full hierarchy of a multi-level scaffolding is eventually attained when the embryo acquires the capacity to impose a number of developmental constraints on its constituting parts in a top-down direction. The acquisition of this capacity allows a semiotic threshold to emerge between the living cellular world and the underlying non-living molecular world. As this boundary is gradually defined during development, cells enter into new functional relationships, while, at the same time, are relieved from their physical determinism. The resulting constraints can thus become the driving forces that upgrade embryonic scaffolding from the simple molecular signalling to the complexity of sign recognition proper of a cellular community. In this semiotic perspective, the apparent goal directness of any developmental strategy should no longer be accounted for by a predetermined genetic program, but by the gradual definition of the relationships selected amongst the ones historically explored. (shrink)

The majority of G protein-coupled receptors (GPCRs) self-assemble in the form dimeric/oligomeric complexes along the plasma membrane. Due to the molecular interactions they participate, GPCRs can potentially provide the framework for discriminating a wide variety of intercellular signals, as based on some kind of combinatorial receptor codes. GPCRs can in fact transduce signals from the external milieu by modifying the activity of such intracellular proteins as adenylyl cyclases, phospholipases and ion channels via interactions with specific G-proteins. However, in spite of (...) the number of cell functions they can actually control, both GPCRs and their associated signal transduction pathways are extremely well conserved, for only a few alleles with null or minor functional alterations have so far been found. This would seem to suggest that, beside a mechanism for DNA repairing, there must be another level of quality control that may help maintaining GPCRs rather stable throughout evolution. We propose here receptor oligomerization to be a basic molecular mechanism controlling GPCRs redundancy in many different cell types, and the plasma membrane as the first hierarchical cell structure at which selective categorical sensing may occur. Categorical sensing can be seen as the cellular capacity for identifying and ordering complex patterns of mixed signals out of a contextual matrix, i.e., the recognition of meaningful patterns out of ubiquitous signals. In this context, redundancy and degeneracy may appear as the required feature to integrate the cell system into functional units of progressively higher hierarchical levels. (shrink)

Any living organism interacts with and responds specifically to environmental molecules by expressing specific olfactory receptors. In this paper, this specificity will be first examined in causal terms with particular emphasis on the mechanisms controlling olfactory gene expression, cell-to-cell interactions and odor-decoding processes. However, this type of explanation does not entirely justify the role olfactory receptors have played during evolution, since they are also expressed ectopically in different organs and/or tissues. Homologous olfactory genes have in fact been found in such (...) diverse cells and/or organs as spermatozoa, testis and kidney where they are assumed to act as chemotactic sensors or renin modulators. To justify their functional diversity, homologous olfactory receptors are assumed to share the same basic role: that of conferring a self-identity to cells or tissues under varying environmental conditions. By adopting this standpoint, the functional attribution as olfactory or chemotactic sensors to these receptors should not be seen either as a cause conditioning receptor gene expression, or as a final effect resulting from genetically predetermined programs, but as a direct consequence of the environmental conditions olfactory receptor genes have explored during evolution. The association of odorant patterns with specific environmental or contextual situations makes their relationship semiotically triadic, due to the emergence of an interpretant capable of perceiving odorants as meaningful signs out of a noisy background. This perspective highlights the importance of odorant-receptor relationships as respect to the properties of the interacting partners. It is our contention that only when taken together can these different explanatory strategies provide a realistic account of how olfactory receptor genes have been structurally and functionally modified during evolution. (shrink)

In this introductory article to the special issue on Multi-level semiosis we attempt to stage the background for qualifying the notion of “multi-levelness” when considering communication processes and semiosis in all life forms, i.e. from the cellular to the organismic level. While structures are organized hierarchically, communication processes require a kind of processual organization that may be better described as being heterarchical. Theoretically, the challenge arises in the temporal domain, that is, in the developmental and evolutionary dimension of dynamic semiotic (...) processes. We discuss the importance of this fundamental difference in order to explain how levels, domains and orders of magnitude, on the one hand, and synchronic and diachronic processes, on the other, contribute to the overall organization of every living being. To account for such multi-level organization, semiotic freedom is assumed to be a scalar property that endows living systems at different levels and domains with the capacity to ponder selectively the overall structural coherence and functional compatibility of their heterarchical processing, which is increasingly less conditioned by the underlying molecular determinism. (shrink)

Cell communication plays a key role in multicellular organisms. In developing embryos as in adult organisms, cells communicate by coordinating their differentiation through the establishment and/or renewal of a variety of cell communication channels. Under both these conditions, cells interact by either receptor signalling, surface recognition of specific cell adhesion molecules or transfer of cytoplasmic components through junctional coupling. In recent years, it has become apparent that cells may also communicate through the extracellular release of microvesicles. They may originate as (...) either exosomes from the endosomal compartment upon fusion of multivesicular bodies with the plasma membrane or be shed directly from the plasma membrane via extensions of the cell surface. Microvesicles may disperse over long distances through body fluids and deliver their molecular cargo onto a variety of target cells. As a general rule, the metabolic fate of these cells is determined by the molecular nature of the vesicular cargo, while targeting itself depends on the affinity of the molecules expressed on the enclosing membrane. In this paper, we will be arguing that intercellular vesicular transfer is substantially different from other types of cell communication, allowing cells and molecules to interact on varying levels. Cells interacting via ligand signalling owe their specificity to the steric coupling with cognate receptor molecules. As such, it is a pure molecular process that affects target cells only upon integration into their responding repertoire. In this relationship, coupled cells are reciprocally adapted to each other through the selection of their respective signalling capacities, following exploration of their receptor specificity. Interaction by intercellular vesicles realizes a substantially different type of cell communication. Vesicular traffic allows donor cells to carry out a horizontal type of gene transfer and target this information over long distances via independently controlled mechanisms. Because of this independence, cells interacting via vesicular traffic are not expected to adapt their signalling correspondences, but to control instead the efficiency of their cargo delivery irrespective of the receptor repertoire expressed by the target tissue. In this paper, the multifaceted functions of the intercellular vesicular traffic will be discussed in a multilevel biosemiotic perspective with the aim of unravelling the cellular mechanisms devised by nature to accomplish communication. (shrink)

Receptor oligomerization plays a key role in maintaining genome stability and restricting protein mutagenesis. When properly folded, protein monomers assemble as oligomeric receptors and interact with environmental ligands. In a gene-centered view, the ligand specificity expressed by these receptors is assumed to be causally predetermined by the cell genome. However, this mechanism does not fully explain how differentiated cells have come to express specific receptor repertoires and which combinatorial codes have been explored to activate their associated signaling pathways. It is (...) our contention that the plasma membrane acts as the locus where several contextual cues may be integrated. As such it allows the semiotic selection of those receptor configurations that provide cells with the minimum essential requirements for agency. The occurrence of protein misfolding makes it impossible for receptor monomers to assemble along the membrane and to sustain meaningful relationships with environmental ligands. How could a cell lineage deal with these loss-of-function mutations during evolution and restrain gene redundancy accordingly? In this paper, we will be arguing that the easiest way for bacteria clones to accomplish this goal is by getting rid of cells expressing mutated receptor proteins. The mechanism sustaining this cell selection is also occurring in many somatic tissues and its function is currently believed to counteract in vivo protein mutagenesis. Our discussion will be mainly focused on the significance and semiotic nature of the interplay between membrane receptors and the epigenetic control of gene expression, as mediated by the control of mismatched repairing and protein folding mechanisms. (shrink)

The biopsychosocial model was initially proposed to overcome the normative assumption that human diseases are exclusively due to disordered biochemical and/or neurophysiological processes. The model attempts to explain how expectations, thoughts and feelings modify the patient’s motivations to deal with illness and recovery. By considering the physical health in this perspective, healthcare professionals may test the importance of socially and culturally shared principles in alleviating illness experience. The entire biopsychosocial hierarchy may thus appear as a complex network of relationships between (...) the strict logic of scientific explanations and the emotional sustainability with which beliefs may either be defended, changed or even refused. In this paper, we aim at reviewing some of the evidence-based biomedical and psychological findings that provide a unified framework for the biopsychosocial model as a multilevel integrative process. To tackle this objective, we propose to approach the model in biosemiotic terms. It is our contention that the entire biopsychosocial hierarchy could be better understood if approached biosemiotically and the multilevel interconnection of this hierarchy re-examined in the light of a collaborative meaning-making process. (shrink)

Established at the annual meeting of the International Society for Biosemiotic Studies on July 3rd 2014, in conjunction with Springer Publishing, publishers of the Society’s official journal, Biosemiotics, the Annual Biosemiotic Achievement Award seeks to recognize those papers published in the journal that present novel and potentially important contributions to the ongoing project of biosemiotic research, its scientific impact, and its future prospects. Here the winner of the Biosemiotics Achievement Award for 2019 is announced: the award goes to Y.H. Hendlin (...) for the article ‘I Am a Fake Loop: the Effects of Advertising-Based Artificial Selection’. (shrink)

Germ cells are cross-roads of development and evolution. They define the origin of every new generation and, at the same time, represent the biological end-product of any mature organism. Germ cells are endowed with the following capacities: to store a self-descriptive program, to accumulate a protein-synthesizing machinery, and to incorporate enough nourishment to sustain embryonic development. To accomplish this goal, germ cells do not simply unfold a pre-determined program or realize a sole instructive role. On the contrary, due to the (...) complexity of their cytoarchitecture and the nature of the soma-to-germ interactions, they are heavily involved in processes of sign recognition and meaningful tissue exploration. At each stage of their inward migration, germ plasma membranes act as semiotic interfaces allowing cells to interact with the surrounding extracellular milieu and experience the compatibility of selected developmental sequences. The question of which signaling pathways are activated at each developmental stage does not result from a strictly predetermined program instructing germ cell stemness. Rather, each developmental sequence is an open-ended semiotic relationship explored and gradually defined during evolution by the context-dependency of specific cell-to-cell interactions. In this way, any structural and functional novelty that has emerged in the course of germ cell interactions may be interpreted as an exaptation fixed in the species genome in response to specific environmental constraints. (shrink)

The egg behaves as a prospective cell sustaining the developmental processes of the future embryo. In biosemiotic terms, this apparent teleonomic behaviour can be accounted for without referring to the exclusive causal role played by its genetic makeup. We envision two different processes that are uniquely found in the oocyte: (1) the first involves the mechanisms by which large amounts of mRNA accumulate in the ooplasm to establish the embryo axes prior to fertilization; (2) the second involves transfer of an (...) excess of maternally supplied ribosomes to the oocyte to provide the future embryo with newly synthesized proteins. In this paper, we argue that the information required to sustain embryonic development is not due to any physical properties of the zygotic DNA and the maternal mRNAs, but to their spatially and temporally ordered relationship in the zygote’s internal space. (shrink)

Thick description was originally proposed to overcome the limitations of quantitative research and ground anthropological observations in concrete people’s expectations, rather than in normative theories. The ultimate objective was to account for the emotional aspects of worldviews and value-orientations that would otherwise be left tacit or implicit by quantitative investigations. The present paper aimed at reviewing the _conceptual framework_ that has characterized this relational turn and has made possible a deeper understanding of the subjective experience. The primary objective is thus (...) to make explicit the assumptions upon which thick description relies and discuss how these renewed conditions allow meaning to emerge in interpersonal relationships. We argue that both these objectives would be theoretically attainable if primarily centered on the exploration of the _possibility space_ and on the patient’s experience as driven by the power of _counterfactual thinking_. Under these conditions, human subjects may be led to recognize the contextual and semiotic dimension of _boundaries_ and, in so doing, become aware of the beneficial effects of weaving past and new experiences in meaningful relationships. (shrink)

We show that there exist downwards properly $\Sigma _{2}^{0}$ (in fact noncuppable) e-degrees that are not high. We also show that every high e-degree bounds a noncuppable e-degree.

Dzhaparidze, G., A generalized notion of weak interpretability and the corresponding modal logic, Annals of Pure and Applied Logic 61 113-160. A tree Tr of theories T1,...,Tn is called tolerant, if there are consistent extensions T+1,...,T+n of T1,...,Tn, where each T+i interprets its successors in the tree Tr. We consider a propositional language with the following modal formation rule: if Tr is a tree of formulas, then Tr is a formula, and axiomatically define in this language the decidable logics TLR (...) and TLRω. It is proved that TLR yields exactly the schemata of PA-provable sentences, if Tr is understood as “Tr is tolerant”. In fact, TLR axiomatizes a considerable fragment of provability logic with quantifiers over ∑1-sentences, and many relations that have been studied in the literature can be expressed in terms of tolerance. We introduce and study two more relations between theories: cointerpretability and cotolerance which are, in a sense, dual to interpretability and tolerance. Cointerpretability is a characterization of ∑1-conservativity for essentially reflexive theories in terms of translations. (shrink)

This work is an attempt to lay foundations for a theory of interactive computation and bring logic and theory of computing closer together. It semantically introduces a logic of computability and sets a program for studying various aspects of that logic. The intuitive notion of computational problems is formalized as a certain new, procedural-rule-free sort of games between the machine and the environment, and computability is understood as existence of an interactive Turing machine that wins the game against any possible (...) environment. The formalism used as a specification language for computational problems, called the universal language, is a non-disjoint union of the formalisms of classical, intuitionistic and linear logics, with logical operators interpreted as certain—most basic and natural—operations on problems. Validity of a formula is understood as being “always computable”, and the set of all valid formulas is called the universal logic. The name “universal” is related to the potential of this logic to integrate, on the basis of one semantics, classical, intuitionistic and linear logics, with their seemingly unrelated or even antagonistic philosophies. In particular, the classical notion of truth turns out to be nothing but computability restricted to the formulas of the classical fragment of the universal language, which makes classical logic a natural syntactic fragment of the universal logic. The same appears to be the case for intuitionistic and linear logics . Unlike classical logic, these two do not have a good concept of truth, and the notion of computability restricted to the corresponding two fragments of the universal language, based on the intuitions that it formalizes, can well qualify as “intuitionistic truth” and “linear-logic truth”. The paper also provides illustrations of potential applications of the universal logic in knowledgebase, resourcebase and planning systems, as well as constructive applied theories. The author has tried to make this article easy to read. It is fully self-contained and can be understood without any specialized knowledge of any particular subfield of logic or computer science. (shrink)

The paper demonstrates that a detailed analysis of Hegel’s criticism of rationalist metaphysics in the “Vorbegriff” (Preliminary Conception) chapter of the Encyclopedia Logic can shed light on the following critical features of Hegel’s metaphysics: (1) advancing semantic holism as an alternative to semantic atomism; (2) renouncing the projection of a substance-attribute formal structure onto actuality; (3) dismissing sense perception as the source of conceptual content; and (4) rejecting dualist ontology.

This book argues that the Doctrine of the Concept is the centerpiece of Hegel’s philosophical system and, through a close analysis of this final part of the Science of Logic, presents a detailed account of the key features of Hegel’s ontology.

This paper means to demonstrate the theoretical-and- methodological potential of a particular pattern of thought about culture. Employing an end-means and absolute value plus concept of reality approach, the continuous model of culture aims to embrace from one holistic standpoint various concepts and debates of the modern human, social, and political sciences. The paper revisits the debates of fact versus value, nature versus culture, culture versus structure, agency versus structure, and economics versus politics and offers the concepts of the rule (...) of law, state capitalism, a dialectical model of progress, and interpretative qualitative research, as well as of cultural diffusion, autonomy, alienation, and individuality. This model distinguishes between the ideal-symbolical and the instrumental functions of culture, sees culture as being sewn from universal binaries, and provides a certain understanding of the cognitive function of a value judgment, with positivism so far vague about the topic. It, too, suggests an extra method for investigating culture : the comparative literature study of culture enables social science to view literature as its potential in-depth interviewee— a case for arguing for a certain conception of interdisciplinarity as well. In addition, it predicts that cultural particularism or individuality remains an essential factor of human existence. Analyzing the issue of Eurocentrism in social science, the model finds modernity ’s concept of reality to be involved in ” methodological ” intellectualistic reductionism, characterizing it since the empiricism/ rationalism origination. Systematically confusing the universal oppositions in a Eurocentric manner, intellectualism becomes a contributing factor in unfolding post- modernity. (shrink)

Formulas of the propositional modal language with the unary modal operators □, Σ1, 1, Σ2, 2,… are considered as schemata of sentences of arithmetic , where □A is interpreted as “A is PA-provable”, ΣnA as “A is PA-equivalent to a Σn-sentence” and nA as “A is PA-equivalent to a Boolean combination of Σn-sentences”. We give an axiomatization and show decidability of the sets of the modal formulas which are schemata of: PA-provable, true arithmetical sentences.

The phenomenon of "social alchemy", containing the idea of the possibility of creating a new man and a new world and passing through all radical thought, especially of the New and Modern times, had and has a habit of pouring out into violence, in the broadest sense of the word, — from the guillotine and concentration camps to modern "information colonization of consciousness". Having received technological support, when digital technologies and new communication systems cover almost the entire world community, leaving (...) no one outside of their comprehensive influence, the phenomenon of "social alchemy" has acquired a qualitatively different, special and global significance. At the same time, the goals, means and actors have changed, only its radical component has remained unchanged, striving to transform society and build such social, political and economic structures and relations, that would correspond to certain ideas of some elites (economic, political, intellectual) about what should the global world be like in order to ensure their interests to the greatest extent. (shrink)

A nonempty sequence T1,...,Tn of theories is tolerant, if there are consistent theories T 1 + ,..., T n + such that for each 1 i n, T i + is an extension of Ti in the same language and, if i n, T i + interprets T i+1 + . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is (...) shown that TOL (resp. TOL) yields exactly the schemata of PA-provable (resp. true) arithmetical sentences, if (A1,..., An) is understood as (a formalization of) PA+A1, ..., PA+An is tolerant. (shrink)

Computability logic (CL) is a recently launched program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally been. Formulas in it represent computational problems, "truth" means existence of an algorithmic solution, and proofs encode such solutions. Within the line of research devoted to finding axiomatizations for ever more expressive fragments of CL, the present paper introduces a new deductive system CL12 and proves its soundness and completeness with (...) respect to the semantics of CL. Conservatively extending classical predicate calculus and offering considerable additional expressive and deductive power, CL12 presents a reasonable, computationally meaningful, constructive alternative to classical logic as a basis for applied theories. To obtain a model example of such theories, this paper rebuilds the traditional, classical-logic-based Peano arithmetic into a computability-logic-based counterpart. Among the purposes of the present contribution is to provide a starting point for what, as the author wishes to hope, might become a new line of research with a potential of interesting findings—an exploration of the presumably quite unusual metatheory of CL-based arithmetic and other CL-based applied systems. (shrink)

This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games between a machine and its environment. Intuitionistic implication is understood as algorithmic reduction in the weakest possible — and hence most natural — sense, disjunction and conjunction as deterministic-choice combinations of problems , and “absurd” as a computational problem of universal strength.

Predicate modal formulas are considered as schemata of arithmetical formulas, where is interpreted as the standard formula of provability in a fixed sufficiently rich theory T in the language of arithmetic. QL T(T) and QL T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL T(T) and QL T by formulas, which contain no (...) variables different from x, are given by means of decidable prepositional bimodal systems; under the assumption that T is 1-complete, there is established the enumerability of the restrictions of QL T(T) and QL T by: 1) formulas in which the domains of different occurrences of don't intersect and 2) formulas of the form n A. (shrink)

Within the program of finding axiomatizations for various parts of computability logic, it was proven earlier that the logic of interactive Turing reduction is exactly the implicative fragment of Heyting’s intuitionistic calculus. That sort of reduction permits unlimited reusage of the computational resource represented by the antecedent. An at least equally basic and natural sort of algorithmic reduction, however, is the one that does not allow such reusage. The present article shows that turning the logic of the first sort of (...) reduction into the logic of the second sort of reduction takes nothing more than just deleting the contraction rule from its Gentzen-style axiomatization. The first sort of interactive reduction is also shown to come in three natural versions. While those three versions are very different from each other, their logical behaviors turn out to be indistinguishable, with that common behavior being precisely captured by implicative intuitionistic logic. Among the other contributions of the present article is an informal introduction of a series of new — finite and bounded — versions of recurrence operations and the associated reduction operations. (shrink)

I present a semantics for the language of first-order additive-multiplicative linear logic, i.e. the language of classical first-order logic with two sorts of disjunction and conjunction. The semantics allows us to capture intuitions often associated with linear logic or constructivism such as sentences = games, SENTENCES = resources or sentences = problems, where “truth” means existence of an effective winning strategy.The paper introduces a decidable first-order logic ET in the above language and gives a proof of its soundness and completeness (...) with respect to this semantics. Allowing noneffective strategies in the latter is shown to lead to classical logic.The semantics presented here is very similar to Blass's game semantics. Although there is no straightforward reduction between the two corresponding notions of validity, my completeness proof can likely be adapted to the logic induced by Blass's semantics to show its decidability, which was the main problem left open in Blass's paper.The reader needs to be familiar with classical logic and arithmetic. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...) be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □, and two temporal modalities, ○ and *, both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

Predicate modal formulas with non-modalized quantifiers (call them Q-formulas) are considered as schemata of arithmetical formulas, where is interpreted as the provability predicate of some fixed correct extension T of arithmetic. A method of constructing 1) non-provable in T and 2) false arithmetical examples for Q-formulas by Kripke-like countermodels of certain type is given. Assuming the means of T to be strong enough to solve the (undecidable) problem of derivability in QGL, the Q-fragment of the predicate version of the logic (...) GL, we prove the recursive enumerability of the sets of Q-formulas all arithmetical examples of which are: 1) T-provable, 2) true. In. particular, the first one is shown to be exactly QGL and the second one to be exactly the Q-fragment of the predicate version of Solovay's logic S. (shrink)

This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic. The logical vocabulary of the system consists of negation ${\neg}$ , parallel conjunction ${\wedge}$ , parallel disjunction ${\vee}$ , branching recurrence ⫰, and branching corecurrence ⫯. The article is published in two parts, with (the present) Part I containing preliminaries and a soundness proof, and (the forthcoming) Part II containing a completeness proof.

This article addresses the notion of “illusions of the multitude”, or the ideas created by the imagination in the analysis that Baruch Spinoza makes in his works. The text aims to explore the following questions: What characteristics reveal the ideas originating from the imagination? What role do these ideas play in the political and so- cial space? First, I emphasize Spinoza’s explanation of the imagination, as a first mode of knowledge. Secondly, I delve into the characteristics of the ideas that (...) stem from it and the affections that accompany them. Finally, I analyze their effects on the political and social space. (shrink)

The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An agent , working as a slave for its master , can carry out the task αβ if it can carry out any one of the two tasks α, β, depending on which of them was requested by the master; similarly, it can carry out xα if it can carry out α for any particular (...) value for x selected by the master; an agent can carry out α→β if it can carry out β as long as it has, as a slave , an agent who carries out α; finally, carrying out P, where P is an atomic formula, simply means making P true; in particular, is a task that no agent can carry out. When restricted to the language of classical logic, the meaning of formulas is isomorphic to their classical meaning, which makes our semantics a conservative extension of classical semantics.This semantics can claim to be a formalization of the resource philosophy associated with linear logic, if resources are understood as agents carrying out tasks. The classical operators of our language correspond to the multiplicative operators of linear logic, while and correspond to the additive conjunction and universal quantifier, respectively.Our formalism may also have a potential to be used in AI as an alternative logic of planning and action. Its main appeal is that it is immune to the frame problem and the knowledge preconditions problem.The paper axiomatically defines a logic L in the above language and proves its soundness and completeness with respect to the task semantics in the following intuitive sense: L α iff α can be carried out by an agent who has nothing but its intelligence for carrying out tasks. This logic is shown to be semidecidable in the full language and decidable when the classical quantifier is forbidden in it. (shrink)

This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic. The logical vocabulary of the system consists of negation \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\neg}}$$\end{document}, parallel conjunction \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\wedge}}$$\end{document}, parallel disjunction \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\vee}}$$\end{document}, branching recurrence ⫰, and branching corecurrence ⫯. The article is published in two parts, with (the previous) (...) Part I containing preliminaries and a soundness proof, and (the present) Part II containing a completeness proof. (shrink)

ABSTRACTThis paper analyses the discourses produced on their websites by the two organisations that conducted the official ‘leave’ and ‘remain’ campaigns in the Brexit referendum. The analysis, whi...