The spring-like behaviour of a joint following a sudden change of torque is partly a result of the elastic properties of tendons. A large fall in a muscle with a long tendon may be accompanied by tendon recoil causing joint movements as large as 20°.

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.

Most donated organs in the United States come from brain dead donors, while a small percentage come from patients who die in “controlled,” or expected, circumstances, typically after the family or surrogate makes a decision to withdraw life support. The number of organs available for transplant could be substantially if donations were permitted in “uncontrolled” circumstances–that is, from people who die unexpectedly, often outside the hospital. According to projections from the Institute of Medicine, establishing programs permitting “uncontrolled donation after circulatory (...) determination of death,” or uDCDD, throughout the United States has the potential to provide 22,000 more donation opportunities annually. In contrast, U.S. controlled donation after circulatory determination of death, or cDCDD, cases have increased progressively over the past decade from 87 to 848 donors, but currently account for only 10.6 percent of all deceased donors. Following the IOM recommendations, several projects exploring the feasibility of uDCDD were funded by the federal government, including a grant from the Health Resources and Services Administration that supported a pilot project in New York City in which the authors of this article participated.A key feature of our protocol, and indeed of many uDCDD protocols, is the initiation of preservation methods such as chest compressions and extracorporeal membrane oxygenation shortly after death in order to perfuse and preserve the donor's organs. Critics of uDCDD argue that the means of determining death deviates from generally ascribed principles. They assert that reinstituting circulation in order to preserve organs has the effect of “undoing” the prior determination of death. The result is that cDCDD is widely accepted and practiced routinely even though it only marginally increases the number of organs available for transplantation, and uDCDD is widely considered unacceptable despite being ethically embraced and proven to significantly increase organ donation opportunities in other countries. This article explores the evolution of this counterintuitive state of affairs and calls for a policy that, in line with the IOM report, allows for both cDCDD and uDCDD protocols. (shrink)

While it might seem prima facie plausible that divine foreknowledge is all that is needed for prophecy, this seems incorrect. To issue a prophecy, God hasto know not just how someone will act, but how someone would act were the prophecy issued. This makes some think that Middle Knowledge is required.I argue that Thomas Flint’s two Middle Knowledge based accounts of prophecy are unsatisfactory, but one of them can be repaired. However the resources needed for repair also yield a sketch (...) of a foreknowledge-only account of prophecy. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

This is a protocol for a Cochrane Review (Intervention). The objectives are as follows: -/- The main aim of this review will be to assess the effects of changing practitioner empathy or patient expectations for all conditions. The main objective is to conduct a systematic review of randomised trials where the intervention involves manipulating either (a) practitioner empathy or (b) patient expectations, or (c) both.

The Principle of Sufficient Reason says that all contingent facts must have explanation. In this 2006 volume, which was the first on the topic in the English language in nearly half a century, Alexander Pruss examines the substantive philosophical issues raised by the Principle Reason. Discussing various forms of the PSR and selected historical episodes, from Parmenides, Leibnez, and Hume, Pruss defends the claim that every true contingent proposition must have an explanation against major objections, including Hume's imaginability argument (...) and Peter van Inwagen's argument that the PSR entails modal fatalism. Pruss also provides a number of positive arguments for the PSR, based on considerations as different as the metaphysics of existence, counterfactuals and modality, negative explanations, and the everyday applicability of the PSR. Moreover, Pruss shows how the PSR would advance the discussion in a number of disparate fields, including meta-ethics and the philosophy of mathematics. (shrink)

Necessary Existence breaks ground on one of the deepest questions anyone ever asks: why is there anything? Pruss and Rasmussen present an original defence of the hypothesis that there is a necessarily existing being capable of providing an ultimate foundation for the existence of all things.

Alexander R. Pruss examines a large family of paradoxes to do with infinity - ranging from deterministic supertasks to infinite lotteries and decision theory. Having identified their common structure, Pruss considers at length how these paradoxes can be resolved by embracing causal finitism.

First Published in 1998. Routledge is an imprint of Taylor & Francis, an informa company.

Assuming S5, the main controversial premise in modal ontological arguments is the possibility premise, such as that possibly a maximally great being exists. I shall offer a new way of arguing that the possibility premise is probably true.

This chapter contains sections titled: Introduction The PSR Nonlocal CPs Toward a First Cause The Gap Problem Conclusions and Further Research References.

Regularity is the thesis that all contingent propositions should be assigned probabilities strictly between zero and one. I will prove on cardinality grounds that if the domain is large enough, a regular probability assignment is impossible, even if we expand the range of values that probabilities can take, including, for instance, hyperreal values, and significantly weaken the axioms of probability.

This important philosophical reflection on love and sexuality from a broadly Christian perspective is aimed at philosophers, theologians, and educated Christian readers. Alexander R. Pruss focuses on foundational questions on the nature of romantic love and on controversial questions in sexual ethics on the basis of the fundamental idea that romantic love pursues union of two persons as one body. _One Body_ begins with an account, inspired by St. Thomas Aquinas, of the general nature of love as constituted by (...) components of goodwill, appreciation, and unitiveness. Different forms of love, such as parental, collegial, filial, friendly, fraternal, or romantic, Pruss argues, differ primarily not in terms of goodwill or appreciation but in terms of the kind of union that is sought. Pruss examines romantic love as distinguished from other kinds of love by a focus on a particular kind of union, a deep union as one body achieved through the joint biological striving of the sort involved in reproduction. Taking the account of the union that romantic love seeks as a foundation, the book considers the nature of marriage and applies its account to controversial ethical questions, such as the connection between love, sex, and commitment and the moral issues involving contraception, same-sex activity, and reproductive technology. With philosophical rigor and sophistication, Pruss provides carefully argued answers to controversial questions in Christian sexual ethics. "This is a terrific—really quite extraordinary—work of scholarship. It is quite simply the best work on Christian sexual ethics that I have seen. It will become the text that anyone who ventures into the field will have to grapple with—a kind of touchstone. Moreover, it is filled with arguments with which even secular writers on sexual morality will have to engage and come to terms." —_Robert P. George, Princeton University __ "_One Body_ is an excellent piece of philosophical-theological reflection on the nature of sexuality and marriage. This book has the potential to become a standard go-to text for professors and students working on sex ethics issues, whether in philosophy or theology, both for the richness of its arguments, and the scope of its coverage of cases. " — Christopher Tollefsen, University of South Carolina_ "Alexander Pruss here develops sound and humane answers to the whole range of main questions about human sexual and reproductive choices. His principal argument for the key answers is very different from the one I have articulated over the past fifteen years. But his argumentation is at every point attractively direct, careful, energetic in framing and responding to objections, and admirably attentive to realities and the human goods at stake." —_John Finnis, University of Oxford _. (shrink)

We show that infinitesimal probabilities are much too small for modeling the individual outcome of a countably infinite fair lottery.

(2013). Incompatibilism proved. Canadian Journal of Philosophy. ???aop.label???

One of the problems that Bayesian regularity, the thesis that all contingent propositions should be given probabilities strictly between zero and one, faces is the possibility of random processes that randomly and uniformly choose a number between zero and one. According to classical probability theory, the probability that such a process picks a particular number in the range is zero, but of course any number in the range can indeed be picked. There is a solution to this particular problem on (...) the books: a measure that assigns the same infinitesimal probability to each number between zero and one. I will show that such a measure, while mathematically interesting, is pathological for use in confirmation theory, for the same reason that a measure that assigns an infinitesimal probability to each possible outcome in a countably infinite lottery is pathological. The pathology is that one can force someone to assign a probability within an infinitesimal of one to an unlikely event. (shrink)

Cantor proved that no set has a bijection between itself and its power set. This is widely taken to have shown that there infinitely many sizes of infinite sets. The argument depends on the princip...

Classical real-valued probabilities come at a philosophical cost: in many infinite situations, they assign the same probability value—namely, zero—to cases that are impossible as well as to cases that are possible. There are three non-classical approaches to probability that can avoid this drawback: full conditional probabilities, qualitative probabilities and hyperreal probabilities. These approaches have been criticized for failing to preserve intuitive symmetries that can be preserved by the classical probability framework, but there has not been a systematic study of the (...) conditions under which these symmetries can and cannot be preserved. This paper fills that gap by giving complete characterizations under which symmetries understood in a certain “strong” way can be preserved by these non-classical probabilities, as well as by offering some results to make it plausible that the strong notion of symmetry here is the right one. Philosophical implications are briefly discussed, but the main purpose of the paper is to offer technical results to help make further philosophical discussion more sophisticated. (shrink)

The free-will defence holds that the value of significant free will is so great that God is justified in creating significantly free creatures even if there is a risk or certainty that these creatures will sin. A difficulty for the FWD, developed carefully by Quentin Smith, is that God is unable to do evil, and yet surely lacks no genuinely valuable kind of freedom. Smith argues that the kind of freedom that God has can be had by creatures, without a (...) risk of creatures doing evil. I shall show that Smith's argument fails – the case of God is disanalogous to the case of creatures precisely because creatures are creatures. (shrink)

Few studies have examined how trait emotion dysregulation relates to momentary affective experiences and the emotion regulation strategies people use in daily life. In the current study, 112 c...

I offer examples showing that, pace G. E. Moore, it is possible to assert ?Q and I don't believe that Q? sincerely, truly, and without any absurdity. The examples also refute the following principles: (a) justification to assert p entails justification to assert that one believes p (Gareth Evans); (b) the sincerity condition on assertion is that one believes what one says (John Searle); and (c) to assert (to someone) something that one believes to be false is to lie (Don (...) Fallis). (shrink)

An omnipotent being would be a being whose power was unlimited. The power of human beings is limited in two distinct ways: we are limited with respect to our freedom of will, and we are limited in our ability to execute what we have willed. These two distinct sources of limitation suggest a simple definition of omnipotence: an omnipotent being is one that has both perfect freedom of will and perfect efficacy of will. In this paper we further explicate this (...) definition and show that it escapes the standard objections to divine omnipotence. (shrink)

Some, notably Peter van Inwagen, in order to avoid problems with free will and omniscience, replace the condition that an omniscient being knows all true propositions with a version of the apparently weaker condition that an omniscient being knows all knowable true propositions. I shall show that the apparently weaker condition, when conjoined with uncontroversial claims and the logical closure of an omniscient being's knowledge, still yields the claim that an omniscient being knows all true propositions.

This chapter contains sections titled: Introduction Two Interrelated Problems Lewis's Solution Inductive Paradox Identity versus Counterpart Theory Platonism: The Main Realist Alternative to Lewis An Aristotelian Alternative Leibniz's Account A Combined Account.

Plantinga’s Free Will Defense is an argument that, possibly, God cannot actualize a world containing significant creaturely free will and no wrongdoings. I will argue that if standard Molinism is true, there is a pair of worlds w1 and w2 each of which contains a significantly free creature who never chooses wrongly, and that are such that, necessarily, at least one of these worlds is a world that God can actualize.

It is often loosely said that Ramsey The foundations of mathematics and other logical essays, Routledge and Kegan Paul, Abingdon, pp 156–198, 1931) and de Finetti Studies in subjective probability, Kreiger Publishing, Huntington, 1937) proved that if your credences are inconsistent, then you will be willing to accept a Dutch Book, a wager portfolio that is sure to result in a loss. Of course, their theorems are true, but the claim about acceptance of Dutch Books assumes a particular method of (...) calculating expected utilities given the inconsistent credences. I will argue that there are better ways of calculating expected utilities given a potentially inconsistent credence assignment, and that for a large class of credences—a class that includes many inconsistent examples—these ways are immune to Dutch Books and single-shot domination failures. The crucial move is to replace Finite Additivity with Monotonicity, then \\le P\)) and then calculate expected utilities for positive U via the formula \\, dy\). This shows that Dutch Book arguments for probabilism, the thesis that one’s credences should be consistent, do not establish their conclusion. Finally, I will consider a modified argument based on multi-step domination failure that does better, but nonetheless is not as compelling as the Dutch Book arguments appeared to be. (shrink)

A number of philosophers have attempted to solve the problem of null-probability possible events in Bayesian epistemology by proposing that there are infinitesimal probabilities. Hájek and Easwaran have argued that because there is no way to specify a particular hyperreal extension of the real numbers, solutions to the regularity problem involving infinitesimals, or at least hyperreal infinitesimals, involve an unsatisfactory ineffability or arbitrariness. The arguments depend on the alleged impossibility of picking out a particular hyperreal extension of the real numbers (...) and/or of a particular value within such an extension due to the use of the Axiom of Choice. However, it is false that the Axiom of Choice precludes a specification of a hyperreal extension—such an extension can indeed be specified. Moreover, for all we know, it is possible to explicitly specify particular infinitesimals within such an extension. Nonetheless, I prove that because any regular probability measure that has infinitesimal values can be replaced by one that has all the same intuitive features but other infinitesimal values, the heart of the arbitrariness objection remains. (shrink)

Assuming S₅, the main controversial premise in modal ontological arguments is the possibility premise, such as that possibly a maximally great being exists. I shall offer a new way of arguing that the possibility premise is probably true.

We shall use Gödel’s Second Incompleteness Theorem to show that consistency is not possibility, and then argue that the argument does serious damage to some theories of modality where consistency plays a major but not exclusive role.

This article focuses on the question of whether the doctrine of the real presence of Christ's body and blood, and likewise the doctrine of the real absence of bread and wine, can be defended philosophically. It argues for an affirmative answer, and does so by considering a variety of metaphysical models, including that of Aquinas. It will appear, thus, that transubstantiation is a philosophical possibility. If it is possible for two substances to be in the same place at the same (...) time, consubstantiation will be a philosophical possibility as well. Of course, the question of actuality is a theological one. (shrink)

Scoring rules measure the deviation between a credence assignment and reality. Probabilism holds that only those credence assignments that satisfy the axioms of probability are rationally admissible. Accuracy-based arguments for probabilism observe that given certain conditions on a scoring rule, the score of any non-probability is dominated by the score of a probability. The conditions in the arguments we will consider include propriety: the claim that the expected accuracy of _p_ is not beaten by the expected accuracy of any other (...) credence _c_ by the lights of _p_ if _p_ is a probability. I argue that if we think through how a non-probabilist can respond to pragmatic arguments for probabilism, we will expect the non-probabilist to accept a condition _stronger_ than propriety for the same reasons that the probabilist gives for propriety, but this stronger condition is incompatible with the other conditions that the probabilist needs to run the accuracy argument. This makes it unlikely for the probabilist’s argument to be compelling. (shrink)