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)

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)

© 2017. The American Astronomical Society. All rights reserved.We present new observations of the low-mass companion to HD 984 taken with the Gemini Planet Imager as a part of the GPI Exoplanet Survey campaign. Images of HD 984 B were obtained in the J and H bands. Combined with archival epochs from 2012 and 2014, we fit the first orbit to the companion to find an 18 au orbit with a 68% confidence interval between 14 and 28 au, an eccentricity (...) of 0.18 with a 68% confidence interval between 0.05 and 0.47, and an inclination of 119°with a 68% confidence interval between 114°and 125°. To address the considerable spectral covariance in both spectra, we present a method of splitting the spectra into low and high frequencies to analyze the spectral structure at different spatial frequencies with the proper spectral noise correlation. Using the split spectra, we compare them to known spectral types using field brown dwarf and low-mass star spectra and find a best-fit match of a field gravity M6.5 ±1.5 spectral type with a corresponding temperature of K. Photometry of the companion yields a luminosity of log=2.88 ± 0.07 dex with DUSTY models. Mass estimates, again from DUSTY models, find an age-dependent mass of 34 ±1 to 95 ±4 M Jup. These results are consistent with previous measurements of the object. (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)

Like a number of other authors, Miller uses the term “emergent” interchangeably with “unpredictable” and employs it as a property term, i.e., in contexts of the form “Event E is emergent.” As we showed in our article, however, predictability and unpredictability as well as emergence are relations; they can be predicated of an event only relatively to some body of information. Thus, a lunar eclipse is predictable by means of information including data on the locations and speeds, at some particular (...) time, of the celestial bodies involved, and the laws of celestial mechanics plus certain principles of optics; it is unpredictable on the basis of, say, alone. Consequently, the phrase “Event E is unpredictable” is incomplete, and hence meaningless, in much the same sense as the expression “Straight line l is parallel.” Similar observations apply to the term “emergent,” which is frequently used to characterize events which, in a sense examined in detail in our article, are not explainable by a micro-structure theory. (shrink)

Most commentators supported the thesis of the target article, though there were also those who were less fully persuaded. I will begin with a response to the most critical commentaries. First, I will justify an evolutionary perspective that includes group organization and nongenetic inheritance. Next, I will discuss the concept of emergence. Following that, I will transition to an exploration of ideas and concerns brought up by some of the more supportive commentators. This will include a discussion of different types (...) of groups; the psychology of group-level traits; the uses and limitations of an institutional perspective; the link between transmission, adaptation, and selection; current and future methodologies; and the variety of fields that may benefit from a group-level traits perspective. (shrink)

The writings of al-Ghazālī give the distinct impression that he was highly concerned with the threat the Ismailis and their doctrines posed. By his own admission, he wrote six separate treatises to refute and condemn them, most importantly his Faḍāʾiḥ al-bāṭiniyya, which he composed in the year 488h in the months prior to his renunciation of government service and departure from Baghdad. His attack focused on the doctrine known as taʿlīm, with its insistence on the unrivaled absolute authority of a (...) single infallible Imam. He had in mind the Alamut teaching by Ḥasan-i Ṣabbāḥ of a doctrine then widely advocated in the Abbasid–Seljuk East. Significantly, there is no sign of this term used in this manner in the western Fatimid domains either earlier or later. However, our knowledge of events in the career of Ḥasan and of his teachings come from much later sources and are in part legendary at best. Although the doctrine of taʿlīm was certainly implicit in Ismaili works long before, in this particular work al-Ghazālī directed his attentions squarely against a new teaching he encountered personally in his own time and place. But we know it otherwise primarily from accounts recorded much later, in particular al-Shahrastānī’s al-Milal wa-l-niḥal. (shrink)

Paul E. Griffiths argues that most research on the emotions has been as misguided as Aristotelian efforts to study "superlunary objects" - objects...

What are the characteristics to be included in a fruitful definition of democracy? More important still, which of the features commonly considered democratic had better be excluded from the dinning characteristics?

The Ikhwan al-Safa (Brethren of Purity), the anonymous adepts of a tenth-century esoteric fraternity based in Basra and Baghdad, hold an eminent position in the history of science and philosophy in Islam due to the wide reception and assimilation of their monumental encyclopaedia, the Rasa'il Ikhwan al-Safa (Epistles of the Brethren of Purity). This compendium contains fifty-two epistles offering synoptic accounts of the classical sciences and philosophies of the age; divided into four classificatory parts, it treats themes in mathematics, logic, (...) natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables. Epistles 32 to 36 comprise the first five treatises in the third division of the Rasa'il, on the sciences of the soul and intellect. Combining Islamic revelation with Hellenistic philosophy, the Ikhwan delineate herein their metaphysical system. Epistles 32 and 33 present adaptations of the Pythagorean doctrines, and of Neo-Platonist leitmotifs, whereby a numerical analogy is applied to the unique and transcendent God, or the One, from whom all existence emanates. Epistle 34 takes up the pervasive theme of the correspondence between microcosm and macrocosm, situating the human being as the central link between the celestial and terrestrial realms. In Epistle 35, we find an explanation of the intellectual faculties of the individual human soul, whose ultimate aim is ascension to the timeless reality of pure intellect. Finally, Epistle 36 presents itself as the astrological epistle par excellence of the Rasa'il; from the coming-to-be of worms, to the emergence of religions and empires, nothing in the sub-lunar sphere escapes the determining influence of the celestial cycles. (shrink)

Because physical theories typically predict numerical values, an improvement in experimental precision reduces the tolerance range and hence increases corroborability. In most psychological research, improved power of a statistical design leads to a prior probability approaching 1/2 of finding a significant difference in the theoretically predicted direction. Hence the corroboration yielded by "success" is very weak, and becomes weaker with increased precision. "Statistical significance" plays a logical role in psychology precisely the reverse of its role in physics. This problem is (...) worsened by certain unhealthy tendencies prevalent among psychologists, such as a premium placed on experimental "cuteness" and a free reliance upon ad hoc explanations to avoid refutation. (shrink)

Some ‘naturalist’ accounts of disease employ a biostatistical account of dysfunction, whilst others use a ‘selected effect’ account. Several recent authors have argued that the biostatistical account offers the best hope for a naturalist account of disease. We show that the selected effect account survives the criticisms levelled by these authors relatively unscathed, and has significant advantages over the BST. Moreover, unlike the BST, it has a strong theoretical rationale and can provide substantive reasons to decide difficult cases. This is (...) illustrated by showing how life-history theory clarifies the status of so-called diseases of old age. The selected effect account of function deserves a more prominent place in the philosophy of medicine than it currently occupies. _1_ Introduction _2_ Biostatistical and Selected Effect Accounts of Function _3_ Objections to the Selected Effect Account _3.1_ Boorse _3.2_ Kingma _3.3_ Hausman _3.4_ Murphy and Woolfolk _4_ Problems for the Biostatistical Account _4.1_ Schwartz _5_ Analysis versus Explication _6_ Explicating Dysfunction: Life History Theory and Senescence _7_ Conclusion. (shrink)

In behavioral ecology some authors regard the innateness concept as irretrievably confused whilst others take it to refer to adaptations. In cognitive psychology, however, whether traits are 'innate' is regarded as a significant question and is often the subject of heated debate. Several philosophers have tried to define innateness with the intention of making sense of its use in cognitive psychology. In contrast, I argue that the concept is irretrievably confused. The vernacular innateness concept represents a key aspect of 'folkbiology', (...) namely, the explanatory strategy that psychologists and cognitive anthropologists have labeled 'folk essentialism'. Folk essentialism is inimical to Darwinism, and both Darwin and the founders of the modern synthesis struggled to overcome this way of thinking about living systems. Because the vernacular concept of innateness is part of folkbiology, attempts to define it more adequately are unlikely to succeed, making it preferable to introduce new, neutral terms for the various, related notions that are needed to understand cognitive development. (shrink)

Several authors have argued that causes differ in the degree to which they are ‘specific’ to their effects. Woodward has used this idea to enrich his influential interventionist theory of causal explanation. Here we propose a way to measure causal specificity using tools from information theory. We show that the specificity of a causal variable is not well-defined without a probability distribution over the states of that variable. We demonstrate the tractability and interest of our proposed measure by measuring the (...) specificity of coding DNA and other factors in a simple model of the production of mRNA. (shrink)

The etiological approach to ‘proper functions’ in biology can be strengthened by relating it to Robert Cummins' general treatment of function ascription. The proper functions of a biological trait are the functions it is assigned in a Cummins-style functional explanation of the fitness of ancestors. These functions figure in selective explanations of the trait. It is also argued that some recent etiological theories include inaccurate accounts of selective explanation in biology. Finally, a generalization of the notion of selective explanation allows (...) an analysis of the proper functions of human artifacts. (shrink)

Donation after cardiac death (DCD) is associated with many problems, including ischemic injury, high rates of delayed allograft function, and frequent organ discard. Furthermore, many potential DCD donors fail to progress to asystole in a manner that would enable safe organ transplantation and no organs are recovered. DCD protocols are based upon the principle that the donor must be declared dead prior to organ recovery. A new protocol is proposed whereby after a donor family agrees to withdrawal of life-sustaining treatments, (...) premortem nephrectomy is performed in advance of end-of-life management. Since nephrectomy should not cause the donor's death, this approach satisfies the dead donor rule. The donor family's wishes are best met by organ donation, successful outcomes for the recipients, and a dignified death for the deceased. This proposal improves the likelihood of achieving these objectives. (shrink)

Many of the most important properties of human groups – including properties that may give one group an evolutionary advantage over another – are properly defined only at the level of group organization. Yet at present, most work on the evolution of culture has focused solely on the transmission of individual-level traits. I propose a conceptual extension of the theory of cultural evolution, particularly related to the evolutionary competition between cultural groups. The key concept in this extension is the emergent (...) group-level trait. This type of trait is characterized by the structured organization of differentiated individuals and constitutes a unit of selection that is qualitatively different from selection on groups as defined by traditional multilevel selection theory. As a corollary, I argue that the traditional focus on cooperation as the defining feature of human societies has missed an essential feature of cooperative groups. Traditional models of cooperation assume that interacting with one cooperator is equivalent to interacting with any other. However, human groups involve differential roles, meaning that receiving aid from one individual is often preferred to receiving aid from another. In this target article, I discuss the emergence and evolution of group-level traits and the implications for the theory of cultural evolution, including ramifications for the evolution of human cooperation, technology, and cultural institutions, and for the equivalency of multilevel selection and inclusive fitness approaches. (shrink)

In earlier work I have claimed that emotion and some emotions are not `natural kinds'. Here I clarify what I mean by `natural kind', suggest a new and more accurate term, and discuss the objection that emotion and emotions are not descriptive categories at all, but fundamentally normative categories.

It is unreasonable to assume that our pre-scientific emotion vocabulary embodies all and only those distinctions required for a scientific psychology of emotion. The psychoevolutionary approach to emotion yields an alternative classification of certain emotion phenomena. The new categories are based on a set of evolved adaptive responses, or affect-programs, which are found in all cultures. The triggering of these responses involves a modular system of stimulus appraisal, whose evoluations may conflict with those of higher-level cognitive processes. Whilst the structure (...) of the adaptive responses is innate, the contents of the system which triggers them are largely learnt. The circuits subserving the adaptive responses are probably located in the limbic system. This theory of emotion is directly applicable only to a small sub-domain of the traditional realm of emotion. It can be used, however, to explain the grouping of various other phenomena under the heading of emotion, and to explain various characteristic failings of the pre-scientific conception of emotion. (shrink)

A number of philosophers and ‘evolutionary psychologists’ have argued that attacks on adaptationism in contemporary biology are misguided. These thinkers identify anti-adaptationism with advocacy of non-adaptive modes of explanation. They overlook the influence of anti-adaptationism in the development of more rigorous forms of adaptive explanation. Many biologists who reject adaptationism do not reject Darwinism. Instead, they have pioneered the contemporary historical turn in the study of adaptation. One real issue which remains unresolved amongst these methodological advances is the nature of (...) ‘phylogenetic inertia’. To what extent is an adaptive explanation needed for the persistence of a trait as well as its origin? (shrink)

Kenneth C. Schaffner's paper is an important contribution to the literature on behavioral genetics and on genetics in general. Schaffner has a long record of injecting real molecular biology into philosophical discussions of genetics. His treatments of the reduction of Mendelian to molecular genetics first drew philosophical attention to the problems of detail that have fuelled both anti-reductionism and more sophisticated models of theory reduction. An injection of molecular detail into discussions of genetics is particularly necessary at the present time, (...) when so many philosophers seem happy to discuss the philosophical and ethical implications of molecular biology using gene concepts derived from evolutionary biology ). Schaffner has long advocated the view that the philosophy of biology should be more than the philosophy of evolution. This paper shows how radically a picture of gene action derived from molecular biology undercuts the popular picture associated with a more evolutionary view of genes as units of heredity or as ‘difference-makers’ mediated by the ‘black box’ of development. (shrink)

This article examines and rejects the claim that 'innateness is canalization'. Waddington's concept of canalization is distinguished from the narrower concept of environmental canalization with which it is often confused. Evidence is presented that the concept of environmental canalization is not an accurate analysis of the existing concept of innateness. The strategy of 'biologicizing the mind' by treating psychological or behavioral traits as if they were environmentally canalized physiological traits is criticized using data from developmental psychobiology. It is concluded that (...) identifying innateness with environmental canalization can only result in adding unhelpful associations from 'folkbiology' to the relatively precise idea of canalization. (shrink)

Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like those of other animals, why suppose that the beliefs they produce are true, rather than merely useful? In this chapter we apply this argument to beliefs in three different domains: morality, religion, and science. We identify replies to evolutionary scepticism that work in some domains but not in others. The simplest reply to evolutionary scepticism is that the truth of beliefs (...) in a certain domain is, in fact, connected to evolutionary success, so that evolution can be expected to design systems that produce true beliefs in that domain. We call a connection between truth and evolutionary success a ‘Milvian bridge’, after the tradition which ascribes the triumph of Christianity at the battle of the Milvian bridge to the truth of Christianity. We argue that a Milvian bridge can be constructed for commonsense beliefs, and extended to scientific beliefs, but not to moral and religious beliefs. An alternative reply to evolutionary scepticism, which has been used defend moral beliefs, is to argue that their truth does not depend on their tracking some external state of affairs. We ask if this reply could be used to defend religious beliefs. (shrink)

The Developmental Systems approach to evolution is defended against the alternative extended replicator approach of Sterelny, Smith and Dickison (1996). A precise definition is provided of the spatial and temporal boundaries of the life-cycle that DST claims is the unit of evolution. Pacé Sterelny et al., the extended replicator theory is not a bulwark against excessive holism. Everything which DST claims is replicated in evolution can be shown to be an extended replicator on Sterelny et al.s definition. Reasons are given (...) for scepticism about the heuristic value claimed for the extended replicator concept. For every competitive, individualistic insight the replicator theorist has a cooperative, systematic blindspot. (shrink)

We outline three very different concepts of the gene—instrumental, nominal, and postgenomic. The instrumental gene has a critical role in the construction and interpretation of experiments in which the relationship between genotype and phenotype is explored via hybridization between organisms or directly between nucleic acid molecules. It also plays an important theoretical role in the foundations of disciplines such as quantitative genetics and population genetics. The nominal gene is a critical practical tool, allowing stable communication between bioscientists in a wide (...) range of fields grounded in well-defined sequences of nucleotides, but this concept does not embody major theoretical insights into genome structure or function. The post-genomic gene embodies the continuing project of understanding how genome structure supports genome function, but with a deflationary picture of the gene as a structural unit. This final concept of the gene poses a significant challenge to conventional assumptions about the relationship between genome structure and function, and between genotype and phenotype. (shrink)

The historian Raphael Falk has described the gene as a ‘concept in tension’ (Falk 2000) – an idea pulled this way and that by the differing demands of different kinds of biological work. Several authors have suggested that in the light of contemporary molecular biology ‘gene’ is no more than a handy term which acquires a specific meaning only in a specific scientific context in which it occurs. Hence the best way to answer the question ‘what is a gene’, and (...) the only way to provide a truly philosophical answer to that question is to outline the diversity of conceptions of the gene and the reasons for this diversity. In this essay we draw on the extensive literature in the history of biology to explain how the concept has changed over time in response to the changing demands of the biosciences . Finally, we outline some of the conceptions of the gene current today. The seeds of change are implicit in many of those current conceptions and the future of the gene concept looks set to be at as turbulent as the past. (shrink)