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)

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)

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.

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)

In Nicomachean Ethics 2.1, Aristotle draws a now familiar analogy between aretai ('virtues') and technai ('skills'). The apparent basis of this comparison is that both virtue and skill are developed through practice and repetition, specifically by the learner performing the same kinds of actions as the expert: in other words, we become virtuous by performing virtuous actions. Aristotle’s claim that “like states arise from like activities” has led some philosophers to challenge the virtue-skill analogy. In particular, Aristotle’s skill analogy is (...) sometimes dismissed because of the role that practical wisdom or phronesis purportedly plays in character virtue. In this paper, I argue that a proper understanding of character virtue, phantasia-based emotions, and Aristotle’s implicit distinction between habituated and strict or full virtue (aretè kuria) grounds his virtue-skill analogy. Character virtue stems from the non-rational orektikon and is developed through the habituation of passionate elements, primarily phantasia and pathé. Pathé are pleasurable or affective perceptions, not judgments or beliefs. Thus, pathé are subject to non-rational habituation. Practical wisdom, on the other hand, is an intellectual virtue stemming from the rational part of the soul. Though practical wisdom is necessary for full virtue (aretè kuria), it is not necessary for the habituated character virtue that Aristotle refers in Book II. Once we understand the phantastic basis of emotions and the distinction between habituated and full virtue, the virtue-skill analogy is apt. I conclude by briefly mentioning two contemporary forms of emotion regulation—cognitive reappraisal and cognitive behavioral therapy—that lend support from empirical psychology to Aristotle’s claim that emotions (pathé) can be habituated. Character virtue is indeed a skill; it is—at least in part—the skill of emotion regulation. (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?

This book discusses ethical behavior through the genocidal stages of the Holocaust. Paul E. Wilson first looks at the antisemitism in Germany and Europe beginning in the decades preceding the Nazis reign of terror, and goes on to discuss the ethical decisions made in the initial stages that moved society toward genocide. The author maintains that the stages of genocide represent subtle changes that can be happening within a society in response to the moral choices made by actors. By (...) giving attention to the stages of genocide in the Holocaust, this book contributes to the overall understanding of how the Holocaust was possible, and encourages the moral community to join the watch for the development of genocide in the modern world. (shrink)

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

Statistical procedures can be applied to episodes in the history of science in order to weight attributes to predict short-term survival of theories; an asymptotic method is used to show that short-term survival is a valid proxy for ultimate survival; and a theoretical argument is made that ultimate survival is a valid proxy for objective truth. While realists will appreciate this last step, instrumentalists do not need it to benefit from the actuarial procedures of cliometric metatheory. Introduction A plausible proxy (...) for Peircean consensus Assessing the validity of theory attributes as predictors of theory survival 3.1 Linear discriminant function 3.2 Factor analysis 3.3 Taxometric analysis Verisimilitude index Satisfying both instrumentalists and realists Recapitulation Implementation of cliometric metatheory * Correspondence about this article may be addressed to Leslie Yonce at pemeehle{at}umn.edu' + u + '@' + d + ''//--> This article had been completed by Paul Meehl at the time of his death on 14 February 2003. His wife, Leslie J. Yonce, is grateful to Keith Gunderson (University of Minnesota, Center for Philosophy of Science) and Niels G. Waller (Psychology Department, Vanderbilt University) for advice with some final editing details. (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)

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

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)

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)

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)

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.

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)