Discrepancies between the Uniform Determination of Death Act (UDDA) and the adult and pediatric diagnostic guidelines for brain death (BD) (the “Guidelines”) have motivated proposals to revise the UDDA. A revision proposed by Lewis, Bonnie and Pope (the RUDDA), has received particular attention, the three novelties of which would be: (1) to specify the Guidelines as the legally recognized “medical standard,” (2) to exclude hypothalamic function from the category of “brain function,” and (3) to authorize physicians to conduct an apnea (...) test without consent and even over a proxy’s objection. One hundred seven experts in medicine, bioethics, philosophy, and law, spanning a wide variety of perspectives, have come together in agreement that while the UDDA needs revision, the RUDDA is not the way to do it. Specifically, (1) the Guidelines have a non-negligible risk of false-positive error, (2) hypothalamic function is more relevant to the organism as a whole than any brainstem reflex, and (3) the apnea test carries a risk of precipitating BD in a non-BD patient, provides no benefit to the patient, does not reliably accomplish its intended purpose, and is not even absolutely necessary for diagnosing BD according to the internal logic of the Guidelines; it should at the very least require informed consent, as do many procedures that are much more beneficial and less risky. Finally, objections to a neurologic criterion of death are not based only on religious belief or ignorance. People have a right to not have a concept of death that experts vigorously debate imposed upon them against their judgment and conscience; any revision of the UDDA should therefore contain an opt-out clause for those who accept only a circulatory-respiratory criterion. (shrink)

(1998). The scope of selection: Sober and neander on what natural selection explains. Australasian Journal of Philosophy: Vol. 76, No. 2, pp. 250-264.

D. H. Mellor; VI*—Conscious Belief, Proceedings of the Aristotelian Society, Volume 78, Issue 1, 1 June 1978, Pages 87–102, https://doi.org/10.1093/aristotelian.

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...) tableau methodology, invented in the 1950s by Beth and Hintikka and later per fected by Smullyan and Fitting, is today one of the most popular, since it appears to bring together the proof-theoretical and the semantical approaches to the pre of a logical system and is also very intuitive. In many universities it is sentation the style first taught to students. Recently interest in tableaux has become more widespread and a community crystallised around the subject. An annual tableaux conference is being held and proceedings are published. The present volume is a Handbook a/Tableaux pre senting to the community a wide coverage of tableaux systems for a variety of logics. It is written by active members of the community and brings the reader up to frontline research. It will be of interest to any formal logician from any area. (shrink)

Ian C. Jarvie developed the idea of situational logic in a subtle and effective way. He was also interested in, as well as a contributor to, the institution of academic publication. This chapter provides a situational analysis of an important recurrent pattern in academic publishing, namely, the concentration of work around particular topics, despite the fact that most such work will be unrewarded in the economy of esteem that is meant to be in play.

Stratified properties such as ‘happy unhappiness’, ‘ungrounded ground’, ‘fortunate misfortune’, and evidently ‘true falsity’ may generate dialetheias (true contradictions). The aim of the article is to show that if this is the case, then we will have a special, conjunctive, kind of dialetheia: a true state description of the form ‘Fa and not Fa’ (for some property F and object a), wherein the two conjuncts, separately taken, are to be held untrue. The particular focus of the article is on happy (...) unhappiness: people suffering from (or enjoying) happy unhappiness (if there is some situation or state of mind of this kind) cannot be truly said ‘happy’ or ‘unhappy’, but we can say they are both. In the first section three cases of conjunctive stratification are presented; in the second section the logic of stratified contradictions is explored. The last section focuses on eudemonistic ascriptions: stated that a is happy to be unhappy (or unhappy to be happy), should we say a is happy? unhappy? both? neither? (shrink)

It is almost universally believed that in quantum theory the two following statements hold: all transformations are achieved by a unitary interaction followed by a von-Neumann measurement; all mixed states are marginals of pure entangled states. I name this doctrine the dogma of purification ontology. The source of the dogma is the original von Neumann axiomatisation of the theory, which largely relies on the Schrődinger equation as a postulate, which holds in a nonrelativistic context, and whose operator version holds only (...) in free quantum field theory, but no longer in the interacting theory. In the present paper I prove that both ontologies of unitarity and state-purity are unfalsifiable, even in principle, and therefore axiomatically spurious. I propose instead a minimal four-postulate axiomatisation: associate a Hilbert space \ to each system \; compose two systems by the tensor product rule \; associate a transformation from system \ to \ to a quantum operation, i.e. to a completely positive trace-non-increasing map between the trace-class operators of \ and \; evaluate all joint probabilities through that of a special type of quantum operation: the state preparation. I then conclude that quantum paradoxes—such as the Schroedinger-cat’s, and, most relevantly, the information paradox—are originated only by the dogma of purification ontology, and they are no longer paradoxes of the theory in the minimal formulation. For the same reason, most interpretations of the theory interpret the same dogma, not the strict theory stripped of the spurious postulates. (shrink)

We investigate computability theoretic and descriptive set theoretic contents of various kinds of analytic choice principles by performing a detailed analysis of the Medvedev lattice of $\Sigma ^1_1$ -closed sets. Among others, we solve an open problem on the Weihrauch degree of the parallelization of the $\Sigma ^1_1$ -choice principle on the integers. Harrington’s unpublished result on a jump hierarchy along a pseudo-well-ordering plays a key role in solving this problem.

There is strong reason to doubt that the intuitions Chalmers' meta-problem focuses on are widespread or independent of proto-theoretical prompting. So it's unlikely that they result from factors connected to the nature of consciousness. In any case, it's only the accuracy of the problem intuitions that matters for evaluating theories of consciousness or revealing the nature of consciousness, not an explanation of how they arise. Unless we determine that they're accurate about consciousness, we mustn't assume that realism about consciousness incorporates (...) them, or that denying them means denying that consciousness exists. And we must assess whether they're accurate independently of how they arise. (shrink)

"Deductivism" is the thesis that all logic is deductive. Stove lays out the arguments for the existence of non-deductive logic.

Human aesthetic experiences are pervasive; they are triggered by faces, art, natural scenery, foods, ideas, theories, and decision-making situations, among many sources, and seem to be a distinctive trait of our species. Our moral sense, understood as our capacity to judge events, actions, or people as good or bad, appropriate or inappropriate, also seems to be an exclusively human endowment (Ayala 2010). As part of the scientific efforts to characterize the biological foundations of our human uniqueness, recently there has been (...) interest in the brain’s underpinnings of aesthetic reactions to art on the one hand, and in the neural correlates of moral judgment and decision-making on the other (Greene and Paxton .. (shrink)

We define a class of formal systems inspired by Prawitz’s theory of grounds. The latter is a semantics that aims at accounting for epistemic grounding, namely, at explaining why and how deductively valid inferences have the power to epistemically compel to accept the conclusion. Validity is defined in terms of typed objects, called grounds, that reify evidence for given judgments. An inference is valid when a function exists from grounds for the premises to grounds for the conclusion. Grounds are described (...) by formal terms, either directly when the terms are in canonical form, or indirectly when they are in non-canonical form. Non-canonical terms must reduce to canonical form, and two terms may be said to be equal when they converge towards equivalent grounds. In our systems these properties can be proved through rules distinguished according to whether they concern types or logic. Type rules involve type introduction and elimination, equality for application of operational symbols, and re-writing equations for non-canonical terms. The logic amounts to a sort of intuitionistic system in a Gentzen format. To conclude, we show that each system of our class enjoys a normalization property. (shrink)

This article analyzes the complex relation of phenomenology and literature in the work of Husserl and Derrida. In the first part, I show that the limited ideality of the literary object necessarily situates it in a derivative region of phenomenology. In the second part, however, I problematize the regional status of literature by elaborating a brief but important footnote in which Husserl broadens the concept of literature to embrace all cultural products whatsoever. Yet, because even this broadened concept of literature (...) ultimately remains secondary for the phenomenologist, it only redoubles and ratifies the submission of literature to the more ideal objectivities of mathematical disciplines like geometry. The third part, finally, mobilizes Derrida’s notion of “dissemination,” prepared in and unintelligible apart from his early engagement with Husserlian phenomenology, in order to broach a notion of literature that the phenomenologist can neither circumscribe nor describe. (shrink)

Looks at the major philosophers from Socrates and Plato to Heidegger and Sartre, and traces the development of central philosophical themes.

This article is a continuation of Part I, which looked at the relationship between Confucianism and Daoism by first introducing general approaches, before moving on to (1) perspectives on names and actualities; (2) cultivation, learning, the natural; and (3) conceptions of the person. Continuing with the theme‐based comparison of Confucianism and Daoism by looking specifically at the Lunyu 論語 (Analects of Confucius), Daodejing 道德經 (Classic of the Way and Virtuosity) or Laozi 老子 (Book of Master Lao), and the Zhuangzi 莊子 (...) (Book of Master Zhuang), this article looks at (1) politics, nonaction (wuwei 無為), and virtuosity (de 德); (2) morality, virtues, and human nature (xing 性); and finally (3) Dao 道, or “the way.” It references Part I, and while it can be read independently, it is best taken as a continuation of Part I. The conclusion included herein summarizes both Part II and Part I. (shrink)

This chapter deals with the ways in which entrepreneurships driven by industrial design and the strategies for interconnecting design for innovation are articulated. In the first instance, current practices are recognized in order to analyze the different processes that entrepreneurial dynamics go through. This analysis is carried out from a systemic perspective, at three levels of abstraction: designer, entrepreneurship and ecosystem. The theoretical and conceptual framework will be structured based on the innovations driven by design, which occur around the designer, (...) his personal projects, and the possible interactions and singularities offered by living spaces. The objective of this work is to unravel the eventual relationships of the entrepreneurial designer in the ecosystem and to highlight the potential added by emerging connections, which allow for the projection of synergistic actions with other actors to create value(s). In this way, other possible views of the entrepreneurial process are provided, where the cultural and philosophical dimension that characterizes industrial designers allows them to achieve a higher quality of life, designing and producing collectively (in) their environment. (shrink)

This article proposes a typology of the epistemology of live blogging through an analysis of two live news blogs: Radio New Zealand News’ live blog of a significant earthquake in Aotearoa New Zealand in November 2016 and BBC News’ live blog of the Brexit referendum result in June 2016. We use these cases to draw out five features of the genre that we suggest may characterise other live news blogs. We demonstrate that these blogs tend to produce a fragmentary narrative (...) that reflects particular moments in time, curate an array of textual objects from a range of information sources to produce ‘networked balance’, gain coherence from an often informal authorial voice or voices and generate claims to knowledge of events which are simultaneously dynamic and fragile. This typology contributes to understanding journalism’s position within networked information spaces. (shrink)

The article is devoted to dynamic processes in the field of artificial intelligence, namely in the tasks of neurodynamics. The problems of stability of transient processes in neural networks, which dynamics can be described by systems of weakly nonlinear difference equations, are considered. Conditions are formulated in terms of the direct Lyapunov method.