The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew. The main result of Part I of this series [41] shows that the equivalent variety semantics of N and the equivalent variety semantics of NFL ew are term equivalent. In this paper, the term equivalence result of Part I [41] is lifted to the setting of deductive (...) systems to establish the definitional equivalence of the logics N and NFL ew. It follows from the definitional equivalence of these systems that constructive logic with strong negation is a substructural logic. (shrink)

We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian ℓ-groups, (...) where such logics respectively correspond to: i) Meyer and Slaney’s Abelian logic [31]; ii) Galli et al.’s logic of equilibrium [21]; iii) a new logic of “preservation of truth degrees”. (shrink)

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL ew (namely, a certain variety of FL ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. (...) Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL ew. (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)

This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the formn(n(t)) for some term t, where n denotes negation. The first question asks for conditions on the hypotheses that, if satisfied, guarantee the existence of a double-negation-free proof when the conclusion is free of double negation. The second question asks about the existence (...) of an axiom system for classical propositional calculus whose use, for theorems with a conclusion free of double negation, guarantees the existence of a double-negation-free proof. After giving conditions that answer the first question, we answer the second question by focusing on the Lukasiewicz three-axiom system. We then extend our studies to infinite-valued sentential calculus and to intuitionistic logic and generalize the notion of being double-negation free. The double-negation proofs of interest rely exclusively on the inference rule condensed detachment, a rule that combines modus ponens with an appropriately general rule of substitution. The automated reasoning program Otter played an indispensable role in this study. (shrink)

The Moral Nexus develops and defends a new interpretation of morality—namely, as a set of requirements that connect agents normatively to other persons in a nexus of moral relations. According to this relational interpretation, moral demands are directed to other individuals, who have claims that the agent comply with these demands. Interpersonal morality, so conceived, is the domain of what we owe to each other, insofar as we are each persons with equal moral standing. The book offers an interpretative argument (...) for the relational approach. Specifically, it highlights neglected advantages of this way of understanding the moral domain; explores important theoretical and practical presuppositions of relational moral duties; and considers the normative implications of understanding morality in relational terms. The book features a novel defense of the relational approach to morality, which emphasizes the special significance that moral requirements have, both for agents who are deliberating about what to do and for those who stand to be affected by their actions. The book argues that relational moral requirements can be understood to link us to all individuals whose interests render them vulnerable to our agency, regardless of whether they stand in any prior relationship to us. It also offers fresh accounts of some of the moral phenomena that have seemed to resist treatment in relational terms, showing that the relational interpretation is a viable framework for understanding our specific moral obligations to other people. (shrink)

A discriminator logic is the 1 -assertional logic of a discriminator variety V having two constant terms 0 and 1 such that V ⊨ 0 1 iff every member of V is trivial. Examples of such logics abound in the literature. The main result of this research announcement asserts that a certain non-Fregean deductive system SBPC, which closely resembles the classical propositional calculus, is canonical for the class of discriminator logics in the sense that any discriminator logic S can be (...) presented as an axiomatic extension of SBPC by a set of extensional logical connectives taken from the language of S. The results outlined in this research announcement are extended to several generalisations of the class of discriminator logics in the main work. (shrink)

We should approach this topic with great fear and respect. It is not a merely “academic” issue. Human rights are trampled upon in the East as in the West, in the North as in the South of our planet. Granting the part of human greed and sheer evil in this universal transgression, could it not also be that Human Rights are not observed because in their present form they do not represent a universal symbol powerful enough to elicit understanding and (...) agreement? (shrink)

Chemical structures are among the trademarks of our profession, as surely chemical as flasks, beakers and distillation columns. When someone sees one of us busily scribbling formulas or structures, he or she has no trouble identifying a chemist. Yet these familiar objects, which accompany our work from start to end, from the initial doodlings (Fig. I) to the final polished artwork in a publication (Fig. II), are deceptively simple. They raise interesting and difficult questions about representation. It is the intent (...) of this article to reflect upon molecular graphics. (shrink)

Ethics and Decision Making in Counseling and Psychotherapy has a distinct and timely focus on counseling as a profession. Chapters address the mental health professions, values in counseling, decision making, ethical principles, ethical standards, technology, ethical climate, and office/administrative practices. The early chapters present a foundation for ethical practice of the profession and provides solid building blocks to the more advanced perspectives in later chapters. Chapters on specialty practice are lively and contemporary overviews of these practice areas in counseling that (...) reflect more recent trends to increased differentiation of these areas of practice. Each specialty has its own chapter to allow for an extended discussion of the unique aspects of the field that provide clarity to understanding the particular ethical issues and standards that apply in each specialty. The specialty areas recognized by CACREP are included: mental health counseling; school counseling; couple, marital, and family counseling; rehabilitation counseling; addictions counseling; career counseling; and group counseling. This book is broad in its coverage of the most practiced specialties in mental health practice, and provides an efficient and effective overview of the broad scope of particular areas addressed in counseling. (shrink)

I investigate the consequences of Nietzsche's perspectivism for notions of truth and objectivity, and show how the metaphor of visual perspective motivates an epistemology that avoids self-referential difficulties. Perspectivism's claim that every view is only one view, applied to itself, is often supposed to preclude the perspectivist's ability to offer reasons for her epistemology. Nietzsche's arguments for perspectivism depend on “internal reasons”, which have force not only in their own perspective, but also within the standards of alternative perspectives. Internal reasons (...) allow a perspectivist argument against dogmatism without presupposing aperspectival criteria for theory choice. Nietzsche also offers “internal” conceptions of truth and objectivity which reduce them to a matter of meeting our epistemic standards. This view has pluralistic implications, which conflict with common sense, but it is nevertheless consistent and plausible. Nietzsche's position is similar to Putnam's recent internalism, and this is due to their common Kantian heritage. (shrink)

It is tempting to think that all of normativity, such as our reasons for action, what we ought to do, and the attitudes that it is fitting for us to have, derives from what is valuable. But value-first approaches to normativity have fallen out of favour as the virtues of reasons- and fittingness-first approaches to normativity have become clear. On these views, value is not explanatorily prior to reasons and fit; rather the value of things is understood in terms of (...) the pro-attitudes it is fitting to have, or that we have reasons to have, towards these things. The value-first accounts of reasons and fit that have been proposed have been direct accounts of reasons and fit. On these views, the fittingness of an attitude is explained in terms of the value of having it or the value of the object of that attitude. This chapter details and surveys these problems, explaining which are yet to be overcome, and explaining which problems direct value-first accounts can overcome. This chapter then explores the prospects of an indirect value-first account of reasons and fit. It argues that it avoids the problems that direct value-first accounts face and may be as explanatorily powerful as fittingness- and reasons-first accounts of value and normativity more generally. (shrink)

Is the essay literature or philosophy? A form of art or a form of knowledge? The contemporary essay is torn between its belletrist ancestry and its claim to philosophical legitimacy. The Spanish philosopher Eduardo Nicol captured the genre's uncertain status when he dubbed it “almost literature and almost philosophy” (Nicol 1961:207). The problem is hardly a new one. It goes back to what Plato called the “ancient quarrel” between poetry and philosophy, and more recently to the German Romantic theorist, Friedrich (...) Schlegel, who called for a mode of criticism which would be at once philosophical and poetic. But today, when the status of critical discourse is up for grabs, reflecting the crisis of knowledge in the universities, the question of the essay takes on a new urgency. Now the predominant form of writing in the human sciences, it cannot avoid the challenge to define itself according to the prevailing standards of scientific knowledge and method. (shrink)

The book is written for anyone seriously interested in Plato's thought and in the history of literary theory or of rhetoric. No knowledge of Greek is required. The focus of this account is on how the resources both of persuasive myth and of formal argument, for all that Plato sets them in strong contrast, nevertheless complement and reinforce each other in his philosophy.

Self-deception raises complex questions about the nature of belief and the structure of the human mind. In this book, Alfred Mele addresses four of the most critical of these questions: What is it to deceive oneself? How do we deceive ourselves? Why do we deceive ourselves? Is self-deception really possible? -/- Drawing on cutting-edge empirical research on everyday reasoning and biases, Mele takes issue with commonplace attempts to equate the processes of self-deception with those of stereotypical interpersonal deception. Such attempts, (...) he demonstrates, are fundamentally misguided, particularly in the assumption that self-deception is intentional. In their place, Mele proposes a compelling, empirically informed account of the motivational causes of biased beliefs. At the heart of this theory is an appreciation of how emotion and motivation may, without our knowing it, bias our assessment of evidence for beliefs. Highlighting motivation and emotion, Mele develops a pair of approaches for explaining the two forms of self-deception: the "straight" form, in which we believe what we want to be true, and the "twisted" form, in which we believe what we wish to be false. -/- Underlying Mele's work is an abiding interest in understanding and explaining the behavior of real human beings. The result is a comprehensive, elegant, empirically grounded theory of everyday self-deception that should engage philosophers and social scientists alike. (shrink)

This book consists of conversations with five founding scholars - Karen Barad, Astrid Schrader, Magdalena Gorska, Ericka Johnson and Elizabeth De Freitas - regarding their research practices inspired by agential realism. They are conversations focusing on how they think and analyze empirical material through agential realism in combination with other thinkers (e.g. Deleuze, Derrida, Butler, Haraway, Châtelet and Suchman). The conversations offer entry points to agential realism and the conduct of research practices and open up spaces for learning about research (...) processes, agential realism and agential realist concepts for students and scholars of qualitative research. (shrink)

Shaḥrūr, Muḥammad; Islamic philosophy; Qurʼan; hermeneutics; criticism, interpretation, etc.

Like Caesar's Gaul, my essay is divided into three parts, according to the subjects mentioned in the subtitle. The “crisis consciousness” of the main title forms less a subdivision of the essay than a leitmotif accompanying all the parts as well as the whole.

Over the past three centuries in the West, there has been a sort of oscillation between two antagonistic visions of the world. One sees the world as being fundamentally inert, in such a manner that all hopes, dreams and technological delights are permitted. The other thinks of the world as inhabited by a spirit who consecrates all its parts by recording them in a great whole. We can think of the pantheism that sets itself in opposition to Newton's materialism or, (...) more exactly, to the materialist interpretation given to Newton in the 18th century. In the 17th century the opposite had occurred. The magic universe of the Renaissance had given place to the triumphs of the Cartesian mechanism. As for protestantism, which is said to have been one of the most powerful factors of disenchantment after the 17th century, how was one not to see it prolonged, by reaction, into a philosophy for which nature is the tangible presence of God? When Calvin wrote that nothing happens in nature that is not a direct effect of the divine will, we already see appear in the background the mystic ecstasies that Rousseau experienced in nature. For if no single leaf flutters and no breeze blows without divine intervention, then receiving the slightest sensation would mean, according to Jean-Jacques Rousseau, entering into direct contact with God. (shrink)

The first edition of The Scientific Background to Modern Philosophy took the dialogue of science and philosophy from Aristotle through to Newton. This second edition adds eight chapters, taking the dialogue through the Enlightenment and up to Darwin. This anthology is an attempt to help bridge the gap between the history of science and the history of philosophy.

The paper presents and discusses the so-called Wrong Kind of Reasons Problem (WKR problem) that arises for the fitting-attitudes analysis of value. This format of analysis is exemplified for example by Scanlon's buck-passing account, on which an object's value consists in the existence of reasons to favour the object- to respond to it in a positive way. The WKR problem can be put as follows: It appears that in some situations we might well have reasons to have pro-attitudes toward objects (...) that are not valuable. Or vice versa: we might have reasons not to have pro-attitudes toward some valuable objects. The paper goes through several attempts to solve (or dissolve) the WKR problem and argues that none of them is fully satisfactory. (shrink)

’For each case against advertising, there is a stronger offsetting argument.’Dr Hyman is Visiting Professor of Marketing at Limburg University, Holland, and guest editor of a forth coming special issue of The Journal of Advertising on advertising ethics. Dr Skipper is Instructor of Philosophy at Southwest Texas State University.

Philosophers and others have often debated whether we have freewill: i.e. whether (in a sense I shall try to elucidate) our power to choose between X and Y is radically undetermined, so that if we choose X we yet might have chosen Y, and vice versa. My concern is not with that question but with a hypothetical one which arises from it: if we had such freewill, what implications, if any, would, that fact have for the sciences. My argument concentrates (...) on the social sciences, since the phenomena with which they deal inevitably involves human choice. (shrink)

One of the dominant characteristics of Western philosophical and literary history of the last two centuries is that the object of desire (in the novel) and the object of perception (in epistemology) have been made to reveal aspects which are more complex than the classical age had suspected. With Descartes, everything was clear: the object is but a portion of extension. But with Kant things already become more complicated: the object has a mysterious. en-soi (an sich-in itself) which escapes us. (...) And the object of desire, in literature, acquires such a mystic character that it loses its status of creature. “For what the romantic lover seeks is not really the beloved”, writes Eric Heller. “Intermingled with his erotic craving, inarticulate, diffuse, and yet dominating it, is the desire for spiritual salvation.” It is no longer the object (the creature) which one wishes to embrace, but the invisible reality mirrored in it. Desire does not tend so much toward objects as toward what lies beyond these objects where, it believes, it will find its salvation. (shrink)

1. Matn-i Asās al-iqtibās -- 2. Taʻlīqah.