The vital status of patients who are a part of controlled donation after circulatory death (cDCD) is widely debated in bioethical literature. Opponents to currently applied cDCD protocols argue that they violate the dead donor rule, while proponents of the protocols advocate compatibility. In this article, we argue that both parties often misinterpret the moral implications of the dead donor rule. The rule as such does not require an assessment of a donor’s vital status, we contend, but rather an assessment (...) of whether procurement of organs in cDCD cause the death of the donor or not. We then argue that commonly practiced cDCD protocols do not violate the dead donor rule, since the donation does not trigger or cause the death of the donors. (shrink)

BackgroundTranscranial direct current stimulation is a non-invasive, non-convulsive technique for modulating brain function. In contrast to other non-invasive brain stimulation techniques, where costs, clinical applicability, and availability limit their large-scale use in clinical practices, the low-cost, portable, and easy-to-use tDCS devices may overcome these restrictions.ObjectiveDespite numerous clinical applications in large numbers of patients suffering from psychiatric disorders, it is not quite clear how tDCS influences the mentally affected human brain. In order to decipher potential neural mechanisms of action of tDCS (...) in patients with psychiatric conditions, we focused on the combination of tDCS with neuroimaging techniques.DesignWe propose a contemporary overview on the currently available neurophysiological and neuroimaging data where tDCS has been used as a research or treatment tool in patients with psychiatric disorders.ResultsOver a reasonably short period of time, tDCS has been b... (shrink)

In Professional Ethics and Civic Morals , Emile Durkheim outlined the core of his theory of morality and social rights which was to dominate his work throughout the course of his life. In Durkheim's view, sociology is a science of morals which are objective social facts, and these moral regulations form the basis of individual rights and obligations. This book is crucial to an understanding of Durkheim's sociology because it contains his much-neglected theory of the state as a moral institution, (...) and it provides an understanding of his critique of anomie and egoistic individualism. The growing interest in cultural revolution and moral regulation make this edition of Durkheim's classic work especially timely. The new preface by Bryan Turner sets the book in its intellectual and historical context, and illustrates the relevance of this work to present day debates on the state, society, and moral regulation. (shrink)

Selections from Durkheim's writings focus on the nature of his conception of society and its moral context.

INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...

We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP-hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC) is in coNE, thus obtaining a sharp complexity estimate for admissibility in these systems.

“Scalar implicatures” is a phrase used to refer to some inferences arising from the competition between alternatives: typically, “Mary read some of the books” ends up conveying that Mary did not read all books, because one could have said “Mary read all books”. The so-called grammatical theory argues that these inferences obtain from the application of a covert operator \, which not only has the capability to negate alternative sentences, but also the capability to be embedded within sentences under other (...) linguistic operators, i.e. \ has the potential to add to the meaning of expressions, the negation of their alternatives. This view typically seeks support from the existence of readings that could not be explained without the extra-capability of \ to occur in embedded positions. However, if some embedded positions seem to be accessible to \, not all conceivable positions that \ could occupy yield sensible results. In short: the \ approach is powerful, maybe too powerful. Various approaches based on logical strength and monotonicity have been proposed to justify on principled grounds the limited distribution of \; these approaches are mostly based on a comparison between possible parses, and considerations of monotonicity. We propose a new constraint based instead on “connectedness”, ruling out parses because of inherent problems their outcome may raise. Connectedness is a sister notion of monotonicity, which has been recruited to explain certain lexical restrictions on nouns, adjectives and more recently quantifiers; we propose here that connectedness could play a similar role at the level of propositional meanings. (shrink)

“Scalar implicatures” is a phrase used to refer to some inferences arising from the competition between alternatives: typically, “Mary read some of the books” ends up conveying that Mary did not read all books, because one could have said “Mary read all books”. The so-called grammatical theory argues that these inferences obtain from the application of a covert operator \, which not only has the capability to negate alternative sentences, but also the capability to be embedded within sentences under other (...) linguistic operators, i.e. \ has the potential to add to the meaning of expressions, the negation of their alternatives. This view typically seeks support from the existence of readings that could not be explained without the extra-capability of \ to occur in embedded positions. However, if some embedded positions seem to be accessible to \, not all conceivable positions that \ could occupy yield sensible results. In short: the \ approach is powerful, maybe too powerful. Various approaches based on logical strength and monotonicity have been proposed to justify on principled grounds the limited distribution of \; these approaches are mostly based on a comparison between possible parses, and considerations of monotonicity. We propose a new constraint based instead on “connectedness”, ruling out parses because of inherent problems their outcome may raise. Connectedness is a sister notion of monotonicity, which has been recruited to explain certain lexical restrictions on nouns, adjectives and more recently quantifiers; we propose here that connectedness could play a similar role at the level of propositional meanings. (shrink)

In this influential work, first published in English in 1963, Durkheim and Mauss claim that the individual mind is capable of classification and they seek the origin of the ‘classificatory function’ in society. On the basis of an intensive examination of forms and principles of symbolic classification reported from the Australian aborigines, the Zuñi and traditional China, they try to establish a formal correspondence between social and symbolic classification. From this they argue that the mode of classification is determined by (...) the form of society and that the notions of space, time, hierarchy, number, class and other such cognitive categories are products of society. Dr Needham’s introduction assesses the validity of Durkhiem and Mauss’s argument, traces its continued influence in various disciplines, and indicates its analytical value for future researches in social anthropology. (shrink)

In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to 'sink (...) virtually all orthodox solutions', and that the Inclosure Schema cannot be the structure that underlies the Liar paradox. Moreover, Ramsey was right in thinking that logical and semantic paradoxes are paradoxes of different kinds. (shrink)

A l'epoque ou le pragmatisme se presente comme la seule theorie de la verite existante, Emile Durkheim propose, dans ce cours inedit prononce a la Sorbonne en 1913-1914, de s'interroger sur les rapports que cette pensee entretient avec la sociologie et la philosophie. Se demarquant d'emblee des theses majeures du pragmatisme, Durkheim n'en reconnait pas moins la puissance critique a l'egard du rationalisme, et insiste sur les enjeux qui naissent d'une telle confrontation. Si l'ensemble de la tradition philosophique et de (...) la culture francaise est rationaliste, alors l'etude detaillee du pragmatisme en tant que forme possible de l'irrationalisme (de ses origines comme de ses formes recentes, notamment dans la pensee de William James) se justifie aussi bien d'un point de vue national que d'un point de vue strictement philosophique. (shrink)

We develop approximate counting of sets definable by Boolean circuits in bounded arithmetic using the dual weak pigeonhole principle (dWPHP(PV)), as a generalization of results from [15]. We discuss applications to formalization of randomized complexity classes (such as BPP, APP, MA, AM) in PV₁ + dWPHP(PV).

We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...) theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.

We show that \, the basic theory of bounded arithmetic corresponding to the complexity class \, proves the \ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the \ iterated multiplication algorithm by Hesse, Allender, and Barrington. As a consequence, \ can also prove the integer division axiom, and the \-translation of induction and minimization for sharply bounded formulas. Similar consequences hold for the related theories \ and \. As a side (...) result, we also prove that there is a well-behaved \ definition of modular powering in \\). (shrink)