The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...) structured theory presentations. In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. The behaviour of structured theory presentations under representation in a logical framework is studied, focusing on the problem of “lifting” presentations from the object logic to the metalogic of the framework. The topic of imposing structure on logic presentations, so that logical systems may themselves be defined in a modular fashion, is also briefly considered. (shrink)

David Hume is famous as a sceptical philosopher but the nature of his scepticism is difficult to pin down. Hume's True Scepticism provides the first sustained interpretation of Part 4 of Book 1 of Hume's Treatise: his deepest engagement with sceptical arguments, in which he notes that, while reason shows that we ought not to believe the verdicts of reason or the senses, we do so nonetheless. Donald C. Ainslie addresses Hume's theory of representation; his criticisms of Locke, Descartes, (...) and other predecessors; his account of the imagination; his understanding of perceptions and sensory belief; and his bundle theory of the mind and his later rejection of it. (shrink)

Develops and defends a philosophical account of meaning, purpose, and value in human life and experience that is naturalistic without being reductionistic or scientistic.

Agich has identified `watching' – the formal orinformal observation of the medical setting – as oneof the four main roles of the clinical bioethicist. By an analysis of a case study involving a bioethicsstudent who engaged in watching at an HIV/AIDS clinicas part of his training, I raise questions about theethical justification of watching. I argue that theinvasion of privacy that watching entails makes theactivity unacceptable unless the watcher has receivedprior consent from the patients who are beingobserved. I conclude that, (...) even though it isimportant for bioethics students to understand thecomplexities of actual medical practice, watchingshould play a prominent role in bioethics educationonly if the privacy problems in it can be resolved. (shrink)

Not only are there many particular relationships among religions to be explored, but there are many types of relationships or categories of relationships to be considered. As examples of these types we might mention historical, metaphysical, epistemological, ethical, sociological, or theological relationships without in any way being exhaustive. The prominence of some of these concerns has limited the attention given to other actual or possible relationships. For example, there has been an understandable, even justifiable, prominence given to historical relationships for (...) the sake of accurate fact, to theological relationships for the purpose of clarifying how to think of other religions from a received confessional norm, and to ethical relationships for the sake of judging practical accomplishments and superiorities. (shrink)

After reviewing the basis for urgency of assuring that nations reduce their ghg emissions to their fair share of safe global emissions, this paper examines the outcome of UNFCCC COP-20 in Lima in regard to getting traction for ethics and justice in national formulation of climate change commitments. In light of what is actually known about how nations have considered ethics and justice in formulating national climate change policies, this paper critically reviews elements of a Lima decision on what information (...) nations must include when they submit their emissions reductions commitments, now known as Intended Nationally Determined Commitments. The paper argues that some developing countries seeking to preserve distinctions between duties of developed versus developing countries set out in the UNFCCC may have inadvertently undermined a mechanism that had some significant potential to improve the compliance of high-emitting nations on the basis of equity and justice. Relying on recent research on the.. (shrink)

The goals of this paper are twofold. The first is to show that William James' discussion in The Varieties of Religious Experience of the divided self and the process of its unification offers an invaluable lens through which to understand the conversion experience of Augustine as presented in his Confessions. The second is explore the question of how Augustine became a divided self, a question that James chooses not to speculate about because he is suspicious of theories of causality, especially (...) those that have little if any empirical evidence in their support. To explore this question, I will discuss E. R. Dodds' article, "Augustine's Confessions: A Study of Spiritual Maladjustment." He was Professor of Greek at the University of Birmingham at the time that the article was published, and later Professor of Classics at Oxford University. Dodds believes that the origins of Augustine's divided self "are to be looked for in his family history" and he makes what I consider to be a persuasive case in support of this belief. Significantly, his discussion of Augustine as a divided self has distinct resonances with James's own discussion, suggesting that he was almost certainly aware of James' earlier work. (shrink)

This paper defends freya mora's attempt ("philosophy", Volume 58, Number 225) to alleviate the problem of evil--Arguing that happiness requires love, Whose object must be perishable--Against susan lowe's criticism (volume 60, Number 232) that this makes it impossible to love god, A price theists might find too high. Mora's argument can be salvaged by substituting for 'perishable', Words (like 'vulnerable') that are applicable to an omnipotent and eternal being, But still fit her analysis of love.

This paper examines how inner theories influence lexical choice. Subjects in one study completed auditorily presented sentence fragments, some of which contained nonhuman antecedents such as dog and cat. Subjects were more likely to use human pronouns rather than it for referring to pets rather than nonpets , and antecedents that were liked rather than disliked , familiar rather than unfamiliar , named rather than unnamed , rational rather than nonrational , and engaging in typically human rather than nonhuman activities (...) . The beliefs and attitudes underlying these pronoun choices intruded not just hypoconsciously , but contraconsciously . A second study examined rapidly generated inferences that influenced what pronoun subjects chose to complete visually presented sentences, such as "When a student practices basketball instead of studying" and "When a student practices ballet instead of studying." The results indicated that inferences from beliefs altered the choice of pronoun from predominately he to predominantly she. Other results indicated that pronouns have semi-autonomous functions of their own, and reflect beliefs and attitudes that vary with subject sex, and are context dependent, pragmatic in nature, and dynamic over time. (shrink)

Dr. Morris's monograph presents an examination of the constraints placed upon ethical theory by certain aspects of contemporary psychological theory, specifically behaviorism. These constraints were outlined in many of the writings of John Dewey. The present text culls and organizes Dewey's thoughts regarding this issue. It traces the development of Dewey's thoughts regarding the interrelations between ethics and psychology from his early papers to his last works.

The present study has attempted to artriculate a central issue of Mahäyäna soteriology through an examination of the writings of two Mädhyamika masters, Bhävaviveka and Candrakïrti. The purpose here has been to demonstrate a further criterion for the retrospective designation of their respective philosophies with the terms “Svātantrika” and “Prasangika” an exhaustive study of the nature of the Hinayäna wisdom according to the Mädhyamika school would entail an analysis of the writings of many other masters, especially those who produced what (...) has been called the Yogäcära-Mädhyamika synthesis. To attempt to determine the position of Maitreyanätha, for example, on this issue would entail an analysis of the famous “Five Treatises” (the Dharmadharmatävibhańa, the Madhyäntavibhańga, the Mahayanasutrlamkara, the Uttratantra, and the Abhisamayälamkära) as well as the myriad commentaries on these works. It is possible to speculate briefly here on what the position of Nägärjuna may have been on this issue and then go on to discuss the implications and possible motivations of the views of Bhävaviveka and Candrakïrti. (shrink)

Structure or system is a ubiquitous and indispensable feature of all our experience and theory, and requires an ontological analysis. The essays collected in this volume provide an account of structure founded upon the proper analysis of polyadic relations as the irreducible and defining elements of structure. Following from an analysis of ontic predication there is given a number of principles delineating realist instance ontology, together with a critique of both nominalistic trope theory and modern revivals of Aristotle's instance ontology (...) of the Categories. It is shown how the resulting theory of facts can, via "horizontal" and "vertical" composition, account for all the hierarchical structuring of our experience and theory, and, importantly, how this can rest upon an atomic ontic level composed of only dependent ontic predicates. The latter is a desideratum for the proposed "Structural Realism" ontology for micro-physics where at its lowest level the physical is said to be totally relational/structural. Nullified is the classic and insidious assumption that dependent entities presuppose a class of independent substrata or "substances," and with this any pressure to admit "bare particulars" and intensionless relations or "ties." The logic inherent in realist instance ontology--termed "PPL"--is formalized in detail and given a consistency proof. Demonstrated is the logic's power to distinguish legitimate from illegitimate impredicative definitions, and in this how it provides a general solution to the classic self-referential paradoxes. PPL corresponds to Gdel's programmatic "Theory of Concepts." The last essay, not previously published, provides a detailed differentiation of identity from indiscernibility, preliminary to which is given an explanation of in what sense a predicate logic presupposes an ontology of predication. The principles needed for the differentiation have the significant implication (e.g., for the foundations of mathematics) of implying an infinity of logical entities, viz., instances of the identity relation. Donald Mertz is currently the director of the Center for Academic Development at the University of Missouri - St. Louis. He has taught both university philosophy and mathematics, and has published a number of articles in analytic philosophy. He is the author of Moderate Realism and Its Logic, and is an associate editor of The Modern Schoolman. (shrink)

Thomistic political philosophers regularly attach a great deal of importance to ‘the problem of the origin of political authority’ and commonly cite one or the other of two traditional theories the translation theory or the designation theory as the answer to this problem. In this paper, we intend to take a fresh look at ‘the problem of the origin of political authority’ and at the translation and the designation theories. Specifically, we have five aims. These are: to demonstrate that ‘the (...) problem of the origin of political authority’ is not merely one problem but rather comprises a number of problems; to state these different problems; to suggest answers for them; to determine to what extent the translation theory and the designation theory provide answers for these problems, and, finally to explain in precisely what sense God is the origin of political authority. (shrink)

A large, and growing, group of glycoprotein regulators is now recognized to control the proliferation, maturation and functional activity of the eight major families of blood cells. Each hemopoietic regulator is the product of multiple cell types and there is a puzzling redundancy of regulators able to stimulate each subfamily of hemopoietic cells. Each regulator is polyfunctional but it remains unclear how a single type of activated receptor is able to initiate the diverse cellular responses induced.