Institution Theory Institution theory is a very general mathematical study of formal logical systems—with emphasis on semantics—that is not committed to any particular concrete logical system. This is based upon a mathematical definition for the informal notion of logical system, called institution, which includes both syntax and semantics as well as the relationship between … Continue reading Institution Theory →.

We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract (...) properties and are preserved and reflected by translations under suitable conditions. (shrink)

We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic.We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel concept of Birkhoff institution.

Reason and Value collects 15 new papers by leading contemporary philosophers on themes from the work of Joseph Raz. Raz has made major contributions in a wide range of areas, including jurisprudence, political philosophy, and the theory of practical reason; but all of his work displays a deep engagement with central themes in moral philosophy. The subtlety and power of Raz's reflections on ethical topics make his writings a fertile source for anyone working in this area. Especially significant are his (...) explorations of the connections between practical reason and the theory of value, which constitute a sustained and penetrating treatment of a set of issues at the very center of moral philosophy as it is practiced today. The contributors to the volume acknowledge the importance of Raz's contributions by engaging critically with his positions and offering independent perspectives on the topics that he has addressed. The volume aims both to honour Raz's accomplishments in the area of ethical theorizing, and to contribute to an enhanced appreciation of the significance of his work for the subject. (shrink)

This article is first in a series dedicated to issues in the intellectual history of Mīmāṃsā in early modern India and part of a larger effort to broaden the basis for understanding the new formulations of central topics of the Mīmāṃsā textual-ritual complex in this period. It examines how the Varanasi scholar Khaṇḍadevamiśra makes use of Navyanyāya tools of analysis by putting under the microscope the example of his investigation and new formulation of the signification of agent and agency by (...) the verbal affix in his ample analysis of the cognition of the meaning elements of a sentence. Authors of Mīmāṃsā works in the sixteenth and seventeenth centuries gradually and selectively adopt the tools and techniques of cognitive analysis and the characteristic new idiom elaborated by Navyanaiyāyikas a few centuries earlier. This process of adoption arises on the sidelines of the Advaita–Dvaita Vedānta controversy in South India, then subsequently flourishes in Varanasi, as I have followed elsewhere. In his analysis of the topic studied here, Khaṇḍadeva uses the new tools to revisit the Mīmāṃsā tradition in order to advance his new formulation while refuting certain Navyanyāya rival positions. (shrink)

We study the forcing operators on MTL-algebras, an algebraic notion inspired by the Kripke semantics of the monoidal t -norm based logic . At logical level, they provide the notion of the forcing value of an MTL-formula. We characterize the forcing operators in terms of some MTL-algebras morphisms. From this result we derive the equality of the forcing value and the truth value of an MTL-formula.

Today, the feminist ideologies and practices, the philosophies in action and the academic gender studies are all forms of the emancipation of women. All these are intimately related by the feminization and professionalization of social work. The common view identifies social work with those who deal with adoptions, philantropy and Christian charity, and more recently with the dehumanizing beaurocracy of the local offices for social protection. Yet, a great proportion of those who deal with all these things are women. In (...) the same time, women contribution is not identical with the feminist contribution toward the emancipation of women and the development of social work. Thus, there are still women and men, no matter how they label themselves, who contribute to the emancipation of women and the development of social work, while there are still unanticipated effects of feminism that perpetuate the patriarchal thinking and social inequalities, of which social work is not exempted. (shrink)

This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory.

We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic and study the relationship between quasi-varieties and existence of initial models in MVL. We define a concept of ‘Horn sentence’ in MVL and based upon our study of quasi-varieties of MVL models we derive the existence of initial models for MVL ‘Horn theories’. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Saturated models constitute one of the powerful methods of conventional model theory, with many applications. Here we develop a categorical abstract model theoretic approach to saturated models within the theory of institutions. The most important consequence is that the method of saturated models becomes thus available to a multitude of logical systems from logic or from computing science. In this paper we define the concept of saturated model at an abstract institution-independent level and develop the fundamental existence and uniqueness theorems. (...) As an application we prove a general institution-independent version of the Keisler–Shelah isomorphism theorem “any two elementarily equivalent models have isomorphic ultrapowers” (assuming Generalized Continuum Hypothesis). (shrink)

In this essay we analyse and elucidate the method to establish and clarify the scope of logic theorems offered within the theory of institutions. The method presented pervades a lot of abstract model theoretic developments carried out within institution theory. The power of the proposed general method is illustrated with the examples of interpolation and definability, as they appear in the literature of institutional model theory. Both case studies illustrate a considerable extension of the original scopes of the two classical (...) theorems. Our presentation is rather narrative with the relevant logic and institution theory concepts introduced and explained gradually to the non-expert reader. (shrink)

The typical kind of color realism is reductive: the color properties are identified with properties specified in other terms (as ways of altering light, for instance). If no reductive analysis is available — if the colors are primitive sui generis properties — this is often taken to be a convincing argument for eliminativism. That is, realist primitivism is usually thought to be untenable. The realist preference for reductive theories of color over the last few decades is particularly striking in light (...) of the generally anti-reductionist mood of recent philosophy of mind. The parallels between the mind—body problem and the case of color are substantial enough that the difference in trajectory is surprising. While dualism and non-reductive physicalism are staples, realist primitivism is by and large a recent addition to the color literature. And it remains a minority position, although one that is perhaps gaining support. In this paper, we investigate whether it should be accepted, and conclude it should not be. (shrink)

The concept of yinyang lies at the heart of Chinese thought and culture. The relationship between these two opposing, yet mutually dependent, forces is symbolized in the familiar black and white symbol that has become an icon in popular culture across the world. The real significance of yinyang is, however, more complex and subtle. This brilliant and comprehensive analysis by one of the leading authorities in the field captures the richness and multiplicity of the meanings and applications of yinyang, including (...) its visual presentations. Through a vast range of historical and textual sources, the book examines the scope and role of yinyang, the philosophical significance of its various layers of meanings and its relation to numerous schools and traditions within Chinese philosophy. By putting yinyang on a secure and clear philosophical footing, the book roots the concept in the original Chinese idiom, distancing it from Western assumptions, frameworks and terms, yet also seeking to connect its analysis to shared cross-cultural philosophical concerns. (shrink)

Recent Work on Intrinsic Value brings together for the first time many of the most important and influential writings on the topic of intrinsic value to have appeared in the last half-century. During this period, inquiry into the nature of intrinsic value has intensified to such an extent that at the moment it is one of the hottest topics in the field of theoretical ethics. The contributions to this volume have been selected in such a way that all of the (...) fundamental questions concerning the nature of intrinsic value are treated in depth and from a variety of viewpoints. These questions include how to understand the concept of intrinsic value, what sorts of things can have intrinsic value, and how to compute intrinsic value. The editors have added an introduction that ties these questions together and places the contributions in context, and they have also provided an extensive bibliography. The result is a comprehensive, balanced, and detailed picture of current thinking about intrinsic value, one that provides an indispensable backdrop against which future writings on the topic may be assessed. (shrink)

A central tenet of contemporary moral psychology is that people typically reject active forms of utilitarian sacrifice. Yet, evidence for secularization and declining empathic concern in recent decades suggests the possibility of systematic change in this attitude. In the present study, we employ hypothetical dilemmas to investigate whether judgments of utilitarian sacrifice are becoming more permissive over time. In a cross-sectional design, age negatively predicted utilitarian moral judgment (Study 1). To examine whether this pattern reflected processes of maturation, we asked (...) a panel to re-evaluate several moral dilemmas after an eight-year interval but observed no overall change (Study 2). In contrast, a more recent age-matched sample revealed greater endorsement of utilitarian sacrifice in a time-lag design (Study 3). Taken together, these results suggest that today’s younger cohorts increasingly endorse a utilitarian resolution of sacrificial moral dilemmas. (shrink)

Despite All Critique (2014) -- World Politics and Western Reason (1980) -- The Doubled Outsides of the Modern International (2005) -- The Subject of Security (1995) -- The Protection of Nature and the Nature of Protection (2005) -- Social Movements/World Politics (1994) -- Europe is Not Where It is Supposed to Be (2000) -- They Seek it Here, They Seek it There : Looking for Politics in Clayoquot Sound (2003) -- Violence, Modernity, Silence : From Weber to International Relations (1993) (...) -- Hobbes, Origins, Limits (2011) -- War, Terror, Judgement (2002) -- International, Imperial, Exceptional (2005) -- Which Democracy for Which Demos? (2013) -- The Political Theory of Boundaries and the Boundaries of Political Theory : Interview With Raia Prokhovnik (2012). (shrink)

This book focuses upon the perennial question of the existence and nature of an obligation to obey the law. Leading writers have, at one time or another, emphasized considerations such as gratitude, 'divine ordering, ' prudence, contract, autonomy, and utility in seeking to justify, or to deny any justification for, some sort of obligation to obey the positive law. The book provides relevant selections from a sampling of the historical approaches to legal obligation taken by writers such as Plato, Augustine, (...) Aquinas, Hobbes, Locke, Hume, Rousseau, Thoreau, Bentham, Marx and Engels, and Martin Luther King, Jr. These classical discussions are augmented by critical questions and commentary, by independent discussions of the question of legal obligation by a wide range of contemporary writers, and by relevant judicial cases discussing matters such as conscientious objection and civil disobedience. (shrink)

BLWith new text and full apparatus criticus The Eudemian Ethics was one of two ethical treatises which Aristotle wrote on the subject of ethica or `matters to do with character'. Although the two works cover much the same ground, the Nicomachean Ethics is better known; the poor manuscript tradition of the Eudemian Ethics has made correct translation and interpretation of the text extremely difficult. The subject of the work is the choice of a certain means of conduct, made by a (...) `man of practical wisdom', between two extremes of behaviour: asceticism and yielding to uncontrolled impulses. Aristotle also stresses the notion of moral intention and the importance of virtue of character. This new Oxford Classical Text of the Eudemian Ethics is the result of many years of work. After Sir David Ross's death, his original text was substantially reworked and revised by his friend and colleague R. R. Walzer, who was aided in the revision by his former pupil Mrs Jean Mingay, who continued his work after his death in 1974. Mrs Mingay was fortunate in being able to make use of previously unpublished contributions from D. J. Allan after his death in the late seventies, and more recently has been helped in her work by the suggestions of Professor D. A. Russell, David Robinson, and Christopher Rowe. (shrink)

"Williams's masterful translation satisfies (at last!) a long-standing need. There are lots of good translations of Augustine's great work, but until now we have been forced to choose between those that strive to replicate in English something of the majesty and beauty of Augustine's Latin style and those that opt instead to convey the careful precision of his philosophical terminology and argumentation. Finally, Williams has succeeded in capturing both sides of Augustine's mind in a richly evocative, impeccably reliable, elegantly readable (...) presentation of one of the most impressive achievements in Western thought--Augustine's Confessions." --Scott MacDonald, Professor of Philosophy and Norma K. Regan Professor in Christian Studies, Cornell University. (shrink)

R. S. Peters, C. A. Mace; VII—Emotions and the Category of Passivity, Proceedings of the Aristotelian Society, Volume 62, Issue 1, 1 June 1962, Pages 117–142, h.

Elliot R. Wolfson intervenes in the debate over Martin Heidegger and Nazism from a unique perspective, as a scholar of Jewish mysticism and philosophy who has been profoundly influenced by Heidegger's work. He reveals crucial aspects of Heidegger's thinking that betray an affinity with dimensions of Jewish thought.

The authors of this paper earlier argued that concrete objects, such as things or persons, may have final value, which is not reducible to the value of states of affairs that concern the object in question. Our arguments have been challenged. This paper is an attempt to respond to some of these challenges, viz. those that concern the reducibility issue. The discussion presupposes a Brentano-inspired account of value in terms of fitting responses to value bearers. Attention is given to a (...) yet another type of reduction proposal, according to which the ultimate bearers of final value are abstract particulars rather than abstract states or facts. While the proposal is attractive, it confronts serious difficulties. To recognise tropes as potential bearers of final value, along with other objects, is one thing; but to reduce the final value of concrete objects to the final value of tropes is another matter. (shrink)

Being a patient and living a life -- Clinical space and traits of healing -- False starts and frequent failures -- Three journeys : A.'Ibuprofen and love', B. 'Staying tuned up', C. 'We all want the same things' -- Being a patient : the moral field -- Rethinking healthcare ethics : the patient's moral authority.

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

An adult university hospital ethics committee evaluated a proposed TA-NRP protocol in the fall of 2018. The protocol raised ethical concerns about violation of the Uniform Determination of Death Act and the prohibition known as the Dead Donor Rule, with potential resultant legal consequences. An additional concern was the potential for increased mistrust by the community of organ donation and transplantation. The ethics committee evaluated the responses to these concerns as unable to surmount the ethical and legal boundaries and the (...) ethics committee declined to endorse the procedure. These concerns endure. (shrink)

The young Hegel was entranced by the notion of intellectual intuition, and this notion continues to entrance many of Hegel’ commentators. I argue that Kant provided three distinct conceptions of an intuitive intellect, that none of these involve aconceptual intuitionism, and that they differ markedly from Fichte’s and Schelling’s conceptions of intellectual intuition. I further argue that by 1804 Hegel recognized that appealing to an aconceptual model, or to Schelling’s model, or to his own early model of intellectual intuition generates (...) inevitable and insoluble problems of question-begging. By incorporating several important points from Kant’s Transcendental Ideal into his reinterpretation of Kant’s Transcendental Deduction and Refutation of Idealism, Hegel’s mature discursive and conceptual account of ‘absolute knowing’ performs some of the functions Kant assigned to the intuitive intellect, though without invoking any such intuitive intellect. I discuss several of these functions. (shrink)

The View from Here is a study of our must fundamental attitudes toward the past. The book explores the dynamics of affirmation and regret, tracing the connections of each to our ongoing attachments. The focus is on situations in which our attachments commit us to affirming events or decisions that we know to have been unfortunate or regrettable.

This paper addresses some connections between conceptions of the will and the theory of practical reason. The first two sections argue against the idea that volitional commitments should be understood along the lines of endorsement of normative principles. A normative account of volition cannot make sense of akrasia, and it obscures an important difference between belief and intention. Sections three and four draw on the non-normative conception of the will in an account of instrumental rationality. The central problem is to (...) explain the grip of instrumental requirements even in cases in which agents do not fully endorse the ends they are pursuing. The solution I propose appeals to coherence constraints on the beliefs that condition the distinctive volitional stance of intention. (shrink)