The profession of medicine has developed codes of ethical conduct for thousands of years. From the Hippocratic Oath of ancient Greece onward to modern times, a universal and central element of such codes has expressed the imperative that a physician shall “Do no harm.”.

Niedenthal et al. discuss the importance of eye gaze in embodied simulation and, more globally, in the processing of emotional visual stimulation (such as facial expression). In this commentary, we illustrate the relationship between oriented eye movements, consciousness, and emotion by using the case of severely brain-injured patients recovering from coma (i.e., vegetative and minimally conscious patients).

With no precise boundaries, always on the move and too complex to be defined by space and time, is it possible to map the human subject? This book attempts to do just this, exploring the places of the subject in contemporary culture. The editors approach this subject from four main aspects--its construction, sexuality, limits and politics--using a wide ranging review of literature on subjectivity across the social and human sciences. The first part of the book establishes the idea that the (...) subject is constructed through detailed histories of the subject. The second part shows that sexuality cannot be assumed to be natural through the contributors' research on the place of sexuality in subjectivity and subjectivity in sexuality. The essays in the third part take issue with the idea of a singular, self-contained identity. Power relations and the effects of power are consistent themes throughout the book and the final section deals explicitly with relations of power, whether organized around gender, race, class or other kinds of difference. Contributors: Steve Pile, Nigel Thrift, Miles Ogborn, Carolyn Steedman, David Matless, David Sibley, David Bell, Julia Cream, Vic Seidler, Hester Parr, Chris Philo, Marcus Doel, Paul Rodaway, Nigel Rapport, Stephen Frosh, Valerie Walkerdine, Gillian Rose and Michael Keith. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

This book argues that moral philosophy should be based on seven scientific principles of theory selection. It then argues that a new moral theory—Rightness as Fairness—satisfies those principles more successfully than existing theories. Chapter 1 explicates the seven principles of theory-selection, arguing that moral philosophy must conform to them to be truth-apt. Chapter 2 argues those principles jointly support founding moral philosophy in known facts of empirical moral psychology: specifically, our capacities for mental time-travel and modal imagination. Chapter 2 then (...) shows that these capacities present human decisionmakers with a problem of diachronic rationality that includes but generalizes beyond, L.A. Paul’s problem of transformative experience: a problem that I call “the problem of possible future selves.” Chapter 3 then argues that a new principle of rationality—the Categorical-Instrumental Imperative—is the only rational solution to this problem, as it requires our present and future selves to forge and uphold a recursive, bi-directional contract with each another given mutual recognition of the problem. Chapter 4 then shows that the Categorical-Instrumental Imperative has three identical formulations analogous but superior to Immanuel Kant’s various formulations of his ‘categorical imperative.’ Chapter 5 shows that these unified formulas jointly entail a particular test of moral principles: a Moral Original Position similar to John Rawls’ famous ‘original position’, but which avoids a variety of problems with Rawls' model. Chapter 6 then shows that the Moral Original Position generates Four Principles of Fairness, which can then be combined into a single principle of moral rightness: Rightness as Fairness. This new conception of rightness is shown to reconcile four dominant moral frameworks (deontology, consequentialism, virtue ethics, and contractualism), as well as entail a new method of moral decisionmaking for applied ethics: a method of “principled fair negotiation” according to which applied ethical issues cannot be wholly resolved through principled debate, but must instead be resolved by actual negotiation and compromise. This method is then argued to generate novel, nuanced analyses of a variety of applied moral issues, including trolley cases, torture, and the ethical treatment of nonhuman animals. Chapter 7 then shows that Rightness as Fairness reconciles three leading political frameworks—libertarianism, egalitarianism, and communitarianism—showing how all three embody legitimate moral ideals that can, and should, be fairly negotiated against each other to settle the scope, and nature, of domestic, international, and global justice on an ongoing, iterated basis. Finally, Chapter 8 argues that Rightness as Fairness satisfies all seven of the principles of theory-selected defended in Chapter 1 more successfully than rival theories. (shrink)

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

Der Aufsatz behandelt den Zusammenhang zwischen Recht, Ethik und Moral in der MdS. Ausgangspunkt ist der Befund, daß Kants System der Pflichten in der MdS weder konsistent noch vollständig ist, weil Rechts- und Tugendpflichten, entgegen Kants Annahme, den Bereich der moralischen Pflichten nicht erschöpfen . Kants System der Pflichten beruht auf den Unterscheidungen zwischen Recht und Ethik und zwischen Legalität und Moralität. Letztere konzipiert Kant in der MdS anders als in früheren Werken, indem er sie nun auf die beiden Arten (...) der "Gesetzgebung" in Recht und Ethik und die daraus entspringenden Gesetze zurückführt . Im Zusammenhang mit der "ethischen" Gesetzgebung ergibt sich das Problem, wie es ethisch geboten sein kann, aus Pflicht zu handeln . Analog dazu stellt sich mit Blick auf die "juridische" Gesetzgebung die Frage, warum man befugt ist, andere zu rechtlichem Handeln zu zwingen. Handelt es sich um eine moralische oder eine spezifisch rechtliche Befugnis? Es zeigt sich, daß Kant zwei unvereinbare Auffassung miteinander verbindet: Aus seiner "offiziellen" Auffassung, wonach das Recht ein Teil der Moral ist, würde folgen, daß die Zwangsbefugnis im Recht moralisch gerechtfertigt werden kann. Tatsächlich ist eine solche Rechtfertigung aber nicht möglich, die "offizielle" Auffassung also unzureichend. Kant greift in der MdS aber auch mehrfach auf eine "alternative" Auffassung zurück, der zufolge das Recht als eine eigenständige Form autonomer Gesetzgebung neben der Moral steht . Dieser alternativen Auffassung zufolge, die der "offiziellen" insgesamt überlegen ist, würde die "Rechtslehre" also gar nicht in die Metaphysik der Sitten gehören. (shrink)

Business Ethics, the Environment & Responsibility, EarlyView.

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

In der "Transzendentalen Ästhetik" der KrV will Kant zeigen, daß Raum und Zeit Anschauungsformen und daher keine Eigenschaften der Dinge an sich sind. Es scheint jedoch, als übersehe er dabei die Möglichkeit, daß Raum und Zeit Anschauungsformen und zugleich Eigenschaften der Dinge an sich sein könnten. Dagegen soll hier gezeigt werden, daß Kants Beweis durchaus schlüssig ist. Dabei kommt es zunächst darauf an, die genaue Struktur des Kantischen Beweises zu verstehen. Darauf folgt eine Diskussion der Kantischen Begriffe Anschauung sowie Form (...) der Anschauung und reine Anschauung, in der sich unter anderem herausstellt, daß Kants Anschauungsbegriff im Sinne der aktuellen Philosophie des Geistes "externalistisch" konzipiert ist. Dies erlaubt es dann, den Schluß auf die Idealität von Raum und Zeit tatsächlich als Folgerung aus Kants vorhergehenden Ausführungen zu verstehen. Abschließend geht es um einige der Konsequenzen, die sich aus dieser Interpretation für das Verständnis des transzendentalen Idealismus ergeben. (shrink)

The formal sciences, particularly mathematics, have had a profound influence on the development of linguistics. This insightful overview looks at techniques that were introduced in the fields of mathematics, logic and philosophy during the twentieth century, and explores their effect on the work of various linguists. In particular, it discusses the 'foundations crisis' that destabilised mathematics at the start of the twentieth century, the numerous related movements which sought to respond to this crisis, and how they influenced the development of (...) syntactic theory in the 1950s. The book concludes by discussing the resulting major consequences for syntactic theory, and provides a detailed reassessment of Chomsky's early work at the advent of Generative Grammar. Informative and revealing, this book will be invaluable to all those working in formal linguistics, in particular those interested in its history and development. (shrink)

This paper offers a partial defence of the Epicurean claim that death is not bad for the one who dies. Unlike Epicurus and his present-day advocates, this defence relies not on a hedonistic or empiricist conception of value but on the concept of ‘existential’ value. Existential value is agent-relative value for which it is constitutive that it can be truly self-ascribed in the first person and present tense. From this definition, it follows that death (post-mortem non-existence), while perhaps bad in (...) some respects, cannot be an existential harm for the one who dies. This paper argues that existential goods are central to any explanation of why life appears good to us from a self-interested perspective, which means that death is not bad in the very respect in which life is most saliently good (from that perspective). A corresponding error theory shows why this truth is easily overlooked and explains why we tend to think that death is significantly worse than it really is. (shrink)

Praktische Vernunft, Handlungstheorien und Moralvorstellungen. Ein Interessantes Werk zum Thema Handeln udn Denken.

Deep brain stimulation is an invasive technique designed to stimulate certain deep brain regions for therapeutic purposes and is currently used mainly in patients with neurodegenerative disorders, such as Parkinson’s disease. However, DBS is also used increasingly for other experimental applications, such as the treatment of psychiatric disorders, weight reduction. Apart from its therapeutic potential, DBS can cause severe adverse effects, some that might also have a significant impact on the patient’s personality and autonomy by the external stimulation of DBS (...) which effects lie beyond the individual’s control and free will. The article’s purpose is to outline the procedures of DBS currently used in therapeutic and experimental applications and to discuss the ethical concerns regarding this procedure. It will address the clinical benefit-risk-ratio, the particular ethics of research in this field, and the ethical issues raised by affecting a patient’s or an individual’s personality and autonomous behaviour. Moreover, a potential ethical guideline, the Ulysses contract is discussed for the field of clinical application as well as the question of responsibility. (shrink)

of type theory has been used successfully to formalize large parts of constructive mathematics, such as the theory of generalized recursive definitions [NPS90, ML79]. Moreover, it is also employed extensively as a framework for the development of high-level programming languages, in virtue of its combination of expressive strength and desirable proof-theoretic properties [NPS90, Str91]. In addition to simple types A, B, . . . and their terms x : A b(x) : B, the theory also has dependent types x : (...) A B(x), which are regarded as indexed families of types. There are simple type forming operations A × B and A → B, as well as operations on dependent types, including in particular the sum x:A B(x) and product x:A B(x) types (see the appendix for details). The Curry-Howard interpretation of the operations A × B and A → B is as propositional conjunction and.. (shrink)

Eli Hirsch recently suggested the metaontological doctrine of so-called "quantifier variance", according to which ontological disputes—e.g. concerning the question whether arbitrary, possibly scattered, mereological fusions exist, in the sense that these are recognised as objects proper in our ontology—can be defused as insubstantial. His proposal is that the meaning of the quanti er `there exists' varies in such debates: according to one opponent in this dispute, some existential statement claiming the existence of, e.g., a scattered object is true, according to (...) the other it is not. This paper argues that Hirsch's proposal leads into inconsistency. (shrink)

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...) ideals. (shrink)

Medical practitioners of all specialisms are identified by their professional titles. Their function is determined by their regulators, and subject to voluntary employment contracts....

Paraconsistent and dialetheist approaches to a theory of truth are faced with a problem: the expressive resources of the logic do not suffice to express that a sentence is just true—i.e., true and not also false—or to express that a sentence is consistent. In his recent book, Spandrels of Truth, Jc Beall proposes a ‘just true’-operator to identify sentences that are true and not also false. Beall suggests seven principles that a ‘just true’-operator must fulfill, and proves that his operator (...) indeed fulfills all of them. He concludes that just true has been expressed in the language. I argue that, while the seven conditions may be necessary for an operator to express just true, they are not jointly sufficient. Specifically, first, I prove that a further plausible desideratum for necessary conditions on ‘just true’ is not fulfilled by Beall's proposal, namely that ‘just true’ ascriptions should themselves be just true, and not also false (or equivalently, that the ‘just true’-operator iterates). Second, I show that Beall's operator does not adequately express just true, but that it merely captures an arbitrary proper subset of the just true sentences. Further, there is no prospect of extending the proposal in order to encompass a more reasonable subset of the just true sentences without presupposing that we have antecedent means to characterize the class of just true sentences. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

This paper investigates feasible ways of destroying artworks, assuming they are abstract objects, or works of a particular art-form, where the works of at least this art-form are assumed to be abstracta. If artworks are eternal, mind-independent abstracta, and hence discovered, rather than created, then they cannot be destroyed, but merely forgotten. For more moderate conceptions of artworks as abstract objects, however, there might be logical space for artwork destruction. Artworks as abstracta have been likened to impure sets (i.e., sets (...) of concrete things, as opposed to pure sets, i.e., sets of nothing but other sets) that have a beginning in time, namely when their members come into being, and an end in time, namely when their members cease to exist. Alternatively, artworks as abstracta have been thought of as types that are created with their first token. Artwork destruction is harder on this account: merely destroying every token might not yet destroy the type. To what extent such similes can be spelt out and made plausible as an ontology of artworks, and what options there are on the different accounts for artwork destruction, is explored in this paper. (shrink)

As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

This paper investigates the claim that the second-order consequence relation is intractable because of the incompleteness result for SOL. The opponents’ claim is that SOL cannot be proper logic since it does not have a complete deductive system. I argue that the lack of a completeness theorem, despite being an interesting result, cannot be held against the status of SOL as a proper logic.

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms (...) f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky’s univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.

Hegelian philosophical treatise beginning with analysis of Reversal Theory and restructuring into Resurrexit Theory, a structured phenomenology centred around Spirit (first three articles: Hegelian Analysis of Reversal Theory, Structural Reformation of Reversal Theory, & Resurrexit Theory - The Dualist Expansion of Structural Phenomenology). This is followed by a theory of mind and consciousness based in complex universality (Dialectic Mind). Naturally, this leads into how particularity can best align with universality, to thereby generate Good. Such a discussion begs the question of (...) virtues and sins. Sins are defined in materialistic terms, while virtues are given definition as aspects and moments of Reason through skill interactions and pathology, which is to say the experiences in emotions that instigate self-understanding and inform purpose (Structural Virtues Theory - The Dozen Skills in Reason). The series of articles then dives into evolutionary concepts of personality development and evidenced-based psychological theories. Spirit is identified with personality, and then personality is associated with mind module evolution and mate selection, especially within religious organisation (Spiritual Material - Evolutionary Theory of Spiritual Mate Selection and Personality Development). Finally, the author's dissertation is used to suggest an alteration of attachment theory for the greater contribution of fathers in the role of early socialisation (First Other Theory - The Paternity of Civilisation - Evolutionary Roots of Attachment and the Paternal Role in Formation of Civilisation). (shrink)

This book represents emerging alternative perspectives to the "constructivist" orthodoxy that currently dominates the field of science and technology studies. Various contributions from distinguished Americans and Europeans in the field, provide arguments and evidence that it is not enough simply to say that science is "socially situated." Controversial Science focuses on important political, ethical, and broadly normative considerations that have yet to be given their due, but which point to a more realistic and critical perspective on science policy.

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late 19th century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis received much attention in the 19th century. They helped to instigate what Hans Hahn called a ‘crisis of intuition’, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this ‘crisis’ as follows : " Mathematicians had for (...) a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof … "Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called ‘logicization’, ‘when the discipline requires nothing but purely logical fundamental concepts and propositions for its development’. On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals …. (shrink)

The paper begins with a description of a grey seal performing conspecific infanticide. The paper then gives an account of “nobleness” and “brutishness.” Roughly, a behavioural-disposition is noble/brutish if it is one that would be a moral virtue/vice if the possessor of the behavioural-disposition were a moral agent. The paper then advances two pairs of axiological claims. The first pair of claims is that nobleness is good and that brutishness is bad. The second pair of claims is about an axiological (...) interaction between nobleness/brutishness and well-being. That any non-human animal lacks well-being is bad. Yet, it is worse that a noble non-human animal lacks well-being, and not so bad that a brutish non-human animal lacks well-being. Lastly, the paper discusses some potential moral implications of these axiological claims, for instance that factory farming is especially wrong because it causes noble non-human animals to lack well-being. (shrink)

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...) framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

The result of two key social developments in recent years are examined here: the partial dismantling of the welfare state and the progress of genetics. Genetic insights are increasingly valuable for risk assessment, and insurers would like to use these insights to help determine premiums. Combined with the fact that social welfare is being curtailed, this could potentially create an uninsured high-risk population. Along with considerations of autonomy and privacy, this is the basis for an ethical critique of insurer's access (...) to information. The result has often been regulation of such information; but the authors argues that due to adverse selection, regulation will not solve these problems, and this may jeopardize the survival of private personal insurance. Instead, we should look towards the resurrection of social insurance, a key component of the welfare state. This will interest academic researchers as well as professionals involved with genetics and insurance. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.