The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

Formulations of Anselm’s ontological argument have been the subject of a number of recent studies. We examine these studies in light of Anselm’s text and (a) respond to criticisms that have surfaced in reaction to our earlier representations of the argument, (b) identify and defend a more refined representation of Anselm’s argument on the basis of new research, and (c) compare our representation of the argument, which analyzes that than which none greater can be conceived as a definite description, to (...) a representation that analyzes it as an arbitrary name. (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ‘diagonal argument’ and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

We wish to give a precise formulation of the intuitive concept: The degree to which the known facts support a given hypothesis.

The Caster Semenya debacle touched off by the 2009 Berlin World Athletics Championships resulted finally in IOC and IAAF abandonment of sex testing, which gave way to procedures that make female competition eligibility dependent upon the level of serum testosterone, which must be below the male range or instrumentally countered by androgen resistance. We argue that the new policy is unsustainable because (i) the testosterone-performance connection it posits is uncompelling; (ii) testosterone-induced female advantage is not ipso facto unfair advantage; (iii) (...) the new policy reflects the gender policing impulses endemic to sport as well as the broader cultural impulses to monstrify women and to doctor women who have nothing wrong with them; (iv) female?male performance disparities are not the only reason for sex-segregated sport, but co-exist with respectable cultural and practical reasons, which (v) provide a powerful case for allowing athletes to compete in the sex category congruent with their gender identity. (shrink)

1. The problem. The concept of confirmation of an hypothesis by empirical evidence is of fundamental importance in the methodology of empirical science. For, first of all, a sentence cannot even be considered as expressing an empirical hypothesis at all unless it is theoretically capable of confirmation or disconfirmation, i.e. unless the kind of evidence can be characterized whose occurrence would confirm, or disconfirm, the sentence in question. And secondly, the acceptance or rejection of a sentence which does represent an (...) empirical hypothesis is determined, in scientific procedure, by the degree to which it is confirmed by relevant evidence. (shrink)

Consequentialism is a state of affairs centered moral theory that finds support in state of affairs centered views of value, reason, action, and desire/preference. Together these views form a mutually reinforcing circle. I map an exit route out of this circle by distinguishing between two different senses in which actions can be understood as bringing about states of affairs. All actions, reasons, desires, and values involve bringing about in the first, deflationary sense, but only some appear to involve bringing about (...) in a second, rationalizing sense. I demonstrate that the views making up this circle hold, implausibly, that all reasons, values, desires, and actions involve bringing about in both senses, and that failure to distinguish these senses obscures the implausibility of these views as a set. I demonstrate, in addition, that the distinction blocks two common arguments that otherwise threaten to leverage us back in to the consequentialist circle. (shrink)

When behaviours or character traits match sociocultural expectation, heteronomy is a natural suspicion. A further natural suspicion is that the behaviours or character traits are unhealthy for the agent or for objectives of social justice and liberation. Second Wave feminism therefore includes a robust narrative of unease about female self-sexualisation. Third Wave feminism has more upbeat narratives of the latter, in terms of confidence and empowerment. The preceding tension is refracted through cases such as Ronda Rousey and ‘derby girls’, as (...) well as those of many less ostentatious women. It is argued that such self-sexualisation can be autonomous as opposed to heteronomous. It is argued, furthermore, that it is not a priori unhealthy for the agent and that autonomous female self-sexualisation admits of degrees of self-consciousness and articulacy. At the same time, such self-sexualisation takes place within gendered social structures, with consequences that legitimate the reinvocation of Second Wave motifs such as the commodification of female sexuality and the privileging of precise images of female sexuality. (shrink)

Lacking in the philosophy of sport is discussion of the gendered numbers of sets played in Grand Slam tennis. We argue that the practice is indefensible. It can be upheld only through false beliefs about women or repressive femininity ideals. It treats male tennis players unfairly in forcing them to play more sets because of their sex. Its ideological consequences are pernicious, since it reinforces the respective identifications of the female and male with physical limitation and heroism. Both sexes have (...) compelling reason to reject the practice. (shrink)

The ninth-century Irish philosopher, theologian, and speculative grammarian Eriugena invented a number of words, chiefly in order to accommodate Greek terms in Latin. Filiolitas or “sonship” was one of these and a particularly distinctive new word, which almost no one but Eriugena seems to have used. Indeed it appears in all the works ascribed to him and serves both as a word for adoptive sonship in a theological context and as a relative noun in grammatical references. The appearance of the (...) word in a letter of King Charles the Bald may also suggest Eriugena’s authorship of that letter. (shrink)

The ninth-century Irish philosopher, theologian, and speculative grammarian Eriugena invented a number of words, chiefly in order to accommodate Greek terms in Latin. Filiolitas or “sonship” was one of these and a particularly distinctive new word, which almost no one but Eriugena seems to have used. Indeed it appears in all the works ascribed to him and serves both as a word for adoptive sonship in a theological context and as a relative noun in grammatical references. The appearance of the (...) word in a letter of King Charles the Bald may also suggest Eriugena’s authorship of that letter. (shrink)

When behaviours or character traits match sociocultural expectation, heteronomy is a natural suspicion. A further natural suspicion is that the behaviours or character traits are unhealthy for the agent or for objectives of social justice and liberation. Second Wave feminism therefore includes a robust narrative of unease about female self-sexualisation. Third Wave feminism has more upbeat narratives of the latter, in terms of confidence and empowerment. The preceding tension is refracted through cases such as Ronda Rousey and ‘derby girls’, as (...) well as those of many less ostentatious women. It is argued that such self-sexualisation can be autonomous as opposed to heteronomous. It is argued, furthermore, that it is not a priori unhealthy for the agent and that autonomous female self-sexualisation admits of degrees of self-consciousness and articulacy. At the same time, such self-sexualisation takes place within gendered social structures, with consequences that legitimate the reinvocation of Second Wave motifs such as the commodification of female sexuality and the privileging of precise images of female sexuality. (shrink)

"A wild and exuberant romp through the terrain of the monstrous . . . Oppenheimer's lucid explanations are the perfect antidotes to the sordid scenes he recreates." -American Book Review "A masterly and original study of one of the most frightening topics with which human beings have to struggle." -Literary Review "What is compelling, different and page-turning about this impressive book is that the author analyses evil through the medium of films and literature . . . Cinema buffs will find (...) it a fascinating read." -Evening Standard The notion of evil- does it exist? what forms does it take? -has always fascinated humankind. The evil underlying such atrocities as the Holocaust, Communist China's Tibetan abattoir, and the murderous ethnic cleansing undertaken by the Serbs and Croats seems beyond explanations or analysis. In this powerfully original work, Oppenheimer analyzes the phenomenon of evil in a mental behavior that emerges in particular conditions. Oppenheimer argues that evil contains specific, predictable ingredients. By understanding its nature, we can diagnose its specific manifestations in mass murder, genocide, and serial killings. Utilizing a variety of cinematic and literary genres in developing its evidence, the book considers such familiar films as The Silence of the Lambs and Brazil , and draws upon such literary works as Richard III, Oedipus the King and the Picture of Dorian Gray. Evil and the Demonic takes a bold first step, providing a framework in which to place the horrors of human existence. (shrink)

ABSTRACT The target article uses the metaphysics of properties to make its meta-ethical claims. This comment discusses two general points in the metaphysics of properties. The first point has to do with the conditions for property identity. Philosophers who accept the existence of properties have proposed a variety of criteria for their identity. The standard Broome applies is medium coarse. Other standards for property identity could be evaluated for their appropriateness for addressing questions in the metaphysics of ethics. Use of (...) a formalized theory of properties might help in such an evaluation. The second point has to do with Broome’s suggestion of a distinction between a property and a reified property. A suggestion will be offered for a range of ways such a distinction could be filled out using the resources of a formalized theory of properties and objects. Objects will be proposed that could serve as Broome’s reified properties. (shrink)

Carrier in a recent paper urges for consideration an argument for skepticism which is based on premises one of which in turn is to be defended by yet another principle (the "Janus Principle" of the text). We feel that the latter principle and the way Carrier wants to use it to defend his skeptical argument will find adherents, but we show that this argument rests on an interesting equivocation quite beyond repair even if we accept the "Janus Principle".

La théorie traditionnelle des concepts étant classificatoire, ne comprend qu’une partie des formes de notre pensée. Comme complément nécessaire, l’auteur met en relief l’importance d’une catégorie de concepts qu’il propose de dénommer « concepts ordinateurs », parce qu’ils déterminent un certain ordre des objets de leur domaine d’application. Leur structure logique est élucidée par la théorie logistique des relations. L’auteur compare les avantages et les désavantages des deux formes de pensée et explique les raisons pour lesquelles une tendance à favoriser (...) les concepts ordinateurs correspond au progrès de notre connaissance. (shrink)