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)

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)

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)

When spelled out properly infallibilism is a viable and even attractive view. Because it has long been summary dismissed, however, we need a guide on how to properly spell it out. The guide has to fulfil four tasks. The first two concern the nature of knowledge: to argue that infallible belief is necessary, and that it is sufficient, for knowledge. The other two concern the norm of belief: to argue that knowledge is necessary, and that it is sufficient, for justified (...) certainty. With such a guide in hand infallibilism can be evaluated on its own merits. The most controversial parts are the first and fourth. The idea that knowledge requires infallible belief is thought to be excessively sceptical. The idea that knowledge warrants certainty is thought to be excessively dogmatic. The present paper addresses the first. It argues that knowledge requires infallible belief. (shrink)

For Hannah Arendt, authority is the shape educational responsibility assumes. In our time, authority in Arendt’s sense is under pressure. The figure of Greta Thunberg shows the failure of adult generations, taken collectively, to take responsibility for the world and present and future generations of newcomers. However, in reflecting on Arendt’s use of authority, we argue that her account of authority also requires amendments. Arendt’s situating of educational authority in-between past and future adequately captures its temporal dimension. We make explicit (...) another, spatial, dimension: authority in-between world and earth. Arendt’s neglect of the material earth also has implications for the relational dimension of authority. Arendt’s authority depends on a dichotomy between the private and the public sphere. This is problematic. First, we agree with Arendt’s feminist critics that the personal can be made into the site of the political. Second, we point once more to Thunberg, the child, taking the public stage, thereby contesting the division between public and private. In response, we situate the relational dimension of authority in-between private and public. The three dimensions of educational authority taken together imply that it is situated in-between domains that cannot be reduced to each other or taken as absolutes: past and future, world and earth, and the private and public sphere. This brings us to our concept of ambiguous authority, which expresses the Arendtian nature of our reflections and the ways in which we seek to renew her original insights on educational authority. (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)

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.

Journal of Philosophy of Education, EarlyView.

Sven Rosenkranz’s Justification as Ignorance shows how a strongly internalist conception of justification can be derived from a strongly externalist conception of knowledge, given an identification of justification with second-order ignorance and a set of structural principles concerning knowing and being in a position to know. Among these principles is an epistemic analogue of the Geach modal schema which states that one is always in a position to know that one doesn’t know p or in a position to know that (...) one doesn’t know not-p. Even suitably refined, the principle faces a range of counterexamples in which it misleadingly and persistently seems to one that one knows whether p without it seeming to one that one knows p nor that one knows not-p. These cases also threaten the book’s case for the luminosity of second-order ignorance, which is in turn central to its derivation of strongly internalist principles of justification. (shrink)

While it is generally believed that justification is a fallible guide to the truth, there might be interesting exceptions to this general rule. In recent work on bridge-principles, an increasing number of authors have argued that truths about what a subject ought to do are truths we stand in some privileged epistemic relation to and that our justified normative beliefs are beliefs that will not lead us astray. If these bridge-principles hold, it suggests that justification might play an interesting role (...) in our normative theories. In turn, this might help us understand the value of justification, a value that's notoriously difficult to understand if we think of justification as but a fallible means to a desired end. We will argue that these bridge-principles will be incredibly difficult to defend. While we do not think that normative facts necessarily stand in any interesting relationship to our justified beliefs about them, there might well be a way of defending the idea that our justified beliefs about what to do won't lead us astray. In turn, this might help us understand the value of justification, but this way of thinking about justification and its value comes with costs few would be willing to pay. (shrink)

Knowledge-first evidentialism combines the view that it is rational to believe what is supported by one's evidence with the view that one's evidence is what one knows. While there is much to be said for the view, it is widely perceived to fail in the face of cases of reasonable error—particularly extreme ones like new Evil Demon scenarios (Wedgwood, 2002). One reply has been to say that even in such cases what one knows supports the target rational belief (Lord, 201x, (...) this volume). I spell out two versions of the strategy. The direct one uses what one knows as the input to principles of rationality such as conditionalization, dominance avoidance, etc. I argue that it fails in hybrid cases that are Good with respect to one belief and Bad with respect to another. The indirect strategy uses what one knows to determine a body of supported propositions that is in turn the input to principles of rationality. I sketch a simple formal implementation of the indirect strategy and show that it avoids the difficulty. I conclude that the indirect strategy offers the most promising way for knowledge-first evidentialists to deal with the New Evil Demon problem. (shrink)

For the past two decades, philosophers of religion have paid close attention to the debates on public reason taking place within the context of political philosophy. Some thinkers claim that religious arguments should play a very limited role in political discourse, as this would amount to a politically sanctioned imposition of religious beliefs on people with different religious or non-religious worldviews. Others claim that excluding religious reasons would lead to an unfair exclusion of religious citizens from democratic processes. Underlying these (...) positions is a highly problematic idea of what it means to be a religious citizen. On the one hand, religious citizens are conceptualized as highly self-reflective theologians. Others instead imagine religious citizens to be wholly incapable of such self-reflection and of distinguishing between public and non-public spheres. In my article I attempt to criticize these underlying assumptions and point towards a more nuanced conception of the religious citizen. (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)

RNA polymerase II (RNAP II) non‐coding transcription is now known to cover almost the entire eukaryotic genome, a phenomenon referred to as pervasive transcription. As a consequence, regions previously thought to be non‐transcribed are subject to the passage of RNAP II and its associated proteins for histone modification. This is the case for the nucleosome‐depleted regions (NDRs), which provide key sites of entry into the chromatin for proteins required for the initiation of coding gene transcription and DNA replication. In this (...) review, recent data on the effects of pervasive transcription through NDRs are summarized and a model is proposed to explain how RNAP II‐driven transcription is able to modify the nucleosomes flanking the NDRs, leading to nucleosome repositioning and NDR closure. Even though much of the mechanistic detail underlying these events remains to be elucidated, such a model provides a basis to explain how non‐coding transcription through NDRs can regulate the initiation of coding gene expression and DNA replication. (shrink)

How can we use models to understand real phenomena if models misrepresent the very phenomena we seek to understand? Some accounts suggest that models may afford understanding by providing causal knowledge about phenomena via how-possibly explanations. However, general equilibrium models, for example, pose a challenge to this solution since their contribution appears to be purely mathematical results. Despite this, practitioners widely acknowledge that it improves our understanding of the world. I argue that the Arrow–Debreu model provides a mathematical how-possibly explanation (...) which establishes claims of mathematical dependence. The account developed reveals how mathematical knowledge can inform claims about the world, allow ‘what-if-things-had-been-different’ inferences, and thus improve our understanding. (shrink)

Objective Our study sought to (1) describe the practices and preferences of Colombian adolescents in accessing sexual and reproductive health services: accompanied versus alone; (2) compare actual practices with stated preferences; and (3) determine age and gender differences regarding the practice and these stated preferences. -/- Methods 812 participants aged 11–24 years old answered a survey in two Profamilia clinics in the cities of Medellin and Cali in Colombia. A cross-sectional analysis was performed to compare participants’ answers based on the (...) variables of gender and age. -/- Results A quarter of participants visited the clinic alone (25.4%). Females were more likely to go alone in comparison to males (26.3% vs 14.1%; p = 0.031), and older participants went alone more often than younger participants (p < 0.001). Most participants – 72.7% (95 %CI: 69.3–75.9) – expressed a preference in being accompanied to the clinic, and more than 90% had their preferences met. The preferences of older participants were, however, less likely to be met than those of younger participants (p < 0.001), notably, because they predominantly wanted to be accompanied. -/- Conclusion Contemporary public health and bioethics literature advocates in favor of developing health services that better meet the preferences of adolescents. The present research highlights an apparent blind spot related to the role that others (e.g., parents, friends, partners) can or should play in accompanying adolescent patients when they access sexual and reproductive health services. Respecting adolescents’ preferences, and hence their autonomy, is not simply a matter of ensuring freedom from constraints (e.g., their right and ability to go alone). Rather, it should also consider the liberty to choose whether to be accompanied when accessing SHRS and by whom. (shrink)

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)

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)

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)

Models typically have actual, existing targets. However, some models are viewed as having non-actual targets. I argue that this interpretation comes at various costs and propose an alternative that fares better along two dimensions: (1) agreement with practice and (2) ontological and epistemological parsimony. My proposal is that many of these models actually have actual targets.

The Swamping Problem shows that two claims are incompatible: the claim that knowledge has more epistemic value than mere true belief and a strict variant of the claim that all epistemic value is truth or instrumental on truth. Most current solutions reject. Carter and Jarvis and Carter, Jarvis and Rubin object instead to a principle that underlies the problem. This paper argues that their objections fail and the problem stands. It also outlines a novel solution which rejects. By carefully distinguishing (...) value from expected value, one can argue that the greater value of knowledge is merely apparent. (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)

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)

Timothy Williamson (1992, 224–5) and Ernest Sosa (1996) have ar- gued that knowledge requires one to be safe from error. Something is said to be safe from happening iff it does not happen at “close” worlds. I expand here on a puzzle noted by John Hawthorne (2004, 56n) that suggests the need for two notions of closeness. Counterfac- tual closeness is a matter of what could in fact have happened, given the specific circumstances at hand. The notion is involved in (...) the semantics for counterfactuals and is the one epistemologists have typically assumed. Normalized closeness is rather a matter of what could typically have happened, that is, what would go on in a class of normal alternatives to actuality, irrespectively of whether or not they could have happened in the circumstances at hand. (shrink)

Introduction Pour le lecteur de la Phénoménologie de l’Esprit de Hegel, il y a quelque chose d’étrange à entendre parler de « raison théorique » et de « raison pratique » dans la mesure où Hegel n’utilise jamais ces termes ni ne les définit explicitement dans sa première grande œuvre systématique. Il peut sembler ainsi a priori difficile d’évoquer voire de déterminer, sans plus de précautions, une raison théorique et une raison pratique dans la Phénoménologie de l’Esprit , à tel (...) point que nous pourrions être tentés de renoncer tout simplement à une telle détermination. Toutefois, nous vou­drions montrer dans le présent article que Hegel identifie bien, de façon précise, une dimension théorique et une dimension pratique de la raison dans la Phénoménologie de l’Esprit , dimensions qu’il s’emploie à caractériser et à articuler tout au long de la section Raison. Pour ce faire, nous procéderons en trois temps. Dans un premier temps, nous tenterons de mettre en évidence la genèse de la raison théorique et de la raison pratique à partir de l’introduction à la section Raison. Ce faisant, nous voudrions souligner le caractère institué de la raison. Dans un deuxième temps, nous examinerons la structure et l’agir de la raison théorique et de la raison pratique dans ses différentes figures, respectivement comme raison observante puis légisprobatoire, d’une part, et comme raison effectuante puis. (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)

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)

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)

One can find in the literature two sets of views concerning the relationship between understanding and explanation: that one understands only if 1) one has knowledge of causes and 2) that knowledge is provided by an explanation. Taken together, these tenets characterize what I call the narrow knowledge account of understanding. While the first tenet has recently come under severe attack, the second has been more resistant to change. I argue that we have good reasons to reject it on the (...) basis of theoretical models that provide how-possibly explanations. These models, while they do not explain in the strict sense, afford understanding. In response, I propose an alternative epistemology of understanding, broad KAU, that takes cases of theoretical modelling into account. (shrink)

This article is concerned with a statistical proposal due to James R. Beebe for how to solve the generality problem for process reliabilism. The proposal is highlighted by Alvin I. Goldman as an interesting candidate solution. However, Goldman raises the worry that the proposal may not always yield a determinate result. We address this worry by proving a dilemma: either the statistical approach does not yield a determinate result or it leads to trivialization, i.e. reliability collapses into truth (and anti-reliability (...) into falsehood). Various strategies for avoiding this predicament are considered, including revising the statistical rule or restricting its application to natural kinds. All amendments are seen to have serious problems of their own. We conclude that reliabilists need to look elsewhere for a convincing solution to the generality problem. (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)

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)

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)

Awareness is a concept that has been frequently studied in the context of Computer Supported Cooperative Work. However, other fields of computer science can benefit from this concept. Recent research in the multi-agent systems field has highlighted the relevance of complex interaction models such as multi-party communication and context awareness for simulation and adaptive systems. In this article, we present a generic interaction model that enables to use these different models in a standardized way. Emerging as a first-order abstraction, the (...) environment, in the sense of a common medium for the agents, is a suitable paradigm to support the agents’ awareness. We present an operational model, called Environment as Active Support of Interaction, to take into account all the agents that can be interested in a communication. This model is then extended for the regulation of multiagent systems interactions. Priority policies are given to manage the rules governing the context (un-)awareness of the agents. We also present a new AUML connector to create protocols that take into account the agent awareness to implement proactive behaviour, and several communication scenarios are proposed to show practical applications of this model. (shrink)

Les organisations du tiers secteur, notamment celles spécialisées dans les services solidaires, sont souvent considérées comme des organisations capables de promouvoir de nouvelles formes de participation politique et d'engagement dans l'espace public. En effet, en créant des espaces intermédiaires entre l'espace domestique et l'espace public, elles permettraient de mobiliser les exclus et redessineraient les frontières entre le public et le privé. Cependant, ce texte défend l'idée que pour évaluer ce rôle politique potentiel, il est tout d'abord nécessaire de s'intéresser à (...) leurs modes d'organisation, à leur mode effectif de prise de décision et à leur capacité à construire leur légitimité vis-à-vis des autres types d'organisations politiques. La sociologie politique offre les outils théoriques permettant d'évaluer ces trois éléments.Third-sector organizations - and especially those specialized in solidarity services - are often considered capable of promoting new forms of political participation and involvement in the public sphere. Indeed, by mobilizing marginalized social groups on the borderline between domestic issues, registers of proximity and political action, they re-shape the boundaries between what is considered as being « public » and « private ». Nevertheless, this article argues that in order to evaluate their potential political role, it is first necessary to focus on their modes of organization and leadership and their ability to construct their legitimacy against other forms of political organizations. And political sociology provides the tools required to obtain a realistic view of these organizations. (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 compute here the Borel complexity of the relation of isometry between separable Banach spaces, using results of Gao, Kechris [2], Mayer-Wolf [5], and Weaver [8]. We show that this relation is Borel bireducible to the universal relation for Borel actions of Polish groups. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).

Two recent contributions have discussed, and disagreed, over whether so-called toy models that attempt to represent dispositions have the power to explain. In this paper, I argue that neither of these positions is completely correct. Toy models may accurately represent, satisfy the veridicality condition, yet fail to provide how-actually explanations. This is because some dispositions remain unmanifested. Instead, the models provide how-possibly explanations; they _possibly_ explain.

L'art comme empreinte revisite les fondamentaux de l'art en explorant sa nature pour définir l'art comme une empreinte. La trace d'un charbon sur un mur ou d'un pinceau sur une toile font jaillir l'oeuvre, mais explorer cette apparente banalité de l'empreinte révèle le mystère et la complexité de l'art. Rencontre entre l'homme et la matière, l'art tout comme l'empreinte est une frontière en perpétuelle mutation qui permet à l'humanité l'exploration de soi et du monde. Car si l'art est techniquement une (...) empreinte, il est aussi la projection de la personnalité de l'artiste qui en façonnant la matière se découvre toujours un peu plus, et vient aussi nourrir la culture de son temps. Son art vient en effet transformer à leur tour ceux qui le contemplent, et qui en sont changés comme la toile sous le pinceau. L'empreinte est ce qui reste quand celui qui l'a laissée a disparu, la part de l'autre en nous qui fait avancer notre humanité. Voie de connaissance et de transmission, l'empreinte est ce qui permet l'interaction et donc l'évolution, ce qui met l'art en perpétuel mouvement. Figure fondamentale de l'être, elle constitue une force de changement qui est à la base de la vie et de la beauté du monde. (shrink)