In this paper we define the concept of a system function language which is a language generated by a system function. We identify system function languages with recursively enumerable sets which are non-simple and co-infinite. We then define restricted system function languages and identify them with recursive sets which are co-infinite. Finally we state and prove some independence and dependence relationships between system function languages and some of the more well-known decision problems. MSC: 03D05, 03D20, 03D25.

"Consists basically of medical prayers, oaths, pledges, ethical aphorisms and codes, and covenants of physicians throughout the ages, in various civilizations."--Intro. Published 1973.

Will understanding our brains help us to know our minds? Or is there an unbridgeable distance between the work of neuroscience and the workings of human consciousness? In a remarkable exchange between neuroscientist Jean-Pierre Changeux and philosopher Paul Ricoeur, this book explores the vexed territory between these divergent approaches--and comes to a deeper, more complex perspective on human nature.Ranging across diverse traditions, from phrenology to PET scans and from Spinoza to Charles Taylor, What Makes Us Think? revolves around a central (...) issue: the relation between the facts of science and the prescriptions of ethics. Changeux and Ricoeur ask: Will neuroscientific knowledge influence our moral conduct? Is a naturally based ethics possible? Pursuing these questions, they attack key topics at the intersection of philosophy and neuroscience: What are the relations between brain states and psychological experience? Between language and truth? Memory and culture? Behavior and action? What is a mental representation? How does a sign relate to what it signifies? How might subjective experience be constructed rather than discovered? And can biological or cultural evolution be considered progressive? Throughout, Changeux and Ricoeur provide unprecedented insight into what neuroscience can--and cannot--tell us about the nature of human experience.Changeux and Ricoeur bring an unusual depth of engagement and breadth of knowledge to each other's subject. In doing so, they make two often hostile disciplines speak to one another in surprising and instructive ways--and speak with all the subtlety and passion of conversation at its very best. (shrink)

From pre-Christian times until the present day, philosophers have discussed whether, given evil, belief in God can logically be maintained. Theists and non-theists remain unconvinced by one another's arguments. This study re-examines the question of God and evil from a neutral standpoint and claims that neither side has come to adequate grips either with the question itself or with the other side's case, chiefly because of failure to distinguish the kinds of problem raised by evil.

Sometimes metaphysicians appeal to simplicity as a reason to prefer one metaphysical theory to another, especially when a philosophical dispute has otherwise reached a state of equilibrium. In this paper, I show that given a Quinean conception of metaphysics, several initially plausible justifications for simplicity as a metaphysical criterion do not succeed. If philosophers wish to preserve simplicity as a metaphysical criterion, therefore, they must radically reconceive the project of metaphysics.

First published in 2003. Routledge is an imprint of Taylor & Francis, an informa company.

On Avicenna, 980-1037, a Muslim philosopher.

The principal objective for most patients seeking orthodontic services is a detectable improvement in their dentofacial appearance. Orthodontic treatment, in the mind of the patient, is something that makes you look better, feel better about yourself, and perhaps enhances your social possibilities, ie, to find a companion or make a positive impression during a job interview. Orthodontics, as a speciality, has collectively advanced the idea that enhanced occlusion (bite) improves the health and longevity of the dentition, and as a result (...) many patients seeking orthodontic services affirm that their secondary goal of treatment is an oral health benefit. It would appear that there is some disparity between the end-user of orthodontic services and the orthodontic provider's perception of what constitutes orthodontic need. The aim of this paper is to examine two contrasting models that characterise how dentists ‘sell’ orthodontic services to patients and to discuss the conflict between professional ethics, practice management and evidence-based decision-making in orthodontic practice. (shrink)

Is arguing over ontology a mistake? A recent proposal by Karen Bennett suggests that some metaphysical disputes, such as those over constitution and composition, can be dismissed on epistemic grounds. Given that both sides in a dispute try to minimize the differences between them, there are no good metaphysical grounds for choosing between them. In this paper, I expand on her epistemic dismissivism, arguing that given the Quinean conception of the task and method of metaphysics, we are warranted in believing (...) that all ontological disputes will end in a draw, even if they have not yet done so. By a draw, I mean that while both sides in a dispute are genuinely disagreeing about what there is and there are still moves open to them, there are no moves remaining that will advance the discourse further. (shrink)

The concept of natural behavior is a key element in current Dutch policy-making on animal welfare. It emphasizes that animals need positive experiences, in addition to minimized suffering. This paper interprets the concept of natural behavior in the context of the scientific framework for welfare assessment. Natural behavior may be defined as behavior that animals have a tendency to exhibit under natural conditions, because these behaviors are pleasurable and promote biological functioning. Animal welfare is the quality of life as perceived (...) by the animal. Animals have evolved cognitive-emotional systems (“welfare needs”) to deal with a variable environment. Animals do not only have so-called physiological needs such as the need for food, water, and thermal comfort. They also need to exercise certain natural behaviors such as rooting or nest-building in pigs, and scratching or dust-bathing in poultry. All needs must be taken into account in order to assess overall welfare. The degree of need satisfaction and frustration can be assessed from scientific information about the intensity, duration, and incidence of (welfare) performance criteria such as measurements of behavior and/or (patho)physiology. Positive welfare value relates to how animals are inclined to behave under natural conditions, in preference tests, and in consumer-demand studies. Negative welfare value relates to stress, frustration, abnormal behavior, aggression, and reduced fitness. Examples are given to illustrate how the need to perform natural behaviors can be assessed following the general principles for welfare assessment, providing a first approximation of how different natural behaviors affect animal welfare. (shrink)