Much of the formal study of algorithmic concerns with respect to semantics for abstract argumentation frameworks has focused on the issue of computational complexity. In contrast matters regarding computability have been largely neglected. Recent trends in semantics have, however, started to concentrate not so much on the formulation of novel semantics but more on identifying common properties: for example, from basic ideas such as conflict-freeness through to quite sophisticated ideas such as serializability. The aim of this paper is to look (...) at the implications these more recent studies have for computability rather than computational complexity. (shrink)

Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation (...) between QCGs and interpretations for CL, which defines the circumstances under which a CL interpretation correctly characterises a QCG. The complexity of deciding correspondence between QCGs and interpretations for CL is shown to vary from being tractable up to Πp 2-complete, depending on the representation chosen for the QCG and interpretation. We then show how various properties and solution concepts of QCGs can be characterised as CL formula schemes. The ideas are illustrated via a detailed worked example, in which we demonstrate how a model checker can be deployed to investigate whether a particular system has the properties in question. (shrink)

The analysis of how social conventions emerge and become established is rightly viewed as a significant study of great relevance to models of legal and social systems. Such conventions, however, do not operate in a monotonic fashion, i.e. the fact that a convention is recognised and complied with at some instant is no guarantee it will continue to be so indefinitely. In total rules and protocols may evolve, with or without the consent of individual members of the society, even to (...) the extent that some cease to be observed or effective. In this paper we examine a framework for examining such changes in behavioural conventions that uses a proposed “taxonomy of social conventions” as the basis of a qualitative model deriving from value-based argument systems. (shrink)

The concept of strong admissibility plays an important role in dialectical proof procedures for grounded semantics allowing, as it does, concise proofs that an argument belongs to the grounded extension without having necessarily to construct this extension in full. One consequence of this property is that strong admissibility ceases to be a unique status semantics. In fact it is straightforward to construct examples for which the number of distinct strongly admissible sets is exponential in the number of arguments. We are (...) interested in characterizing properties of collections of strongly admissible sets in the sense that any system describing the strongly admissible sets of an argument framework must satisfy particular criteria. In terms of previous studies, our concern is the signature and with conditions ensuring realizability. The principal result is to demonstrate that a system of sets describes the strongly admissible sets of some framework if and only if that system has the property of being decomposable. (shrink)

Background Since the UK Abortion Act (1967), women have travelled from Ireland to the UK for legal abortion. In 2011 >4000 women did so. Knowledge and attitudes of medical students towards abortion have been published, however, this is the first such report from Ireland. Objective To investigate medical students’ attitudes towards abortion in Ireland. Methods All medical students at the University of Limerick, and physicians who graduated from the university within the previous 12 months, were invited via email to complete (...) an anonymous online survey. The questionnaire comprised 17 questions. Quantitative and qualitative analyses were performed. Results Response rate was 45% (n=169; 55% women; 88.2% <30 years of age; 66.7% Irish; 29.2% North American). Outcomes were: abortion should not be legally available (7.1%), abortion should be allowed in limited circumstances only (35.5%), abortion should be legally available upon request (55%). 72.8% of respondents were moderately/strongly prochoice (74% of women/71% of men/72% and 76% of Irish and North American respondents, respectively). Students aged >30 years were less likely to be prochoice (55%). While 95.2% believed that education on abortion should be offered within medical school curricula, 28.8% stated that they would decline to terminate pregnancies even if legally permitted. While 58.8% indicated that they might perform legal abortions once qualified, 25.7% would do so under limited circumstances only. Conclusions The majority of participants wanted education regarding abortion. Despite being predominantly prochoice, considerably fewer students, irrespective of nationality, indicated that they would perform abortions. (shrink)

The incident at Antioch described in Galatians 2:11–14 features in a number of Augustine’s works: Expositio epistulae ad Galatas, his correspondence with Jerome, De mendacio, Sermo 162C, and in De baptismo contra Donatistas. While a few scholars have seen Augustine’s anti-Donatism as a driving force behind all his comments about this encounter between Peter and Paul, this article argues that, while the idea of Peter’s humility is to be found in his commentary, the sermon, one of the letters, and (...) the treatises, Augustine interpreted the scriptural passage in a variety of different ways, depending upon his situation. In the commentary, Augustine wanted to defend the reality of the argument between Peter and Paul because of his belief that scriptural authors would not lie. The same idea occurs in his letters, e.g., Epistula 82, where he adds that his interpretation was supported by Cyprian. Contrary to the aforementioned scholars, it is only in De baptismo that Augustine applies the Galatians passage, which he takes as referring to Peter’s humility, to Cyprian himself as an imitator of Peter. Thus, it is only in this treatise that Augustine seeks to redeem Cyprian from the clutches of the Donatists. A close reading of this variety of interpretation by Augustine contributes to an appreciation of the complexity of his reception of Cyprian, a topic of ever-increasing importance in Augustinian studies. (shrink)

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

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

Philosophers and historians of biology have argued that genes are conceptualized differently in different fields of biology and that these differences influence both the conduct of research and the interpretation of research by audiences outside the field in which the research was conducted. In this paper we report the results of a questionnaire study of how genes are conceptualized by biological scientists at the University of Sydney, Australia. The results provide tentative support for some hypotheses about conceptual differences between different (...) fields of biological research. (shrink)

Paul E. Meehl and B. F. Skinner, two of the foremost psychological theorists of the 20th century, overlapped at the University of Minnesota in the early 1940s when Skinner was a faculty member and Meehl was a graduate student. Though Skinner was well aware of, and influenced by, early 20th century physiology, he eschewed reductionism, developing his analysis of behavior without reference to concepts at another level of analysis. Meehl's theoretical approach transcended levels of analysis, drawing upon data and (...) concepts from genetics, neuroscience, and psychology. In this paper the functional components of Meehl's (1990) "Toward an Integrated Theory of Schizotaxia, Schizotypy, and Schizophrenia" paper are re-formulated substituting autism as the condition of interest. Skinner's and Meehl's theoretical frameworks are integrated with recent findings in genetics and neuroscience in an attempt to better understand the reasons why Intensive Early Behavior Therapy (IEBT) provided to children with Autism Spectrum Disorders produces enduring improvements in social, language, and cognitive functioning. (shrink)

The Contradictions of Jazz examines four pairs of opposites in jazz-freedom and responsibility, creativity and tradition, individualism and interconnectedness, and assertion and openness-and explores their position and presence in jazz to create a humanistic and existential view of the genre.

The emerging discipline of evolutionary developmental biology has opened up many new lines of investigation into morphological evolution. Here I explore how two of the core theoretical concepts in ‘evo-devo’ – modularity and homology – apply to evolutionary psychology. I distinguish three sorts of module – developmental, functional and mental modules and argue that mental modules need only be ‘virtual’ functional modules. Evolutionary psychologists have argued that separate mental modules are solutions to separate evolutionary problems. I argue that the structure (...) of developmental modules in an organism helps determine what counts as a separate evolutionary problem for that organism. I suggest that homology as an organizing principle for research in evolutionary psychology, has been severely neglected in favor of analogy (adaptive function). I consider some arguments suggesting that determining homology is less epistemically demanding than determining adaptive function and argue that psychological categories defined by homology are, in fact, more suitable objects of psychological – and particularly neuropsychological – investigation than categories defined by analogy. (shrink)

Developmental systems theory is an attempt to sum up the ideas of a research tradition in developmental psychobiology that goes back at least to Daniel Lehrman’s work in the 1950s. It yields a representation of evolution that is quite capable of accommodating the traditional themes of natural selection and also the new results that are emerging from evolutionary developmental biology. But it adds something else - a framework for thinking about development and evolution without the distorting dichotomization of biological processes (...) into gene and non-gene and the vestiges of the ‘black-boxing’ of developmental processes in the modern synthesis, such as the asymmetric use of the concept of information. Phenomena that are marginalized in current gene-centric conceptions, such as extra-genetic inheritance, niche construction and phenotypic plasticity are placed center stage. (shrink)

Genetic determinism is the idea that many significant human characteristics are rendered inevitable by the presence of certain genes. The psychologist Susan Oyama has famously compared arguing against genetic determinism to battling the undead. Oyama suggests that genetic determinism is inherent in the way we currently represent genes and what genes do. As long as genes are represented as containing information about how the organism will develop, they will continue to be regarded as determining causes no matter how much evidence (...) exists to the contrary. Philip Kitcher has strongly disputed Oyama’s diagnosis, arguing that the conventional ‘interactionist’ perspective on development is the correct framework for understanding the role of the genes in development. While acknowledging the legitimacy of many of Kitcher’s observations, I believe that Oyama’s view is substantially correct. In this paper I provide several lines of support for support the Oyama diagnosis. (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 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)

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)