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)

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)

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)

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)

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)

© 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)

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)

Originally published in 1971 by Winthrop Publishers, Inc., this volume provides a discussion and analysis of the theory of natural law as it appears in contemporary political and social thought. This theory of natural law was used from the fifth century B.C. until the end of the eighteenth century to provide a universal, rational standard to determine the nature and limits of political obligation, the evaluation of competing forms of government, and the relation of law and politics to morals.

Religion, reason, and the enchanted public sphere -- Minor protest(ant)s: Cohen and German-Jewish liberalism -- The dialectic of enchantment: science, religion, and secular reasoning -- Rights, religion, and race: Cohen's ethical socialism and the specter of anti-Semitism -- Enchanted reasoning: self-reflexive religion and minority -- Some minor reflections of enchantment.

At the end of the nineteenth century, Ludwig Edinger completed the first comparative survey of the microscopic anatomy of vertebrate brains. He is regarded as the founder of the field of comparative neuroanatomy. Modern commentators have misunderstood him to have espoused an anti-Darwinian linear view of brain evolution, harkening to the metaphysics of the scala naturae. This understanding arises, in part, from an increasingly contested view of nineteenth-century morphology in Germany. Edinger did espouse a progressionist, though not strictly linear, view (...) of forebrain evolution, but his work also provided carefully documented evidence that brain stem structures vary in complexity independently from one another and across species in a manner that is not compatible with linear progress. This led Edinger to reject progressionism for all brain structures other than the forebrain roof, based on reasoning not too dissimilar from those his successors used to dismiss it for the forebrain roof. (shrink)

The development of evolutionary approaches to psychology from Classical Ethology through Sociobiology to Evolutionary Psychology is outlined and the main tenets of today's Evolutionary Psychology briefly examined: the heuristic value of evolutionary thinking for psychology, the massive modularity thesis and the monomorphic mind thesis.

The sociotechnical domain is the realm of scientists, the communities and institutions they form, and the tools and instruments they use to create, disseminate, and preserve knowledge. This paper reviews current scientonomic theory concerning this domain. A core scientonomic concept is that of an epistemic agent. Generally, an agent is an entity capable of intentional action—action that has content or meaning due to its purposeful direction towards a goal. An epistemic agent is one whose actions are the taking of epistemic (...) stances, such as acceptance or rejection, towards epistemic elements, like theories or questions. An epistemic agent must semantically understand the propositions in question, and their alternatives, and choose among them with reason, with the motive of acquiring knowledge. The most obvious example of an epistemic agent is an individual human being. Rejecting the network of practitioners view, current scientonomic theory argues that appropriately organized communities of scientists can also function as epistemic agents. Communal epistemic agents are of particular scientonomic importance. Whereas the methods of theory assessment of individual scientists can be idiosyncratic, scientonomic theory contends that the taking of epistemic stances by scientific communities is a lawful, rule governed process. A second concept of central importance is that of an epistemic tool. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge under the method employed by that agent. (shrink)

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?

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

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)

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)

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)

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)

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)

Human experts are the source of knowledge required to develop computer systems that perform at an expert level. Human beings are not, however, able to reliably express what they know. As a result, experts often develop non-authentic accounts of their own expertise. These accounts, here termed reconstructed methods of reasoning, lead to computer systems that perform at a high level of proficiency but have the disadvantage that they often do not reflect the heuristics and processing constraints of a system user. (...) Reconstructed methods of reasoning are compared with authentic methods derived from the study of expert human behavior. Tests are proposed to establish the authenticity of reasoning methods and examples from medical diagnosis are used to illustrate how authentic methods of reasoning can be incorporated into an expert computer system. CiteULike Connotea Del.icio.us What's this? (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)

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)

I defend the view that many biological categories are defined by homology against a series of arguments designed to show that all biological categories are defined, at least in part, by selected function. I show that categories of homology are `abnormality inclusive'—something often alleged to be unique to selected function categories. I show that classifications by selected function are logically dependent on classifications by homology, but not vice-versa. Finally, I reject the view that biologists must use considerations of selected function (...) to abstract away from variation and pathology to form a canonical description of a class of biological systems. (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)

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)