The emphasis on the organization of entities and their activities and interactions has been labeled one of the most distinct contributions of mechanistic philosophy. In this paper I discuss the manner in which the organization of entities and their activities and interactions participates in bringing about phenomena. I present a well-known example from molecular biology—the functioning of the genetic switch in phage lambda—and discuss Marco J. Nathan’s notion of causation by concentration. Nathan introduces causation by concentration to account (...) for the irreducible causal role that the concentration ratio between two kinds of proteins possesses in the genetic switch mechanism in phage lambda. I discuss what the irreducibility of this causal role amounts to and provide a mechanistic interpretation of Nathan’s causation by concentration; that is, I explain this irreducible causal role as one organizational feature of this mechanism. The paper concludes that biological mechanisms need a causal pluralist framework [similar to Glennan’s account in, and but slightly modified] where organizational features such as the concentration ratio have a causally relevant role, yet all the causally productive relations occur at the level of entities or individuals. (shrink)

Exploration of immune systems in prokaryotes, such as restriction‐modification or CRISPR‐Cas, shows that both innate and adaptive systems possess programmed cell death (PCD) potential. The key outstanding question is how the immune systems sense and “predict” infection outcomes to “decide” whether to fight the pathogen or induce PCD. There is a striking parallel between this life‐or‐death decision faced by the cell and the decision by temperate viruses to protect or kill their hosts, epitomized by the lysis‐lysogeny switch of bacteriophage (...) Lambda. Immune systems and temperate phages sense the same molecular inputs, primarily, DNA damage, that determine whether the cell lives or dies. Because temperate (pro)phages are themselves components of prokaryotic genomes, their shared “interests” with the hosts result in coregulation of the lysis‐lysogeny switch and immune systems that jointly provide the cell with the decision machinery to probe and predict infection outcomes, answering the life‐or‐death question. (shrink)

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

Based on content externalism, the question of whether self-knowledge is authoritative or not has launched a real controversy in the philosophy of mind. Boghossian proposed slow switching argument in defense of incompatibility of the two views. This argument has been criticized by some philosophers through different approaches. Vahid is one of them. He claimed that Boghossian's argument appeals to some controversial assumptions without which it cannot achieve its conclusion. In this article, I criticize Vahid's response to slow switching argument and (...) show that self-knowledge in Vahid's response differs in having authority and therefore in function from that of Boghossian. (shrink)

Provides computer science students and researchers with a firm background in lambda-calculus and combinators.

Theories of embodied cognition hold that the conceptual system uses perceptual simulations for the purposes of representation. A strong prediction is that perceptual phenomena should emerge in conceptual processing, and, in support, previous research has shown that switching modalities from one trial to the next incurs a processing cost during conceptual tasks. However, to date, such research has been limited by its reliance on the retrieval of familiar concepts. We therefore examined concept creation by asking participants to interpret modality-specific compound (...) phrases (i.e., conceptual combinations). Results show that modality switching costs emerge during the creation of new conceptual entities: People are slower to simulate a novel concept (e.g., auditory jingling onion) when their attention has already been engaged by a different modality in simulating a familiar concept (e.g., visual shiny penny). Furthermore, these costs cannot be accounted for by linguistic factors alone. Rather, our findings support the embodied view that concept creation, as well as retrieval, requires situated perceptual simulation. (shrink)

The lambda-calculus lies at the very foundation of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasizes the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply (...) typed lambda-calculus, then Milner-style polymorphism and, finally the polymporphic lambda-calculus. Chapter 8 concerns three variants of the type-free lambda-calculus that have recently appeared in the research literature: the lazy lambda-calculus, the concurrent y-calculus and the lamdba omega-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, the book is written from a computer science perspective and emphasizes the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature. (shrink)

John Searle and Susanna Siegel have argued that cases of aspect‐switching show that visual experience represents a richer range of properties than colours, shapes, positions and sizes. I respond that cases of aspect‐switching can be explained without holding that visual experience represents rich properties. I also argue that even if Searle and Siegel are right, and aspect‐switching does require visual experience to represent rich properties, there is reason to think those properties do not include natural‐kind properties, such as being a (...) tomato. (shrink)

The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets (...) also clearly appear the distinction between the empty set, the nothing and the ur-elements. On a technical level, we introduce the notion of pre-element and we suggest a formal definition of the nothing distinct of that of the null-class. Among other results, we get a relative resolution of the anomaly of the intersection of a family free of sets and the possibility of building the empty set from ``nothing". The theory is presented with equi-consistency results . On both conceptual and technical levels, the introduction of Lambda leads to a resolution of the Russell's puzzle of the null-class. (shrink)

The lambda model provides a physiologically grounded terminology for describing muscle function and emphasizes the important influence of environmental and reflex-mediated effects on final states. However, lambda itself is only a convenient point on the length-tension curve; its importance should not be overemphasized. Ascribing movement to changes in a lambda-based frame of reference is generally valid, but it leaves unanswered a number of questions concerning mechanisms.

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

This article deals with an argument reported by Razi (d. 1210) that attempted to undermine the immaterialist position about human nature. After some introductory remarks and explanation of the conceptual background, the article analyses the structure of the argument, with special attention to the idea of soul-switching.’ Some comparisons are made between the argument reported by Razi and a number of arguments from modern and contemporary eras of philosophy. One section is devoted to the critique of the argument and its (...) conceptual basis. This article shows that the argument reported by Razi is a methodological antecedent of a family of contemporary epistemological arguments against substance dualism. It is also shown that discussion of the argument could be useful to highlight a weakness in some, but not all, versions of immaterialism about human nature. (shrink)

Half a century into the digital era, the profound impact of information technology on intellectual and cultural life is universally acknowledged but still poorly understood. The sheer complexity of the technology coupled with the rapid pace of change makes it increasingly difficult to establish common ground and to promote thoughtful discussion. Responding to this challenge, _Switching Codes _brings together leading American and European scholars, scientists, and artists—including Charles Bernstein, Ian Foster, Bruno Latour, Alan Liu, and Richard Powers—to consider how the (...) precipitous growth of digital information and its associated technologies are transforming the ways we think and act. Employing a wide range of forms, including essay, dialogue, short fiction, and game design, this book aims to model and foster discussion between IT specialists, who typically have scant training in the humanities or traditional arts, and scholars and artists, who often understand little about the technologies that are so radically transforming their fields. _Switching Codes_ will be an indispensable volume for anyone seeking to understand the impact of digital technology on contemporary culture, including scientists, educators, policymakers, and artists, alike. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

Formal methods developed for modeling levels of selection problems have recently been applied to the investigation of major evolutionary transitions. We discuss two new tools of this kind. First, the ‘near-variant test’ can be used to compare the causal adequacy of predictively equivalent representations. Second, ‘state-variable gestalt-switching’ can be used to gain a useful dual perspective on evolutionary processes that involve both higher and lower level populations.

John Searle and Susanna Siegel have argued that cases of aspect‐switching show that visual experience represents a richer range of properties than colours, shapes, positions and sizes. I respond that cases of aspect‐switching can be explained without holding that visual experience represents rich properties. I also argue that even if Searle and Siegel are right, and aspect‐switching does require visual experience to represent rich properties, there is reason to think those properties do not include natural‐kind properties, such as being a (...) tomato. (shrink)

This article deals with an argument reported by Razi (d. 1210) that attempted to undermine the immaterialist position about human nature. After some introductory remarks and explanation of the conceptual background, the article analyses the structure of the argument, with special attention to the idea of soul-switching.’ Some comparisons are made between the argument reported by Razi and a number of arguments from modern and contemporary eras of philosophy. One section is devoted to the critique of the argument and its (...) conceptual basis. This article shows that the argument reported by Razi is a methodological antecedent of a family of contemporary epistemological arguments against substance dualism. It is also shown that discussion of the argument could be useful to highlight a weakness in some, but not all, versions of immaterialism about human nature. (shrink)

Amele (Papuan, New Guinea) is a tense-mood-based language (in the typology of Bittner 2014) with an elaborate system of clause chaining, including switch reference (SR) and serial verb constructions (SVC). This draft analyzes two interlinear Amele texts (from Roberts 2007) in Update with Centering of Bittner (2014). The basic idea is that an SR-chain is a topic-comment sequence about a 'topical development' — i.e. a topic time framing a chain of causally linked events. In contrast, an SVC is a (...) chain of verbs that jointly introduce a single eventuality into discourse. (shrink)

The contentious question of bilingual processing cost may be recast as a fresh question of code-switching (CS) strategies—quantitative preferences and structural adjustments for switching at particular junctures of two languages. CS strategies are established by considering prosodic and syntactic variables, capitalizing here on bidirectional multi-word CS, spontaneously produced by members of a bilingual community in northern New Mexico who regularly use both languages (Torres Cacoullos and Travis, 2018). CS strategies become apparent by extending the equivalence constraint, which states that bilinguals (...) avoid CS at points of word placement conflict (Poplack, 1980), to examine points of inconsistent equivalence between the languages. Such sites of variable equivalence are junctures where the word strings of the two languages are equivalent only sometimes due to language-internal variable structures. A case in point for the English-Spanish language pair is the boundary between main and complement clauses, where a conjunction occurs always in Spanish but variably in English. The prosodic distancing strategy is to separate the juncture of the two languages. Here the complement clause appears in a different prosodic unit from the main clause, disproportionately as compared both with monolingual benchmarks and with bilinguals' own unilingual English and Spanish. Prosodic distancing serves to mitigate variable equivalence. The syntactic selection strategy is to opt for the variant that is more quantitatively available and more discourse neutral. Here the preference is for the Spanish complementizer que—regardless of main or complement clause language— which is the more frequent option in bilinguals' combined experience in both their languages, whereas English complementizer that is subject to a number of conditioning factors. Syntactic selection serves to restore equivalence at sites of variable equivalence. Discovery of community CS strategies may spur reconsideration of processing cost as a matter of relative difficulty, which will depend on bilinguals' prosodic and syntactic choices at particular CS sites. (shrink)

The attempt to model the structure of consciousness in split-brain subjects is ongoing. This paper concerns the recently proposed ?switch model? of split-brain consciousness, according to which a split-brain subject possesses only a single stream of consciousness, unified at and across time, that shifts from one hemisphere to the other from moment to moment. The paper argues that while the central explanatory element of the switch model may account for some aspects of split-brain consciousness, the best general picture (...) of split-brain consciousness is still offered by some version of the ?conscious duality model.? (shrink)

Realists about group agency, according to whom corporate agents may have mental states and perform actions over and above those of their individual members, think that individual agents may switch between participating in individual and corporate agency. My aim is, however, to argue that the inescapability of individual agency spells out a difficulty for this kind of switching – and, therefore, for realism about corporate agency. To do so, I develop Korsgaard's notion of plight inescapability. On my take, it (...) suggests that individual agents are continuously faced with fully exercising their own individual agency (absent external limits at the time of its exercise). But then individual agents may not switch to acting as members of corporate agents, in the sense of taking on irreducible mental states that differ from their own. As it nevertheless is possible to participate fully in the action of a corporate entity, this incompatibility between individual and corporate mental states suggests a challenge for group agent realism. (shrink)

Code switching is defined as the use of two or more languages or varieties of language in conversation. It is a general phenomenon in Pakistani society. This research was conducted through a qualitative descriptive method; it produces descriptive data in the form of code switched sentences from editorial of Urdu newspaper. In this research paper I discussed code switching in editorial of an Urdu newspaper. Daily Khabrain Newspaper was selected for this purpose. One week newspapers were collected for research from (...) 1st January, 2020 to 7th January, 2020 to analyze code switching in editorial. In this research paper I discussed code switching in editorial of an Urdu newspaper. Aims and Objectives are; in this research paper I discussed code switching in editorial of an Urdu newspaper. Research Question was what type of code switching is in editorial in Daily Khabrain Newspaper? Daily Khabrain Newspaper from first January 2020 to 7th January 2020 was collected for the analysis of language or code switching and its type in editorial. Through the analysis of data of newspaper it can be concluded that the type of code switching was intra sentential, word code switching and total integrated Urdu. (shrink)

, which uses the intuitionistic propositional calculus, with the only connective →. It is very important, because the well known Curry-Howard correspondence between proofs and programs was originally discovered with it, and because it enjoys the normalization property: every typed term is strongly normalizable. It was extended to second order intuitionistic logic, in 1970, by J.-Y. Girard [4], under the name of system F, still with the normalization property.More recently, in 1990, the Curry-Howard correspondence was extended to classical logic, following (...) Felleisen and Griffin [6] who discovered that the law of Peirce corresponds to control instructions in functional programming languages. It is interesting to notice that, as early as 1972, Clint and Hoare [1] had made an analogous remark for the law of excluded middle and controlled jump instructions in imperative languages.There are now many type systems which are based on classical logic; among the best known are the system LC of J.-Y. Girard [5] and the λμ-calculus of M. Parigot [11]. We shall use below a system closely related to the latter, called the λ c -calculus [8, 9]. Both systems use classical second order logic and have the normalization property.In the sequel, we shall extend the λ c -calculus to the Zermelo-Frænkel set theory. The main problem is due to the axiom of extensionality. To overcome this difficulty, we first give the axioms of ZF in a suitable (equivalent) form, which we call ZF ɛ. (shrink)

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and (...) recursive functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice. (shrink)

The lambda model of Feldman & Levin for intentional hand movement is compared with a hemispheric motor model (IIMM). Both models imply similar conclusions independently. This increases the validity of both models.

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological (...) spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. (shrink)

The introduction of Linear Logic extends the Curry-Howard Isomorphism to intensional aspects of the typed functional programming. In particular, every formula of Linear Logic tells whether the term it is a type for, can be either erased/duplicated or not, during a computation. So, Linear Logic can be seen as a model of a computational environment with an explicit control about the management of resources.

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic (...) of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities. (shrink)