Brain death is accepted in most countries as death. The rationales to explain why brain death is death are surprisingly problematic. The standard rationale that in brain death there has been loss of integrative unity of the organism has been shown to be false, and a better rationale has not been clearly articulated. Recent expert defences of the brain death concept are examined in this paper, and are suggested to be inadequate. I argue that, ironically, these defences demonstrate the lack (...) of a defensible rationale for why brain death should be accepted as death itself. If brain death is death, a conceptual rationale for brain death being equivalent to death should be clarified, and this should be done urgently. (shrink)
Many believe that the ethical problems of donation after cardiocirculatory death (DCD) have been "worked out" and that it is unclear why DCD should be resisted. In this paper we will argue that DCD donors may not yet be dead, and therefore that organ donation during DCD may violate the dead donor rule. We first present a description of the process of DCD and the standard ethical rationale for the practice. We then present our concerns with DCD, including the following: (...) irreversibility of absent circulation has not occurred and the many attempts to claim it has have all failed; conflicts of interest at all steps in the DCD process, including the decision to withdraw life support before DCD, are simply unavoidable; potentially harmful premortem interventions to preserve organ utility are not justifiable, even with the help of the principle of double effect; claims that DCD conforms with the intent of the law and current accepted medical standards are misleading and inaccurate; and consensus statements by respected medical groups do not change these arguments due to their low quality including being plagued by conflict of interest. Moreover, some arguments in favor of DCD, while likely true, are "straw-man arguments," such as the great benefit of organ donation. The truth is that honesty and trustworthiness require that we face these problems instead of avoiding them. We believe that DCD is not ethically allowable because it abandons the dead donor rule, has unavoidable conflicts of interests, and implements premortem interventions which can hasten death. These important points have not been, but need to be fully disclosed to the public and incorporated into fully informed consent. These are tall orders, and require open public debate. Until this debate occurs, we call for a moratorium on the practice of DCD. (shrink)
: Medical research is widely thought to have a fundamentally therapeutic orientation, in spite of the fact that clinical research is thought to be ethically distinct from medical care. We need an entirely new conception of clinical research ethics—one that looks to science instead of the doctor-patient relationship.
The contemporary system of prospective oversight of human subjects research has been criticized as inefficient and ineffective. Plausible approaches to research oversight range from no prospective review, to review-and-comment, to the current review-and-approve regime. Articulating this spectrum offers an opportunity to consider systematically the strengths and disadvantages of each.
: The "therapeutic misconception," described by Paul Appelbaum and colleagues more than 20 years ago, refers to the tendency of participants in clinical trials to confuse the design and conduct of research with personalized medical care. Although the "therapeutic misconception" has become a term of art in research ethics, little systematic attention has been devoted to the ethical significance of this phenomenon. This article examines critically the way in which Appelbaum and colleagues formulate what is at stake in the therapeutic (...) misconception, paying particular attention to assumptions and implications that clinical trial participation disadvantages research participants as compared with receiving standard medical care. After clarifying the ethical significance of the therapeutic misconception with respect to the decision making of patients, we offer policy recommendations for obtaining informed consent to participation in clinical trials. (shrink)
: Originally presented during Ethic Rounds at the Dana-Farber Cancer Institute, this commentary on the case of a patient treated for life-threatening cancer explores the responsibilities of health care providers when addressing the patient's desire to adopt a child.
The International Conference on Harmonization of Technical Requirements for Registration of Pharmaceuticals for Human Use (ICH) was formed over 20 years ago with a goal of harmonizing research regulations among the European Union, United States, and Japan. Harmonization was intended to speed approval of pharmaceuticals, avoid unnecessary repetition of studies, and ensure protection of research participants. This paper examines United States, European Union, and ICH pediatric research regulations in five domains: parental permission, assent/dissent, payment, risk/benefit and inclusion of disabled children/wards (...) of state. The purpose is to examine similarities and differences among the regulations to help investigators, policy makers and the public to understand what each regulatory framework can learn from the others. Additionally, the paper suggests philosophical differences in how these entities view pediatric research which may serve as barriers to harmonization in the future. (shrink)
Abstract In this paper we examine the role of the Israeli kibbutz experience as an agent of informal education in cross?cultural settings, acting as a transformative agent of ethnic identity. The study presents, through comparative longitudinal analysis, the changes in Jewish identity and values of young North American Jews between their arrival in Israel and the conclusion of the kibbutz programme, as well as after they have returned to their home country. The analysis utilises data gathered from 238 Oren Kibbutz (...) Institute alumni who participated in the programme between 1990?94 in six kibbutzim. The transformative role of the Israeli kibbutz experience contributes independently and cumulatively to the formative role of home background, Jewish schooling and previous visits to Israel. (shrink)
: Responding to the paper by Miller and Joffe, we review the development of the concept of therapeutic misconception (TM). Our concerns about TM's impact on informed consent do not derive from the belief that research subjects have poorer outcomes than persons receiving ordinary clinical care. Rather, we believe that subjects with TM cannot give an adequate informed consent to research participation, which harms their dignitary interests and their abilities to make meaningful decisions. Ironically, Miller and Joffe's approach (...) ends up largely embracing the very position that they inaccurately attribute to us: the belief that, with some exceptions, it is only the prospect of poorer outcomes that should motivate efforts to dispel TM. In the absence of empirical studies on the steps required to dispel TM and the impact of such procedures on subject recruitment, it is premature to surrender to the belief that TM must be widely tolerated in clinical research. (shrink)
In this paper I argue that al Ash'ari was a Theological Determinist whose position on free will and human responsibility was marred by his failure to distinguish between two senses of the word 'can' (yastati'u ). I also compare al Ash'ari's position with that of the Mu'tazilite thinker al Qadi 'Abd al Jabbar. I conclude that their positions may not have been so much opposed to each other as merely different. This, I suggest, should invite us to re evaluate the (...) nature and extent of the disagreement between the Ash'arites and the Mu'tazilites on the free will question. (shrink)
This article analyses the debate concerning divine attributes in medieval Islamic theology (kalam), more specifically in Mu‘tazilite and in Ash‘arite theology. It further compares their approach with that of medieval Jewish philosopher Moses Maimonides (d. 1204). In particular it studies the identification of the divine attributes with God’s essence in Mu‘tazilite theology, which flourished in the first half of the 9th century. It discusses the Ash‘arite response that followed, and which consisted in considering God’s attributes as real entities separate from (...) God’s essence. Maimonides, conversant with the tradition of kalam, proposes a solution that does not involve the predication of any attributes that would undermine his oneness. KEY WORDS – Mu‘tazilites. Ash‘arites. Kalam. Maimonides. Divine attributes. Predication. Medieval philosophy. Islamic theology. (shrink)
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...) Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)
Functions of type n are characteristic functions on n-ary relations. Keenan [5] established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, i.e., functions of type n that cannot be represented as compositions of unary functions. Keenan proposed some tests for reducibility, and Dekker [3] improved on these by proposing an invariance condition that characterizes the functions with a reducible counterpart with the same behaviour on product relations. The present paper (...) generalizes the notion of reducibility (a quantifier is reducible if it can be represented as a composition of quantifiers of lesser, but not necessarily unary, types), proposes a direct criterion for reducibility, and establishes a diamond theorem and a normal form theorem for reduction. These results are then used to show that every positive n function has a unique representation as a composition of positive irreducible functions, and to give an algorithm for finding this representation. With these formal tools it can be established that natural language has examples of n-ary quantificational expressions that cannot be reduced to any composition of quantifiers of lesser degree. (shrink)
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is introduced and no other connective is mentioned. [2] provides a constructive coherence criterion for the non-triviality of such systems and shows that a system of this kind admits cut-elimination iff it is coherent. The semantics of such systems is provided using two-valued non-deterministic matrices (2Nmatrices). [23] extends these results (...) to systems with unary quantifiers of a very restricted form. In this paper we substantially extend the characterization of canonical systems to (n, k)-ary quantifiers, which bind k distinct variables and connect n formulas, and show that the coherence criterion remains constructive for such systems. Then we focus on the case of k ∈ {0, 1} and show that the following statements concerning a canonical calculus G are equivalent: (i) G is coherent, (ii) G has a strongly characteristic 2Nmatrix, and (iii) G admits strong cut-elimination. We also show that coherence is not a necessary condition for standard cut-elimination, and then characterize a subclass of canonical systems for which this property does hold. (shrink)
This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible world (...) semantics, correspondence theory, and modality and quantification. (shrink)
Motivated by Lord Joffe’s Assisted Dying for the Terminally Ill Bill, but with one eye on any possible future legislation, I consider the justifications that might be offered for limiting assistance in dying to those who are suffering unbearably from terminal illness. I argue that the terminal illness criterion and the unbearable suffering criterion are not morally defensible separately: that a person need be neither terminally ill (or ill at all), nor suffering unbearably (or suffering at all) to have (...) a right to assisted dying. Indeed: I shall suggest that the unbearable suffering criterion undermines the Bill (or any proposal like it) wholesale. On the other hand, the criteria taken together are defensible, and this defence would be built on a concern for the protection of the vulnerable. However, I also claim that this implies that the law might justifiably—and maybe even properly—aim to prevent a person from gaining access to that to which they have a serious moral right. This seems paradoxical, and, towards the end of the paper, I seek to tease apart the paradox. (shrink)
The aim of this paper is (i) to defend Frege's view that the referents of predicates are certain kinds of functions, or "concepts", i.e. incomplete entities, and not their extensions (i.e. sets of objects described by those predicates); and (ii) to justify, by a natural augmentation of Frege's semantic theory with modal ingredients, Frege's position that the sameness between concepts, or property-sharing, turns only on the sameness of extensions. Several problems with the doctrine that a predicate's extension is its referent (...) are presented, including the regress argument and an argument from the modern philosophy of language related to natural kind terms. In this connection, it is also pointed out that all referential expressions are in a sense rigid. (shrink)
It is shown that the coherence of de re belief ascriptions is doubtful in view of certain plausible principles. Subsequently, it is argued, the standard argument against substitutivity in de dicto ascriptions loses some of its power. Also, some possible reactions to these results are considered.
According Leibniz's thesis of universal expression, each substance expresses the whole world, i.e. all other substances, or, as Leibniz frequently states, from any given complete individual notion (which includes, in internal terms, everything truly attributable to a substance) one can "deduce" or "infer" all truths about the whole world. On the other hand, in Leibniz's view each (created) substance is internally individuated, self-sufficient and independent of other (created) substances. What may be called Leibniz's expression problem is, how to reconcile these (...) views with each other, that is, how a substance that expresses the whole world, even in the sense that the whole world can be "inferred" from its complete individual notion, can be self-sufficient and internally individuated. The purpose of this paper is to give an exact account of this tricky problem of universal expression, an account that retains substances' self-sufficiency under the constraint that all truths about the whole world are to be obtained from complete individual notions. It will also be shown how the explication of universal expression to be given accounts for Leibniz's thesis of universal change, i.e. the view that any change in any substance is reflected as a real, internal change in each and every other substance. (shrink)
Michael Dummett has advanced, very influentially, the view that Frege means truth conditions by his notion of thought (Gedanke). My aim in this paper is to argue that Dummett and others are mistaken in this claim. First, Frege's aversion of the correspondence theory of truth does not square well with Dummett's claim. Secondly, and more importantly, Grundgesetze I, §32, is the only place where Frege even appears to be talking about truth conditions in connection with his notion of thought -- (...) and even there, I shall show, he does not really identify thoughts with truth conditions, but states only the triviality that a statement such as, say, 'Leibniz is a philosopher' expresses the thought that Leibniz is a philosopher. (shrink)
Since its introduction in 1987, Benjamin Freedman’s principle of clinical equipoise has enjoyed widespread uptake in bioethics discourse. Recent years, however, have witnessed a growing consensus that the principle is fundamentally flawed. One of the most vocal critics has undoubtedly been Franklin Miller. In a 2008 paper, Steven Joffe and Miller build on this critical work, offering a new conception of clinical research ethics based on science, taking what they call a “scientific orientation” toward the ethics of clinical research. (...) Though there is much to recommend Joffe and Miller’s scientifically oriented conception of clinical research ethics, I believe that both the critical and constructive projects suffer from the same basic mistake: inattention to context. The internal norms of science cannot be fully specified, let alone satisfied, independently of contextual (external) factors that only come into view when we are attentive to the particular context of that form of inquiry. (shrink)
A certain argument has been given in the literature to the effect that generalism (the view that all facts about all possible worlds can (in principle) be given in general terms, that is, without resorting to nonqualitative thisnesses) excludes transworld identitism (the view that there are numerical identities through possible worlds). It follows from this argument, among other things, that transworld identitism entails Scotistic haecceitism (acceptance of nonqualitative thisnesses), and that generalists subscribing to de reism (the view that there are (...) true modal statements de re) are committed to counterpartism (the view that sameness through worlds is not numerical identity). The purpose of this paper is to resist the argument in question by constructing generalist transworld identitism, that is, by providing an account involving identities through possible worlds, without resorting to nonqualitative thisnesses. (shrink)
According to the New Theory of Reference, proper names (and indexicals) and natural kind terms are semantically similar to each other but crucially different from definite descriptions and “ordinary” predicates, respectively. New Theorists say that a name, unlike a definite description, is a directly referential nondescriptional rigid designator, which refers “without a mediation of the content” and is not functional (i.e. lacks a Carnapian intension). Natural kind terms, such as ‘horse’ and ‘water’, are held to have similar distinctions, in contrast (...) to other predicates. However, the New Theory contains some problems related to reference, descriptionality, content and meaning. In view of these problems, it will be argued that the distinctive shared feature of proper names and natural kind terms, while technically corresponding to nonfunctionality, is to be explicated in terms of independence of possible worlds, rather than in terms of reference and content: natural kind terms are world-independent predicates, making “worldless” predications. Just as, say, ‘Elvis’ names Elvis even with respect to “Elvisless” worlds, or, rather, names Elvis independently of worlds, natural kind terms are in an important sense “worldless” as well: to talk about Elvis is to talk about him irrespective of moments of time and possible worlds, and is to talk about a human, also irrespective of moments and worlds, while it is not to talk about, say, a drug-addict irrespective of moments, nor about a singer irrespective of worlds. There is no genuinely timeless and worldless predication of the sort “Elvis is (was) bald”, but there is, it seems, such a predication “Elvis is (was) human”. This notion of independence of times and worlds is detached from those of descriptionality and content mediation. (shrink)
The project method became a famous teaching method when William Heard Kilpatrick published his article ‘Project Method’ in 1918. The key idea in Kilpatrick's project method is to try to explain how pupils learn things when they work in projects toward different common objects. The same idea of pupils learning by work or action in an environment with objects also belongs to John Dewey's problem-solving method. Are Kilpatrick's project method and Dewey's problem-solving method the same thing? The aim of this (...) article is to analyze and prove that Kilpatrick's project method differs radically from Dewey's problem-solving method. (shrink)
Both international and federal regulations exist to ensure that scientists perform research on human subjects in an environment free of coercion and in which the benefits of the research are commensurate with the risks involved. Ensuring that these conditions hold is difficult, and perhaps even more so when protocols include the issue of monetary compensation of research subjects. The morality of paying human research subjects has been hotly debated for over 40 years, and the grounds for this debate have ranged (...) from discussion of legal rights, economic rights, philosophical principles of vulnerability and altruism to bioethical concepts of consent, best-interest determination, and justice theory. However, the thought surrounding these issues has evolved over time, and the way we think about the role of the human research subject today is markedly different than the way we thought in the past. Society first thought of the research subject as an altruist, necessarily giving of his time to benefit society as a whole. As time progressed, many suggested that the subject should not need to sacrifice himself for research: if something goes wrong, someone should compensate the subject for injuries. The concept of redress evolved into a system in which subjects were offered money as an inducement to participate in research, sometimes merely to offset the monetary costs of participation, but sometimes even to mitigate the risks of the study. This article examines ethical and legal conversations regarding compensation from the 1960s through today, examining theories of the ethics of compensation both comparatively and critically. In conclusion, we put forward an ethical framework for treating paid research subjects, with an attempt to use this framework as a means of resolving some of the more difficult problems with paying human subjects in research. (shrink)
This article examines two medieval sermons that examine philosophic and halakhic issues: the Passover sermon of Hasdai Crescas, which discusses the laws of Passover, and a sermon of Zerahia Halevi Saladin, a disciple of Crescas, which probes an aspect of the laws of vows ( nedarim ). In the analysis of Zerahia's sermon, a comparison is made between his discussion and Thomas Aquinas's examination of vows in his Summa Theologica . The comparison establishes the dependency of Zerahia on Aquinas regarding (...) this issue. Likewise, Zerahia's sermon is compared with Crescas's, and the relationship between the legal theories of Crescas and Zerahia is investigated. The articles concludes with a brief examination of the significance of the analysis these sermons for understanding of the impact of scholastic sources on Spanish-Jewish philosophy and the relationship between law and philosophy in the writings of Hasdai Crescas and his students. (shrink)
Bringing together philosophical, political, and psychoanalytical perspectives, in analysing both the concept and the phenomenon of evil, the contributors to ...
Leibniz, it seems, wishes to reduce statements involving relations or extrinsic denominations to ones solely in terms of individual accidents or, respectively, intrinsic denominations. His reasons for this appear to be that relations are merely mental things (since they cannot be individual accidents) and that extrinsic denominations do not represent substances as they are on their own. Three interpretations of Leibniz''s reductionism may be distinguished: First, he allowed only monadic predicates in reducing statements (hard reductionism); second, he allowed also `implicitly (...) relational predicates'' such as `loves somebody'' (soft reductionism); third, he allowed also `explicitly relational predicates'' such as `loves Helen'' (nonreductionism). Hard reductionism is problematic with respect to Leibniz''s doctrines of universal expression and incompossibility (among other things). Nonreductionism, in turn, faces insurmountable problems with Leibniz''s doctrine of self-sufficiency and internal identification of substances, as well as with that of individual accidents. The remaining option, soft reductionism, standing between the other two interpretations, arguably avoids at least some of their problems. (shrink)
I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)
Emily Largent, Steven Joffe, and Franklin Miller offer a stimulating contribution to the literature on integrating medical research and practice. We agree on both the need to move toward what the Institute of Medicine has called a learning health care system and the need for new conceptions for integrating research and practice within it. We also agree with the authors’ view, first advanced by Robert Truog and colleagues in 1999, that it can be ethically acceptable to randomize patients without (...) express consent in trials comparing widely used, approved interventions that pose no additional risk. With appropriate oversight, learning health care systems ought to conduct such trials on a regular basis. Our .. (shrink)
It is commonly held, plausibly, that many true beliefs are true only contingently, that is, are actually true (or true with respect to the actual world) but would be false were the world in some relevant ways otherwise (i.e. are false with respect to some other possible worlds). However, a radically different approach, according to which no belief is contingently true, is entirely defensible. The key point in this alternative approach is that each belief concerns the world in which the (...) believer is (or would be) situated, which makes it the case that, say, the actual belief that Kofi Annan is not bald is different from the belief, in any other world, that Kofi Annan is not bald. This difference is further backed up by considerations related to disagreement between believers, and to knowledge. The most important objection to this alternative approach is that it cannot be right since it makes all true beliefs necessarily true. It will be shown, as a reply to this objection, that under this alternative approach it can still be said truly, for instance, that Annan is not bald but could have been so. (shrink)
Human beings have engaged in animal husbandry and have slaughtered animals for food for thousands of years. During the majority of that time most societies had no animal welfare regulations that governed the care or slaughter of animals. Judaism is a notable exception in that from its earliest days it has included such rules. Among the Jewish dietary laws is a prohibition to consume meat from an animal that dies in any manner other than through the rigorously defined method of (...) slaughter known as shechita. In recent decades more and more attempts have been initiated by governments around the world to either outright ban or to control and modify the practice of shechita. This paper presents the requisite background about shechita and then analyzes the ethics of some of the recent legislation. The analysis includes a rebuttal of the assertion that shechita is an inhumane method of slaughter. It further presents the consequences on the Jewish community of legislation to impose pre-slaughter stunning and explains why such legislation is unethical. The actual effect of labeling laws is discussed and it is shown why such laws are also un-ethical. (shrink)
It is shown that typical arguments from intensionality against the Principle of Indiscernibility of Identicals (InI) misconstrue this principle, confusing it with the Principle of Substitution (PS). It has been proposed that Leibniz, in his statements like, "If A is the same as B, then A can be substituted for B, salva veritate, in any proposition", is not applying InI to objects nor PS to signs, but is talking about substitution of concepts in propositions, or applying InI to concepts. It (...) is shown in the paper that since Leibniz holds that there are exceptions to the principle thus stated, either the proposal in question is misguided, or else Leibniz is mistaken in thinking that there are such exceptions. (shrink)
According to the standard view, alethic (or modal) statements are intensional in that the Principle of Substitution (PS) fails for them -- e.g. substituting 'nine' in "Necessarily, nine is composite" with the co-referring 'the number of planets' turns this statement from true to false. It is argued in the paper that we could avoid ascribing intensionality to alethic statements altogether by separating between singular and functional uses of definite descriptions: on the singular use the description given above amounts to 'the (...) actual number of planets', which is salva veritate substitutable to 'nine' in all alethic statements; on the functional use, in turn, that description is really a function from possible worlds to numbers, and thus the Principle of Substitution is not violated in this case either, since such a function cannot be held to be co-referential with 'nine'. (shrink)
I show how a de se belief ascription such as "Privatus believes that he himself is rich" may be dealt with by means of a scope distinction over and above that one separating de dicto and de re ascriptions. The idea is, roughly, that 'Privatus...himself' forms in this statement a unity, a single "spread" sign that is at the same time in a de re and de dicto position. If so, H-N. Castañeda's contention that the "quasi-indicator" 'he himself' ('she herself', (...) 'it itself') belongs to a "unique, irreducible logical category" of singular terms is, at best, misleading. Further, my account is superior to the well-known theories of R. Chisholm and D. Lewis, according to which de se ascriptions state that the believer "directly attributes properties to himself or herself". 1. Introduction 2. Chisholm and Lewis on de se belief ascriptions 3. Fregean and Sellarsian theories of belief ascriptions 4. Geach on the reflexive pronoun 5. Admiring and self-admiring 6. A solution to the problem de se belief ascriptions 7. Belief de se 8. Conclusion. (shrink)
Modern software is infested with flaws having information security aspects. Pervasive computing has made us and our society vulnerable. However, software developers do not fully comprehend what is at stake when faulty software is produced and flaws causing security vulnerabilites are discovered. To address this problem, the main actors involved with software vulnerability processes and the relevant roles inside these groups are identified. This categorisation is illustrated through a fictional case study, which is scrutinised in the light of ethical codes (...) of professional software engineers and common principles of responsibility attribution. The focus of our analysis is on the acute handling of discovered vulnerabilities in software, including reporting, correcting and disclosing these vulnerabilities. We recognise a need for guidelines and mechanisms to facilitate further improvement in resolving processes leading to and in handling software vulnerabilities. In the spirit of disclosive ethics we call for further studies of the complex issues involved. (shrink)
The paper discusses Leibniz's theory of denominations, expression, and individual notions, the central claim being that the key to many of Leibniz's fundamental theses is to consider his argument, starting from his predicate-in-subject account of truth (that in a true statement the notion of the predicate is contained in that of the subject), against purely extrinsic denominations: this argument shows why there is an internal foundation for all denominations, why everything in the world is interconnected, why each substance expresses all (...) the others, and why every change in the world is reflected as a real, internal change in every substance. (shrink)
I would like to thank all of the respondents to my article both for their expansions on the theme of health worker migration and for their criticisms of my argument against the use of the term ’poaching’ in the context of international health worker migration. In this response, I will clarify my argument in light of the worries raised primarily by Tache and Schillinger and Ari Zivotofsky and Naomi Zivotofsky.
This paper aims to give a substantive account of how Feynman used diagrams in the first lectures in which he explained his new approach to quantum electrodynamics. By critically examining unpublished lecture notes, Feynman’s use and interpretation of both "Feynman diagrams" and other visual representations will be illuminated. This paper discusses how the morphology of Feynman’s early diagrams were determined by both highly contextual issues, which molded his images to local needs and particular physical characterizations, and an overarching common diagrammatic (...) style, which facilitated Feynman’s movement between different diagrams despite their divergent forms and significance. (shrink)
Deborah Mayo's view of science is that learning occurs by severely testing specific hypotheses. Mayo expounded this thesis in her (1996) Error and the Growth of Experimental Knowledge (EGEK). This volume consists of a series of exchanges between Mayo and distinguished philosophers representing competing views of the philosophy of science. The tone of the exchanges is lively, edifying and enjoyable. Mayo's error-statistical philosophy of science is critiqued in the light of positions which place more emphasis on large-scale theories. The result (...) clarifies Mayo's account and highlights her contribution to the philosophy of science -- in particular, her contribution to the philosophy of those sciences that rely heavily on statistical analysis. The second half of the volume considers the application (or extension) of an error-statistical philosophy of science to theory testing in economics, causal modelling and legal epistemology. The volume also includes a contribution to the frequentist philosophy of statistics written by Mayo in collaboration with Sir David Cox. (shrink)