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 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)

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.

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)

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.

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)

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.

This paper analyzes the skilled performance of rock climbing through the framework of Embodied and Enacted Cognitive Science. It introduces a notion of enactive planning that is part of one mindful activity of ongoing responsiveness to the affordances of the wall. The paper takes two distinct planning activities involved in rock climbing—route-reading and visualizing—and clarifies them through the enactivist and ecological concepts of nested affordances, prospecting, recalibrating, marking, and corporeal imaginings, as well as Rylean concept of heeding. The paper shows (...) that an enactive approach to planning can make sense of both the planning done in preparation of the climb, and re-planning done during the mindful performance, without invoking additional cognitive architectures. (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)

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)

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)

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)

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

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)

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)

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 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)

Thought: A Journal of Philosophy, Volume 10, Issue 1, Page 42-52, March 2021.

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)

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)

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.

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.

We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic modal cube between IK and IS5. The proof of cut-free completeness for all logics is provided both syntactically via a Maehara-style translation and semantically by constructing an infinite birelational countermodel from a failed proof search. Interestingly, the Maehara-style translation for proving soundness syntactically fails due to the hierarchical structure of nested sequents. Consequently, we only provide the semantic proof of soundness. The countermodel construction used to prove completeness (...) required a completely novel approach to deal with two independent sources of non-termination in the proof search present in the case of transitive and Euclidean logics. (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)

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.

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 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)