The role of acetylcholinesterase (AChE) in neurotransmission is well known. But long before synapses are formed in vertebrates, AChE is expressed in young postmitotic neuroblasts that are about to extend the first long tracts. AChE histochemistry can thus be used to map primary steps of brain differentiation. Preceding an possibly inducing AChE in avian brains, the closely related butyrylcholinesterase (BChE) spatially fore-shadows AChE-positive cell areas and the course of their axons. In particular, before spinal motor axons grow, their corresponding rostral (...) sclerotomes and myotomes express BChE, and both their neuronal source and myotomal target cells express AChE. Since axon growth has been found inhibited by acetylcholine, it is postulated that both cholinetsreases can attract neurite growth cones by neutralizing the inhibitor. Thus, the early expression of both cholinesterases that is at least partially independent from classical cholinergic synaptogenesis, sheds new light on the developmental and medical significance of these enzymes. (shrink)

We introduce and investigate the notion of uniform Lyndon interpolation property which is a strengthening of both uniform interpolation property and Lyndon interpolation property. We prove several propositional modal logics including \, \, \ and \ enjoy ULIP. Our proofs are modifications of Visser’s proofs of uniform interpolation property using layered bisimulations Gödel’96, logical foundations of mathematics, computer science and physics—Kurt Gödel’s legacy, Springer, Berlin, 1996). Also we give a new upper bound on the complexity of uniform interpolants for (...) \ and \. (shrink)

In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also show that there are countably infinite extensions of FPL with the uniform interpolation property.

We propose a general framework for dynamic epistemic logics. It consists of a generic language for DELs and a class of structures, called model transition systems, that describe model transformations in a static way. An MTS can be viewed as a two-layered Kripke model and consequently inherits standard concepts such as bisimulation and bounded morphism from the ordinary Kripke models. In the second half of this article we add the global operator to the language, which enables us to (...) define the notions of a canonical MTS and canonicity of a DEL formula for a property of MTSs. Using these notions, we clarify correspondences between axioms of DELs and properties of MTSs. (shrink)

Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate (...) the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. (shrink)

As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of (...) these logics. (shrink)

We define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.

A modal accessibility relation is just a transition relation, and so can be represented by a {0, 1} valued transition matrix. Starting from this observation, I first show that the machinery of matrices, over Boolean algebras more general than the two-valued one, is appropriate for investigating multi-modal semantics. Then I show that bisimulations have a rather elegant theory, when expressed in terms of transformations on Boolean vector spaces. The resulting theory is a curious hybrid, fitting between conventional modal semantics and (...) conventional linear algebra. I don’t know where the investigations begun here will ultimately wind up, but in the meantime the approach has a kind of curious charm that others may find appealing. (shrink)

Interpretability logic is a modal formalization of relative interpretability between first‐order arithmetical theories. Verbrugge semantics is a generalization of Veltman semantics, the basic semantics for interpretability logic. Bisimulation is the basic equivalence between models for modal logic. We study various notions of bisimulation between Verbrugge models and develop a new one, which we call w‐bisimulation. We show that the new notion, while keeping the basic property that bisimilarity implies modal equivalence, is weak enough to allow the converse (...) to hold in the finitary case. To do this, we develop and use an appropriate notion of bisimulation games between Verbrugge models. (shrink)

We prove that every first-order formula that is invariant under quasi-injective bisimulations is equivalent to a formula of the hybrid logic . Our proof uses a variation of the usual unravelling technique. We also briefly survey related results, and show in a standard way that it is undecidable whether a first-order formula is invariant under quasi-injective bisimulations.

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...) of bisimulation is required that characterises them. We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models, two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar. As a result, the information content of such a model can be similarly expressed in the logic of conditional belief, or the logic of degrees of belief, or that of safe belief. This, we found a surprising result. Still, that does not mean that the logics are equally expressive: the logics of conditional and degrees of belief are incomparable, the logics of degrees of belief and safe belief are incomparable, while the logic of safe belief is more expressive than the logic of conditional belief. In view of the result on bisimulation characterisation, this is an equally surprising result. We hope our insights may contribute to the growing community of formal epistemology and on the relation between qualitative and quantitative modelling. (shrink)

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...) of bisimulation is required that characterises them. We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models, two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar. As a result, the information content of such a model can be similarly expressed in the logic of conditional belief, or the logic of degrees of belief, or that of safe belief. This, we found a surprising result. Still, that does not mean that the logics are equally expressive: the logics of conditional and degrees of belief are incomparable, the logics of degrees of belief and safe belief are incomparable, while the logic of safe belief is more expressive than the logic of conditional belief. In view of the result on bisimulation characterisation, this is an equally surprising result. We hope our insights may contribute to the growing community of formal epistemology and on the relation between qualitative and quantitative modelling. (shrink)

Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different levels, (...) including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities. (shrink)

Provability logic is a modal logic for studying properties of provability predicates, and Interpretability logic for studying interpretability between logical theories. Their natural models are GL-models and Veltman models, for which the accessibility relation is well-founded. That’s why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem (see [1]) doesn’t exist for them. However, we show that the analogous condition must still hold, by constructing two GL-models with worlds in them that are modally equivalent but not (...) bisimilar, and showing how these GL-models can be converted to Veltman models with the same properties. In the process we develop some useful constructions: games on Veltman models, chains, and general method of transformation from GL-models/frames to Veltman ones. (shrink)

We give a definition of bisimulation for conditional modalities interpreted on selection functions and prove the correspondence between bisimilarity and modal equivalence, generalizing the Hennessy–Milner Theorem to a wide class of conditional operators. We further investigate the operators and semantics to which these results apply. First, we show how to derive a solid notion of bisimulation for conditional belief, behaving as desired both on plausibility models and on evidence models. These novel definitions of bisimulations are exploited in a (...) series of undefinability results. Second, we treat relativized common knowledge, underlining how the same results still hold for a different modality in a different semantics. Third, we show the flexibility of the approach by generalizing it to multi-agent systems, encompassing the case of multi-agent plausibility models. (shrink)

Colour Relationalism asserts that colours are non-intrinsic or inherently relational properties of objects, properties that depend not only on a target object but in addition on some relation that object bears to other objects. The most powerful argument for Relationalism infers the inherently relational character of colour from cases in which one’s experience of a colour contextually depends on one’s experience of other colours. Experienced colour layering—say looking at grass through a tinted window and experiencing opaque green through transparent grey—demands (...) a contextual interdependency of one’s experience of one of these colours on one’s experience of the other. However, most if not all colour ontologies, and core perceptual experiential mechanisms like acquaintance and representation, can accommodate colour layering. It follows that experienced colour layering is consistent with colours being non-relational—this contextual interdependency of colours does not entail the constitutive dependency of one colour on the other. I utilize colour layering to examine the inference from the contextual to the constitutive interdependency of colours as it is employed in a well-known argument for Relationalism. I conclude that our justification for Relationalism is far weaker than Relationalists suggest. I first introduce readers to colour layering, then to Relationalism, and following this focus on the intersection of these topics. (shrink)

The Ozone Layer: A Philosophy of Science Perspective provides the first thorough and accessible history of stratospheric ozone, from the discovery of ozone in the nineteenth century to current investigations of the Antarctic ozone hole. Drawing directly on the extensive scientific literature, Christie uses the story of ozone as a case study for examining fundamental issues relating to the collection and evaluation of evidence, the conduct of scientific debate and the construction of scientific consensus. By linking key debates in the (...) philosophy of science to an example of real-world science, the author not only provides an excellent introduction to the philosophy of science but also challenges many of its preconceptions. This accessible book will interest students and academics concerned with the history, philosophy and sociology of science, as well as having general appeal on this topic of contemporary relevance and concern. (shrink)

This paper examines the idea, commonly presupposed but seldom explicitly stated in discussions of certain philosophical problems, that the objects and phenomena of the world are structured in a hierarchy of "levels", from the bottom level of microparticles to the levels of cells and biological organisms and then to the levels of creatures with mentality and social groups of such creatures. Parallel to this "layered model" of the natural world is an ordering of the sciences, with physics as our (...) "basic" science and the "special sciences" forming a ladder-like hierarchy, from chemistry to biology to psychology and the social sciences, all grounded in basic physics. Focusing on two formulations of this model, the emergentist model of C. Lloyd Morgan and the reductionist model due to Paul Oppenheim and Hilary Putnam, the paper discusses such questions as these:What makes a given level of objects "higher" or "lower" than another? What makes a given property "higher" or "lower" than another property. Are objects and properties always comparable with respect to "higher" and "lower"? Can an overarching hierarchy of entities and properties be developed that comprehends the entire natural order? The issues turn out to be quite complex, and no definitive general conclusions are reached. (shrink)

are considered with a view toward analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes) generalizing input/output equivalence (at a cost exceeding II' ,over certain transition predicates computable in log space). and (ii) as a tool for analyzing the dependence of transitions on data (which can be shown to be elementary or nonelementary. depending on the formulation of (...) the transitions). (shrink)

Loosely put, colour constancy for example occurs when you experience a partly shadowed wall to be uniformly coloured, or experience your favourite shirt to be the same colour both with and without sunglasses on. Controversy ensues when one seeks to interpret ‘experience’ in these contexts, for evidence of a constant colour may be indicative a constant colour in the objective world, a judgement that a constant colour would be present were things thus and so, et cetera. My primary aim is (...) to articulate a viable conception of Present Constancy, of what occurs when a constant colour is present in experience, despite the additional presence of some experienced colour variation (e.g., correlating to a change in illumination). My proposed conception involves experienced colour layering – experiencing one opaque colour through another transparent one – and in particular requires one of those experienced layers to remain constant while the other changes. The aim is not to propose this layering conception of colour constancy as the correct interpretation of all constancy cases, but rather to develop the conception enough to demonstrate how it could and plausibly should be applied to various cases, and the virtues it has over rivals. Its virtues include a seamless application to constancy cases involving variations in filters (e.g., sunglasses) and illuminants; its ability to accommodate experiences of partial colours and error-free interpretations of difficult cases; and its broad theoretical-neutrality, allowing it to be incorporated into numerous perceptual epistemologies and ontologies. If layered constancy is prevalent, as I suspect it is, then our experiential access to colours is critically nuanced: we have been plunged into a world of colour without being told that we will rarely, if ever, look to a location and experience just one of them. (shrink)

Layers in Husserl's Phenomenology situates Husserl firmly within the trajectory of later Continental thought and contributes to the recent reconsideration of Husserl as a legitimate precursor to the thought of Maurice Merleau-Ponty, Emmanuel Levinas, and Jacques Derrida.

This essay discusses the ways in which `Mode 1' and `Mode 2' interact, by reviewing the development of research funding in Sweden during the twentieth century. It argues that `Mode 2' has been the traditional mode of practice. `Mode 1' is a post-war phenomenon, but it is presently the dominant layer of Swedish publicly-funded science and science policy. This essay argues that we are seeing not an increase in uncertainty, but rather a decreasing tolerance of uncertainty.

This article develops a view of shape representation both in visual experience and in subpersonal visual processing. The view is that, in both cases, shape is represented in a ‘layered’ manner: an object is represented as having multiple shape properties, and these properties have varying degrees of abstraction. I argue that this view is supported both by the facts about visual phenomenology and by a large collection of evidence in perceptual psychology. Such evidence is provided by studies of shape (...) discriminability, apparent motion, multiple-object tracking, and structure-from-motion. Recent neuroscientific work has also corroborated this psychophysical evidence. Finally, I draw out implications of the layered view for processes of concept acquisition. 1 Introduction2 Metric Properties andShape Properties3 Metric Views4 Against Metric Views of Visual Shape Experience5 The Visual System Uses Abstract Shape Properties6 Against Metric Views of Visual Shape Representation7 Neural Underpinnings of Abstract Shape Perception8 Implications. (shrink)

What are the pillars on which the success of modern science rest? Although philosophers have much discussed what is behind science’s success, this paper argues that much of the discussion is misdirected. The extant literature rightly regards the semantic and inferential tools of formal logic and probability theory as pillars of scientific rationality, in the sense that they reveal the justificatory structure of important aspects of scientific practice. As key elements of our rational reconstruction toolbox, they make a fundamental contribution (...) to our understanding of the success of science.At the same time, any science, however exact, is dominated by approximation, error, and uncertainty, a fact that makes one wonder how science can be so successful. This paper articulates and illustrates general themes—e.g., that truth-preserving arguments often fail to preserve approximate truth—that highlight the need for additional semantic resources. Thus, our proposal is that persistent failures to unravel the reasons behind the success of science in the face of pervasive error and uncertainty should be attributed to an insufficiently rich way of rationally reconstructing scientific and mathematical knowledge. What is missing? This paper claims that there is a third formal method of reasoning that constitutes a distinct pillar on which rests the success of science, namely, perturbation theory. The paper outlines how the representational and inferential tools of perturbation theory differ from those of logic and probability theory, and how they enable us to understand the apparently elusive aspects of the success of science.However, compared to its peers, perturbative reasoning has not received the attention it deserves. As the paper explains, this partly results from the circumstances in which perturbation theory is taught, and partly from the fact that perturbation theory first appears to be a vaguely related collection of methods offering no systematic semantic insight. In an attempt to show that this first impression is wrong, this paper presents its contribution to the semantic dimension of scientific representation and inference in terms of what I call “semantic layering.”. (shrink)

BackgroundCarefully planned research is critical to developing policies and interventions that counter physical, psychological and social challenges faced by young people living with HIV/aids, without increasing burdens. Such studies, however, must navigate a ‘vulnerability paradox’, since including potentially vulnerable groups also risks unintentionally worsening their situation. Through embedded social science research, linked to a cohort study involving Adolescents Living with HIV/aids (ALH) in Kenya, we develop an account of researchers’ responsibilities towards young people, incorporating concepts of vulnerability, resilience, and agency (...) as ‘interacting layers’.MethodsUsing a qualitative, iterative approach across three linked data collection phases including interviews, group discussions, observations and a participatory workshop, we explored stakeholders’ perspectives on vulnerability and resilience of young people living with HIV/aids, in relation to home and community, school, health care and health research participation. A total of 62 policy, provider, research, and community-based stakeholders were involved, including 27 ALH participating in a longitudinal cohort study. Data analysis drew on a Framework Analysis approach; ethical analysis adapts Luna’s layered account of vulnerability.ResultsALH experienced forms of vulnerability and resilience in their daily lives in which socioeconomic context, institutional policies, organisational systems and interpersonal relations were key, interrelated influences. Anticipated and experienced forms of stigma and discrimination in schools, health clinics and communities were linked to actions undermining ART adherence, worsening physical and mental health, and poor educational outcomes, indicating cascading forms of vulnerability, resulting in worsened vulnerabilities. Positive inputs within and across sectors could build resilience, improve outcomes, and support positive research experiences.ConclusionsThe most serious forms of vulnerability faced by ALH in the cohort study were related to structural, inter-sectoral influences, unrelated to study participation and underscored by constraints to their agency. Vulnerabilities, including cascading forms, were potentially responsive to policy-based and interpersonal actions. Stakeholder engagement supported cohort design and implementation, building privacy, stakeholder understanding, interpersonal relations and ancillary care policies. Structural forms of vulnerability underscore researchers’ responsibilities to work within multi-sectoral partnerships to plan and implement studies involving ALH, share findings in a timely way and contribute to policies addressing known causes of vulnerabilities. (shrink)

Restoring Layered Landscapes explores ecological restoration in complex landscapes, where ecosystems intertwine with important sociopolitical meanings.

Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image-finite generalized Veltman modelW there is a Veltman model W ′ that is bisimular to W.

The complex activity of the human brain makes it difficult to get a big picture of how the brain works and functions as the mind. We examine pertinent studies, as well as evolutionary and embryologic evidence to support our theoretical model consisting of separate but interactive layers of human neural activity. The most basic layer involves default mode network (DMN)activity and cardiorespiratory oscillations. We propose that these oscillations support other neural activity and cognitive processes. The second layer involves limbic system (...) activity accompanied by corresponding changes in cardiorespiratory oscillations. The third layer consists of corticothalamic processing and involves higher cortical functions including awareness, cognition,and consciousness. These layers interact to form the complex neural activity of the human brain. Examining the origins and relationships of various neural and physiologic oscillations may provide better understanding of human neurophysiology and consciousness. (shrink)

Ground offers the hope of vindicating and illuminating an classic philosophical idea: the layered conception, according to which reality is structured by relations of dependence, with physical phenomena on the bottom, upon which chemistry, then biology, and psychology reside. However, ground can only make good on this promise if it is appropriately formally behaved. The paradigm of good formal behavior can be found in the currently dominant grounding orthodoxy, which holds that ground is transitive, antisymmetric, irreflexive, and foundational. However, (...) heretics have recently challenged the orthodoxy. In this paper, I examine ground’s ability to vindicate the layered conception upon various relaxations of the orthodox assumptions. I argue that highly unorthodox views of ground can still vindicate the layered conception and that, in some ways, the heretical views enable ground to better serve as a guide to reality’s layering than do orthodox views of ground. (shrink)

How can the law be characterized in a theory of collective intentionality that treats collective intentionality as essentially layered and tries to understand these layers in terms of the structure and the format of the representations involved? And can such a theory of collective intentionality open up new perspectives on the law and shed new light on traditional questions of legal philosophy? As a philosopher of collective intentionality who is new to legal philosophy, I want to begin exploring these (...) questions in this paper. I will try to characterize the law in terms of the layered account of collective intentionality that I have introduced in some earlier writings (Schmitz 2013; 2018). In the light of this account I will then discuss a traditional question in the philosophy of law: the relation between law and morality. I begin by giving a brief sketch of the layered account in the next section. Collective intentionality should be understood in terms of experiencing and representing others as co-subjects, rather than as objects, of intentional states and acts on different layers or levels. I distinguish the nonconceptual layer of the joint sensory-motor-emotional intentionality of joint attention and joint bodily action, the conceptual level of shared we-mode beliefs, intentions, obligations, values, and so on, and the institutional level characterized through role differentiation, positions taken in role-mode, e.g. as a judge or attorney, and writing and other forms of documentation. In the third section I introduce a set of parameters for representations such as their degree of richness, of context-dependence, of density and differentiation of representational role and of durability and stability, which can be used to more precisely distinguish different layers. I also put forward the hypothesis that these properties are connected and tend to cluster, and that higher levels can only function and determine conditions of satisfaction against lower level ones. In the fourth and final section I critically discuss the sharp positivistic separation of morality and the law according to which whether something is a law is completely independent of its moral merits. I argue that this only seems plausible if we take an observational stance towards the law, but not towards morality. When we treat them the same way, it rather appears that the moral attitudes of the co-subjects of a society will determine whether and to what extent they will accept its legal order. I conclude by proposing to think of the law as being itself an institutionalized form of morality. (shrink)

Brown highlights cases of “chromatic layering”—scenarios in which one perceives an opaque object through a transparent volume/film/filter with a chromatic or achromatic content of its own—as a way of reining in the argument from perceptual variation sometimes used to motivate a relationalist account of color properties. Brown urges that the argument in question does not generalize smoothly to all types of perceptual variation—in particular, that it fits poorly in layering cases in which there is either experiential fusion or scission. While (...) he doesn’t want to reject the relationalist description of variation in all cases, he does suggest that there is an alternative, and preferable, description available for layering cases, and that the availability of this alternative puts limits on the scope of both relationalist arguments and relationalist conclusions. I claim that the obstacles for the argument from perceptual variation posed by cases of layering are merely apparent. I argue that relationalism can be extended smoothly to cases of layering, and indeed that denying this extension, as Brown proposes, contravenes ordinary and more or less universally accepted canons of rational inquiry. (shrink)

I discuss here the definition of computer simulations, and more specifically the views of Humphreys, who considers that an object is simulated when a computer provides a solution to a computational model, which in turn represents the object of interest. I argue that Humphreys's concepts are not able to analyse fully successfully a case of contemporary simulation in physics, which is more complex than the examples considered so far in the philosophical literature. I therefore modify Humphreys's definition of simulation. I (...) allow for several successive layers of computational models, and I discuss the relations that exist between these models, the computer, and the object under study. An aim of my proposal is to clarify the distinction between computational models and numerical methods, and to better understand the representational and the computational functions of models in simulations. (shrink)

“Vulnerability” is a key concept for research ethics and public health ethics. This term can be discussed from either a conceptual or a practical perspective. I previously proposed the metaphor of layers to understand how this concept functions from the conceptual perspective in human research. In this paper I will clarify how my analysis includes other definitions of vulnerability. Then, I will take the practical‐ethical perspective, rejecting the usefulness of taxonomies to analyze vulnerabilities. My proposal specifies two steps and provides (...) a procedural guide to help rank layers. I introduce the notion of cascade vulnerability and outline the dispositional nature of layers of vulnerability to underscore the importance of identifying their stimulus condition. In addition, I identify three kinds of obligations and some strategies to implement them. This strategy outlines the normative force of harmful layers of vulnerability. It offers concrete guidance. It contributes substantial content to the practical sphere but it does not simplify or idealize research subjects, research context or public health challenges. (shrink)

In this paper I argue that non-reductive physicalism (NRP) continues to rely on the ontological aspect of the layer cake model of the world (LCM). NRP is a post-unity account of the relationship between phenomena in the world in the sense that it has been developed in response to the perceived failure of the unity of science thesis. The LCM constitutes a framework for the organisation of phenomena in the world. It articulates the idea that phenomena in the world are (...) organised into levels. Specifically, that phenomena are layered into distinct, hierarchical levels of organisation. Historically, the unity of science thesis and the LCM have been intertwined; the LCM being the framework within which a unity of science might be possible. My argument will demonstrate that, despite a move away from unity of science positions, the LCM persists in post-unity accounts. In order to argue for this thesis, I present a close analysis of Oppenheim & Putnam’s classic presentation of the LCM; picking out the principle of hierarchic compositionality which, I argue, captures the ontological aspect of the LCM. I then demonstrate how NRP continues to rely upon the principle and, as a result, continues to support the ontological aspect of the LCM. This result is significant. It shows that whilst the rejection of the reductionist aspect of the thesis has served as the basis for post-unity positions these positions do not engage directly with the framework within which reduction might be facilitated – the LCM. Furthermore, it demonstrates that pluralist or disunity accounts of the relationship between phenomena in the world will also have to engage directly with the framework of the LCM in order to avoid being merely anti-reductionist. (shrink)

Employing the concept of “layering,” this book seeks to rethink our relation to textual tradition against the background of the emergence of digital culture, the increasing spectacularization of psychic as well as social life, the renegotiation of historical thinking and the precarious position of the theoretical humanities within academia.

Employing the concept of “layering,” this book seeks to rethink our relation to textual tradition against the background of the emergence of digital culture, the increasing spectacularization of psychic as well as social life, the renegotiation of historical thinking and the precarious position of the theoretical humanities within academia.

The epidemic of COVID-19 appears to be reshaping the world, separating before and after, present and past. Its perceived novelty raises the question of what role the past might play in the present epidemic and in responses to it. Taking the view that the past has not passed, but is present in is material and immaterial remains, and continuously emerging from these, we argue that it should not be studied as closed narration but through the array of its traces, which (...) constitute the texture of the present. To that end, and building on long-term ethnographic research on past and present epidemics in western Kenya, we assemble here some preliminary observations on the first weeks of COVID-19 in Kenya. We explore how the acute epidemic crisis currently unfolding is intertwined with layered fragments of earlier epidemic events, attending to material infrastructures, institutional practices, and ritual responses, to the presence of virally loaded bodies, pharmaceuticals, and their residues, and to the resurgence of often painful memories and emotions. People in this region have experienced a long century of epidemics and anti-epidemic measures of varying duration and intensity, from colonial and postcolonial sleeping sickness and smallpox to HIV/AIDS and more recently cancer, alongside actual or anticipated outbreaks of cholera and Ebola. This local perception of one long epidemic qualifies the notion of a radical temporal break that the COVID-19 pandemic is often associated with in European conversations. (shrink)

Freud, working from a background in clinical neurology and against a backdrop of burgeoning theory development in biology and neurophysiology, thought that the layers of the mind mirrored the layers of the brain although he was well aware of the conceptual problems involved in trying to identify the two. His associationist view, based on a neurobiological and evolutionary approach to the mind tends to underestimate the role of consciousness in a holistic conception of the psyche. The role of language and (...) the disciplines and practices which structure the psyche make it a domain in which negotiated solutions to life challenges are produced from the socio-cultural resources of discourse applied to the biological propensities resulting from innate dispositions and learning history. Although the biological and social realms obey fundamentally different rules, their psychological effects are realised in a common medium — the brain — a fact that can be detached from reductive approaches to psychology or psychiatry and can give substance to the idea of the body being inscribed like a surface on which events have left their trace. (shrink)

The paper aims to present Spinoza’s understanding of the ontological status of finite beings, which was heavily influenced by mathematics, i.e. geometry. Spinoza stratified finite beings into two fairly incompatible layers: the one subjectively conceived, while the other is the objective level. The first level is related to the essence of being that is caused by God through immanent causality: here, we speak of entailment on the logical and epistemological level, and not the level of reality. Unlike essence, existence represents (...) the second level of being: existence is caused by the real finite being through transeunt cause. The first level, by its ontological status, is very close to mathematical entities, therefore the qualification that Spinoza ‘geometrized reality under a species of the essences’. Namely, he geometrized the segment under the scope of ontology, i.e. the essences of finite modes. The final part of the paper is dedicated to one of the main reasons why Spinoza failed to provide a satisfactory solution to this ontological problem, which is not the only such problem of his system. This would be that Spinoza paid too much attention on ethics, to the detriment of metaphysics, i.e. ontology as general metaphysics. For Spinoza, ontology is subjected to epistemology and ethics, therefore the name ‘functional metaphysics’. (shrink)

We develop the theory of layered posets and use the notion of layering to prove a new iteration theorem is κ-cc, as long as direct limits are used sufficiently often. This iteration theorem simplifies and generalizes the various chain condition arguments for universal Kunen iterations in the literature on saturated ideals, especially in situations where finite support iterations are not possible. We also provide two applications:1 For any n≥1, a wide variety of <ωn−1-closed, ωn+1-cc posets of size ωn+1 can (...) consistently be absorbed by quotients of saturated ideals on ωn.2 For any n∈ω, the tree property at ωn+3 is consistent with Chang’s conjecture ↠. (shrink)