La mathématique est conditionnée par un objet formel constructif. De même, la logique. L’objet formel est identique pour les deux disciplines. Il est de nature rameuse. L’auteur donne quelques indications sur la théorie des ramifications qu’il a instituée. Il termine en signalant que la logique des prédicats et la distributivité du produit logique ont pour objet véritable la variété multidimensionnelle discrète des mathématiciens, un objet dont la genèse rameuse est une pièce importante de sa théorie.

La radiation électromagnétique chez Maxwell, Lorentz et Ritz.--La radiation électromagnétique et la théorie de la relativité.--La radiation électromagnetique et les principes de la physique.--La radiation électromagnétique et la matière.--La radiation électromagnétique et l'éther.

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)

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)

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)

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)

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)

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)

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)

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).

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.

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)

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)

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)

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)

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)

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)

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)

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)

Infallibilism is the claim that knowledge requires that one satisfies some infallibility condition. I spell out three distinct such conditions: epistemic, evidential and modal infallibility. Epistemic infallibility turns out to be simply a consequence of epistemic closure, and is not infallibilist in any relevant sense. Evidential infallibilism i s unwarranted but it is not an satisfactory characterization of the infallibilist intuition. Modal infallibility, by contrast, captures the core infallibilist intuition, and I argue that it is required to solve the Gettier (...) problem and account for lottery cases. Finally, I discuss whether modal infallibilism has sceptical consequences and argue that it is an open question whose answer depends on one’s account of alethic possibility. (shrink)

In this article, we present, assess and give reasons to reject the popular claim that shame is essentially social. We start by presenting several theses which the social claim has motivated in the philosophical literature. All of them, in their own way, regard shame as displaying a structure in which "others" play an essential role. We argue that while all these theses are true of some important families of shame episodes, none of them generalize so as to motivate the conclusion (...) that shame is an essentially social emotion. We consider each thesis in turn, explaining in the process their connections with one another as well as the constraints on a theory of shame they help uncover. Finally, we show how a non-social picture of shame is not only capable of meeting these constraints, but has the further virtue of shedding light on those situations in which others seem to play no role in why we feel shame. (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)

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.

Williamson (2000a) has argued that posi- tive introspection is incompatible with in- exact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based on a intuitive safety prin- ciple for knowledge, but leads to the counter- intuitive conclusion that no possible creature could have both inexact knowledge and posi- tive introspection. Following Halpern (2004) I put forward an alternative margin-for-error requirement that preserves the safety require- ment while blocking Williamson’s argument. I argue that the infallibilist conception of knowledge (...) that underlies the new require- ment provides a better account of inexact knowledge and higher-order knowledge than both Williamson’s and Halpern’s. (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)

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)

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)

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)