This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (alleged) benefits (...) of logical inferentialism, chiefly with regards to the epistemology of logic, and consider a number of objections. §3 introduces and critically examines the most influential and most fully developed form of global inferentialism: Robert Brandom’s inferentialism about linguistic and conceptual content in general. Finally, in §4 we consider a number of general objections to IRS and consider possible responses on the inferentialist’s behalf. (shrink)

Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.

In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

Contextualist approaches to the Liar Paradox postulate the occurrence of a context shift in the course of the Liar reasoning. In particular, according to the contextualist proposal advanced by Charles Parsons and Michael Glanzberg, the Liar sentence L doesn’t express a true proposition in the initial context of reasoning c, but expresses a true one in a new, richer context c', where more propositions are available for expression. On the further assumption that Liar sentences involve propositional quantifiers whose domains may (...) vary with context, the Liar reasoning is blocked. But why should context shift? We argue that the paradox involves principles of contextualist reflection that explain, by analogy with well-known reflection principles for arithmetic, why context must shift from c to c' in the course of the Liar reasoning. This provides a diagnosis of the Liar Paradox—one that equally applies to two revenge arguments against contextualist approaches, one recently advanced by Andrew Bacon, the other mentioned by Charles Parsons and more recently revived by Cory Juhl. (shrink)

This chapter introduces inferential role semantics (IRS) and some of the challenges it faces. It also introduces inferentialism and places it into the wider context of contemporary philosophy of language. The chapter focuses on what is standardly considered both the most important test case for and the most natural application of IRS: logical inferentialism, the view that the meanings of the logical expressions are fully determined by the basic rules for their correct use, and that to understand a logical expression (...) is to use it in accordance with the appropriate rules. It discusses some of the benefits of logical inferentialism, chiefly with regard to the epistemology of logic, and considers a number of objections. The chapter critically examines Robert Brandom's inferentialism about linguistic and conceptual content in general. Finally, it considers a number of general objections to IRS and possible responses on the inferentialist's behalf. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of (...) this paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In (...) this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic. (shrink)

We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...) language either. We then turn to an alternative proposal, recently defended by Beall (in Analysis 73(3):438–445, 2013; Rev Symb Log, 2014), for expressing truth and falsity only, and hence disagreement. According to this, the exclusive semantic status of A, that A is either true or false only, can be conveyed by adding to one’s theory a shrieking rule of the form A & ~A |- \bot, where \bot entails triviality. We argue, however, that the proposal doesn’t work either. The upshot is that glut theorists face a dilemma: they can either express denial, or disagreement, but not both. Along the way, we offer a bilateral logic of exclusive denial for glut theorists—an extension of the logic commonly called LP. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...) rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...) which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

We present a revenge argument for non-reflexive theories of semantic notions – theories which restrict the rule of assumption, or initial sequents of the form φ ⊩ φ. Our strategy follows the general template articulated in Murzi and Rossi [21]: we proceed via the definition of a notion of paradoxicality for non-reflexive theories which in turn breeds paradoxes that standard non-reflexive theories are unable to block.

Deflationists argue that ‘true’ is merely a logico-linguistic device for expressing blind ascriptions and infinite generalisations. For this reason, some authors have argued that deflationary truth must be conservative, i.e. that a deflationary theory of truth for a theory S must not entail sentences in S’s language that are not already entailed by S. However, it has been forcefully argued that any adequate theory of truth for S must be non-conservative and that, for this reason, truth cannot be deflationary :493–521, (...) 1998; Ketland in Mind 108:69–94, 1999). We consider two defences of conservative deflationism, respectively proposed by Waxman :429–463, 2017) and Tennant :551–582, 2002), and argue that they are both unsuccessful. In Waxman’s hands, deflationists are committed either to a non-purely expressive notion of truth, or to a conception of mathematics that does not allow them to justifiably exclude non-conservative theories of truth. Tennant’s conservative deflationism fares no better: if deflationist truth must be conservative over arithmetic, it can be shown to collapse into a non-conservative variety of deflationism. (shrink)

It is often argued that fully structural theories of truth and related notions are incapable of expressing a nonstratified notion of defectiveness. We argue that recently much-discussed non-contractive theories suffer from the same expressive limitation, provided they identify the defective sentences with the sentences that yield triviality if they are assumed to satisfy structural contraction.

Logical orthodoxy has it that classical first-order logic, or some extension thereof, provides the right extension of the logical consequence relation. However, together with naïve but intuitive principles about semantic notions such as truth, denotation, satisfaction, and possibly validity and other naïve logical properties, classical logic quickly leads to inconsistency, and indeed triviality. At least since the publication of Kripke’s Outline of a theory of truth , an increasingly popular diagnosis has been to restore consistency, or at least non-triviality, by (...) restricting some classical rules. Our modest aim in this note is to briefly introduce the main strands of the current debate on paradox and logical revision, and point to some of the potential challenges revisionary approaches might face, with reference to the nine contributions to the present volume.For a recent introduction to non-classical theories of truth and other semantic notions, see the excellent Beall a .. (shrink)

In a series of recent papers, Corine Besson argues that dispositionalist accounts of logical knowledge conflict with ordinary reasoning. She cites cases in which, rather than applying a logical principle to deduce certain implications of our antecedent beliefs, we revise some of those beliefs in the light of their unpalatable consequences. She argues that such instances of, in Gilbert Harman’s phrase, ‘reasoned change in view’ cannot be accommodated by the dispositionalist approach, and that we would do well to conceive of (...) logical knowledge as a species of propositional knowledge instead. In this paper, we propose a dispositional account that is more general than the one Besson considers, viz. one that does not merely apply to beliefs, and claim that dispositionalists have the resources to account for reasoned change in view. We then raise what we take to be more serious challenges for the dispositionalist view, and sketch some lines of response dispositionalists might offer. (shrink)

Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...) and should be restricted as little as possible. The view might even have been held by Ernst Zermelo (1908), who,according to Penelope Maddy (1988), subscribed to a ‘one step back from disaster’ rule of thumb: if a natural principle leads to contra-diction, the principle should be weakened just enough to block the contradiction. We prove a generalization of McGee’s Theorem, anduse it to show that the situation for set theory is the same as that for truth: there are multiple incompatible sets of instances of Naïve Comprehension, none of which, given minimal assumptions, is recursively axiomatizable. This shows that the view adumbrated by Goldstein, Quine and perhaps Zermelo is untenable. (shrink)

In this paper, I focus on some intuitionistic solutions to the Paradox of Knowability. I first consider the relatively little discussed idea that, on an intuitionistic interpretation of the conditional, there is no paradox to start with. I show that this proposal only works if proofs are thought of as tokens, and suggest that anti-realists themselves have good reasons for thinking of proofs as types. In then turn to more standard intuitionistic treatments, as proposed by Timothy Williamson and, most recently, (...) Michael Dummett. Intuitionists can either point out the intuitionistc invalidity of the inference from the claim that all truths are knowable to the insane conclusion that all truths are known, or they can outright demur from asserting the existence of forever-unknown truths, perhaps questioning—as Dummett now suggests—the applicability of the Principle of Bivalence to a certain class of empirical statements. I argue that if intuitionists reject strict finitism—the view that all truths are knowable by beings just like us—the prospects for either proposal look bleak. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...) show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

I argue that the standard anti-realist argument from manifestability to intuitionistic logic is either unsound or invalid. Strong interpretations of the manifestability of understanding are falsified by the existence of blindspots for knowledge. Weaker interpretations are either too weak, or gerrymandered and ad hoc. Either way, they present no threat to classical logic.

John MacFarlane has recently presented a novel argument in support of truth- relativism. According to this, contextualists fail to accommodate retrospective reassessments of propositional contents, when it comes to languages which are rich enough to express actuality. The aim of this note is twofold. First, it is to argue that the argument can be effectively rejected, since it rests on an inadequate conception of actuality. Second, it is to offer a more plausible account of actuality in branching time, along the (...) line of Lewis (1970/1983). (shrink)

Anti-realists typically contend that truth is epistemically constrained. Truth, they say, cannot outstrip our capacity to know. Some anti-realists are also willing to make a further claim: if truth is epistemically constrained, classical logic is to be given up in favour of intuitionistic logic. Here we shall be concerned with one argument in support of this thesis - Crispin Wright's Basic Revisionary Argument, first presented in his Truth and Objectivity. We argue that the reasoning involved in the argument, if correct, (...) validates a parallel argument that leads to conclusions that are unacceptable to classicists and intuitionists alike. (shrink)

Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any “truly satisfying, consistent solution”. I argue that this conclusion is too strong. Heck's Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke's and Field's. Moreover, the new Liar gives us no reasons to think that (versions of) these (...) principles cannot be consistently retained once the structural rule of contraction is restricted. I suggest that revisionary logicians have independent reasons for restricting such a rule. (shrink)

The Surprise Exam Paradox is well-known: a teacher announces that there will be a surprise exam the following week; the students argue by an intuitively sound reasoning that this is impossible; and yet they can be surprised by the teacher. We suggest that a solution can be found scattered in the literature, in part anticipated by Wright and Sudbury, informally developed by Sorensen, and more recently discussed, and dismissed, by Williamson. In a nutshell, the solution consists in realising that the (...) teacher's announcement is a blindspot that can only be known if the week is at least 2 days long. Along the way, we criticise Williamson's own treatment of the paradox. In Williamson's view, the Surprise is similar to the Paradox of the Glimpse and, because of their similarities, both these paradoxes ought to receive a uniform treatment-one that involves locating an illicit application of the KK Principle. We argue that there's no deep analogy between the Surprise and the Glimpse and that, even if there were, the Surprise reasoning reaches a paradoxical conclusion before the KK Principle is used. Rather, in both the Surprise and the Glimpse, the blame should be put on other epistemic principles-respectively, a knowledge retention and a margin for error principle. (shrink)

A well-known proof by Alonzo Church, first published in 1963 by Frederic Fitch, purports to show that all truths are knowable only if all truths are known. This is the Paradox of Knowability. If we take it, quite plausibly, that we are not omniscient, the proof appears to undermine metaphysical doctrines committed to the knowability of truth, such as semantic anti-realism. Since its rediscovery by Hart and McGinn (1976), many solutions to the paradox have been offered. In this article, we (...) present a new proof to the effect that not all truths are knowable, which rests on different assumptions from those of the original argument published by Fitch. We highlight the general form of the knowability paradoxes, and argue that anti-realists who favour either an hierarchical or an intuitionistic approach to the Paradox of Knowability are confronted with a dilemma: they must either give up anti-realism or opt for a highly controversial interpretation of the principle that every truth is knowable. (shrink)

I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.

Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any ‘‘truly satisfying, consistent solution’’. I argue that this conclusion is too strong. Heck’s Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke’s and Field’s. Moreover, the new Liar gives us no reasons to think that these principles cannot (...) be consistently retained once the structural rule of contraction is restricted. I suggest that revisionary logicians have independent reasons for restricting such a rule. (shrink)

The revisionary approach to semantic paradox is commonly thought to have a somewhat uncomfortable corollary, viz. that, on pain of triviality, we cannot affirm that all valid arguments preserve truth (Beall2007, Beall2009, Field2008, Field2009). We show that the standard arguments for this conclusion all break down once (i) the structural rule of contraction is restricted and (ii) how the premises can be aggregated---so that they can be said to jointly entail a given conclusion---is appropriately understood. In addition, we briefly rehearse (...) some reasons for restricting structural contraction. (shrink)

Widespread preservation of fossilized biomolecules in many fossil animals has recently been reported in six studies, based on Raman microspectroscopy. Here, we show that the putative Raman signatures of organic compounds in these fossils are actually instrumental artefacts resulting from intense background luminescence. Raman spectroscopy is based on the detection of photons scattered inelastically by matter upon its interaction with a laser beam. For many natural materials, this interaction also generates a luminescence signal that is often orders of magnitude more (...) intense than the light produced by Raman scattering. Such luminescence, coupled with the transmission properties of the spectrometer, induced quasi‐periodic ripples in the measured spectra that have been incorrectly interpreted as Raman signatures of organic molecules. Although several analytical strategies have been developed to overcome this common issue, Raman microspectroscopy as used in the studies questioned here cannot be used to identify fossil biomolecules. (shrink)

Simone Weil (1909-1943), philosophe reconnue, engagée, mystique, ne laisse personne indifférent. Son année d'enseignement à Bourges (octobre 1935-juin 1936) est une année charnière, un moment de répit dans une courte vie mouvementée. Elle y réfléchit et y médite. Professeur de philosophie, elle a laissé une forte impression sur ses jeunes élèves du lycée de jeunes filles de Bourges. Ce sont ses cours, retrouvés grâce à deux anciennes élèves, que vous lirez dans cet ouvrage.

The emotions are at the centre of our lives and, for better or worse, imbue them with much of their significance. The philosophical problems stirred up by the existence of the emotions, over which many great philosophers of the past have laboured, revolve around attempts to understand what this significance amounts to. Are emotions feelings, thoughts, or experiences? If they are experiences, what are they experiences of? Are emotions rational? In what sense do emotions give meaning to what surrounds us? (...) -/- The Emotions: A Philosophical Introduction introduces and explores these questions in a clear and accessible way. The authors discuss the following key topics: -/- the diversity and unity of the emotions the relations between emotion, belief and desire the nature of values the relations between emotions and perceptions emotions viewed as evaluative attitudes the link between emotions and evaluative knowledge the nature of moods, sentiments, and character traits. -/- Including chapter summaries and guides to further reading, The Emotions: A Philosophical Introduction is an ideal starting point for any philosopher or student studying the emotions. It will also be of interest to those in related disciplines such as psychology and the social sciences. (shrink)

The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...) an unacceptable form of bootstrapping. We devise new formal models to identify necessary and sufficient conditions for these principles to hold on conceptions that construe knowledge in terms of true counterparts. These conditions state that counterparts of premise and conclusion beliefs are coordinated in certain ways whenever these beliefs stand in the relevant inferential relations. We show that the safety conception faces insuperable problems vindicating these coordination principles, because its epistemic counterpart relation is symmetric. We conclude that it thus proves unable to account for minimal closure properties of knowledge. More generally, our formal results establish parameters within which any conception must operate that construes knowledge in terms of true counterparts. (shrink)

In this paper, we develop a fresh understanding of the sense in which emotions are evaluations. We argue that we should not follow mainstream accounts in locating the emotion–value connection at the level of content and that we should instead locate it at the level of attitudes or modes. We begin by explaining the contrast between content and attitude, a contrast in the light of which we review the leading contemporary accounts of the emotions. We next offer reasons to think (...) that these accounts face substantial problems since they locate the link emotions bear to values at the level of content. This provides the incentive to pursue an alternative approach according to which emotions qualify as evaluations because they are specific types of attitudes, an approach we substantiate by appealing to felt bodily stances. We conclude by considering two reasons why this approach may be resisted; they respectively pertain to the alleged impossibility of drawing the attitude–content contrast in the case of the emotions and to the suspicion that so doing raises qualia-related worries. (shrink)

One puzzle concerning highly idealized models is whether they explain. Some suggest they provide so-called ‘how-possibly explanations’. However, this raises an important question about the nature of how-possibly explanations, namely what distinguishes them from ‘normal’, or how-actually, explanations? I provide an account of how-possibly explanations that clarifies their nature in the context of solving the puzzle of model-based explanation. I argue that the modal notions of actuality and possibility provide the relevant dividing lines between how-possibly and how-actually explanations. Whereas how-possibly (...) explanations establish claims of possible explanations, how-actually explanations establish claims of actual ones. Models, in turn, simply provide evidence for these claims. (shrink)

According to the fitting attitude (FA) analysis of value concepts, to conceive of an object as having a given value is to conceive of it as being such that a certain evaluative attitude taken towards it would be fitting. Among the challenges that this analysis has to face, two are especially pressing. The first is a psychological challenge: the FA analysis must call upon attitudes that shed light on our value concepts while not presupposing the mastery of these concepts. The (...) second challenge is normative: the FA analysis must account for the fittingness of the relevant attitudes in terms of a kind of normativity intimately related to these attitudes, but again without presupposing the mastery of the relevant value concepts. In this paper, we show that real progress is possible if we pay close attention to the nature of the attitudes recruited by the analysis. More specifically, we claim that an FA analysis that appeals to emotions conceived as evaluative attitudes — as opposed to, for instance, evaluative judgements or evaluative perceptions — has the best prospects of meeting the two challenges and of putting the FA analysis on a strong footing. (shrink)

The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...) an unacceptable form of bootstrapping. We devise new formal models to identify necessary and sufficient conditions for these principles to hold on conceptions that construe knowledge in terms of true counterparts. These conditions state that counterparts of premise and conclusion beliefs are coordinated in certain ways whenever these beliefs stand in the relevant inferential relations. We show that the safety conception faces insuperable problems vindicating these coordination principles, because its epistemic counterpart relation is symmetric. We conclude that it thus proves unable to account for minimal closure properties of knowledge. More generally, our formal results establish parameters within which any conception must operate that construes knowledge in terms of true counterparts. (shrink)

In this article, I side with those who argue that the debate about the definition of “disease” should be reoriented from the question “what is disease” to the question of what it should be. However, I ground my argument on the rejection of the naturalist approach to define disease and the adoption of a normativist approach, according to which the concept of disease is normative and value-laden. Based on this normativist approach, I defend two main theses: (1) that conceptual analysis (...) is not the right method to define disease and that conceptual engineering should be the preferred method and (2) that the method of conceptual engineering should be implemented following the principles of Alexandrova’s account of social objectivity in the context of the definition of disease. (shrink)

The ethics of safe sex in the gay community has, for many years, been focused on debates surrounding the responsibility regarding the use of condoms to prevent HIV transmission, once the only tool available. With the development of Truvada as a pre-exposure prophylaxis for HIV, for the first time in the history of the HIV/AIDS epidemic there is the potential to significantly reduce the risk of HIV transmission during sex without the use of condoms. The introduction of PrEP necessitates a (...) renewed discussion about the politics and ethics of safe sex for men who have sex with men. We present the arguments of authors who hold radically opposite positions with regard to the ethics of condom use by gay men, but who currently both criticize the use of PrEP. We offer a critique of their arguments and advance the position that the use of PrEP, even without condoms, can be acceptable and part of a safe sex ethics framework for MSM. (shrink)

The phenomenon of species extinction raises more and more concern among ecologists facing the actual crisis of biodiversity. Scientific investigations of the causes and effects of extinction must be completed by a philosophical analysis of the concept of extinction that aims to clarify the meanings of the term ‘extinction’ and to analyse modalities, criteria and degrees of extinction. We will focus our attention on the apparent paradox of the possible ‘resurrection’ of species in the near future with the help of (...) genetic biotechnology and cloning techniques. The ontological background of the extinction concept is analysed in relation to the idea of species as classes. We will also show that there is no simple analogy between death and species extinction, and develop a conceptualist and dualistic system of supra-individual entities , supported by an instrumentalist approach to genetic manipulations which transform species into interactive kinds, which can go extinct and be recreated. (shrink)

How does shame differ from guilt? Empirical psychology has recently offered distinct and seemingly incompatible answers to this question. This article brings together four prominent answers into a cohesive whole. These are that (a) shame differs from guilt in being a social emotion; (b) shame, in contrast to guilt, affects the whole self; (c) shame is linked with ideals, whereas guilt concerns prohibitions and (d) shame is oriented towards the self, guilt towards others. After presenting the relevant empirical evidence, we (...) defend specific interpretations of each of these answers and argue that they are related to four different dimensions of the emotions. This not only allows us to overcome the conclusion that the above criteria are either unrelated or conflicting with one another, it also allows us to tell apart what is constitutive from what is typical of them. -/- . (shrink)

Abstract The content of an emotion, unlike the content of a perception, is directly dependent on the motivational set of the subject experiencing the emotion. Given the instability of this motivational set, it might be thought that there is no sense in which emotions can be said to pick up information about the environment in the same way that perception does. Whereas it is admitted that perception tracks for us what is the case in the environment, no such tracking relation, (...) it is argued, holds between one's emotions and what they are about. It is to this worry – that the construal of the emotions as perceptions inevitably raises – that this paper tries to respond. In this paper, I suggest that when it is realized that one dimension of perception itself is directly dependent on the perceiver's perspective on her environment, then emotion, which is also essentially perspectival in this sense, bears the comparison with perception very well. After having clarified the nature and the role that perspective plays in perception, I argue that, in the case of emotions, the same perspectival role can be played by agents’ long-standing evaluative tendencies and character traits. The resulting conception of emotion as perception is then tested against possible objections. (shrink)

Is shame social? Is it superficial? Is it a morally problematic emotion? Researchers in disciplines as different as psychology, philosophy, and anthropology have thought so. But what is the nature of shame and why are claims regarding its social nature and moral standing interesting and important? Do they tell us anything worthwhile about the value of shame and its potential legal and political applications? -/- In this book, Julien Deonna, Raffaele Rodogno, and Fabrice Teroni propose an original philosophical account (...) of shame aimed at answering these questions. The book begins with a detailed examination of the evidence and arguments that are taken to support what they call the two dogmas about shame: its alleged social nature and its morally dubious character. Their analysis is conducted against the backdrop of a novel account of shame and ultimately leads to the rejection of these two dogmas. On this account, shame involves a specific form of negative evaluation that the subject takes towards herself: a verdict of incapacity with regard to values to which she is attached. One central virtue of the account resides in the subtle manner it clarifies the ways in which the subject's identity is at stake in shame, thus shedding light on many aspects of this complex emotion and allowing for a sophisticated understanding of its moral significance. -/- This philosophical account of shame engages with all the current debates on shame as they are conducted within disciplines as varied as ethics, moral, experimental, developmental and evolutionary psychology, anthropology, legal studies, feminist studies, politics and public polic. (shrink)

In this paper, my goal is to use an epistemic injustice framework to extend an existing normative analysis of over-medicalization to psychiatry and thus draw attention to overlooked injustices. Kaczmarek has developed a promising bioethical and pragmatic approach to over-medicalization, which consists of four guiding questions covering issues related to the harms and benefits of medicalization. In a nutshell, if we answer “yes” to all proposed questions, then it is a case of over-medicalization. Building on an epistemic injustice framework, I (...) will argue that Kaczmarek’s proposal lacks guidance concerning the procedures through which we are to answer the four questions, and I will import the conceptual resources of epistemic injustice to guide our thinking on these issues. This will lead me to defend more inclusive decision-making procedures regarding medicalization in the DSM. Kaczmarek’s account complemented with an epistemic injustice framework can help us achieve better forms of medicalization. I will then use a contested case of medicalization, the creation of Premenstrual Dysphoric Disorder in the DSM-5 to illustrate how the epistemic injustice framework can help to shed light on these issues and to show its relevance to distinguish good and bad forms of medicalization. (shrink)

There is a traditional conception of knowledge but it is not the Justified True Belief analysis Gettier attacked. On the traditional view, knowledge consists in having a belief that bears a discernible mark of truth. A mark of truth is a truth-entailing property: a property that only true beliefs can have. It is discernible if one can always tell that a belief has it, that is, a sufficiently attentive subject believes that a belief has it if and only if it (...) has it. Requiring a mark of truth makes the view infallibilist. Requiring it to be discernible makes the view internalist. I call the view Classical Infallibilism. (shrink)

Argumentation has been an important topic in knowledge representation, reasoning and multi-agent systems during the last twenty years. In this paper, we propose a new abstract framework where arguments are associated with a strength, namely a quantitative information which is used to determine whether an attack between arguments succeeds or not. Our Strength-based Argumentation Framework combines ideas of Preference-based and Weighted Argumentation Frameworks in an original way, which permits to define acceptability semantics sensitive to the existence of accruals between arguments. (...) The question of accruals arises in situations where several arguments defending the same position against another argument are unable to individually defeat this argument, but could do it collectively if they combine their strengths. We investigate some of the theoretical and computational properties of our new framework and semantics, and present a reasoning algorithm that is based on a translation of the problem into pseudo-boolean constraint satisfaction. This paper proposes an intuitive framework which allows strength compensations in an argumentation context where attacks may not succeed, completed by an approach which detects accruals throughout the reasoning process without requiring the elicitation of all compensatory combinations of arguments as an input. (shrink)

El artículo enfoca la crítica de la imagen dogmática en Deleuze desde un análisis retrospectivo del papel que desempeña la noción de «imagen del pensamiento» en su obra. Tras desgranar brevemente los distintos sentidos e interpretaciones con que el autor la utiliza y cerrar la introducción con la exposición del uso plenamente positivo que ese sintagma acabará adquiriendo en él, nos remontamos hasta el uso crítico y cronológicamente anterior –que no primero– de la expresión, donde la palabra «Imagen» señala esa (...) preconcepción tradicional, común a la filosofía y al buen sentido, de un pensamiento pretendidamente «natural», con el fin de arrojar una luz nueva sobre los principales ejes en torno a los cuales semejante Imagen se estructura. (shrink)

Why think that emotions are kinds of evaluations? This chapter puts forward an original account of emotions as evaluations apt to circumvent some of the chief difficulties with which alternative approaches find themselves confronted. We shall proceed by first introducing the idea that emotions are evaluations (sec. I). Next, two well-known approaches attempting to account for this idea in terms of attitudes that are in and of themselves unemotional but are alleged to become emotional when directed towards evaluative contents are (...) explored. According to the first approach, emotions are nothing but evaluative judgments. Sec. II reminds the reader of the problems associated with this idea: one of its consequences is to deprive creatures with limited cognitive capacities of any sort of partaking of emotional life. According to the second approach, which is often praised for its capacity to avoid the pitfalls facing an appeal to evaluative judgments, emotions are perception-like experiences of evaluative properties and are as such within the reach of creatures bereft of conceptual capacities. This perceptual theory is taken up in sect. III, in which we explain why it remains unsatisfactory insofar as it shares with the evaluative judgement theory the idea that what makes emotions evaluations is the specific contents that they have. On this basis, we proceed by outlining in sect. IV an alternative—the attitudinal theory of emotions. Its main point of departure from current theorizing about the emotions consists in elucidating the fact that emotions are evaluations not in terms of what they represent, but rather in terms of the sort of attitude subjects take towards what they represent. We explore here what sorts of attitudes emotions are and defend the idea that they are felt bodily attitudes. (shrink)