The Revision Theory of Truth has been challenged in A. M. Yaqūb's recent book The Liar Speaks the Truth. Yaqūb suggests some non-trivial changes in the original theory - changing the limit rule - to avoid certain artifacts. In this paper it is shown that the proposed changes are not sufficient, i.e., Yaqūb's system also produces artifacts. An alternative solution is proposed and the relation between it and Yaqūb's solution is explored.

This dissertation is a study of some recent theories of truth. The theories fall into three groups: The Revision Theories, the context-sensitive theories, and the "Chrysippian theories". ;The "Chrysippian theories" are based on the intuition that pathologicalities arising from the concept of truth can be recognized and acknowledged with the concept of truth itself. Thus, from the pathologicality of the Liar, for example, we can conclude that the Liar is not true. This leads to immediate difficulties since the Liar claims (...) just that--that it is not true--and it would thus seem to be true. The Chrysippian theories are designed to avoid these difficulties while preserving the motivating intuition. Haim Gaifman's Pointer Semantics, and Brian Skyrms' Intensional Fixed-Point Theory of Truth are examples of such theories. They are exposited and criticized. ;The context-sensitive theories dealt with are Tyler Burge's Indexical Theory of Truth and the theory of Jon Barwise and John Etchemendy. These theories claim that an ambiguity due to a contextual parameter is the reason for the difficulties we encounter. Burge offers a theory of Tarskian levels coupled with a pragmatic theory that explains the assignment of levels to occurrences of 'true'. Barwise and Etchemendy make explicit a situational parameter in their account of propositions. They consider the ambiguity with respect to the situation a propositions is about a main source of the paradoxes. ;Finally, the Revision Theories of Truth of Anil Gupta and Nuel Belnap and two variations of this theory are considered. One is due to Aladdin Yaqub, the other, the "fully-varied theory", is due to Gupta and Belnap but remains largely unexplored. Revision theories are put forward as the most promising account of the difficulties. They are based on a definitional reading of all Tarski biconditionals. The circularity implied by such a reading is handled by Gupta's and Belnap's general theory of definitions. ;Yaqub's objections raised against the standard theory are examined, and his proposed solution is shown to be inadequate. The fully-varied Revision Theory is shown to provide a better solution. (shrink)

This paper was motivated by the following two questions which arise in the theory of complexity for computation over ordered rings in the now famous computational model introduced by Blum, Shub and Smale: 1. is the answer to the question P = ?NP the same in every real-closed field?2. if P ≠ NP for , does there exist a problem of which is NP but neither P nor NP-complete ?Some unclassical complexity classes arise naturally in the study of these questions. (...) They are still open, but we could obtain unconditional results of independent interest.Michaux introduced/const complexity classes in an effort to attack question . We show that , answering a question of his. Here A is the class of real problems which are algorithmic in bounded time. We also prove the stronger result: , where PAR stands for parallel polynomial time. In our terminology, we say that is A-saturated and PAR-saturated. We also prove, at the nonuniform level, the above results for every real-closed field. It is not known whether is P-saturated. In the case of the reals with addition and order we obtain P-saturation ). More generally, we show that an ordered -vector space is P-saturated at the nonuniform level ).We also study a stronger notion that we call P-stability. Blum, Cucker, Shub and Smale have shown that fields of characteristic 0 are P-stable. We show that the reals with addition and order are P-stable, but real-closed fields are not.Questions and and the/const complexity classes have some model theoretic flavor. This leads to the theory of complexity over “arbitrary” structures as introduced by Poizat. We give a summary of this theory with a special emphasis on the connections with model theory and we study/const complexity classes from this point of view. Note also that our proof of the PAR-saturation of shows that an o-minimal structure which admits quantifier elimination is A-saturated at the nonuniform level. (shrink)

Cet article explore comment les femmes de la bourgeoisie occupaient l’espace urbain au début de l’époque moderne entre négociations et circulations à partir de sources normatives et de documents du for privé. Aux xvie et xviie siècles, le contrôle social exercé sur les femmes se durcit. Leur circulation dans l’espace urbain est ainsi l’objet d’une codification précise attribuant aux femmes l’espace domestique, rêvé comme un lieu de vertu, de travail et de protection, en réalité un lieu de circulation et d’échanges, (...) tandis que l’espace public est de plus en plus considéré comme masculin. Bien que les femmes soient sous l’observation stricte des théologiens, des pasteurs et des autorités publiques, certaines ont su s’adapter de ces limitations, et ont pu faire de longs voyages par nécessité, ce qui démontre l’écart entre les normes, et les pratiques au quotidien. (shrink)

Presenting a fascinating analysis of the idea of what can't be said, this book ascertains whether the notion of there being a truth, or a state of affairs, or knowledge that can't be expressed linguistically is a coherent notion. The author distinguishes different senses in which it might be said that something can't be said. The first part looks at the question of whether ineffability is a coherent idea. Part two evaluates two families of arguments regarding whether ineffable states of (...) affairs actually exist: the argument from mysticism and the argument from epistemic boundedness. Part three looks more closely at the relation between mystic and non-mystic stances. In the fourth and final part the author distinguishes five qualitatively different types of ineffability. _Ineffability and Philosophy_ is a significant contribution to this area of research and will be essential reading for philosophers and those researching and studying the philosophy of language. (shrink)

Experiences of absence are common in everyday life, but have received little philosophical attention until recently, when two positions regarding the nature of such experiences surfaced in the literature. According to the Perceptual View, experiences of absence are perceptual in nature. This is denied by the Surprise-Based View, according to which experiences of absence belong together with cases of surprise. In this paper, I show that there is a kind of experience of absence—which I call frustrating absences—that has been overlooked (...) by the Perceptual View and by the Surprise Based-View and that cannot be adequately explained by them. I offer an alternative account to deal with frustrating absences, one according to which experiencing frustrating absences is a matter of subjects having desires for something to be present frustrated by the world. Finally, I argue that there may well be different kinds of experiences of absence. (shrink)

In this challenging study, André Gallois proposes and defends a thesis about the character of our knowledge of our own intentional states. Taking up issues at the centre of attention in contemporary analytic philosophy of mind and epistemology, he examines accounts of self-knowledge by such philosophers as Donald Davidson, Tyler Burge and Crispin Wright, and advances his own view that, without relying on observation, we are able justifiably to attribute to ourselves propositional attitudes, such as belief, that we consciously (...) hold. His study will be of wide interest to philosophers concerned with questions about self-knowledge. (shrink)

Lorenz proposed in his (1935) articulation of a theory of behavioral instincts that the objective of ethology is to distinguish behaviors that are “innate” from behaviors that are “learned” (or “acquired”). Lorenz’s motive was to open the investigation of certain “adaptive” behaviors to evolutionary theorizing. Accordingly, since innate behaviors are “genetic”, they are open to such investigation. By Lorenz’s light an innate/acquired or learned dichotomy rested on a familiar Darwinian distinction between genes and environments. Ever since Lorenz, ascriptions of innateness (...) have become widespread in the cognitive, behavioral, and biological sciences. The trend continues despite decades of strong arguments that show, in particular, the dichotomy that Lorenz invoked in his theory of behavioral instincts is literally false: no biological trait is the product of genes alone. Some critics suggest that the failure of Lorenz’s account shows that innateness is not well-defined in biology and the practice of ascribing innateness to various biological traits should be dropped from respectable science. Elsewhere (Ariew 1996) I argued that despite the arguments of critics, there really is a biological phenomenon underlying the concept of innateness. On my view, innateness is best understood in terms of C.H. Waddington’s concept of “canalization”, i.e. the degree to which a trait is innate is the degree to which its developmental outcome is canalized. The degree to which a developmental outcome is canalized is the degree to which the developmental process is bound to produce a particular endstate despite environmental fluctuations both in the development’s initial state and during the course of development. The canalization account differs in many ways to the traditional ways that ethologists such as Konrad Lorenz originally understood the concept of innateness. Most importantly, on the canalization account the distinction between innate and acquired is not a dichotomy, as Konrad Lorenz had it, but rather a matter of degree difference that lies along a spectrum with highly canalized development outcomes on the one end and highly environmentally sensitive development outcomes on the other end. Nevertheless, I justified the canalization account on the basis of a set of desiderata or criteria that I suggested falls-out of what seemed uncontroversial about Lorenz’s account of innateness (briefly): innateness is a property of a developing individual, innateness denotes environmental stability, and innate-ascriptions are useful in certain natural selection explanations (more below). From that same set of desiderata I argued (in my 1996) that neither the concept of heritability nor of norms of reactions—two concepts from population genetics—suffice to ground innateness. In this essay, I wish to provide further support of the canalization account in two ways. First, I wish to better motivate the desiderata by revisiting a debate between Konrad Lorenz and Daniel Lehrman over the meaning and explanatory usefulness of innate ascriptions in ethology. Second, I wish to compare my canalization account of innateness with accounts proposed by contemporary philosophers, one by Stephen Stich (1975), another by Elliott Sober (forthcoming), and a third by William Wimsatt (1986). (shrink)

Également auteure de Quand l’esprit vient aux plantes. Botanique sensible et subversion libertine (XVIe-XVIIIe s.), publié en 2015, Dominique Brancher, professeure de littérature à l’université de Bâle, étudie les rapprochements entre littérature et savoir à la Renaissance et met au jour la difficulté à classer les plantes dans une catégorie spécifique du vivant à l’époque moderne. Les Équivoques de la pudeur est le résultat de son travail d’habilitation. Écrit dans une langue érudite qui rév...

This book presents a comprehensive and detailed exploration of the relationship between the thought of G.W.F. Hegel and that of John McDowell, the latter of whom is widely considered to be one of the most influential living analytic philosophers. It serves as a point of entry in McDowell’s and Hegel’s philosophy, and a substantial contribution to ongoing debates on perceptual experience and perceptual justification, naturalism, human freedom and action. The chapters gathered in this volume, as well as McDowell’s responses, make (...) it clear that McDowell’s work paves the way for an original reading of Hegel’s texts. His conceptual framework allows for new interpretive possibilities in Hegel’s philosophy which, until now, have remained largely unexplored. Moreover, these interpretations shed light on various aspects of continuity and discontinuity between the philosophies of these two authors, thus defining more clearly their positions on specific issues. In addition, they allow us to see Hegel’s thought as containing a number of conceptual tools that might be useful for advancing McDowell’s own philosophy and contemporary philosophy in general. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

There is a growing awareness that there are many subtle forms of exclusion and partiality that affect the correct workings of a judicial system. The concept of epistemic injustice, introduced by the philosopher Miranda Fricker, is a useful conceptual tool to understand forms of judicial partiality that often go undetected. In this paper, we present Fricker’s original theory and some of the applications of the concept of epistemic injustice in legal processes. In particular, we want to show that the seed (...) planted by Fricker has flourished into a rich field of study in which the concept is used to analyze many different phenomena in law, not always following the original characterization provided by her. This has led to a distinction between what we will call the narrow version of the concept, which is closer to Fricker’s original account, and the wider version of epistemic injustice, which is a more controversial notion because it is always on the verge of morphing into other well-known concepts like sexism, racial discrimination, oppression, silencing, and gaslighting. We will show that the value of the narrow version is mostly theoretical, and that in order to use the concept of epistemic injustice one must adopt a more liberal understanding of it. (shrink)

We prove that there exists no sentence F of the language of rings with an extra binary predicat I2 satisfying the following property: for every definable set X ⊆ ℂ2, X is connected if and only if ⊧ F, where I2 is interpreted by X. We conjecture that the same result holds for closed subset of ℂ2. We prove some results motivated by this conjecture.

This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.

The existence of causal explanations in science has been an issue of interest in Western philosophy from its very beginnings. That is the reason this work, following an idea of Mario Bunge, makes a historical review of this matter. The modern treatment of this subject takes place since the postulation by Popper and Hempel of the D-N model of scientific explanation, whose viability is scrutinized here from different points of view in the current philosophy of science. The main object of (...) this paper is to present two arguments against the possibility of causal explanations in theoretical physics. The first one concerns the existence, in certain cases, of inter-theoretical incompatibilities, and the second refers to the need to resort, in other cases, to concatenations of laws of different theories and disciplines. The final conclusion will be the defence of a form of theoretical explanation, which follows the Popper-Hempel model, but devoid of any ontological and metaphysical connotations. (shrink)

In this paper, I present a position that I call erotetic amelioration, according to which we must evaluate and, eventually, improve our answers to questions of the form “What is x?”. My focus will be on cases where x stands for a strongly social kind, such as marriage. Such a position is offered as an alternative to the idea-sometimes called conceptual engineering-according to which we should evaluate and, eventually, seek to improve our concepts. After introducing the idea of erotetic amelioration, (...) I will show how it can be put into work to deal with what I call the topic preservation challenge, and what advantages it has in relation to a similar position available in the literature, namely, Cappelen’s (2018) Austerity Framework. (shrink)

It is widely believed by philosophers that we human beings are capable of stepping back from inclinations to act in a certain way and consider whether we should do so. If we judge that there are enough reasons in favour of following our initial inclination, we are definitely motivated, and, if all goes well, we act. This view of human agency naturally leads to the idea that our actions are self-determined, or controlled by ourselves. Some go one step further to (...) the point of saying that we should extend the fundamental aspects of this view of human agency to the epistemic realm. This we call ‘the control-view”. Here we will make a strong case against the control-view. While we have a substantial control over our practical lives, it is very unlikely that this extends to our epistemic lives. Our discussion will proceed in three stages. We will present two asymmetries between our practical and epistemic lives which are followed by a general argument against the control-view. (shrink)

Dans cet article, nous nous proposons d’énoncer différentes hypothèses possibles pour rendre raison de l’affirmation célèbre, attribuée par Élien et Diogène Laërce à Platon, selon laquelle Diogène serait « Socrate devenu fou (Σωκράτης μαινόμενος) ». En mobilisant les définitions, courante, philosophique et médicale du terme μανία ainsi que les manières dont celui-ci a pu être conceptualisé en fonction des époques, et en nous appuyant sur les controverses touchant le statut de l’anecdote dans les manuscrits de Diogène Laërce, nous avançons cinq (...) interprétations de l’expression ainsi que leurs possibles limites. (shrink)

The aim of this paper is to describe an analogue of the theory of nontrivial torsion-free divisible abelian groups for metabelian groups. We obtain illustrations for “old-fashioned” model theoretic algebra and “new” examples in the theory of stable groups. We begin this paper with general considerations about model theory. In the second section we present our results and we give the structure of the rest of the paper. Most parts of this paper use only basic concepts from model theory and (...) group theory. However, in Section 5, we need some somewhat elaborate notions from stability theory. One can find the beginnings of this theory in [14], and we refer the reader to [16] or [21] for stability theory and to [22] for stable groups.§1. Some model theoretic considerations. Denote by the theory of torsion-free abelian groups in the language of groups ℒgp. A finitely generated group G satisfies iff G is isomorphic to a finite direct power of ℤ. It follows that axiomatizes the universal theory of free abelian groups and that the theory of nontrivial torsion-free abelian groups is complete for the universal sentences. Denote by the theory of nontrivial divisible torsion-free abelian groups. (shrink)

The aim of this paper is to describe an analogue of the theory of nontrivial torsion-free divisible abelian groups for metabelian groups. We obtain illustrations for “old-fashioned” model theoretic algebra and “new” examples in the theory of stable groups. We begin this paper with general considerations about model theory. In the second section we present our results and we give the structure of the rest of the paper. Most parts of this paper use only basic concepts from model theory and (...) group theory. However, in Section 5, we need some somewhat elaborate notions from stability theory. One can find the beginnings of this theory in [14], and we refer the reader to [16] or [21] for stability theory and to [22] for stable groups.§1. Some model theoretic considerations. Denote by the theory of torsion-free abelian groups in the language of groups ℒgp. A finitely generated group G satisfies iff G is isomorphic to a finite direct power of ℤ. It follows that axiomatizes the universal theory of free abelian groups and that the theory of nontrivial torsion-free abelian groups is complete for the universal sentences. Denote by the theory of nontrivial divisible torsion-free abelian groups. (shrink)

Ne estas prima orda formulo, kiu definas la Zariskijajn slositojn inter la konstruitoj, malpli ke la konektojn inter la slositoj.

Les questions de la pauvreté volontaire, de la mendicité, ou encore de la falsification de la monnaie ayant déjà donné lieu à plusieurs études directes, nous nous proposons de les aborder par le biais, jusqu’à présent négligé, des gestes effectués par les Cyniques à l’égard des biens matériels : prendre et jeter. S’élabore, ainsi, une gestualité économique du Cynisme, qui exprime à la fois une critique éthique de l’économie et un mode de vie philosophique incarné. Classification JEL : B11.

El uso de sistemas de machine learning en los procesos de selección laboral ha sido de gran utilidad para agilizarlos y volverlos más eficientes, pero al mismo tiempo ha generado problemas en términos de equidad, confiabilidad y transparencia. En este artículo comenzamos explicando los diferentes usos de la Inteligencia Artificial en los procesos de selección laboral en Estados Unidos. Presentamos los sesgos sexuales y raciales que han sido detectados en algunos de ellos y explicamos los obstáculos jurídicos y prácticos para (...) su detección y análisis. Un posible remedio jurídico a la discriminación algorítmica es el régimen de impacto diferencial sistémico utilizado en Estados Unidos. Usamos algunas características de este régimen para señalar los vacíos jurídicos frente a la discriminación en el acceso al empleo en el ámbito del derecho laboral colombiano, y ofrecemos algunas características generales que podría tener un régimen de esa naturaleza. (shrink)

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more accurate way (...) our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

This paper raises three questions regarding the attribution of beliefs, desires, and intentions to robots. The first one is whether humans in fact engage in robot mindreading. If they do, this raises a second question: does robot mindreading foster trust towards robots? Both of these questions are empirical, and I show that the available evidence is insufficient to answer them. Now, if we assume that the answer to both questions is affirmative, a third and more important question arises: should developers (...) and engineers promote robot mindreading in view of their stated goal of enhancing transparency? My worry here is that by attempting to make robots more mind-readable, they are abandoning the project of understanding automatic decision processes. Features that enhance mind-readability are prone to make the factors that determine automatic decisions even more opaque than they already are. And current strategies to eliminate opacity do not enhance mind-readability. The last part of the paper discusses different ways to analyze this apparent trade-off and suggests that a possible solution must adopt tolerable degrees of opacity that depend on pragmatic factors connected to the level of trust required for the intended uses of the robot. (shrink)

But what are functions? Here, 15 leading scholars of philosophy of psychology and philosophy of biology present new essays on functions.

A. Selbstverortung: Der hermssche Blick auf andere Religionen -- b. Öffnung zu Anderen: Das Problem geschlossener Rationalitätsformen -- ii. Einheit in der Vielfalt. Die interpretative Vernunft -- III. 3.C. Schlussfolgerungen. Bildung der Weltanschauungen -- IV. Ergebnisse und Ausblicke -- IV. 1. Perspektiven des Theorievergleichs -- IV. 1.A. Eine 'Topik der Verständigung' - als Struktur der Forschungsfragen -- IV. 1.B. Vernunft und Religion als komplementäre Konkurrenz -- IV. 2. Möglichkeiten interkultureller Koexistenz -- IV. 2.A. Evangelischer Glaube im Horizont des globalen Wandels (...) -- IV. 2.B. Diskurskultur und Diskurs der Kulturen -- IV. 2.C. Konstitutionalisierung der Wirkungsgemeinschaft der Menschheit -- Bibliografie -- Literatur von Jürgen Habermas -- Literatur von Eilert Herms -- Weitere Literatur -- Personenregister -- Sachregister. (shrink)

The first purpose of this article is to present a new theory of libertarian free will—the boundary theory of libertarian free will—which provides a new framework by means of employing boundaries as a “conceptual scheme” for understanding libertarian free will. This theory consists of two parts. One part suggests that the agent’s will should be viewed as the intermediate boundary between an agent’s reasons and his alternative choices. The second part is a model where the agent’s will is a faculty (...) that solely operates by permitting or resisting reasons (that are potential causes) to become actual causes for the agent’s choices. The second purpose of the paper is to argue that the boundary theory of libertarian free will has several advantages, the most important of which are: (a) it defeats the charge that libertarian free will is a mystery; (b) it defeats the standard objections against the compatibility of libertarian free will and indeterminism (that is, the luck argument, the roll-back argument, the difference argument, the assimilation argument, etc.); and (c) it is simultaneously an argument for indeterminism as such (that is, that determinism is false). (shrink)

IN the last decade deliberative democracy has developed rapidly from a “theoretical statement” into a “working theory.”1 Scholars and practitioners have launched numerous initiatives designed to put deliberative democracy into practice, ranging from deliberative polling to citizen summits.2 Some even advocate deliberation as a new “revolutionary now.”3 Deliberative democracy has also experienced the beginning of an empirical turn, making significant gains as an empirical (or positive) political science. This includes a small, but growing body of literature tackling the connection between (...) the normative standards of deliberation, how well they are met, and the empirical consequences of meeting them.4 This trend has, for instance, included the use of methods and frameworks borrowed from other fields, such as political and social psychology. Such studies suggest that cases approaching ideal deliberation are rare, but that group interaction sometimes works surprisingly well according to such ideals.5. (shrink)

Los sesgos cognitivos afectan negativamente la toma de decisiones en todas las esferas de la vida, incluyendo las decisiones de los jueces. La imposibilidad de eliminarlos por completo de la práctica del derecho, o incluso de controlar sus efectos, contrasta con el anhelo de que las decisiones judiciales sean el resultado exclusivo de un razonamiento lógico-jurídico correcto. Frente el efecto sistemático, recalcitrante y porfiado de los sesgos cognitivos, una posible estrategia para disminuir su efecto es enfocarse, no en modificar el (...) comportamiento de los agentes judiciales, sino en moldear su entorno para que los sesgos tengan menos oportunidades de aparecer. En particular, es más provechoso concentrar los esfuerzos en identificar aquellas reglas procesales que faciliten o limiten el efecto de los sesgos. En este ensayo propongo un diálogo fructífero entre el derecho y la psicología que puede llevar a mejorar la calidad de los sistemas judiciales. La propuesta está basada en la creación de guías de práctica judicial que puedan servir de base para la creación de protocolos procesales que limiten en la medida de lo razonable sus efectos negativos y conduzcan a mejores decisiones judiciales. (shrink)

L'unique tâche philosophique de Lequier a consisté dans la recherche d'une première vérité. Le récit existentiel est la voie qu'il a choisie. Cette voie, loin de mettre en question la métaphysique, expose, sous une forme phénoménologique, comment la vérité peut s'accomplir comme liberté dans l'histoire grâce à laquelle un être humain affirme son identité.