In het kader van de Leerstoel Rector Dhanis (UFSIA, Antwerpen) werd door een studiegroep bestaande uit artsen en verpleegkundigen, ethici en juristen, een interdisciplinaire studie ondernomen over 'klinische ethiek' en 'hoe recht en politiek omgaan met problemen die thuishoren in de klinische praktijk'. In deze bundel wordt het ethische denken in een aantal casussen betreffende neonatalen en dementerenden kritisch besproken. De adviezen van het Raadgevend Comite voor Bio-Ethiek over sterilisatie van mentaal gehandicapten en over klonering worden onderzocht op hun relevantie (...) voor de klinische praktijk. (shrink)

In this article, the place and the nature of an ethical dialogue that develops within Christian healthcare institutions in Flanders, Belgium is examined. More specifically, the question is asked how Christian healthcare institutions should position themselves ethically in a context of a pluralistic society. The profile developed by Caritas Catholica Flanders must take seriously not only the external pluralistic context of our society and the internal pluralistic worldviews by personnel/employees and patients, but also the inherent inspiration of a Christian healthcare (...) institution. This article concludes with ten general orientations that could shape the ethical dialogue from a Christian inspiration in a pluralistic context. (shrink)

We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for measurement-based quantum computation, is reflected in the expressive power of (classical) formal logic languages defined on the underlying mathematical graphs. In particular, we show that for all graph state resources which can yield a computational speed-up with respect to classical computation, the underlying graphs—describing the quantum correlations of (...) the states—are associated with undecidable logic theories. Here undecidability is to be interpreted in a sense similar to Gödel’s incompleteness results, meaning that there exist propositions, expressible in the above classical formal logic, which cannot be proven or disproven. (shrink)

Two years ago, a nest box outside my window held a pair of Violet-Green Swallow. I counted six swallows fledge from the box and take their first flights in the July rain. Leaving the roof of the nest box, they flew in little loops out over the water, trying out their wings. I watched them from the dock, their bodies suspended in the air between the raindrops. This experience was the inspiration for what I call ‘nest-works’ – for poetic wilding (...) of all-too-human spaces. Nest-works began with an experimental panel for the 2021 College Art Association Conference, called ‘Co-Making this World’. The experimental session was modelled after the nest of a bird, a Black-Capped Chickadee. As this cavity-nester builds a home of disparate materials, the panel of artist-researchers built a session of disparate theories and practices, as we considered relationships with world-systems that are in the process of making (such as the nest of the chickadee). For Technoetic Arts, we weave a new nest-work of research material, as we consider new models for knowledge and creative production. This nest-work is an entanglement of short essays made by artists working with a common pattern, framing eco-poetics on collaborative and participatory processes with the non-human/more-than-human. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized (...) with formal grammars, and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by (...) propagating data and/or checking if data exists along certain paths within a nested sequent. Such rules require us to generalise our nested sequents to include signatures (i.e. finite collections of variables) in the first-order cases, thus giving rise to a generalisation of the usual nested sequent formalism. Our calculi exhibit favourable properties, admitting the height-preserving invertibility of every logical rule and the (height-preserving) admissibility of a large collection of structural and reachability rules. We prove all of our systems sound and cut-free complete, and show that syntactic cut-elimination obtains for the intuitionistic systems. We conclude the paper by discussing possible extensions and modifications, putting forth an array of structural rules that could be used to provide a sizable class of intermediate logics with cut-free nested sequent systems. (shrink)

We give a novel proof that primitive recursive functions are closed under nested simple recursion. This new presentation is supplied with a detailed proof which can be easily formalized in small fragments of Peano Arithmetic.

The sense of self has always been a topic of high interest in both psychoanalysis and most recently in neuroscience. Nowadays, there is an agreement in psychoanalysis that the self emerges from the relationship with the other (e.g., the caregiver) in terms of his/her capacity to attune, regulate, and synchronize with the emergent self of the infant. The outcome of this relational/intersubjective synchronization is the development of the sense of self and its regulatory processes both in dynamic psychology and neuroscience. (...) In this work, we propose that synchrony is a fundamental biobehavioral factor in these dialectical processes between self and others which shapes the brain–body–mind system of the individuals, including their sense of self. Recently in neuroscience, it has been proposed by the research group around Northoff that the self is constituted by a brain-based nested hierarchical three-layer structure, including interoceptive, proprio-exteroceptive, and mental layers of self. This may be disrupted, though, when traumatic experiences occur. Following the three levels of trauma theorized by Mucci, we here suggest how different levels of traumatic experiences might have an enduring effect in yielding a trauma-based topographic and dynamic re-organization of the nested model of self featured by dissociation. In conclusion, we propose that different levels and degrees of traumatic experience are related to corresponding disruptions in the topography and dynamic of the brain-based three-layer hierarchical structure of the self. (shrink)

A nested mode ontology allows one to make sense of apparently contradictory Christological claims such as that Christ knows everything and there are some things Christ does not know.

Explores the artistic metarepresentation of nested art. Nested artistic structure; Contrast between artistic nesting and metafiction; Definition of nested art.

In this note we will introduce a class of search problems, called nested Polynomial Local Search (nPLS) problems, and show that definable NP search problems, i.e., \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^{b}_{1}}$$\end{document}-definable functions in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T^{2}_{2}}$$\end{document} are characterized in terms of the nested PLS.

In spite of enormous recent interest in the neurobiology of the self, we currently have no global models of the brain that explain how its anatomical structure, connectivity, and physiological functioning create a unified self. In this article I present a triadic neurohierarchical model of the self that proposes that the self can be understood as the product of three hierarchical anatomical systems: The interoself system, the integrative self system, and the exterosensorimotor system. An analysis of these three systems and (...) their functional features indicates that the neural hierarchy possesses features of both non-nested and nested hierarchies that are necessary for the creation of a unified consciousness and self. These functional properties also make the central nervous system a biologically unique entity unlike anything else in nature. (shrink)

Philosophy of mind has made substantial progress on biologically-rooted approaches to understanding the mind and subjectivity through the enactivist perspective, but research on subjectivity within neuroscience has not kept apace. Indeed, we possess no principled means of relating experiential phenomena to neurophysiological processes. Here, we present the Nested States Model as a framework to guide empirical investigation into the relationship between subjectivity and neurobiology. Building on recent work in phenomenology and philosophy of mind, we develop an account of experiential (...) states as layered, or nested. We argue that this nested structure is also apparent in brain activity. The recognition of this structural homology — that both experiential and brain states can be characterized as systems of nested states — brings our views of subjective mental states into broad alignment with our understanding of general principles and properties of brain activity. This alignment enables a more systematic approach to formulating specific hypotheses and predictions about how the two domains relate to one another. (shrink)

We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It is shown that these equivalences are still valid for the databases that store complex data elements obtained from the recursive nesting of record, list, set and multiset constructors. The major proof argument utilises properties of Brouwerian algebras.The equivalences have several consequences. Firstly, they provide new insights into databases that are not in first normal form. (...) Secondly, they characterise the implication of data dependencies in nested databases in purely logical terms. The database designer can take advantage of these equivalences to reduce database design problems to well-studied problems in Boolean propositional logic. Furthermore, relational database design solutions can be reused to solve problems for nested databases. (shrink)

Many named entities contain other named entities inside them. Despite this fact, the field of named entity recognition has almost entirely ignored nested named entity recognition, but due to technological, rather than ideological reasons. In this paper, we present a new technique for recognizing nested named entities, by using a discriminative constituency parser. To train the model, we transform each sentence into a tree, with constituents for each named entity (and no other syntactic structure). We present results on (...) both newspaper and biomedical corpora which contain nested named entities. In three out of four sets of experiments, our model outperforms a standard semi-CRF on the more traditional top-level entities. At the same time, we improve the overall F-score by up to 30% over the flat model, which is unable to recover any nested entities. (shrink)

Consistent with Barbey & Sloman (B&S), it is proposed that performance on Bayesian inference tasks is well explained by nested sets theory (NST). However, contrary to those authors' view, it is proposed that NST does better by dispelling with dual-systems assumptions. This article examines why, and sketches out a series of NST's core principles, which were not previously defined.

Both Aristotle and Ernst Mayr present theories of dual explanation in biology, with proximal, clearly physical explanations and more distal, biology-specific explanations. Aristotle’s presentation of final cause explanations in Posterior Analytics relates final causes to the necessary material, formal, and efficient causes that mediate them. Johnson and Leunissen demonstrate the problematic nature of historical and recent interpretations and open the door for a new interpretation consistent with modern evolutionary theory. Mayr’s differentiation of proximate and ultimate/evolutionary causes provides a key to (...) appropriating Aristotle for modern use, if care is taken to differentiate Mayr’s proximate/distal and mechanical/evolutionary distinctions from his intentional/non-intentional distinction. Building on Mayr, and noting his appropriation of ancient and recent commentary, a strong case can be made for nested explanation, wherein evolutionary explanations are instantiated in systems of mechanical explanations. Biological concepts of organism, gene, function, etc., are etiologically prior to mechanical explanations of function, but temporally posterior to mechanical explanations of historical adaptation. Such an analysis sheds light on recent arguments within evolutionary biology while highlighting the importance of epistemology in contemporary science. (shrink)

The article by Barbey & Sloman (B&S) provides a valuable framework for integrating research on base-rate neglect and respect. The theoretical arguments and data supporting the nested set model are persuasive. But we found the dual-process account to be under-specified and less compelling. Our concerns are based on (a) inconsistencies within the literature cited by B&S, and (b) studies of base-rate neglect in categorization.

Guy Rohrbaugh (2003) and Allan Hazlett (2012) have argued against the identification of musical works with sound-pattern types by arguing that musical works are.

Nested sequent systems for modal logics are a relatively recent development, within the general area known as deep reasoning. The idea of deep reasoning is to create systems within which one operates at lower levels in formulas than just those involving the main connective or operator. Prefixed tableaus go back to 1972, and are modal tableau systems with extra machinery to represent accessibility in a purely syntactic way. We show that modal nested sequents and prefixed modal tableaus are (...) notational variants of each other, roughly in the same way that tableaus and Gentzen sequent calculi are notational variants. This immediately gives rise to new modal nested sequent systems which may be of independent interest. We discuss some of these, including those for some justification logics that include standard modal operators. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled (...) calculi, such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

The authors propose a nested dissection approach to finding a fundamental cycle basis in a planar graph. The cycle basis corresponds to a fundamental null-space basis of the adjacency matrix. This problem is meant to model sparse null-space basis computations occurring in a variety of settings. An O(n3/2) bound is achieved on the nullspace basis size (i.e., the number of nonzero entries in the basis), and an O(n log n) bound on the size in the special case of grid (...) graphs. (shrink)

If temperature does not vary from one generation from to the next but its value is crucial for the development of particular phenotypic characteristics, a long-term change in its value may trigger major evolutionary changes of the organism. If a bird's nest maintains the critical temperature, then a statement that the bird is the nest's way of making another nest is as helpful as accounts couched in terms of genes' intentions. However, the language of intentions rests on different evidence and (...) assumptions from causal language and the languages are not interchangeable. Understanding ontogeny in causal terms requires explanations that are made as simple as possible but not so simple that they become completely unrealistic. (shrink)

Barbey & Sloman (B&S) claim that frequency formats and other task manipulations induce people to substitute associative thinking for rule-based thinking about nested sets. My critique focuses on the substitution assumption. B&S demonstrate that nested sets are important to solve base-rate problems but they do not show that thinking about these nested sets relies on a different type of reasoning.

In the context of astrophysical modeling at the solar system scale, we investigate the modalities implied by taking into account different levels of detail at which phenomena can be considered. In particular, by framing the analysis in terms of the how-possibly/how-actually distinction, we address the debated question as to whether the degree of plausibility is tightly linked to the degree of detail. On the grounds of concrete examples, we argue that, also in the astrophysical context examined, this is not necessarily (...) the case. (shrink)

The target paper of Dr. Feinberg is a testimony to an admirable scholarship and deep thoughtfulness. This paper develops a general theoretical framework of nested hierarchy in the brain that allows production of mind with consciousness. The difference between non-nested and nested hierarchies is the following. In a non-nested hierarchy the entities at higher levels of the hierarchy are physically independent from the entities at lower levels and there is strong constraint of higher upon lower levels. (...) In a nested hierarchy, higher levels are physically composed of lower levels, and there is no central control of the system resulting in weak constraint of higher upon lower levels. (shrink)

Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. (...) We show that the two-dimensional semantics for attitude ascriptions developed in Chalmers (2011a) has no trouble accommodating certain forms of the nesting problem that involve factive verbs such as “know” or “establish”. A certain form of the nesting problem involving apriority and necessity operators does raise an interesting puzzle, but we show how a generalized version of the nesting problem arises independently of two-dimensional semantics—it arises, in fact, for anyone who accepts the contingent a priori. We, then, provide a two-dimensional treatment of the apriority operator that fits the two-dimensional treatment of attitude verbs and apply it to the generalized nesting problem. We conclude that two-dimensionalism is not seriously threatened by cases involving the nesting of epistemic and modal operators. (shrink)

Many expressions intuitively have different epistemic and modal profiles. For example, co-referring proper names are substitutable salva veritate in modal contexts but not in belief-contexts. Two-dimensional semantics, according to which terms have both a so-called primary and a secondary intension, is a framework that promises to accommodate and explain these diverging intuitions. The framework can be applied to indexicals, proper names or predicates. Graeme Forbes argues that the two-dimensional semantics of David Chalmers fails to account for so-called nested contexts. (...) These are linguistic contexts where a sentence is embedded under both epistemic and modal operators. Chalmers and Rabern suggest a two-dimensional solution to the problem. Their semantics solves the nesting-problem, but at the cost of invalidating certain plausible principles. We suggest a solution that is both simpler and avoids this cost. (shrink)

Since the declaration of financial crisis in 2008, and the imposition of austerity measures in 2011, Greece has become an epicentre—or a “laboratory”—of multiple, successively declared crises, including the humanitarian crisis induced by the devastating effects of neoliberal structural adjustment policies. In this paper, I approach the explosion of crisis discourse as a medium for ideological negotiations of nation-state borders in relation to a continental project of securitisation. I suggest that ‘crisis’ functions as a lexicon through which sovereignty can be (...) reasserted in relation to supranational institutional interference in ostensibly democratic governance. Specifically, I examine how the refugee crisis and the debt crisis converge in nationalised space in Greece; that is, how in state discourse, ‘crises’ serve as a conduit through which the borders of an embattled nation are redrawn and hardened against threats from a political space conceptualised as ‘outside’ the nation. My point of entry is the declaration of the Greek government by the end of the summer of 2015, that it was “experiencing a crisis within a crisis,” dually victimised by migration ‘flows’ and failed European solidarity in a context of ongoing austerity measures required by its institutional lenders. The figure of ‘a crisis within a crisis’ functioned to delineate the boundaries of national space and time and to distinguish the normative victims of what are seen as distinct, if overlapping political phenomena (debt and migration), from those who parasitically share in, or indeed by their very illicit presence cause or contribute to the suffering of the national subject. If the global economic crisis had already been made ‘ours’ by being constructed as a problem inherent in the national economy, the global war on migration became reinvented as 'Europe’s crisis,’ and then ‘Greece’s.’ The nationalisation of ‘crisis’ then, has a triple function: first, to conceal the systemic and structural underpinnings of violent processes of dispossession and displacement; second, to authorise the imposition of regimes of management and securitisation; and third, to reify borders that simultaneously fortify the agencies of state sovereignties while containing those of embodied human beings. The figure of ‘nesting crises’—‘a crisis within a crisis’—emerges through gestures of ownership or territorialisation of crisis: that is, in the conditions under which, affectively and politically a ‘crisis’ becomes ‘ours’ rather than ‘theirs’ and, indeed, constitutes the ‘we’ and the ‘they.’ ‘Nesting crises’ discourse can be read as a vocabulary through which national sovereignty is reasserted and national unity reconstituted. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to (...) embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

What happens when humans and birds engage each other through a collaboration-as-fantasy mediated by computers? Could such an exercise be modelled in a way that helps us to transcend the techno-ocularcentric fetishes for precision and certainty which demarcate our time? From Edgar Wind’s notion of 'incarnation' – as the place where empirical experience and metaphysical foundation meet in the single cognitive and experiential act – this article bridges the analogue with the digital, navigating nature’s strategies to embody inherited and learned (...) complex behaviours in the design of nests, in what I call data-nests. (shrink)

A recent hypothesis in empirical brain research on language is that the fundamental difference between animal and human communication systems is captured by the distinction between finite-state and more complex phrase-structure grammars, such as context-free and context-sensitive grammars. However, the relevance of this distinction for the study of language as a neurobiological system has been questioned and it has been suggested that a more relevant and partly analogous distinction is that between non-adjacent and adjacent dependencies. Online memory resources are central (...) to the processing of non-adjacent dependencies as information has to be maintained across intervening material. One proposal is that an external memory device in the form of a limited push-down stack is used to process non-adjacent dependencies. We tested this hypothesis in an artificial grammar learning paradigm where subjects acquired non-adjacent dependencies implicitly. Generally, we found no qualitative differences between the acquisition of non-adjacent dependencies and adjacent dependencies. This suggests that although the acquisition of non-adjacent dependencies requires more exposure to the acquisition material, it utilizes the same mechanisms used for acquiring adjacent dependencies. We challenge the push-down stack model further by testing its processing predictions for nested and crossed multiple non-adjacent dependencies. The push-down stack model is partly supported by the results, and we suggest that stack-like properties are some among many natural properties characterizing the underlying neurophysiological mechanisms that implement the online memory resources used in language and structured sequence processing. (shrink)

Integrative mobile genetic elements (MGEs), such as transposons and insertion sequences, propagate within bacterial genomes, but persistence times in individual lineages are short. For long‐term survival, MGEs must continuously invade new hosts by horizontal transfer. Theoretically, MGEs that persist for millions of years in single lineages, and are thus subject to vertical inheritance, should not exist. Here we draw attention to an exception – a class of MGE termed REPIN. REPINs are non‐autonomous MGEs whose duplication depends on non‐jumping RAYT transposases. (...) Comparisons of REPINs and typical MGEs show that replication rates of REPINs are orders of magnitude lower, REPIN population size fluctuations correlate with changes in available genome space, REPIN conservation depends on RAYT function, and REPIN diversity accumulates within host lineages. These data lead to the hypothesis that REPINs form enduring, beneficial associations with eubacterial chromosomes. Given replicative nesting, our hypothesis predicts conflicts arising from the diverging effects of selection acting simultaneously on REPINs and host genomes. Evidence in support comes from patterns of REPIN abundance and diversity in two distantly related bacterial species. Together this bolsters the conclusion that REPINs are the genetic counterpart of mutualistic endosymbiotic bacteria. (shrink)

You listen to a singer singing a lied. What you hear is a work of art, one work of art. But if it is a single work, whose work is it? The poet who wrote the words has created a work of art, but so did the composer, who wrote the music, and the singer, who is an artist in his own right. Each artist has created a work of art that is different from the other two. Yet how can (...) that be if you hear but a single work? How can three distinct works of art be one work, the one you now enjoy? (shrink)