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)

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)

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)

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.

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)

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)

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)

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

There is good reason to suppose that our best physical theories, quantum mechanics and special relativity, are false if taken together and literally. If they are in fact false, then how should they count as providing knowledge of the physical world? One might imagine that, while strictly false, our best physical theories are nevertheless in some sense probably approximately true. This paper presents a notion of local probable approximate truth in terms of descriptive nesting relations between current and subsequent theories. (...) This notion helps explain how false physical theories might nevertheless provide physical knowledge of a variety that is particularly salient to diachronic empirical inquiry. (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)

Two‐dimensional semantics is probably the most significant development in contemporary philosophy of language. Among its various versions, it is Chalmers's epistemic two‐dimensionalism that received most widely discussions and most severe criticisms. Here I consider one such criticism, namely, “the nesting problem,” which concerns the interaction between modality and apriority. I propose a solution to the problem and defend it through comparison with other approaches in the literature, as well as rebut with some potential objections. It turns out that my solution (...) not only handles the interaction between modality and apriority naturally but also avoids many difficulties of other approaches. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic (...) properties from its associated labelled calculus. (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.

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.

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)

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)

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)

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)

Today, many pregnancy guides mention a nesting instinct. According to this, pregnant women would be seized by an urge to create the right environment for their child, for example to buy baby equipment or clean the apartment. The concept of the nesting instinct forms a specific configuration of knowledge: While it is widespread in the popular field, it occupies a marginal position in the scientific field. In this paper, I will investigate the historical epistemology of this form of knowledge. In (...) so doing, the following questions are addressed: How did the knowledge about a nesting instinct during pregnancy form? How was the nest as a specific natural-anthropogenic environment constructed? And to what extent do notions of gender and environment interact here? To answer these questions, the study takes the perspective of a history of knowledge in transit, in the longue durée from the nineteenth century to the present. The investigation reveals a gradual feminization of the concept of environment in the knowledge of the nesting instinct. Whereas in the nineteenth century it was often considered a male behavioral pattern and the nest was an analogy to the house, in the first decades of the twentieth century, the instinct transformed into a primarily female characteristic, with the nest representing the interior of the home. A decisive condition for this circulation of knowledge was that the nest became a ‘metaphorical thing’. As such, the nest did not simply lead to naturalization, but denoted a natural-social in-between space that increasingly became the goal of female care work. (shrink)

ZusammenfassungIn heutigen Schwangerschaftsratgebern ist oft von einem Nestbauinstinkt zu lesen. Demnach würden Schwangere von einem Trieb ergriffen, die passende Umwelt für ihr Kind zu gestalten, also Babyausstattung zu kaufen oder die Wohnung zu putzen. Dabei bildet das Konzept des Nestbauinstinkts eine spezifische Wissenskonfiguration: Während es im populären Bereich verbreitet ist, nimmt es im wissenschaftlichen Bereich eine marginale Position ein. Im vorliegenden Beitrag soll der historischen Epistemologie dieser Wissensform nachgegangen werden. Im Vordergrund stehen folgende Fragen: Wie formierte sich das Wissen um (...) einen Nestbauinstinkt in der Schwangerschaft? Auf welche Weise wurde das Nest als spezifische natural-anthropogene Umwelt hergestellt? Und inwiefern interagieren hier Vorstellungen von Geschlecht und Umwelt? Dazu nimmt die wissensgeschichtliche Analyse die Perspektive einer longue durée vom 19. Jahrhundert bis heute ein. Die Untersuchung ergibt eine graduelle Feminisierung des Umweltkonzepts im Wissen des Nestbauinstinkts. Während er im 19. Jahrhundert oft als männliches Verhaltensmuster galt und das Nest ein Analogon zum Wohnhaus bildete, transformierte sich der Instinkt in den ersten Jahrzehnten des 20. Jahrhunderts zu einer primär weiblichen Eigenschaft, bei der das Nest für den Innenraum des Zuhauses stand. Dabei zirkulierte das Wissen zwischen verschiedenen Bereichen, wofür eine maßgebliche Bedingung war, dass sich das Nest zum ‚metaphorischen Ding‘ wandelte. Als solches führte das Nest nicht einfach zu einer Naturalisierung, sondern bezeichnete einen familiären natural-sozialen Zwischenraum, der zunehmend zum Ziel weiblich konnotierter Sorge-Arbeit wurde. (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.

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)

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.

Humean reductionism about laws of nature is the view that the laws reduce to the total distribution of non-modal or categorical properties in spacetime. A worry about Humean reductionism is that it cannot motivate the characteristic modal resilience of laws under counterfactual suppositions and that it thus generates wrong verdicts about certain nested counterfactuals. In this paper, we defend Humean reductionism by motivating an account of the modal resilience of Humean laws that gets nested counterfactuals right.

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)

In order to block controversial predictions of 2D semantics (The Nesting Problem), Chalmers and Rabern (2014) propose adding an additional constriction called “the liveness constraint” in definitions of epistemic modals. Without this constraint, all scenario‐world pairs counterfactual to a scenario‐world pair considered as actual in a 2D matrix for a contingent a priori proposition ϕ appear problematic for 2D semantics. This is because, although it is false that ϕ in such pairs, it is a priori true that ϕ. I consider (...) two versions of 2D semantics, those with unstructured and structured intensions. I argue that the unstructured version of 2D semantics is over‐simplified and due to this, it has controversial predictions for counterfactual scenario‐world pairs – the definition of epistemic conceivability with the liveness constraint causes some contingent propositions to appear inconceivable in counterfactual scenario‐world pairs, while some other contingent propositions remain conceivable. In turn, the structured version of the 2D account of propositions has no explanation of how it is possible to possess purely qualitative knowledge without its being dependent on a particular individual or on a particular actual world. (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)

The present study intends to demonstrate that there is no logical-formal inconsistency in the Christian Trinity. However, the demonstration requires specific tools, other than those of classical logic. There are many older or newer attempts that try to remove the thesis of the inconsistency of the Christian Trinity. There is often a call for mathematical tools. As far as we are concerned, we will appeal to co -inherence and the nesting relationships specific to the Christian Trinity, as they appear especially (...) in Augustine’s work. We advance the hypothesis that Augustine's metaphor "heaven of heavens" has a foundational role in the logical plane of explanation. In this sense, Augustine points out that in the "heaven of heavens", reason does not know "in part", but it knows everything suddenly, entirely, as in a totality. This totality with a founding role functions as a principle, which we can call the principle of free totality. But the co -belonging of entities in the free and founding totality also expresses co -inherence. Divine persons are an emanation of God. That is why we are talking about co -inherence. The "co" particle points out that the starting point is in the free totality of God, and that this totality logically precedes the rest of the process. Thus, we can consider the term "the Christian Trinity" as a nested term, as co -habitation. The totality of God is not a generalization in the spirit of the Aristotelian abstraction, but rather a particularity, a "personalization" that does not cancel the individual, but it highlights in instantiation. In this sense, the Christian God is not an abstraction, but a divine Being in three persons, in whom He instantiates. The logic of this process is the one of vagueness. (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)

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)

There might not be a specific nano-ethics, but there definitely is an ethics of new & emerging science and technology (NEST), with characteristic tropes and patterns of moral argumentation. Ethical discussion in and around nanoscience and technology reflects such NEST-ethics. We offer an inventory of the arguments, and show patterns in their evolution, in arenas full of proponents and opponents. We also show that there are some nano-specific issues: in how size matters, and when agency is delegated to smart devices. (...) Our overall approach is a pragmatist ethics, and we conclude that struggle (and learning) might be more productive than models emphasizing consensus. (shrink)

In "The Status and Future of the Turing Test" (Moor, 2001), which appeared in an earlier issue of this journal, James Moor remarks on my paper "Turing's Two Tests for Intelligence." In my paper I had claimed that, whatever Turing may or may not have thought, the test described in the opening section of Turing's now legendary 1950 paper "Computing Machinery and Intelligence" is not equivalent to, and in fact is superior to, the test described in a passage that occurs (...) much later in Turing's paper (i.e., in Section 5 of Turing, 1950). I'm pleased Moor chose to give such prominence to my point, and very happy to see that he recognized that my claim was a normative one about the superiority of one test over another, rather than a claim about Turing's intentions. However, as I think the way he describes my point could lead to misunderstandings, I'd like to clarify the points I made. One major clari?cation is which two tests I am contrasting; another is that the difference in overall structure of the two tests is of philosophical signi?cance. (shrink)