An ontology's theory of ontic predication has implications for the concomitant predicate logic. Remarkable in its analytic power for both ontology and logic is the here developed Particularized Predicate Logic (PPL), the logic inherent in the realist version of the doctrine of unit or individuated predicates. PPL, as axiomatized and proven consistent below, is a three-sorted impredicative intensional logic with identity, having variables ranging over individuals x, intensions R, and instances of intensions $R_{i}$ . The power of PPL is illustrated (...) by its clarification of the self-referential nature of impredicative definitions and its distinguishing between legitimate and illegitimate forms. With a wellmotivated refinement on the axiom of comprehension, PPL is, in effect, a higher-order logic without a forced stratification of predicates into types or the use of other ad hoc restrictions. The Russell-Priest characterization of the classic self-referential paradoxes is used to show how PPL diagnosis and solves these antimonies. A direct application of PPL is made to Grelling's Paradox. Also shown is how PPL can distinguish between identity and indiscernibility. (shrink)

The distinction between singular and multiple artworks is usually drawn modally in terms of the notion of an ‘instance’ of a work. Singular works, it is claimed, can only have a single instance, whereas multiple works allow of more than one instance. But this is enlightening only if we have a clear idea of what is meant by an ‘instance’. I argue that there are two different notions of a work's ‘instances’ in play in the literature (...) – what I term its ‘provenential instances’ (‘P-instances’) and its ‘purely epistemic instances’ (E-instances). I further argue that these notions are conflated in the literature critical of Gregory Currie's ‘instance multiplicity hypothesis’ (IMH) – the claim that all artworks are multiple in nature. I defend a modified version of the IMH as a claim about a work's E-instances against a range of criticisms. (shrink)

Central to Elements is an assay of the attributional union properties and relations have with their subjects, a topic historically left metaphorical. The work critiques eight Aristotelian assumptions concerning attribute dependence and ‘inherence’, per se subjects, attributes as agent-organizers, and unity-by-a-shared-one. Groups of these assumptions are seen to yield contradiction, vicious regress, or other problems. This analysis, joined with insights from an assay of ubiquitous structure, motivate ten theses explicating attribution and its primary ontic status. The theses detail: attributes proper (...) as individuated instances, structure as instance-generated facts and their two forms of composition, the conditioning role and universal nature of instances’ component intensions, the primacy of attribute instances for generating all forms of composition and complex entities, and identity and indiscernibility criteria for the latter. Principal is the insight that attribution is intension-determined combinatorial agency. It is its systematizing implications that provide solutions to classic problems, e.g., Composition, Individuation, and Universals, and in net generate a comprehensive one-category structuralist ontology. (shrink)

This is a study of a crucial and controversial topic in metaphysics and the philosophy of science: the status of the laws of nature. D. M. Armstrong works out clearly and in comprehensive detail a largely original view that laws are relations between properties or universals. The theory is continuous with the views on universals and more generally with the scientific realism that Professor Armstrong has advanced in earlier publications. He begins here by mounting an attack on the orthodox and (...) sceptical view deriving from Hume that laws assert no more than a regularity of coincidence between instances of properties. In doing so he presents what may become the definitive statement of the case against this position. Professor Armstrong then goes on to establish his own theory in a systematic manner defending it against the most likely objections, and extending both it and the related theory of universals to cover functional and statistical laws. This treatment of the subject is refreshingly concise and vivid: it will both stimulate vigorous professional debate and make an excellent student text. (shrink)

We present an improved method for clustering in the presence of very limited supervisory information, given as pairwise instance constraints. By allowing instance-level constraints to have spacelevel inductive implications, we are able to successfully incorporate constraints for a wide range of data set types. Our method greatly improves on the previously studied constrained -means algorithm, generally requiring less than half as many constraints to achieve a given accuracy on a range of real-world data, while also being more robust (...) when over-constrained. We additionally discuss an active learning algorithm which increases the value of constraints even further. (shrink)

Philosophers often call emotions appropriate or inappropriate. What is meant by such talk? In one sense, explicated in this paper, to call an emotion appropriate is to say that the emotion is fitting: it accurately presents its object as having certain evaluative features. For instance, envy might be thought appropriate when one's rival has something good which one lacks. But someone might grant that a circumstance has these features, yet deny that envy is appropriate, on the grounds that it (...) is wrong to be envious. These two senses of `appropriate' have much less in common than philosophers have supposed. Indeed, the distinction between propriety and correctness is crucial to understanding the distinctive role of the emotions in ethics. We argue here that an emotion can be fitting despite being wrong to feel, and that various philosophical arguments are guilty of a systematic error which we term the moralistic fallacy. (shrink)

It is now some years since Professor D. Daiches Raphael published his interesting book, The Paradox of Tragedy , which represented one of the first serious attempts made by a British philosopher to assess the significance of tragic drama for ethical, and indeed metaphysical theory. Since then we have had a variety of books touching on related topics: for instance, Dr George Steiner's Death of Tragedy and Mr Raymond Williams’ most recent, elusive and interesting essay, Modern Tragedy. To entitle (...) an essay Theology and Tragedy might be thought to invite needless trouble for oneself; to indulge to a dangerous degree the human intellectual obsession of supposing that ‘the meaning of a word is an object’. After all, if one confines one's regard to the Greeks, one has to recognise that between the treatments of their common theme of Electra , Sophocles and Euripides are in fact doing very different things. There is no gainsaying the significance for Euripides of the postponement of the murder of Clytemnestra till after that of Aegisthus, still less of his introduction into the play of the morally upright peasant, who has had the banished Electra in his keeping, and whose simple integrity contrasts both with the corruption of the court and the obsessive preoccupation with a dreadful, supposed duty of brother and sister. The element of propaganda is unmistakable; while in Sophocles’ Electra it is altogether absent, although Dr Victor Ehrenberg in his very interesting monograph on Sophocles and Pericles has argued strongly for an element of subtle political commentary in the treatment of Oedipus in the Oedipus Tyrannus , and of Pocreon in the Antigone. These remarks may serve to show that the title does not express a blind indifference to the multiple complexity of those works which we class together as tragedies. They are inherently complex, and various in emphasis; at best we can discern a family resemblance between them, and, in an essay like this, the author runs the risk not only of selecting examples tailor-made to his thesis, but also of imposing an appearance of similarity of conception where it is at least equally important to stress differences. (shrink)

Mellor's subject is singular causation between facts, expressed 'E because C'. His central requirement for causation is that the chance that E if C be greater than the chance that E if $\sim \text{C}\colon \ ch_{\text{C}}>ch_{\sim \text{C}}$. The book is as much about chance as it is about causation. I show that his way of distinguishing ch C from the traditional notion of conditional chance leaves him with a problem about the existence of ch Q when Q is false ; (...) and also that any notion of chance which conforms to the standard calculus has wider application than the causal instances to which Mellor's notion is restricted. Other topics discussed may be gleaned from the headings below. (shrink)

In The Quantum Self, Danah Zohar argues that the insights of modem physics can illuminate our understanding of everyday life -- our relationships to ourselves, to others, and to the world at large. Guiding us through the strange and fascinating workings of the subatomic realm to create a new model of human consciousness, the author addresses enduring philosophical questions. Does the new physics provide a basis by which our consciousness might continue beyond death? How does the material world (for (...) class='Hi'>instance, ugly inner cities) impinge upon our sense of self? Is there a subatomic wellspring from which our creativity, our empathy with others, and our feelings of unity with the inanimate world originate?Most important, Zohar shows how the vitality of the new physics combats the alienation and fragmentation of twentieth-century life, and replaces it with a model of reality in which the universe itself may possess a type of consciousness, of which human consciousness is one expression. (shrink)

Philosophers often call emotions appropriate or inappropriate. What is meant by such talk? In one sense, explicated in this paper, to call an emotion appropriate is to say that the emotion is fitting: it accurately presents its object as having certain evaluative features. For instance, envy might be thought appropriate when one’s rival has something good which one lacks. But someone might grant that a circumstance has these features, yet deny that envy is appropriate, on the grounds that it (...) is wrong to be envious. These two senses of ‘appropriate’ have much less in common than philosophers have supposed. Indeed, the distinction between propriety and correctness is crucial to understanding the distinctive role of the emotions in ethics. We argue here that an emotion can be fitting despite being wrong to feel, and that various philosophical arguments are guilty of a systematic error which we term the moralistic fallacy. (shrink)

Many medical ethicists accept the thesis that there is no moral difference between withholding and withdrawing life-sustaining therapy. In this paper, we offer an interesting counterexample which shows that this thesis is not always true. Withholding is distinguished from withdrawing by the simple fact that therapy must have already been initiated in order to speak coherently about withdrawal. Provided that there is a genuine need and that therapy is biomedically effective, the historical fact that therapy has been initiated entails a (...) claim to continue therapy that cannot be attributed to patients who have not yet received therapy. This intrinsic difference between withholding and withdrawing therapy is of moral importance. In many instances, patients will waive this claim. But when one considers withdrawing therapy from one patient to help another in a setting of scarce resources, this intrinsic moral difference comes into sharp focus. In an era of shrinking medical resources, this difference cannot be ignored. (shrink)

It is often thought that instances of the T-schema such as snow is white is true if and only if snow is white state correspondences between sentences andthe world, and that therefore such sentences play a crucial role in correspondence theories oftruth. I argue that this assumption trivializes the correspondence theory: even a disquotationaltheory of truth would be a correspondence theory on this conception. This discussionallows one to get clearer about what a correspondence theory does claim, and toward the end (...) of thepaper I discuss what a true correspondence theory of truth would involve. (shrink)

Instances of negative causation—preventions, omissions, and the like—have long created philosophical worries. In this paper, I argue that concerns about negative causation can be addressed in the context of causal explanation generally, and mechanistic explanation specifically. The gravest concern about negative causation is that it exacerbates the problem of causal promiscuity—that is, the problem that arises when a particular account of causation identifies too many causes for a particular effect. In the explanatory context, the problem of promiscuity can be solved (...) by characterizing the phenomenon to be explained as a contrast between two or more events or non-events. This contrastive strategy also can solve other problems that negative causation presents for the leading accounts of mechanistic explanation. Along the way, I argue that to be effective, accounts of causal explanation must incorporate negative causation. I also develop a taxonomy of negative causation and incorporate each variety of negative causation into the leading accounts of mechanistic explanation. (shrink)

In this paper it is argued that studies involving subjects who attempt to verbally predict the outcome of experiments concerning unexpected and surprising psychological processes do not constitute a critical test of simulation theories. The failure of ‘observer‐subjects’ to predict the outcome of such experiments does not demonstrate that their anticipatory abilities are ‘cognitively penetrable’ and thus based upon theory, as Nichols, Stich, Leslie and Klein (1996) maintain. This is because such studies are based upon the doubtful assumption that our (...) ability to verbally predict another’s behaviour is a reliable measure of our ability to anticipate it. It is suggested that studies involving nonverbal measures of our anticipatory capacities would constitute a more decisive test of simulation theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:109 HUME'S MISSING SHADE OF BLUE, INTERPRETED AS INVOLVING HABITUAL SPECTRA David Hume claimed that his hypothetical case of the unseen shade of blue posed no fundamental problem to his general empiricist principle. But I believe it well may show exactly what he denied it showed — viz., that his empiricism rests on a mistake. Hume says: Suppose... a person to have enjoyed his sight for thirty years, and (...) to have become perfectly well acquainted with colours of all kinds, excepting one particular shade of blue, for instance, which it never has been his fortune to meet with. Let all the different shades of that colour, except that single one, be plac'd before him, descending gradually from the deepest to the lightest; 'tis plain, that he will perceive a blank, where that shade is wanting, and will be sensible, that there is a greater distance in that place betwixt the contiguous colours, than in any other. Now I ask, whether 'tis possible for him, from his own imagination, to supply this deficiency, and raise up to himself the idea of that particular shade, tho' it had never been conveyed to him by his senses? I believe there are few but will be of opinion that he can.... Sometimes one is surprised by the colour which emerges when one mixes paints, powders or lights of different hues, in the sense that one is unable to imagine this resulting colour until one actually sees it. I often have analogous experiences when sightreading music on the trombone. If there is a large, unfamiliar interval between the note I am playing and the one to be played next, so I cannot 'hear' the next note inwardly, I bring the slide to the correct position, set my lips at approximately the right tension, and presto! the correct note appears, despite 110 my inability to predict what it was going to sound like. Only after I have heard it can I also 'hear' it, i.e, predict its occurrence in this melodic line. Cases like these are not puzzling philosophically, because in them, the note, colour, etc. arises primarily from the equipment used — e.g., paints, powders or lights, the trombone and tension of the lips, and so on — rather than from the mind of the person who uses these things. But in Hume's example, no extra-mental objects or events play a direct role in creating the imagined colour. In fact, this colour never appears at all outside the subject's mind, and he never sees it. Therefore here the imagined colour is produced entirely by the subject himself, without his having copied it from anything in the external world. Yet this contradicts the maxim Hume laid down at the beginning of the Treatise that all simple ideas arise from correspondingly simple (sense) impressions. Two points perhaps mitigate the seriousness of the problem set by the missing shade of blue. First, Hume saw clearly, as Locke did not, that "innate" does 2 not mean the same as "justified." He was not so much concerned with the question of where ideas come from, as with how these ideas can be shown to be legitimate. His answer to the latter question is that experience alone is competent to show this. Second, strictly speaking, no idea is itself a piece of knowledge, but only something with the help of which one constructs knowledge-claims; and it is necessary for a person to justify knowledge-claims which are composed of innate ideas, by checking them against experience, just as much as knowledge-claims composed of non-innate materials. For example, suppose I possess innately the idea (visual image) of blue and the idea (tactile image) of cool. To say that these ideas are innate means that they are merely triggered or activated in my Ill mind by experiences I happen to have, but are not created by these experiences, and are not necessarily copies of them. Nevertheless, in order for me to know something which involves these ideas, I first must put them together in a judgment, and then confirm that judgment by appeal to experience. For instance, I might use these ideas to make the judgment... (shrink)

Powers and Faden argue that social justice ‘is concerned with securing and maintaining the social conditions necessary for a sufficient level of well-being in all of its essential dimensions for everyone’ (2006: 50). Moreover, social justice is concerned with the ‘achievement of well-being, not the freedom or capability to achieve well-being’ (p. 40). Although Powers and Faden note that an agent alone cannot achieve well-being without the necessary social conditions of life (e.g. equal civil liberties and basic material resources, such (...) as food and shelter), it seems that achievement requires that an agent actually pursue the six dimensions of well-being. In this article, I question the extent to which an individual has an obligation to achieve well-being, even if he or she would choose to do otherwise. For example, can an agent choose to forgo being healthy even if all the social conditions are met in her life, thereby choosing to not achieve well-being? It remains unclear how the dimension of self-determination coheres with the remaining five dimensions of well-being and the extent of society’s obligations toward an individual’s achievement of well-being, even in those instances when society’s actions may go against an individual’s right to self-determination. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which (...) they have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

What is it for a particular to have a property? many proposed analyses of this situation may be called relational accounts. The particular has some relation, R, To some entity p. R may be the relation of falling under, Being a member of, Resembling or "participating." p may be a predicate, A concept, A class, A paradigm instance or a form. A number of arguments seek to prove that all these accounts are involved in various vicious infinite regresses. These (...) arguments are classified, Their resemblances and differences noted, And their soundness assessed. (edited). (shrink)

This volume explores the reasons for Hans Kelsen’s lack of influence in the United States and proposes ways in which Kelsen’s approach to law, philosophy, and political, democratic, and international relations theory could be relevant to current debates within the U.S. academy in those areas. Along the way, the volume examines Kelsen’s relationship and often hidden influences on other members of the mid-century Central European émigré community whose work helped shape twentieth-century social science in the United States. The book includes (...) major contributions to the history of ideas and to the sociology of the professions in the U.S. academy in the twentieth century. Each section of the volume explores a different aspect of the puzzle of the neglect of Kelsen’s work in various disciplinary and national settings. Part I provides reconstructions of Kelsen’s legal theory and defends that theory against negative assessments in Anglo-American jurisprudence. Part II focuses both on Kelsen’s theoretical views on international law and his practical involvement in the post-war development of international criminal law. Part III addresses Kelsen’s theories of democracy and justice while placing him in dialogue with other major twentieth-century thinkers, including two fellow émigré scholars, Leo Strauss and Albert Ehrenzweig. Part IV explores Kelsen’s intellectual legacies through European and American perspectives on the interaction of Kelsen’s theoretical approach to law and national legal traditions in the United States and Germany. Each contribution features a particular applications of Kelsen’s approach to doctrinal and interpretive issues currently of interest in the legal academy. The volume concludes with two chapters on the nature of Kelsen’s legal theory as an instance of modernism. (shrink)

Several recent papers which purport to substantiate or negate arguments in favor of certain theories of absolute space have been based on fallacious principles. In this paper we discuss three related instances, indicating where misconceptions have arisen. We establish, contrary to popular belief, that the classical Lorentz ether theory accounts for all the experimental evidence which supports the special theory of relativity. We demonstrate that the ether theory predicts the null results obtained from pulsar timing and Mössbauer experiments. We conclude (...) that a measurement of the one-way velocity of light has physical meaning within the context of the Lorentz theory, and argue that an adequately designed experiment to measure the one-way velocity of light should be attempted. (shrink)

We show that, if a suitable intuitionistic metatheory proves that consistency implies satisfiability for subfinite sets of propositional formulas relative either to standard structures or to Kripke models, then that metatheory also proves every negative instance of every classical propositional tautology. Since reasonable intuitionistic set theories such as HAS or IZF do not demonstrate all such negative instances, these theories cannot prove completeness for intuitionistic propositional logic in the present sense.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:76 AN UNNOTICED ERROR IN HUME'S TREATISE "...the conformity between love and hatred in the agreeableness of their sensation makes them always be excited by the same objects..." Treatise, Book II, Part II, Sec. X. This passage from Hume's A Treatise of Human Nature is taken from the first edition of 1739. It can also be found in the Everyman Edition, the editions of Selby-Bigge Mossner, and Green and (...) Grosse, without editorial comment of any kind. Yet it contains a glaring and obvious error. The most superficial reading of Book II will convince one that it is love and pride that conform in the agreeableness of their sensation they are both indirect passions that aire pleasant in feeling. On the other hand, humility and hatred share in being disagree able or unpleasant impressions. This might have been a printer's error, or Hume's own mistake, and the reason for it is not hard to find. This part of Book II was called "Of love and hatred" ; the expression "love and hatred" recurs several times throughout the whole. In ei»ther the writing of the manuscript or the type setting of the text, a habit was established. Habit, which Hume himself used to explain so much else, must here be cited as the explanation of this slip. What is more interesting is the reason why such an obvious error has gone so long unnoticed. Here an ambiguity in Hume's use of the word "object" should be noticed. It is sometimes used simply as a synonym for "thing" and this is the usage in "excited by the same objects". Hume is merely saying that love and pride have the same sorts of cause. When this cause is found in oneself it leads to pride and when in another it leads to love. This of course is connected with the fact that both these passions are aggreeable or pleasant in sensation. 77 "Object" also has a special technical use in Book II when it refers to the person towards whom the passion is directed, as in "the object of the passion". Now love and hatred do have a similar sort of object, i.e. another person, whereas the object of pride and humility is, according to Hume, always oneself. In this usage, the object of a passion is carefully distinguished by Hume from its cause. It is possible that a careless and superficial reading of this passage might lead one to think that Hume meant to say that love and hatred agree in having the same sort of object, i.e. another person. Such inattention is to be deplored, but after all, until very recently, such inattention was typical of the attitude of philosophers towards Book II 2 as a whole. D. W. D. Owen University of Stirling 1.See for instance the previous paragraph; "I have suppos'd all along, that the passions of love and pride, and those of humility and hatred are similar in their sensations, and that the two former are always agreeable, and the two latter painful." 2.Thanks are due to Mr. Roland Hall for checking the first edition on my behalf.... (shrink)

SummaryEarly geological investigations in the St David's area (Pembrokeshire) are described, particularly the work of Murchison. In a reconnaissance survey in 1835, he regarded a ridge of rocks at St David's as intrusive in unfossiliferous Cambrian; and the early Survey mapping (chiefly the work of Aveline and Ramsay) was conducted on that assumption, leading to the publication of maps in 1845 and 1857. The latter represented the margins of the St David's ridge as ‘Altered Cambrian’. So the supposedly intrusive ‘syenite’ (...) was regarded as younger, and there was no Precambrian. These views were challenged by a local doctor, Henry Hicks, who developed an idea of the ex-Survey palaeontologist John Salter that the rocks of the ridge were stratified and had formed a Precambrian island, round which Cambrian sediments (now confirmed by fossil discoveries) had been deposited. Hicks subsequently proposed subdivision of his Precambrian into ‘Dimetian’, ‘Pebidian’, and (later) ‘Arvonian’, and he attempted correlations with rocks in Shropshire, North Wales, and even North America, seeking to develop the neo-Neptunist ideas of Sterry Hunt. The challenge to the Survey's work was countered in the 1880s by the Director General, Geikie, who showed that Hicks's idea of stratification in the Dimetian was mistaken. A heated controversy developed, several amateur geologists, supported by a group of Cambridge Sedgwickians, forming a coalition of ‘Archaeans’ against the Survey. Geikie was supported by Lloyd Morgan. Attention focused particularly on Ogof Lle-sugn Cave and St Non's Arch, with theory/controversy-ladenness of observations evident on both sides. Evidence from an eyewitness student record of a Geological Society meeting reveals the ‘sanit`ized’ nature of the official summary of the debate in QJGS. Field mapping early in the twentieth century by J. F. N. Green allowed a compromise consensus to be achieved, but Green's evidence for unconformity between the Cambrian and the Dimetian, obtained by excavation, can no longer be verified, and his consensual history of the area may need revision. Unconformity between the Cambrian and the Pebidian tuffs is not in doubt, however, and Precambrian at St David's is accepted. The study exhibits features of geological controversy and the British geological community in the nineteenth century. It also furnishes a further instance of the great influence of Murchison in nineteenth-century British geology and the side-effects of his controversy with Sedgwick. (shrink)

In a recent article [Mertz 2001] in this journal I argued for the virtues of a realist ontology of relation instances (unit attributes). A major strength of this ontology is an assay of ontic ('material') predication that yields an account of individuation without the necessity of positing and defending 'bare particulars'. The crucial insight is that it is the unifying agency or combinatorial aspect of a relation instance as predicable that is for ontology the principium individuationis [Mertz 2002; 1996]. (...) Or in short, what is ontically predicable, precisely as such, is the cause of individuation. As a preface to this positive doctrine I offered arguments against the coherence of bare particulars as defended in an article by J. P. Moreland [1998]. In a reply contained in this issue Moreland and Timothy Pickavance (hereafter M/P) propose to answer my objections [2002]. The response that follows provides reasons why, I contend, M/P have not succeeded in parrying my objections to bare particulars. (shrink)

Medical ethicists debate whether or not the moral assessment of cases of euthanasia should depend on whether the patient is 'killed' or 'allowed to die'. The usual presupposition is that a clear distinction between killing and letting die can be drawn so that this substantive question is not begged. I contend that the categorisation of cases of instances of killing rather than as instances of letting die depends in part on a prior moral assessment of the case. Hence is it (...) trivially rather than substantively true that the distinction has moral significance. But even if a morally neutral (ie non-question begging) distinction could be drawn, its application to the euthanasia controversy is problematic. I illustrate the difficulties of employing this distinction to reach moral conclusions by critically discussing Philippa Foot's recent treatment of euthanasia. I conclude that even if an act of euthanasia is an instance of killing, and there exists a prima facie moral duty not to kill, and no more stringent duty overrides this duty, one still cannot determine such an act to be morally impermissible. (shrink)

The Viewpoint article expressed the feelings of unease often encountered at the display of human corpses in museums, whether relating to prehistoric or recent times. The reasons frequently stem from what is seen as a lack of respect for the remains of another human being. In this instance, the underlying concerns are that the corpses are displayed naked, along with lack of consent from anyone with an interest in them. While these are legitimate queries, ethical interests extend further afield (...) to include whether the corpses are identifiable, are prehistoric or recent, and the existence of living descendants. Additional interests include the uses to which corpses are put, namely, research, teaching and/or public displays.In recent years, it has become commonplace to hear of human remains that had been held for many years by universities or museums being repatriated to indigenous people groups in America, Australia and New Zealand for subsequent reburial.1 ,2 However, the debate regarding the ethical uses to which dead bodies may be put has taken a surprising turn in recent years with the extremely popular, highly publicised, public displays of dissected and plastinated whole body cadavers.3Over the years, most people have had few misgivings looking at the remains of prehistoric individuals, or Egyptian mummies.i Attitudes towards viewing mummies have been shaped by the perception that prehistoric remains are located outside our immediate social relationships, and so, have often been considered as anatomical objects rather than the remains of people-now-dead. In other words, their anonymity appears to protect both the corpses …. (shrink)

The paper replies to an earlier paper by Yannis Stephanou, who presented an argument purportedly showing the falsity of certain instances of the characteristic axiom of the modal logic B. The paper argues that the B axiom was not to blame for the unsoundness of Stephanou's argument.

Skepticism about moral responsibility, or what is more commonly referred to as moral responsibility skepticism, refers to a family of views that all take seriously the possibility that human beings are never morally responsible for their actions in a particular but pervasive sense. This sense is typically set apart by the notion of basic desert and is defined in terms of the control in action needed for an agent to be truly deserving of blame and praise. Some moral responsibility skeptics (...) wholly reject this notion of moral responsibility because they believe it to be incoherent or impossible. Others maintain that, though possible, our best philosophical and scientific theories about the world provide strong and compelling reasons for adopting skepticism about moral responsibility. What all varieties of moral responsibility skepticism share, however, is the belief that the justification needed to ground basic desert moral responsibility and the practices associated with it—such as backward-looking praise and blame, punishment and reward (including retributive punishment), and the reactive attitudes of resentment and indignation—is not met. Versions of moral responsibility skepticism have historically been defended by Spinoza, Voltaire, Diderot, d’Holbach, Priestley, Schopenhauer, Nietzsche, Clarence Darrow, B.F. Skinner, and Paul Edwards, and more recently by Galen Strawson, Derk Pereboom, Bruce Waller, Neil Levy, Tamler Sommers, and Gregg D. Caruso. -/- Critics of these views tend to focus both on the arguments for skepticism about moral responsibility and on the implications of such views. They worry that adopting such a view would have dire consequences for our interpersonal relationships, society, morality, meaning, and the law. They fear, for instance, that relinquishing belief in moral responsibility would undermine morality, leave us unable to adequately deal with criminal behavior, increase anti-social conduct, and destroy meaning in life. Optimistic skeptics, however, respond by arguing that life without free will and basic desert moral responsibility would not be as destructive as many people believe. These optimistic skeptics argue that prospects of finding meaning in life or of sustaining good interpersonal relationships, for instance, would not be threatened. They further maintain that morality and moral judgments would remain intact. And although retributivism and severe punishment, such as the death penalty, would be ruled out, they argue that the imposition of sanctions could serve purposes other than the punishment of the guilty—e.g., it can also be justified by its role in incapacitating, rehabilitating, and deterring offenders. (shrink)

In 1957, Gödel proved that completeness for intuitionistic predicate logic HPL implies forms of Markov's Principle, MP. The result first appeared, with Kreisel's refinements and elaborations, in Kreisel. Featuring large in the Gödel-Kreisel proofs are applications of the axiom of dependent choice, DC. Also in play is a form of Herbrand's Theorem, one allowing a reduction of HPL derivations for negated prenex formulae to derivations of negations of conjunctions of suitable instances. First, we here show how to deduce Gödel's results (...) by alternative means, ones arguably more elementary than those of Kreisel. We avoid DC and Herbrand's Theorem by marshalling simple facts about negative translations and Markov's Rule. Second, the theorems of Gödel and Kreisel are commonly interpreted as demonstrating the unprovability of completeness for HPL, if means of proof are confined within strictly intuitionistic metamathematics. In the closing section, we assay some doubts about such interpretations. (shrink)

Some months ago, when giving a paper about Sir Francis Bacon's philosophy, I mentioned that, according to him, Nature was a woman; true knowledge treats her like his legitimate wife, while false knowledge deals with her as if she were a barren prostitute. In the same paper, I also mentioned that according again to Bacon, there are three kinds of intellectual attitudes, or three kinds of philosophers, namely the pure rationalists, who are like spiders, the empiricists who are like ants, (...) for they gather materials but do not work on them, and a third category—good philosophers who are like bees, for they gather and work on the material gathered. Now, during the discussion a gentleman strongly objected to Bacon's use of ants as a metaphor. He explained that there are many different species of ants, and some of them do not merely gather, some have gardens for instance, where they grow mushrooms. The gentleman concluded that philosophers do not know what they are talking about when they use metaphors. This is true enough, but I felt sorry indeed that nobody observed that it is not true that a woman is either a wife or a prostitute; nobody asked whether ‘nature as her’ implied that the scientist is, as a matter of course, male; nobody said that the simple fact of using ‘woman’ as a metaphor is questionable in itself. So, when speaking of feminism in contemporary French philosophy, one has to keep in mind that, on the Parisian stage, the honour, dignity, diversity and reality of insects are better defended than the honour, dignity, diversity and reality of women. (shrink)

Color provides an instance of a general puzzle about how to reconcile the picture of the world given to us by our ordinary experience with the picture of the world given to us by our best theoretical accounts. The Red and the Real offers a new approach to such longstanding philosophical puzzles about what colors are and how they fit into nature. It is responsive to a broad range of constraints --- both the ordinary constraints of color experience and (...) the more theoretical constraints of color science, psychology, semantics, and ontology. (shrink)