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.

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)

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)

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.

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.

This chapter argues that journalism’s ethical frameworks, particularly at moments when it is making its grandest claims to value, collide with those prevalent within universities and particularly with ethical review structures. Working through these tensions requires some accommodation from all sides, and also provides opportunities for learning. The chapter discusses how universities might recognize the ethics systems particular to practices, like journalism, which set out to serve the public good and which produce knowledge in ways distinctive to that practice. Underneath (...) this problem is the more fundamental question of how to establish the boundaries between research and other activities that take place in the university. The chapter proposes, following Spicker’s argument in relation to policy studies, that distinctive ethical criteria must be recognized in different areas of university activity where claims to be producing research are being made. Yet it must also be noted that exceptionalism risks leaving university-based journalists with a weak ethical system. It concludes that journalists within the university have both the opportunity and obligation to extend their practice by using university processes to engage with a wide range of ethical frameworks. (shrink)

This study examined the relationship between unethical employee behavior and the dimensions of the Ethical Climate Questionnaire (ECQ). In order to explore the relationship between the dimensions of the ECQ and unethical behavior, the factor structure of five previously identified empirical models and the hypothesized nine-dimension model for the ECQ was tested with a confirmatory factor analysis. The analysis revealed that the hypothesized nine-dimension model provided as good or even better fit to the data than the five empirically derived models. (...) Therefore, the nine-dimensional model was used to examine the criterion-related validity of the ECQ. The results demonstrated that the nine ethical climate dimensions were correlated with some of the unethical behaviors examined in this study, but not others. However, the results clearly demonstrated that most of the ethical climate dimensions were significantly related to an aggregate measure of unethical behavior. It was suggested that these results might account for the differences in previous studies on the criterion-related validity of the ECQ. The results also replicated a previous report that the association between unethical behavior and ethical climate is stronger in organizations that do not have a code of ethics. Finally, a difference was observed in the ethical climates for organizations with a code of ethics and organizations without a code of ethics. (shrink)

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

With reference to Schelling’s Philosophy of Mythology (PoM) in my paper I will address three points, namely: To what extent Schelling’s PoM provides us with arguments in favour of 1. Realism, 2. Emergentism and 3. Documentality (Ferraris 2009). Accordingly, in the first section, Reality, I will present Schelling’s PoM as realism, arguing that in mythology Schelling finds the traces of the developing of consciousness, regarded as a real fact. But, as this latter can only be real if having a history, (...) i.e. if emerging from a previous natural status, which is devoid of any consciousness, PoM should be regarded as strongly related with a sort of emergentism. This will thus be the object of the second section, where I will investigate the genetic interpretation of Schelling’s Weltalter proposed by Wolfram Hogrebe (Hogrebe 1989) and suggest that precisely this analysis of the Weltalter explains also why Schelling’s project couldn’t but fail. In fact, against its intention, the Weltalter, as it was trying to explain the rise of semantics together with it the true genesis of the our acknowledgment of the world, still remains affected by an idealistic stance and hence couldn’t succeed in becoming positive philosophy. Eventually, in the third section of this paper, Documentality, I argue, that a solution of the problems left open by Schelling’s Weltalter and positively addressed in the PoM is offered by the interpretation of this latter as a contribution to Documentality. Even if created before and apparently independently from the act writing, in fact mythology relies on the possibility of recording tales, hence it is made of and eventually ends up in a written corpus. This means that the consciousness mythology gives us an account of, is the one that for the first time is able to present itself in narrated tales. It is not the mere possibility of acknowledging something, but in fact the possibility of binding our will to a freely formulated law trough our memory, i.e. the birth of conscience upon consciousness, which is the real sense of religion. In this sense Ferraris’ concept of documentality provides us an important theoretical framework to understand the hidden presuppositions of Schelling’s PoM and to relate this latter to its realistic and emergentistic character. (shrink)

Die Ratnavalitika des Ajitamitra. Edited and explained by Yukihiro Okada. Indica et Tibetica Verlag, Bonn 1990. xxxv, 198 pp. No price given.

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)

In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, as studied (...) in the final part of the paper. (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 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)

The paper, analyses the role of measurable concepts in deductive explanation. It is shown that such concepts are, although imprecise in a defined sense, exact in that neutral candidates to them do not arise. An analysis is given of the way in which imprecision is related to generalisation, and it is shown how imprecise concepts are incorporated in testable deductive explanations.

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.