With few exceptions, the literature on withdrawing and withholding life-saving treatment considers the bare fact of withdrawing or withholding to lack any ethical significance. If anything, the professional guidelines on this matter are even more uniform. However, while no small degree of progress has been made toward persuading healthcare professionals to withhold treatments that are unlikely to provide significant benefit, it is clear that a certain level of ambivalence remains with regard to withdrawing treatment. Given that the absence of clinical (...) benefit means treating patients is not only ethically questionable but also taxing on resources that could meet the needs of others, this ambivalence is troubling. Equally, the enduring ambivalence of professionals might be taken to indicate that the issue warrants further attention. In this paper, we review the academic literature on the ethical equivalence of withdrawing and withholding medical treatment. While we are not in outright disagreement with the arguments presented, we suggest that asserting theoretical and decontextualized claims about the ethical equivalence of withdrawing and withholding life-saving treatment does not fully illuminate the moral questions associated with the relevant clinical realities. We argue that what is required is a broader perspective, one rooted in an understanding that withdrawing and withholding life-saving treatment are different practices, the meanings of which are fully comprehensible only through an appreciation of their place within the practice of healthcare more generally. Such an account suggests that if one is to engage with the inappropriate protraction of life-saving treatment resulting from healthcare professionals’ disinclination to withdraw it, then the differences between these practices should be taken seriously. (shrink)

Journal of Applied Philosophy, EarlyView.

According to a widespread but implicit thesis in Bayesian confirmation theory, two confirmation measures are considered equivalent if they are ordinally equivalent—call this the “ordinal equivalence thesis”. I argue that adopting OET has significant costs. First, adopting OET renders one incapable of determining whether a piece of evidence substantially favors one hypothesis over another. Second, OET must be rejected if merely ordinal conclusions are to be drawn from the expected value of a confirmation measure. Furthermore, several arguments (...) and applications of confirmation measures given in the literature already rely on a rejection of OET. I also contrast OET with stronger equivalence theses and show that they do not have the same costs as OET. On the other hand, adopting a thesis stronger than OET has costs of its own, since a rejection of OET ostensibly implies that people’s epistemic states have a very fine-grained quantitative structure. However, I suggest that the normative upshot of the paper in fact has a conditional form, and that other Bayesian norms can also fruitfully be construed as having a similar conditional form. (shrink)

Patients who are imminently dying sometimes experience symptoms refractory to traditional palliative interventions, and in rare cases, continuous sedation is offered. Samuel H. LiPuma, in a recent article in this Journal, argues that continuous sedation until death is equivalent to physician-assisted suicide/euthanasia based on a higher brain neocortical definition of death. We contest his position that continuous sedation involves killing and offer four objections to the equivalency thesis. First, sedation practices are proportional in a way that physician-assisted suicide/euthanasia is (...) not. Second, continuous sedation may not entirely abolish consciousness. Third, LiPuma’s particular version of higher brain neocortical death relies on an implausibly weak construal of irreversibility—a position that is especially problematic in the case of continuous sedation. Finally, we explain why continuous sedation until death is not functionally equivalent to neocortical death and, hence, physician-assisted suicide/euthanasia. Concluding remarks review the differences between these two end-of-life practices. (shrink)

This paper deals with Austinian ifs of every stripe within classical logic. It is argued that they are truth-functional and the theory of conditional elements is used. Ellipsis is key. Corrects an error in Fulda (2010) in translation and therefore scope. -/- The PDF is made available gratis by the Publisher.

Frege claims that sentences of the form ‘A’ are equivalent to sentences of the form ‘it is true that A’ (The Equivalence Thesis). Frege also says that there are fictional names that fail to refer, and that sentences featuring fictional names fail to refer as a result. The thoughts such sentences express, Frege says, are also fictional, and neither true nor false. Michael Dummett argues that these claims are inconsistent. But his argument requires clarification, since there are two (...) ways The Equivalence Thesis has been formulated, according as the thesis equates the senses or the referents of the relevant sentences. -/- I have two aims in this paper. The first is to demonstrate that a sameness of sense thesis is inconsistent with Frege’s other theses. The second is to argue that a sameness of reference thesis is consistent with them. Thus, all else being equal, Frege ought to endorse a sameness of reference, rather than a sameness of sense thesis. (shrink)

In this essay I argue that even though egalitarianism and prioritarianism are different theories of social welfare, they can use the same social welfare measures. I present six different arguments for this thesis. The first argument is that conceptual connections between egalitarianism and prioritarianism ensure that any measure that works for either theory works for both. The second argument is that conditions necessary and sufficient to identify egalitarian and prioritarian measures, respectively, are equivalent. The third argument is that both (...) egalitarianism and prioritarianism can use two standard measures, typically proposed for only one theory. The fourth to sixth arguments contend that four properties that have been proposed as distinctive of either egalitarian or prioritarian measures cannot distinguish between them. I conclude that any egalitarian measure is also a prioritarian measure, and vice versa. (shrink)

The paper comments on David Rosenthal’s claim that saying “p” is performance-conditionally equivalent to saying “I believe that p”. It is argued, by way of counterexamples, that the proposed performance-conditional equivalence does not hold in this generality. The paper further proposes that avowal expressivism gives necessary conditions for the performance-conditional equivalence: it holds only if the speaker’s utterance of “p” is a non-explicit expressive act expressive of the belief that p and the utterance of “I believe that p” (...) is an explicit expressive act expressive of the very same belief. If that is correct, the performance-conditional equivalence thesis provides an argument against Rosenthal’s preferred avowal descriptivism and in favor of avowal expressivism. (shrink)

Enkrasia and the Fixed Point Thesis are equivalent.

Resumo Neste artigo, vamos considerar o recente debate na metafísica da evolução, no que diz respeito tanto à persistência como à “mudança” em espécies biológicas, segundo a tese que considera a espécie como o agregado de indivíduos. Centrar-nos-emos na proposta de Thomas Reydon, que argumenta que em biologia, o termo “espécie” refere-se a duas entidades biológicas, por si denominadas evolverons e phylons, que desempenham vários papéis epistemológicos em pelo menos duas disciplinas diferentes, nomeadamente na biologia sistemática e na biologia evolutiva. (...) Em particular, analisamos criticamente a alegação de Reydon, que estas duas entidades biológicas geraram um problema para a tese que sustém a equivalência entre duas teorias de persistência, desenvolvidas pela metafísica analítica contemporânea: o tri–Dimensionalismo e tetra–Dimensionalismo. Neste artigo, pretende-se restaurar a tese da equivalência metafísica, recorrendo a uma tripla estratégia: promover a ideia de que os evolverons e os “phylons” são duas dimensões de uma mesma realidade; recorrer a uma noção menos problemática noção de endurantismo e, por último, destacar alguns problemas que surgem dos exemplos biológicos empregues por Reydon para basear o desenvolvimento dos seus argumentos. Palavras-chave : conceito de espécie, endurantismo, equivalência metafísica entre 3D e 4D, espécies biológicas sincrónicas e diacrónicas, persistênciaIn this paper we revise a recent debate on the metaphysics of evolution pertaining to both the persistence and change of biological species, and the species-as-individuals thesis. We focus on Thomas Reydon’s proposal that, in biology, the term “species” refers to two different biological entities, which he calls evolverons and phylons, and plays different epistemological roles in at least two different disciplines in which it is used, namely, evolutionary and systematic biology. In particular, we critically revise Reydon’s claim that these two biological entities raise a problem for the thesis of the equivalence between the two theories of persistence developed in contemporary analytic metaphysics: three–dimensionalism and four–dimensionalism. In this paper, we aim to reinstate the thesis of metaphysical equivalence by a threefold strategy: motivation of the idea that evolverons and phylons are two dimensions of the same entity, shifting to a less problematic notion of endurance, and an exploration of doubts about the particular biological examples upon which Reydon bases his arguments. Keywords : 3D / 4D metaphysical equivalence, endurantism, persistence, species concept, synchronic and diachronic biological species. (shrink)

Church's Thesis states the equivalence of computable functions and recursive functions. This can be interpreted as a definition, as an explanation, as an axiom, and as a proposition of mechanistic philosophy. A number of arguments and objections, including a pair of counterexamples based on Gödel's Incompleteness Theorem, allow to conclude that Church's Thesis can be reasonably taken both as a definition and as an axiom, somewhat less convincingly as an explanation, but hardly as a mechanistic proposition.

Although exceptionally successful in the laboratory, the standard version of quantum theory is marred as a realist-objectivist proposition because of its internal conceptual difficulties and its tension with important parts of physics—most conspicuously, relativity theory. So, to meet these challenges, in recent years at least three distinct major objectivist programs have been advanced to further quantum theory into a proper general account of material systems. Unfortunately, the resulting proposals turn out to be, for all practical purposes, empirically equivalent both among (...) themselves and against the standard version. This paper analyzes the basic issues involved in the case. It is argued that (a) the global anti-realist conclusion derived from it are fallacious, and (b) the encountered underdetermination shows how contingent upon the state of empirical knowledge talk about the “limits of science” actually is. (shrink)

The underdetermination of theory by evidence must be distinguished from holism. The latter is a doctrine about the testing of scientific hypotheses; the former is a thesis about empirically adequate logically incompatible global theories or "systems of the world". The distinction is crucial for an adequate assessment of the underdetermination thesis. The paper shows how some treatments of underdetermination are vitiated by failure to observe this distinction, and identifies some necessary conditions for the existence of multiple empirically equivalent (...) global theories. We consider how empiricists should respond to the possibility of such systems of the world. (shrink)

There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.

Much of the literature directed at the Extended Mind Thesis has revolved around parity issues, focussing on the problem of how to individuate the functional roles and on the relevance of these roles for the production of human intelligent behaviour. Proponents of EMT have famously claimed that we shouldn’t take the location of a process as a reliable indicator of the mechanisms that support our cognitive behaviour. This functionalist understanding of cognition has however been challenged by opponents of EMT (...) [such as Rupert ; Adams & Aizawa ], who have claimed that differences between internal, biological processes and putatively extended ones not only exist but are actually crucial to undermine the idea that inner and outer are functionally equivalent. This debate about how to individuate the functional roles has led to a treacherous stand-off, in which proponents of EMT have been trapped under the persistent accusation of causal/constitution conflation. My strategy for responding to this charge is to look precisely at those functional differences highlighted by critics of EMT. I reckon that extended cognitive systems are endowed with quite different properties from systems that are “brain bound” and argue that it is precisely these differences that allow human minds to transcend their biological limitations. I thus defend a complementarity version of the extended mind, according to which externally located resources and internal biological elements make a different but complementary contribution to bringing about intelligent behaviour [Sutton ]. My defence of complementarity is based on both the phylogeny and the ontogeny of cognitive systems. I initially explore the interrelation between brain and cognitive development from a neuroconstructivist perspective [Quartz & Sejnowski ; Mareshal et al. ] and then argue that our brains do not have fixed functional architectures but are sculpted and given form by the activities we repeatedly engage in. As a result of repeated engagements in socio-cultural tasks, relevant brain pathways undergo substantial rewiring. Development thus scaffolds our brains, which become geared into working in symbiotic partnership with external resources. [Kiverstein & Farina ]. On these grounds, I call into question any tendency to interpret the human biological nature as fixed and endogenously pre-determined and side with proponents of DST [Oyama ; Griffiths & Gray ] and ontogenetic niche construction [Stotz ] in arguing that we should think of natural selection as operating on whole developmental systems composed of living organisms in culturally enriched niches. [Wheeler & Clark]. Complementarity defences of EMT argue that many of the kinds of cognition humans excel at can only be accomplished by brains working together with a body that directly manipulates and acts on the world [Rowlands ; Menary ]. I take Sensory Substitution Devices as my empirical case study. SSDs exploit the remarkable plasticity of our brains and with training supply a novel perceptual modality that compensates for loss or impaired sensory channel. I argue that the coupling with these devices triggers a new mode of phenomenal access to the world, something I propose to label as a kind of “artificial synaesthesia [Ward & Meijer ].This new mode of access to the world transforms our cognitive skills and gives rise to augmented processes of deep bio-technological symbiosis. SSDs therefore become mind enhancing tools [Clark ] and a perfect case study for Complementarity. Having shown the relevance of SSDs for EMT, I then take up the possibility that these devices don’t just relocate the boundaries of cognition but may also stretch the bounds of perceptual awareness. I explore the possibility that perceivers using SSDs count as extended cognitive systems and therefore argue that the experiences they enjoy should be counted as extended conscious experiences.[Kiverstein & Farina, ]. SSDs are quite often said to involve some form of incorporation.[Clark ]. Rupert has challenged this idea and its relevance for EMT on the grounds of his embedded approach. Particularly, he has explained tool-use in terms of the causal interaction between the subject and its detached tool. In the final chapter of my dissertation I critically look at his objections and argue that all his arguments fail to apply to SSDs. In SSD perception in fact the tool becomes geared to work in symbiotic partnership with the active subject and then get factored into its’ body schema so that both of them come to form a single system of cognitive analysis. (shrink)

For many years I have maintained that I learned to philosophize by translating Francisco Suárez’s Metaphysical Disputation V from Latin into English. This surely is a claim that must sound extraordinary to the members of this audience or even to most twentieth century philosophers. Who reads Suárez these days? And what could I learn from a sixteenth century scholastic writer that would help me in the twentieth century? I would certainly be surprised if one were to find any references to (...) some of Suárez’s works in any of the works of twentieth-century major philosophers. One of the reasons for my claim is the great difficulty I had in figuring out what Suárez’s text means and how to render it understandable to English readers. Translating the text forced me to think in ways that were quite different from those I was used to think in Spanish, my native tongue, or English, my adoptive tongue. In fact, the translation I produced after having completed many drafts continued, and still continues to this day, to appear to me unsatisfactory, and that dissatisfaction was the key to understanding things I had understood very differently before. I hope to make clear why in what follows. The thesis that I defend is that semantic equivalence between texts of philosophy in different languages is difficult, if not impossible in some cases, to achieve and, therefore, that it is a mistake to restrict doing analytic philosophy to English, as Gustavo Rodríguez-Pereyra argues we should do in a recent article (2013). (shrink)

Some argue that it is ethically justifiable to unilaterally withdraw life‐sustaining treatment during crisis standards of care without the patient's consent in order to reallocate it to another patient with a better chance of survival. This justification has been supported by two lines of argument: the equivalence thesis and the rule of the double effect. We argue that there are theoretical issues with the first and practical ones with the second, as supported by an experiment aimed at exploring (...) whether the Knobe effect, which affects the folk concept of intention, applies to situations of unilateral withdrawal. Fifty‐two critical care physicians from one university were asked to ascribe intention in two hypothetical scenarios A and B in which outcomes differ—the patient from whom life‐sustaining treatment is withdrawn dies in scenario A but survives in scenario B—but the intention, to save the other patient regardless of the outcome of the other, is the same. The survey was administered via a web‐based survey and all answers were anonymous. A paired proportion test was used to compare responses to both questions. All 52 surveyed individuals responded in scenario A and 30 (57.7%) ascribed intention when outcomes were unfavorable, whereas 50 responded in scenario B and 8 (16%) ascribed intention when outcomes were favorable, a difference that was statistically significant (p < 0.001). There are theoretical and practical issues with the arguments proposed to justify the unilateral withdrawal of life‐sustaining treatment based on the equivalence thesis and the rule of double effect. (shrink)

The controversy over the equivalence of continuous sedation until death (CSD) and physician-assisted suicide/euthanasia (PAS/E) provides an opportunity to focus on a significant extended use of CSD. This extension, suggested by the equivalence of PAS/E and CSD, is designed to promote additional patient autonomy at the end-of-life. Samuel LiPuma, in his article, “Continuous Sedation Until Death as Physician-Assisted Suicide/Euthanasia: A Conceptual Analysis” claims equivalence between CSD and death; his paper is seminal in the equivalency debate. Critics contend (...) that sedation follows proportionality protocols for which LiPuma’s thesis does not adequately account. Furthermore, sedation may not eliminate consciousness, and as such LiPuma’s contention that CSD is equivalent to neocortical death is suspect. We not only defend the equivalence thesis, but also expand it to include additional moral considerations. First, we explain the equivalence thesis. This is followed by a defense of the thesis against five criticisms. The third section critiques the current use of CSD. Finally, we offer two proposals that, if adopted, would broaden the use of PAS/E and CSD and thereby expand options at the end-of-life. (shrink)

The thesis of 3D/4D equivalence states that every three-dimensional description of the world is translatable without remainder into a four-dimensional description, and vice versa. In representing an object in 3D or in 4D terms we are giving alternative descriptions of one and the same thing, and debates over whether the ontology of the physical world is "really" 3D or 4D are pointless. The twins paradox is shown to rest, in relativistic 4D geometry, on a reversed law of triangle (...) inequality. But considering the twins as 3D beings who age through time, the paradox implies that time passes at different rates in different reference frames, and therefore that the concept of a single global or Absolute time is unsustainable. (shrink)

Carole Pearce's argument against African philosophy is founded on a set of factual flaws and the fallacious assumption that African philosophy is equivalent to ethnophilosophy, which she defines as a form of intellectual apartheid founded on irrational belief systems. I argue that African philosophy is in no way qualitatively different from, say, French or Chinese philosophy, and that ethnophilosophy is merely one aspect of it But ethnophilosophy could play the important role of critically evaluating African ethnic belief systems and the (...) interpretation of such by Western anthropologists. In general, African philoso phy is nothing more than the philosophical research (of whatever order) carried out by African philosophers in the context of African research paradigms. (shrink)

In this paper, we address the question whether the persistence of biological species raises some difficulty for the thesis of the metaphysical equivalence between three-dimensionalism (3D) and four-dimensionalism (4D). We argue that even if one assumes that ‘species’ is a homonymous term that refers to two entities (_evolverons_ or synchronic species and _phylons_ or diachronic ones), 3D/4D metaphysical equivalence still holds. In doing so, we challenge Reydon’s strong association between a synchronic view of species and a 3D (...) theory of persistence, and between the diachronic view of species and a 4D theory of persistence (2008). Finally, we show how this debate on persistence of species helps to illustrate some misunderstandings behind contemporary analytic metaphysics of change and persistence. (shrink)

The main purpose of this paper is to investigate various notions of empirical equivalence in relation to the two main arguments for realism in the philosophy of science, namely the no-miracles argument and the indispensability argument. According to realism, one should believe in the existence of the theoretical entities postulated by empirically adequate theories. According to the no-miracles argument, one should do so because truth is the the best explanation of empirical adequacy. According to the indispensability argument, one should (...) do so because the theoretical terms employed in the formulation of an empirically adequate theory are practically indispensable for the formulation of its empirical content. The no-miracles argument might be refuted if one can establish an underdetermination thesis to the effect that every theory has empirically equivalent rivals that are incompatible with each other. Insofar as truth cannot explain the empirical adequacy of two incompatible theories, there is an obvious conflict between the underdetermination thesis and the no-miracles argument. I show that, under certain assumptions, some but not all notions of empirical equivalence support the underdetermination thesis. The indispensability argument might be refuted if one can establish a dispensability thesis to the effect that, for any theory with a practical formulation, there is an empirically equivalent theory with a practical formulation in purely empirical terms. I show that some but not all notions of empirical equivalence support this thesis. (shrink)

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories (...) of similarity structures are studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)

The basic thesis is that the problem of infinity underlies the current dilemma in modern theoretical physics. The traditional and set-theoretic conceptions of infinity are considered. It is demonstrated that standard mathematical analysis is dependent on the complete relativity of the infinite. In examining the domains of modern physics, infinity is found to lose its entirely relative character and, therefore, to be less amenable to classical analysis. Complementary aspects of microworld infinity are identified and are associated with the equivalent (...) features (inertial and gravitational mass) of Einstein's macroworld theory. The persisting effort to treat essentially non-classical phenomena in classical terms is critically discussed. A new attitude toward the infinite is recommended, one that might lead to establishing a second principle of the relativity of the infinite. The prospect for implementing the suggested approach through a "trans-analytic" meta-theory of dimensional generation is briefly entertained. (shrink)

This paper reassesses the question of whether Craig’s theorem poses a challenge to Quine's empirical underdetermination thesis. It will be demonstrated that Quine’s account of this issue in his paper “Empirically Equivalent Systems of the World” (1975) is flawed and that Quine makes too strong a concession to the Craigian challenge. It will further be pointed out that Craig’s theorem would threaten the empirical underdetermination thesis only if the set of all relevant observation conditionals could be shown to (...) be recursively enumerable — a condition which Quine seems to overlook — and it will be argued that, at least within the framework of Quine’s philosophy, it is doubtful whether this condition is satisfiable. (shrink)

The classical view of computing positions computation as a closed-box transformation of inputs (rational numbers or finite strings) to outputs. According to the interactive view of computing, computation is an ongoing interactive process rather than a function-based transformation of an input to an output. Specifically, communication with the outside world happens during the computation, not before or after it. This approach radically changes our understanding of what is computation and how it is modeled. The acceptance of interaction as a new (...) paradigm is hindered by the Strong Church–Turing Thesis (SCT), the widespread belief that Turing Machines (TMs) capture all computation, so models of computation more expressive than TMs are impossible. In this paper, we show that SCT reinterprets the original Church–Turing Thesis (CTT) in a way that Turing never intended; its commonly assumed equivalence to the original is a myth. We identify and analyze the historical reasons for the widespread belief in SCT. Only by accepting that it is false can we begin to adopt interaction as an alternative paradigm of computation. We present Persistent Turing Machines (PTMs), that extend TMs to capture sequential interaction. PTMs allow us to formulate the Sequential Interaction Thesis, going beyond the expressiveness of TMs and of the CTT. The paradigm shift to interaction provides an alternative understanding of the nature of computing that better reflects the services provided by today’s computing technology. (shrink)

Ancient rhetoric divided the questions which concerned the orator into the definite and the indefinite, quaestiones finitae and quaestiones infinitae, the former concerned with particular persons and occasions, the latter without any such reference. To take a simple example from Quintilian, ‘Should one marry?’ is a quaestio infinita, ‘Should Cato marry?’ a quaestio finita. The distinction was introduced, or at any rate first clearly formulated, by Hermagoras in the second century B.C., and became an established part of rhetorical theory. The (...) Greek term for the indefinite, or general, question was none of the various Latin equivalents used by Cicero attained general currency, and the Greek term prevailed. (shrink)

Is it worse to kill someone than to let someone die? It seems obvious to common sense that it is worse. We allow people to die, for example, when we fail to contribute money to famine-relief efforts; but even if we feel somewhat guilty, we do not consider ourselves murderers. Nor do we feel like accessories to murder when we fail to give blood, sign an organ-donor card, or do any of the other things that could save lives. Common sense (...) tells us that, while we may not kill people, our duty to give them aid is much more limited. Some philosophers, however, have argued that common sense is wrong about this. They have defended the Equivalence Thesis, which says that killing and letting die are equally bad. This is a more specific version of the idea that there is no moral difference between making something happen and allowing it to happen. The Equivalence Thesis is a radical conception that would require changes in our ordinary moral beliefs. If it is true, then obviously our duty to give aid is much stronger than we commonly assume. But our views about other matters, such as euthanasia, will also be affected. Many people believe that “passive euthanasia”--allowing terminal patients to die, rather than pointlessly prolonging their lives--is sometimes permissible; but they also believe that killing patients is always wrong. If the Equivalence Thesis is true, this combination of beliefs is inconsistent. The idea behind the Equivalence Thesis is not that every individual case of letting die is equally as bad as every individual case of killing. Obviously, if we compare an ordinary murder--say, a man killing his wife out of jealousy--with the actions of a physician who humanely permits a suffering patient to die, the murder is much worse. Rather, the idea is that the difference between killing and letting die does not itself make a difference to the moral assessment of the actions. Other factors may still be important. (shrink)

Abstract This essay discusses the paradox of the N?g?rjunian negation as presented in his Vigrahavy?vartani. In Part One it is argued that as the Naiy?yika remarks, N?g?rjuna's speech act ?No proposition has its own intrinsic thesis? seemingly contradicts his famous claim that he has no negation whatsoever. In Parts Two and Three I consider the traditional as well as modem responses to this paradox and offer my own. I argue that N?g?rjuna's speech act does not generate a paradox for (...) two reasons: (a) the equivalence thesis of the kind??P = ?P is obviously false; and (b) since N?g?rjuna's speech act is situated in the dialogical/conversational universe of discourse as opposed to the argumentative/systematic universe of discourse, the teaching of the non?intrinsic thesis of all statements that it purports, holds for all statements in its class, including itself. Lastly, it is argued that even though the N?g?rjunian speech act is not a negation situated in the argumentative universe of discourse, it serves both philosophical and soteriological purposes. (shrink)

Extracorporeal membrane oxygenation (ECMO) is typically viewed as a time-limited intervention—a bridge to recovery or transplant—not a destination therapy. However, some patients with decision-making capacity request continued ECMO support despite a poor prognosis for recovery and lack of viability as a transplant candidate. In response, critical care teams have asked for guidance regarding the ethical permissibility of unilateral withdrawal over the objections of a capacitated patient. In this article, we evaluate several ethical arguments that have been made in favor of (...) withdrawal, including distributive justice, quality of life, patients’ rights, professional integrity, and the Equivalence Thesis. We find that existing justifications for unilateral withdrawal of ECMO support in capacitated patients are problematic, which leads us to conclude that either: (1) additional ethical arguments are necessary to defend this approach or (2) the claim that it is not appropriate to use ECMO as a destination therapy should be questioned. (shrink)

In this article I probe the consequences and limits of the underdetermination thesis and the empirical equivalence thesis, using Laudan and Leplin's fecund article as a springboard. Although a realist at heart, my primary intention is not to undermine the anti-realist arguments but rather to try to precisify the challenge the realist, and more generally the participant in the scientific realism debate, faces.

Jarrett Leplin in A Novel Defense of Scientific Realism (1997) argues that if the thesis of empirical equivalence is cogent, then the thesis of underdetermination cannot even get off the ground. Part of Leplin's argument rests on the claim that auxiliary hypotheses can be independently confirmed, thus enabling us to determine the epistemic worth of a theory. This, in turn, helps in determining about what we should be realists. Leplin's claims are demonstrated to be problematic. Leplin wants, (...) inconsistently, to use only those auxiliary hypotheses which dovetail with confirmed theories. Finally, a detail of Leplin's argument is found wanting. (shrink)

In 1991 Larry Laudan and Jarret Leplin proposed a solution for the problem of empirical equivalence and the empirical underdetermination that is often thought to result from it. In this paper we argue that, even though Laudan and Leplin’s reasoning is essentially correct, their solution should be accurately assessed in order to appreciate its nature and scope. Indeed, Laudan and Leplin’s analysis does not succeed in completely removing the problem or, as they put it, in refuting the thesis (...) of underdetermination as a consequence of empirical equivalence. Instead, what they show is merely that science possesses tools that may eventually lead out of an underdetermination impasse. We apply their argument to a real case of two empirically equivalent theories: Lorentz’s ether theory and Einstein’s special relativity. This example illustrates the validity of Laudan and Leplin’s reasoning, but also shows the importance of the reassessment we argue for. (shrink)

Like Bennett's account of ‘even’, my analysis incorporates the following plausible and widespread intuitions. (a) The word ‘even’ does not make a truth-functional difference; it makes a difference only in conventional implicature. In particular, ‘even’ functions neither as a universal quantifier, nor a most or many quantifier. The only quantified statement that ‘Even A is F’ implies is the existential claim ‘There is an x (namely, A) that is F’, but this implication is nothing more than what the Equivalence (...) Thesis already demands. (b) ‘Even’ is epistemic in character, implying some type of unexpectedness, surprise, or unlikelihood. Moreover, despite Kay's arguments to the contrary, this implication is part of the meaning of ‘even’. (c) ‘Even’ is a scalar term, since unexpectedness comes in degrees. And, finally, (d) the felicity of an ‘even’-sentence S requires that S* be sufficiently surprising in comparison to its true neighbors. However,pace Bennett, being more surprising than just one true neighbor will not suffice. At the same time, being more surprising than all true neighbors is unnecessary. Suffice it that S* is more surprising than most true neighbors. (shrink)

The properties, theoretical magnitudes, and natural kinds which science seeks to characterize, and not the sense or meanings which parts of speech may possess, are the subject of this paper. Many philosophers (e.g., Putnam [1971] and Achinstein [1974]) have agreed that two predicates of different meaning may pick out the same property, but they usually hold that that logically equivalent predicates must pick out the same properties. I propose to deny this thesis. My argument is by way of an (...) example and by appeal to a principle. The principle connects propertyhood with causal efficacy. The example situation I will describe in what follows is intended to show that the property of being a closed straight-sided figure having three sides is not the same property as that of being a closed straight-sided figure having three angles (a triangle). (shrink)

The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying "Aristotle's Thesis" (p does not imply not p) and "Weak Boethius' Thesis" (if p implies q, then p does not imply not q). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of "Strong Boethius' Thesis" (that p implies q implies that p (...) does not imply not q) is identified. (shrink)

It is argued that neither the "theory-informity" of observations nor the Quine-Duhem thesis pose any in principle threat to the objectivity of theory evaluation. The employment of exploratory theories does not generate incommensurability, but on the contrary is responsible for the mensurability and commensurability of explanatory theories, since exploratory theories enable scientists to make observations which are critical in the evaluation of explanatory theories. The employment of exploratory theories and other auxiliary hypotheses does not enable a theory to always (...) accommodate recalcitrant observations to preserve evidential equivalence with a rival theory. Explanatory theories become rapidly degenerating if exploratory theories or other auxiliary hypotheses which inform the original confirmation base are modified to accommodate recalcitrant observations. (shrink)

Necessitism, Contingentism, and Theory Equivalence is a dissertation on issues in higher-order modal metaphysics. Consider a modal higher-order language with identity in which the universal quantifier is interpreted as expressing universal quantification and the necessity operator is interpreted as expressing metaphysical necessity. The main question addressed in the dissertation concerns the correct theory formulated in this language. A different question that also takes centre stage in the dissertation is what it takes for theories to be equivalent.The whole dissertation consists (...) of an extended argument in defence of the truth of two seemingly inconsistent higher-order modal theories, specifically: 1.Plantingan Moderate Contingentism, a theory based on Plantinga’s [1] modal metaphysics that is committed to, among other things, the contingent being of some individuals and the necessary being of all possible higher-order entities;2.Williamsonian Thorough Necessitism, a theory advocated by Williamson [3] which is committed to, among other things, the necessary being of every possible individual as well as of every possible higher-order entity.Part of the case for these theories’ joint truth relies on defences of the following metaphysical theses: Thorough Serious Actualism, the thesis that no things could have been related while being nothing, and Higher-Order Necessitism, the thesis that necessarily, every higher-order entity is necessarily something. It is shown that Thorough Serious Actualism and Higher-Order Necessitism are both implicit commitments of very weak logical theories. The defence of Higher-Order Necessitism constitutes a powerful challenge to Stalnaker’s [2] Thorough Contingentism, a theory committed to, among other things, the view that there could have been some individuals as well as some entities of any higher-order that could have been nothing.In the dissertation it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are in fact equivalent, even if they appear to be jointly inconsistent. The case for this claim relies on the Synonymy account, a novel account of theory equivalence developed and defended in the dissertation. According to this account, theories are equivalent just in case they have the same commitments and conception of logical space.By way of defending the Synonymy account’s adequacy, the account is applied to the debate between noneists, proponents of the view that some things do not exist, and Quineans, proponents of the view that to exist just is to be some thing. The Synonymy account is shown to afford a more nuanced and better understanding of that debate by revealing that what noneists and Quineans are really disagreeing about is what expressive resources are available to appropriately describe the world.By coupling a metatheoretical result with tools from the philosophy of language, it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are synonymous theories, and so, by the lights of the Synonymy account, equivalent. Given the defence of their extant commitments made in the dissertation, it is concluded that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are both correct. A corollary of this result is that the dispute between Plantingans and Williamsonians is, in an important sense, merely verbal. For if two theories are equivalent, then they “require the same of the world for their truth.”Thus, the results of the dissertation reveal that if one speaks as a Plantingan while advocating Plantingan Moderate Contingentism, or as a Williamsonian while advocating Williamsonian Thorough Necessitism, then one will not go wrong. Notwithstanding, one will still go wrong if one speaks as a Plantingan while advocating Williamsonian Thorough Necessitism, or as a Williamsonian while advocating Plantingan Moderate Contingentism.On the basis of a conception of the individual constants and predicates of second-order modal languages as strongly Millian, i.e., as having actually existing entities as their semantic values, in the appendix are presented second-order modal logics consistent with Stalnaker’s Thorough Contingentism. Furthermore, it is shown there that these logics are strong enough for applications of higher-order modal logic in mathematics, a result that constitutes a reply to an argument to the contrary by Williamson [3]. Finally, these logics are proven to be complete relative to particular “thoroughly contingentist” classes of models. (shrink)

The passage “it must not have a body” of Melissus’ B9 is in contradiction, real or apparent, with the contents of B3 ̶ “it must be always unlimited in magnitude” ̶ and B7 ̶ “it is full.” After all, how can something without a body have magnitude and fullness? In this manuscript, I propose what I call the “immateriality thesis,” a view according to which what-is, as it has no body, no thickness, and no parts, is also immaterial. To (...) defend it, I first examine the relationship between the B9’s terms σῶμα (body) and πάχος (thickness) and the concepts of corporeality (“spatial limits”) and materiality (“physical constitution”) in the philosophical and medical literature of the 5th and 4th centuries B.C. Subsequently, I argue that, in B9, the denial of σῶμα and πάχος is equivalent to the denial of materiality to Melissus’ what-is. Furthermore, to support the “immateriality thesis,” I move away from the traditional strategies applied to resolve the incompatibility between B3, B7, and B9 and propose a new approach aiming to undo this Gordian knot of Melissus’ thought. I call it “modal analysis.” When applied to Melissan fragments, the “modal analysis” revealed the essential property of what-is, which is the indisputable assertion that it is τὸ ἓν (the one). Next, what-is’ accidental properties − μέγεθος (magnitude), πλέων (fullness), σῶμα (“lack of body”), and πάχος (“lack of thickness”) − were compared to the essential property. The upshot was that the “immateriality thesis,” although not without some difficulties, ended up being the best explanation we have left to interpret Melissus’ philosophy. (shrink)

Poincaré's claim that Euclidean and non-Euclidean geometries are translatable has generally been thought to be based on his introduction of a model to prove the consistency of Lobachevskian geometry and to be equivalent to a claim that Euclidean and non-Euclidean geometries are logically isomorphic axiomatic systems. In contrast to the standard view, I argue that Poincaré's translation thesis has a mathematical, rather than a meta-mathematical basis. The mathematical basis of Poincaré's translation thesis is that the underlying manifolds of (...) Euclidean and Lobachevskian geometries are homeomorphic. Assuming as Poincaré does that metric relations are not factual, it follows that we can rewrite a physical theory using Euclidean geometry as one using Lobachevskian geometry and express the same facts. (shrink)

Nature seems to be such that we can describe it accurately with quantum theories of bosons and fermions alone, without resort to parastatistics. This has been seen as a deep mystery: paraparticles make perfect physical sense, so why don’t we see them in nature? We consider one potential answer: every paraparticle theory is physically equivalent to some theory of bosons or fermions, making the absence of paraparticles in our theories a matter of convention rather than a mysterious empirical discovery. We (...) argue that this equivalence thesis holds in all physically admissible quantum field theories falling under the domain of the rigorous Doplicher–Haag–Roberts approach to superselection rules. Inadmissible parastatistical theories are ruled out by a locality-inspired principle we call charge recombination. 1 Introduction2 Paraparticles in Quantum Theory3 Theoretical Equivalence3.1 Field systems in algebraic quantum field theory3.2 Equivalence of field systems4 A Brief History of the Equivalence Thesis4.1 The Green decomposition4.2 Klein transformations4.3 The argument of Drühl, Haag, and Roberts4.4 The Doplicher–Roberts reconstruction theorem5 Sharpening the Thesis6 Discussion6.1 Interpretations of Quantum Mechanics6.2 Structuralism and haecceities6.3 Paraquark theories. (shrink)

It is commonly believed that there is no equivalent of the Church–Turing thesis for computation over the reals. In particular, computational models on this domain do not exhibit the convergence of formalisms that supports this thesis in the case of integer computation. In the light of recent philosophical developments on the different meanings of the Church–Turing thesis, and recent technical results on analog computation, I will show that this current belief confounds two distinct issues, namely the extension (...) of the notion of effective computation to the reals on the one hand, and the simulation of analog computers by Turing machines on the other hand. I will argue that it is possible in both cases to defend an equivalent of the Church–Turing thesis over the reals. Along the way, we will learn some methodological caveats on the comparison of different computational models, and how to make it meaningful. (shrink)

In this paper, I give a metaphilosophical analysis of the core idea of deflationism by discussing some basic conceptual and methodological issues involved in the debate between deflationism and substantivism. In so doing, I argue for three positive points. First, the crux of the dispute between deflationism and substantivism is whether or not truth is substantive in its metaphysical nature and in its explanatory role in philosophical enterprises, rather than whether or not a minimal approach regarding conceptual resources is taken (...) to explain truth; a minimal approach itself is philosophically innocent. Second, there is no intrinsic connection between the core idea of deflationism and the Tarski-style equivalence thesis, which is often identified as implying or supporting the former. Third, there are some unbridged fundamental gaps between the core idea of deflationism and various redundancy theses; these redundancy theses cannot be identified as the former, nor can they be used to justify the former on their own. (shrink)

Sometimes the thesis has been put forth that the languages of 3- Dimensionalism and 4-Dimensionalism are completey translatable into each other without any loss of meaning. Prominently, this thesis has recently been defended by Jonathan Lowe and Storrs McCall. A global inter-translatability would show that there is no deeper systematic or even ontological difference between these philosophical positions despite that both are using a different vocabulary to describe the same features of reality. In this paper, I want to (...) argue that the thesis of 3D-4D-Equivalence covers some interesting aspects of the discussion between 3-Dimensionalists and 4-Dimensionalists, but is not able to grasp fully the ontological intuitions of both positions. At the end of the day, it seems necessary to refute the thesis that 3-Dimensionalism and 4-Dimensionalism are eqivalent in the sense that both are completely translatable into each other. (shrink)

Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that (...) both accounts could be adequate, albeit in their own different ways. In this paper, I focus on the question of whether Church’s thesis can be seen as an explication in the precise Carnapian sense. Most importantly, I address an additional constraint that Carnap puts on the explicative power of axiomatic systems—an axiomatisation explicates when it is clear which mathematical entities form the theory’s intended model—and that implicitly applies to axiomatisations of recursion theory used in Church’s account of computability. To overcome this difficulty, I propose two possible clarifications of the pre-systematic concept of “computability” that can both be captured in recursion theory, and I show how both clarifications avoid an objection arising from Carnap’s constraint. (shrink)

Kin selection and group selection were once seen as competing explanatory hypotheses but now tend to be seen as equivalent ways of describing the same basic idea. Yet this ‘equivalence thesis’ seems not to have brought proponents of kin selection and group selection any closer together. This may be because the equivalence thesis merely shows the equivalence of two statistical formalisms without saying anything about causality. W.D. Hamilton was the first to derive an equivalence (...) result of this type. Yet Hamilton was aware of its limitations, and saw that, while illuminating, it papered over some biologically important distinctions. Attending to these distinctions leads to the concept of ‘K-G space’, which helps us see where the biological disagreements between proponents of kin selection and group selection really lie. (shrink)