This paper provides characterisations of the equational theory of the PER model of a typed lambda calculus with inductive types. The characterisation may be cast as a full abstraction result; in other words, we show that the equations between terms valid in this model coincides with a certain syntactically defined equivalence relation. Along the way we give other characterisations of this equivalence; from below, from above, and from a domain model, a version of the Kreisel-Lacombe-Shoenfield theorem allows us to transfer (...) the result from the domain model to the PER model. (shrink)

We show that the solvability of matching problems in the simply typed λ-calculus, up to β equivalence, is not decidable. This decidability question was raised by Huet [4].Note that there are two variants of the question: that concerning β equivalence, and that concerning βη equivalence.The second of these is perhaps more interesting; unfortunately the work below sheds no light on it, except perhaps to illustrate the subtlety and difficulty of the problem.

McInerny revisits the basics of Thomas's teachings and offers a brief, intelligible, and persuasive summary.

Let us take an example that Bernard Williams (1981: 102) made famous. Suppose that you want a gin and tonic, and you believe that the stuff in front of you is gin. In fact, however, the stuff is not gin but petrol. So if you drink the stuff (even mixed with tonic), it will be decidedly unpleasant, to say the least. Should you choose to drink the stuff or not?

This essay proposes an approach to understanding changes in political responses to crime in England and Wales over the last third of the twentieth century and developments in criminological knowledge over the same period. To explore the association between these in some empirical detail, we argue, would provide a historical?sociological understanding that is currently lacking, notwithstanding Garland's significant intervention in The Culture of Control. We take issue with some aspects of Garland's account, on both methodological and substantive grounds, and delineate (...) certain distinctions between his ?history of the present? and the historically situated hermeneutics that we favour. The latter, we suggest, can be more attentive to particular political and intellectual struggles that have had a formative bearing on the current field and, as such, offer new perspectives on the position of crime and punishment in contemporary political culture. (shrink)

A patient and faithful working of primary Thomistic texts, this volume.

Here is a definition of knowledge: for you to know a proposition p is for you to have an outright belief in p that is correct precisely because it manifests the virtue of rationality. This definition resembles Ernest Sosa’s “virtue theory”, except that on this definition, the only virtue that must be manifested in all instances of knowledge is rationality, and no reductive account of rationality is attempted—rationality is assumed to be an irreducibly normative notion. This definition is compatible with (...) “internalism” about rationality, and with a form of “pragmatic encroachment” on the conditions of rational outright belief. An interpretation is given of this definition, and especially of the sense of ’because’ that it involves. On this interpretation, this definition entails that both safety and adherence are necessary conditions on knowledge; it supports a kind of contextualism about terms like ‘knowledge’; and it provides resources to defend safety, adherence, and contextualism, against some recent objections. (shrink)

Hierocles, a Stoic of the second century CE, famously deployed an image of the ‘concentric circles’ that surround each of us. The image should not be read as advocating absolute impartiality (in the style of classical utilitarianism) or as illustrating the Stoic theory of oikeiōsis. Instead, it is designed to illustrate how it is ‘appropriate to act’ in certain cases. Like other Stoics, Hierocles bases his investigation of appropriate acts on what is ‘in accordance with nature’. According to his view, (...) each of us has a duty of mutual aid towards every other human being—but a weightier duty towards those who are socially closer than those who are more distant. The fundamental principle is that each of us has the duty of being an ‘ally’ of every other human being in serving the natural purposes of all the circles to which we and that other human being both belong. (shrink)

In this paper, I apply the "conceptual role semantics" approach that I have proposed elsewhere (according to which the meaning of normative terms is given by their role in practical reasoning or deliberation) to the meaning of the term 'ought'. I argue that this approach can do three things: It can give an adequate explanation of the special connection that normative judgments have to practical reasoning and motivation for action. It can give an adequate account of why the central principles (...) of deontic logic are correct. It can give an explanation of the precise ways in which the term 'ought' is systematically context-sensitive, so that the term expresses different (but systematically related) concepts in different contexts. (shrink)

Often, when one faces a choice between alternative actions, there are reasons both for and against each alternative. On one way of understanding these words, what one “ought to do all things considered (ATC)” is determined by the totality of these reasons. So, these reasons can somehow be “combined” or “aggregated” to yield an ATC verdict on these alternatives. First, various assumptions about this sort of aggregation of reasons are articulated. Then it is shown that these assumptions allow for the (...) proof of a “Reasons Aggregation Theorem” – parallel to John Harsanyi’s 1955 “Social Aggregation Theorem”. All reasons for action are grounded in reason-providing values; and, for every such reason-providing value, there is in principle a way of measuring how strongly this value counts against each alternative. The theorem tells us that the appropriate measure of how much reason ATC there is against each alternative is simply a weighted sum of the strengths with which these values count against that alternative; the agent ought not ATC to perform an action iff there is ATC more reason against it than against some available alternative. (shrink)

Intuitively, it seems that some belief-forming practices have the following three properties: 1. They are rational practices, and the beliefs that we form by means of these practices are themselves rational or justified beliefs. 2. Even if in most cases these practices reliably lead to correct beliefs (i.e., beliefs in true propositions), they are not infallible: it is possible for beliefs that are formed by means of these practices to be incorrect (i.e., to be beliefs in false propositions). 3. The (...) rationality of these practices is basic or primitive. That is, the rationality of these practices is not due simply to the availability, by means of some process of reasoning that relies purely on other practices, of a rational or justified belief in the reliability of these practices. -/- How can there be such practices? This paper offers an answer to that question. (shrink)

This essay offers an account of the truth conditions of sentences involving deontic modals like ‘ought’, designed to capture the difference between objective and subjective kinds of ‘ought’ This account resembles the classical semantics for deontic logic: according to this account, these truths conditions involve a function from the world of evaluation to a domain of worlds (equivalent to a so-called “modal base”), and an ordering of the worlds in such domains; this ordering of the worlds itself arises from two (...) further elements – a probability function and a value function – since this ordering ranks the worlds in accordance with the expected value of certain propositions that are true at those worlds. Thus, a proposition of the form ‘Ought (p)’ is true at a world of evaluation w if and only if p is true at all the top-ranked worlds in the domain assigned to w. This domain of worlds consists of metaphysically possible worlds, while the probability function is defined over a space of epistemically possible worlds (which may include metaphysically impossible worlds, such as worlds where Hesperus is not Phosphorus). Evidence is given that this account assigns the correct truth conditions to a wide range of sentences involving ‘ought’. Since these truth conditions involve both a domain of metaphysically possible worlds and a space of epistemically possible worlds, there are two corresponding kinds of conditional involving ‘ought’, depending on which space of worlds is restricted by the conditional. Finally, some objections that might be raised against this account are answered. (shrink)

Many philosophers have claimed that the intentional is normative. (This claim is the analogue, within the philosophy of mind, of the claim that is often made within the philosophy of language, that meaning is normative.) But what exactly does this claim mean? And what reason is there for believing it? In this paper, I shall first try to clarify the content of the claim that the intentional is normative. Then I shall examine a number of the arguments that philosophers have (...) advanced for this claim (and for the parallel claim that meaning is normative). As we shall see, many of these arguments are unsuccessful. However, I shall close by giving a sketch of what may be a successful argument for this claim. (shrink)

Pursuing Justice, Second Edition, examines the issue of justice by considering the origins of the idea, formal systems of justice, current global issues of justice, and ways in which justice might be achieved by individuals, organizations, and the global community. Part 1 demonstrates how the idea of justice has emerged over time, starting with religion and philosophy, then moving to the justice as a concern of the state, and finally to the concept of social justice. Part 2 outlines the very (...) different mechanisms used by various nations for achieving state justice, including systems based on common law, civil law, and Islamic law, with a separate discussion of the US justice system. Part 3 focuses on four contemporary issues of justice: war, genocide, slavery, and the environment. Finally, Part 4 shows how individuals and organizations can go about pursuing justice, and describes the rise of global justice. This updated timely book helps students understand the complexities and nuances of a society's pursuit of justice. It provides students with the foundations of global justice systems, integrating Greek philosophies and major religious perspectives into a justice perspective, and contributes to undergraduate understanding of international justice bodies, NGOs, and institutions. New edition is completely updated and revised to achieve relevance for today's students Covers concepts of justice as well as ideas for pursuing and achieving justice Examines how our modern laws began, and traces their evolution to today's laws Presents concepts and issues in justice studies as well as a comparison of several systems of law Teaching resources include discussion questions and real-world examples. (shrink)

This book is Emerson's portrait of the England and the English.

In The Demoralization of Western Culture Ralph Fevre undertakes an explanation of these difficulties.

We analyse the tensions in a hybrid collaboration and how these are mitigated using boundary-spanning community impact, leading to compatibility between distinctive institutional logics. Our qualitative longitudinal study undertaken during 2011–2016 involved reviewing literature and archival data, key informant interviews, workshop and focus groups. We analysed common themes within the data, relating to our two research questions concerning how and why hybrids collaborate, and how resulting tensions are mitigated. The findings suggest a viable model of service delivery termed hybridized collaboration (...) in which the inherent tensions from different institutional logics do not prevent success. Paradoxically, multiple logics are a basis for the partnership’s existence, but the ability to achieve different and occasionally conflicting aims simultaneously can be difficult, resulting in tensions. We offer two novel insights. First, we highlight how social enterprise hybrids collaborate locally and in multi-organizational relationships. We found that the initial opportunity to collaborate was catalysed by the existence of shared objectives. Pre-existing relationships between organizations, and the existence of synergistic capabilities also influence the choice of partners. Secondly, we identify how tensions arise, and are mitigated via several factors including the pre-existing relationships, allowing for regular “spaces of negotiation” between collaborators, the shared social mission, community social impact, the resulting public relations, and shared resources and knowledge. (shrink)

St. Thomas Aquinas enables the reader to appreciate both Thomas's continuity with earlier thought and his creative independence. After a useful account of the life and work of St. Thomas, McInerny shows how the thoughts of Aristotle, Boethius, and Augustine and Pseudo-Dionysius were assimilated into the personal wisdom of St. Thomas. He also offers a helpful study of the distinctive features of Aquinas's Christian theology.

This anthology is a thorough introduction to classic literature for those who have not yet experienced these literary masterworks. For those who have known and loved these works in the past, this is an invitation to reunite with old friends in a fresh new format. From Shakespeare's finesse to Oscar Wilde's wit, this unique collection brings together works as diverse and influential as The Pilgrim's Progress and Othello. As an anthology that invites readers to immerse themselves in the masterpieces of (...) the literary giants, it is must-have addition to any library. (shrink)

Richard Price’s moral epistemology provides a distinctive account, not only of the sources of our moral knowledge, but also of its limits – that is, of the moral truths that we do not and even cannot know. According to this moral epistemology, the fundamental moral truths are necessary rather than contingent; if they are knowable at all, they are knowable a priori. In general, fundamental moral truths are akin to mathematical truths. Specifically, these necessary moral truths are grounded in the (...) essences of act-types, which are knowable through ‘intuition’ if knowable at all. However, Price firmly rejects utilitarianism, recognizing several different ‘branches of virtue’, which can conflict with each other. As he argues, we cannot know the truth about act-types that exemplify such conflicting branches of virtue if the competing considerations are too finely balanced. This view of moral epistemology is compared with those of several other philosophers, including W. D. Ross. It is argued that Price has a more unified view than Ross: for Price, all moral knowledge flows from a priori intuition, but this is compatible with our being ignorant of many of the fine details of the fundamental truths of morality. (shrink)

This work is Emerson's set of essays published in 1860 just before the start of the Civil War: 'Fate,' 'Power,' 'Wealth,' 'Culture,' 'Behavior,' 'Worship,' 'Considerations by the Way,' 'Beauty,' 'Illusions.'.

This chapter is concerned with the distinction that most contemporary epistemologists express by distinguishing between “propositional” and “doxastic” justification. The goal is to develop an account of this distinction that applies, not just to full or outright beliefs, but also to partial credences—and indeed, in principle, to attitudes of all kinds. The standard way of explaining this distinction, in terms of the “basing relation”, is criticized, and an alternative account—the “virtue manifestation” account—is proposed in its place. This account has a (...) certain kinship with the epistemological approach that is known as “reliabilism”, but it also has certain key differences—above all, it is compatible with an internalist view of rationality. (shrink)

Reading Certainty offers incisive historical analysis of the foundational questions of the Christian tradition: how are we to read scripture, and how can we know we are saved? This collection of essays honors the work and thought Susan E. Schreiner by exploring the import of these questions across a wide range of time periods. With contributions from renowned scholars and from Schreiner's students from her more than three decades of teaching, each of the contributions highlights the nexus of certainty, perception, (...) authority, and exegesis that has defined her scholarly work. Intellectual historians, early modernists, and scholars of Christianity will all appreciate this testament to Schreiner's influence. Contributors include: Vincent Evener, Bruce Gordon, Ralph Keen, Mark Lambert, Kevin J. Madigan, Richard A. Muller, Willemien Otten, Daniel Owings, Elizabeth Palmer, Karen Park, Barbara Pitkin, Ronald K. Rittgers, William Schweiker, Jonathan Strom, and Matthew Vanderpoel. (shrink)

These essays bring Weber's sociology to bear on the current transformation of the political landscape. After the collapse of communism, many states are faced with the challenges of democratization: they need to establish their legitimacy in an uncertain economic climate and within a new geopolitical order. The essays in this volume develop Weberian concepts and apply his comparative-historical method to deepen our understanding of these problems. They cover a wide range of examples, from the United Stated to Western and Eastern (...) Europe, and from Russia and Japan to the Islamic States. (shrink)

This is R.W. Emerson's address to the students and faculty of the Harvard Divinity School in the year 1838.

This is an electronic text of the second edition of Emerson's Nature, published as originally in 1849 with a collection of addresses and lectures.

Der Band prasentiert zwei bislang unedierte Dialoge des normannischen Abts Ralph von Battle (1040-1124), eines Schulers von Lanfrank und Anselm von Canterbury. In Der Fragende und der Antwortende legt ein Christ einem anderen Christ seine Glaubenszweifel vor. Sie betreffen Themen einer philosophischen Theologie des Christentums wie das Problem des Bosen oder die Rede von 'der Schopfung aus dem Nichts'. Beide Gesprachspartner zeigen sich dem Denken des Augustinus verpflichtet. Der Wissende und der Nichtwissende ist das Gesprach eines Christen mit einem (...) Atheisten, das den Entwurf einer naturlichen Theologie einschliesslich ihrer Grenzbestimmung enthalt. (shrink)

This unique book presents a comprehensive and rigorous treatment of the theory of computability which is introductory yet self-contained. It takes a novel approach by looking at the subject using computation models rather than a limitation orientation, and is the first book of its kind to include software. Accompanying software simulations of almost all computational models are available for use in conjunction with the text, and numerous examples are provided on disk in a user-friendly format. Its applications to computer science (...) itself include interesting links to programming language theory, compiler design theory, and algorithm design. The software, numerous examples, and solutions make this book ideal for self-study by computer scientists and mathematicians alike. (shrink)

Substance The term “substance” has two main uses in philosophy. Both originate in what is arguably the most influential work of philosophy ever written, Aristotle’s Categories. In its first sense, “substance” refers to those things that are object-like, rather that property-like. For example, an elephant is a substance in this sense, whereas the height or … Continue reading Substance →.