Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...) tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

One way in which we might approach the challenge posed by the Sorites Paradox is considering that Sorites-susceptible predicates have several candidate extensions, or several ways in which these expressions can be made precise. For example, a candidate extension for the predicate ‘is a baby’ is the set of humans of less than two years, but also the set of those less than two years and one second, and of those less than two years and two seconds. In this chapter (...) we present and discuss two theories for vague predicates based on this idea: supervaluationism and subvaluationism. The chapter is structured in three parts. The first presents the super- and subvaluationist theories: their similarities and differences in the semantics, the resulting logics with their most characteristic features. The second reviews the super- and subvaluationist solutions to the Sorites Paradox and provides discussion on several controversies surrounding these theories. The third part introduces proof procedures for s’valuationist logics. (shrink)

In a recent paper, Barrio, Tajer and Rosenblatt establish a correspondence between metainferences holding in the strict-tolerant logic of transparent truth ST+ and inferences holding in the logic of paradox LP+. They argue that LP+ is ST+’s external logic and they question whether ST+’s solution to the semantic paradoxes is fundamentally different from LP+’s. Here we establish that by parity of reasoning, ST+ can be related to LP+’s dual logic K3+. We clarify the distinction between internal and external logic and (...) argue that while ST+’s nonclassicality can be granted, its self-dual character does not tie it to LP+ more closely than to K3+. (shrink)

Building on early work by Girard ( 1987 ) and using closely related techniques from the proof theory of many-valued logics, we propose a sequent calculus capturing a hierarchy of notions of satisfaction based on the Strong Kleene matrices introduced by Barrio et al. (Journal of Philosophical Logic 49:93–120, 2020 ) and others. The calculus allows one to establish and generalize in a very natural manner several recent results, such as the coincidence of some of these notions with their classical (...) counterparts, and the possibility of expressing some notions of satisfaction for higher-level inferences using notions of satisfaction for inferences of lower level. We also show that at each level all notions of satisfaction considered are pairwise distinct and we address some remarks on the possible significance of this (huge) number of notions of consequence. (shrink)

This article deals with supervaluationism and the failure of truth-functionality. It draws some distinctions that may contribute to a better understanding of this semantic framework.

It is often assumed that the supervaluationist theory of vagueness is committed to a global notion of logical consequence, in contrast with the local notion characteristic of modal logics. There are, at least, two problems related to the global notion of consequence. First, it brings some counterexamples to classically valid patterns of inference. Second, it is subject to an objection related to higher-order vagueness . This paper explores a third notion of logical consequence, and discusses its adequacy for the supervaluationist (...) theory. The paper proceeds in two steps. In the first step, the paper provides a deductive notion of consequence for global validity using the tableaux method. In the second step, the paper provides a notion of logical consequence which is an alternative to global validity, and discusses i) whether it is acceptable to the supervaluationist and ii) whether it plays a better role in a theory of vagueness in the face of the problems related to the global notion. (shrink)

Recent experiments have shown that naive speakers find borderline contradictions involving vague predicates acceptable. In Cobreros et al. we proposed a pragmatic explanation of the acceptability of borderline contradictions, building on a three-valued semantics. In a reply, Alxatib et al. show, however, that the pragmatic account predicts the wrong interpretations for some examples involving disjunction, and propose as a remedy a semantic analysis instead, based on fuzzy logic. In this paper we provide an explicit global pragmatic interpretation rule, based (...) on a somewhat richer semantics, and show that with its help the problem can be overcome in pragmatics after all. Furthermore, we use this pragmatic interpretation rule to define a new consequence-relation and discuss some of its properties. (shrink)

The principle of tolerance characteristic of vague predicates is sometimes presented as a soft rule, namely as a default which we can use in ordinary reasoning, but which requires care in order to avoid paradoxes. We focus on two ways in which the tolerance principle can be modeled in that spirit, using special consequence relations. The first approach relates tolerant reasoning to nontransitive reasoning; the second relates tolerant reasoning to nonmonotonic reasoning. We compare the two approaches and examine three specific (...) consequence relations in relation to those, which we call: strict-to-tolerant entailment, pragmatic-to-tolerant entailment, and pragmatic-to-pragmatic entailment. The first two are nontransitive, whereas the latter two are nonmonotonic. (shrink)

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

Arguments based on Leibniz's Law seem to show that there is no room for either indefinite or contingent identity. The arguments seem to prove too much, but their conclusion is hard to resist if we want to keep Leibniz's Law. We present a novel approach to this issue, based on an appropriate modification of the notion of logical consequence.

This paper presents and defends a way to add a transparent truth predicate to classical logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.

If God knew I were going to write this paper, was I able to refrain from writing it this morning? One possible response to this question is that God's knowledge does not take place in time and therefore He does not properly fore-know. According to this response, God knows absolutely everything, it's just that He knows everything outside of time. The so-called timeless solution was one of the influential responses to the foreknowledge problem in classical Christian Theology. This solution, however, (...) seemed to lose support in the recent debate. For example, Pike claims that "the doctrine of God's timelessness entered Christian Theology because Platonic thought was stylish at the time" and Hasker catalogues this as one of the minor solutions to the problem. One possible source for this general attitude towards timelessness is the thought that the very idea of timelessness is incoherent. In this paper I argue that that the timeless solution to the foreknowledge problem is congenial with the supervaluationist theory of branching time and that this formal framework provides, in fact, a precise characterization of the timeless solution to the foreknowledge problem. The views presented in this paper are in line with those of Kretzmann and Stump, Leftow and De Florio and Frigerio. (shrink)

We say that a sentence A is a permissive consequence of a set X of premises whenever, if all the premises of X hold up to some standard, then A holds to some weaker standard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a unified treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, it supports the (...) requisite of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. (shrink)

In a previous paper (see ‘Tolerant, Classical, Strict’, henceforth TCS) we investigated a semantic framework to deal with the idea that vague predicates are tolerant, namely that small changes do not affect the applicability of a vague predicate even if large changes do. Our approach there rests on two main ideas. First, given a classical extension of a predicate, we can define a strict and a tolerant extension depending on an indifference relation associated to that predicate. Second, we can use (...) these notions of satisfaction to define mixed consequence relations that capture non-transitive tolerant reasoning. Although we gave some empirical motivation for the use of strict and tolerant extensions, making use of them commits us to the view that sentences of the form ‘ p∨¬p ’ and ‘ p∧¬p ’ are not automatically valid or unsatisfiable, respectively. Some philosophers might take this commitment as a negative outcome of our previous proposal. We think, however, that the general ideas underlying our previous approach to vagueness can be implemented in a variety of ways. This paper explores the possibility of defining mixed notions of consequence in the more classical super/sub-valuationist setting and examines to what extent any of these notions captures non-transitive tolerant reasoning. (shrink)

Supervaluationism is a well known theory of vagueness. Subvaluationism is a less well known theory of vagueness. But these theories cannot be taken apart, for they are in a relation of duality that can be made precise. This paper provides an introduction to the subvaluationist theory of vagueness in connection to its dual, supervaluationism. A survey on the supervaluationist theory can be found in the Compass paper of Keefe (2008); our presentation of the theory in this paper will be short (...) to get rapidly into the logical issues. This paper is relatively self-contained. A modest background on propositional modal logic is, though not strictly necessary, advisable. The reader might find useful the Compass papers Kracht (2011) and Negri (2011) (though these papers cover issues of more complexity than what is demanded to follow this paper). (shrink)

We say that a sentence A is a permissive consequence of a set X of premises whenever, if all the premises of X hold up to some standard, then A holds to some weaker standard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a unified treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, it supports the (...) requisite of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. (shrink)

Paraconsistent approaches have received little attention in the literature on vagueness (at least compared to other proposals). The reason seems to be that many philosophers have found the idea that a contradiction might be true (or that a sentence and its negation might both be true) hard to swallow. Even advocates of paraconsistency on vagueness do not look very convinced when they consider this fact; since they seem to have spent more time arguing that paraconsistent theories are at least as (...) good as their paracomplete counterparts, than giving positive reasons to believe on a particular paraconsistent proposal. But it sometimes happens that the weakness of a theory turns out to be its mayor ally, and this is what (I claim) happens in a particular paraconsistent proposal known as subvaluationism. In order to make room for truth-value gluts subvaluationism needs to endorse a notion of logical consequence that is, in some sense, weaker than standard notions of consequence. But this weakness allows the subvaluationist theory to accommodate higher-order vagueness in a way that it is not available to other theories of vagueness (such as, for example, its paracomplete counterpart, supervaluationism). (shrink)

Though it is standardly assumed that supervaluationism applied to vagueness is committed to global validity, Achille Varzi (2007) argues that the supervaluationist should take seriously the idea of adopting local validity instead. Varzi’s motivation for the adoption of local validity is largely based on two objections against the global notion: that it brings some counterexamples to classically valid rules of inference and that it is inconsistent with unrestricted higher-order vagueness. In this discussion I review these objections and point out ways (...) to address them not considered in Varzi’s paper. (shrink)

Arguments based on Leibniz's Law seem to show that there is no room for either indefinite or contingent identity. The arguments seem to prove too much, but their conclusion is hard to resist if we want to keep Leibniz's Law. We present a novel approach to this issue, based on an appropriate modification of the notion of logical consequence.

This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide complete (and (...) sound) systems of deduction for supervaluationist consequence in which proofs are completely classical with the exception of a single last step (involving the above mentioned inference). (shrink)

This paper discusses Fara's so-called 'Paradox of Higher-Order Vagueness' concerning supervaluationism. In the paper I argue that supervaluationism is not committed to global validity, as it is largely assumed in the literature, but to a weaker notion of logical consequence I call 'regional validity'. Then I show that the supervaluationist might solve Fara's paradox making use of this weaker notion of logical consequence. The paper is discussed by Delia Fara in the same volume.

The supervaluationist theory of vagueness is committed to a particular notion of logical consequence known as global validity. According to a recent objection, this notion of consequence is more problematic than is usually thought since i) it bears a commitment to some sort of bizarre inferences, ii) this commitment threatens the internal coherence of the theory and iii) we might find counterexamples to classically valid pat- terns of inference even in the absence of a definitely-operator (or similar device). As a (...) consequence, the supervaluationist theory itself is in trou- ble. This paper discusses the objection. (shrink)

This paper discusses Fara's so-called 'Paradox of Higher-Order Vagueness' concerning supervaluationism. In the paper I argue that supervaluationism is not committed to global validity, as it is largely assumed in the literature, but to a weaker notion of logical consequence I call 'regional validity'. Then I show that the supervaluationist might solve Fara's paradox making use of this weaker notion of logical consequence. The paper is discussed by Delia Fara in the same volume.

In a series of works, Pablo Cobreros, Paul Égré, David Ripley and Robert van Rooij have proposed a nontransitive system (call it ‘_K__3__L__P_’) as a basis for a solution to the semantic paradoxes. I critically consider that proposal at three levels. At the level of the background logic, I present a conception of classical logic on which _K__3__L__P_ fails to vindicate classical logic not only in terms of structural principles, but also in terms of operational ones. At the (...) level of the theory of truth, I raise a cluster of philosophical difficulties for a _K__3__L__P_-based system of naive truth, all variously related to the fact that such a system proves things that would seem already by themselves repugnant, even in the absence of transitivity. At the level of the theory of validity, I consider an extension of the _K__3__L__P_-based system of naive validity that is supposed to certify that validity in that system does not fall short of naive validity, argue that such an extension is untenable in that its nontriviality depends on the inadmissibility of a certain irresistible instance of transitivity (whence the advertised “final cut”) and conclude on this basis that the _K__3__L__P_-based system of naive validity cannot coherently be adopted either. At all these levels, a crucial role is played by certain metaentailments and by the extra strength they afford over the corresponding entailments: on the one hand, such strength derives from considerations that would seem just as compelling in a general nontransitive framework, but, on the other hand, such strength wreaks havoc in the particular setting of _K__3__L__P_. (shrink)

In this paper I criticize a version of supervaluation semantics. This version is called "Region-Valuation" semantics. It's developed by Pablo Cobreros. I argue that all supervaluationists, regionalists in particular, and truth-value gap theorists of vagueness more generally, are commited to the validity of D-intro, the principle that every sentence entails its definitization (the truth of "Paul is tall" guarantees the truth of "Paul is definitely tall"). The principle embroils one in a paradox that's distinct from, but related to, (...) the sorites paradox. I call it the "gap-principles paradox". -/- . (shrink)

The concept of mental privacy can be defined as the principle that subjects should have control over the access to their own neural data and to the information about the mental processes and states that can be obtained by analyzing it. Our aim is to contribute to the current debate on mental privacy by identifying the main positions, articulating key assumptions and addressing central arguments. First, we map the different positions found in current literature. We distinguish between those who dismiss (...) concerns about mental privacy and those who endorse them. In this latter group, we establish a further disagreement between conservative and liberal strategies to protect mental privacy. Then, we address the first discussion by articulating and criticizing different skeptical views on mental privacy. Finally, we try to identify what are the unique features of neural data and examine how they may be connected to the ways in which neurotechnological mindreading could put mental privacy at risk. We suggest that even if neural data is unique, it may not require new strategies to protect people from its misuse. However, identifying the special features and risks of neurotechnological mind-reading is necessary for the second discussion on mental privacy to properly take off. (shrink)

Este ensayo parte de una experiencia disruptiva en un aula de bachillerato de un instituto español. En el transcurso de una clase ordinaria de filosofía, un incidente inesperado rompe la definición de la situación, haciendo añicos el consenso de trabajo entre los alumnos y el profesor. Para reconstruir su trasfondo de expectativas, los alumnos se ven forzados a emplear estrategias de acomodación y normalización. En el análisis de esta experiencia disruptiva convergen la fenomenología del mundo social de Alfred Schütz, la (...) etnometodología de Harold Garfinkel y el interaccionismo simbólico de Erving Goffman.This essay starts from a disruptive experience in a Spanish high school classroom. In the course of an ordinary philosophy lesson, an unexpected incident breaks the definition of the situation, smashing the working consensus among students and teacher to smithereens. In order to rebuild their background expectancies, the pupils are forced to resort to accommodation and normalization strategies. The analysis of this disruptive experience is based upon the convergence of Alfred Schütz’s phenomenology of the social world, Harold Garfinkel’s ethnomethodology, and Erving Goffman’s symbolic interactionism. (shrink)

Concerns about threats to human autonomy feature prominently in the field of AI ethics. One aspect of this concern relates to the use of AI systems for problematically manipulative influence. In response to this, the European Union’s draft AI Act (AIA) includes a prohibition on AI systems deploying subliminal techniques that alter people’s behavior in ways that are reasonably likely to cause harm (Article 5(1)(a)). Critics have argued that the term ‘subliminal techniques’ is too narrow to capture the target cases (...) of AI-based manipulation. We propose a definition of ‘subliminal techniques’ that (a) is grounded on a plausible interpretation of the legal text; (b) addresses all or most of the underlying ethical concerns motivating the prohibition; (c) is defensible from a scientific and philosophical perspective; and (d) does not over-reach in ways that impose excessive administrative and regulatory burdens. The definition is meant to provide guidance for design teams seeking to pursue responsible and ethically aligned AI innovation. (shrink)

The technical possibilities of biomedicine open up the opportunity to intervene in ageing itself with the aim of mitigating, reducing or eliminating it. However, before undertaking these changes or rejecting them outright, it is necessary to ask ourselves if what would be lost by doing so really has much value. This article will analyse the desirability of ageing from an individual point of view, without circumscribing this question to the desirability or undesirability of death. First, we will present the three (...) most widely used arguments to reject biomedical interventions against ageing. We will argue that only the last of these arguments provides a consistent answer to the question of the desirability of ageing. Second, we will show that the third argument falls prey to a conceptual confusion that we will call the paradox of ageing: although ageing entails negative health effects, it leads to a life stage with valuable goods. Both valuations, one positive and the other negative, refer to two different dimensions of ageing: the chronological and the biological. We will defend that, by not adequately distinguishing these two types of ageing, it does not become apparent that all the valuable goods exclusive to ageing derive only from its chronological dimension. Third, we will argue that, if we just conceive ageing biologically, it is undesirable. We will elaborate on the two kinds of undesirable effects biological ageing has: direct and indirect. Finally, we will respond to potential objections by adducing that these are insufficient to weaken our argument. (shrink)

This article analyzes the main reasons offered by the literature in relation to the question of whether pre-implantation genetic diagnosis and selection should be allowed in the context of assisted reproduction techniques to avoid the birth of children with disabilities. The bioethical literature faces a challenge from the disability discourse. When the oppressive social dimension of disability is taken into account, it results in a series of questions that could challenge the most settled conclusions of the bioethical debate. However, the (...) social model has not been without criticism and one of them, the underestimation of the importance of biological traits origin against a disability of social origin, resonates particularly in the debate on preimplantation genetic selection. (shrink)

Self-control is deemed crucial for reasons-responsive agency and a key contributor to long-term wellbeing. But recent studies suggest that effortfully resisting one’s temptations does not contribute to long-term goal attainment, and can even be harmful. So how does self-control improve our lives? Finding an answer requires revising the role that overcoming temptation plays in self-control. This paper distinguishes two forms of self-control problems: temptation (the presence of a strong wayward motivation) and apathy (the lack of commitment-advancing motivation). This distinction makes (...) it possible to separate negative self-control (aimed at overcoming temptation) from positive self-control (aimed at overcoming lack of motivation). The paper argues that temptation should not play a central role in our conception of self-control, since overcoming temptation is neither necessary nor sufficient for successful self-control. (shrink)

For agents like us, the feeling of effort is a very useful thing. It helps us sense how hard an action is, control its level of intensity, and decide whether to continue or stop performing it. While there has been progress in understanding the feeling of mental effort and the feeling of bodily effort, this has not translated into a unified account of the general feeling of effort. To advance in this direction, I defend the single-feeling view, which states that (...) the feeling of effort is one and the same for both mental and bodily actions. This feeling represents the subjective costs, both mental and physical, of performing a given action. Cost-based approaches have recently become influential for the feeling of mental effort. Here I focus on arguing that our sense of bodily effort does not simply represent physiological processes, but rather represents the subjective costs of a bodily action. Through this paper I discuss the role of the feeling of effort (and affective states more broadly) in action guidance and the sense of agency. I also define efforts themselves in terms of the feeling of effort. (shrink)

Resumen:Junto con Rebeldes académicos de Iván Jaksić (SUNY 1989; UDP 2013) y Una disciplina de la distancia de Cecilia Sánchez (CESOC 1992), este libro ya forma parte del canon bibliográfico selecto y escaso que propone investigaciones de largo aliento sobre la historia de la filosofía en el Chile republicano. No se trata de una reseña de nombres y obras, ni de una historia interna del desarrollo de problemas puros o escuelas. Más bien, su foco, en afinidad con las obras mencionadas, (...) son “las distintas relaciones históricas entre las fuerzas del poder y las razones de la filosofía […] las distintas inscripciones en los también múltiples quiasmos entre saberes y poderes” (14-15), asumiendo, de modo más sustantivo, que “el bloque histórico dominante en Chile rara vez ha logrado establecer un relato coherente de la dominación, justamente porque es poco lo que le importan las razones en nombre de las cuales ejerce la fuerza” (41). (shrink)

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete datasets. The full Bayesian (...) significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

Trata-se de uma análise das afinidades da filosofia de Schopenhauer (1788-1860) no pensamento de Emil Cioran (1911-1995). Autor influente na Romênia desde o século XIX, Schopenhauer é considerado uma das principais referências de Cioran. As fichas de leituras, cartas, expressões e os temas abordados por Cioran constituem uma gama de argumentos para aproximação do filósofo romeno ao filósofo do pessimismo.

Introducción: mito y conocimiento.--La crisis del hombre en la "sociedad de masas."--El hombre y la masa.--El camino de Marx.--Los "proyectos" del humanismo cristiano.--Los humanismos en disputa.--El humanismo socialista.

Aproximación al pensamiento de Rodolfo Kusch -- Canto e identidad en el Martín Fierro según Carlos Astrada y Rodolfo Kusch -- Donde el barro se subleva -- La rehabilitación del saber seminal como camino hacia una mística popular -- Kusch y el impulso social de nuestra época -- La barbarización de la civilización, una grieta de antaño -- ¿De dónde pensarnos?

Renaissance utopias belong to a period when Modernity was being built within political thinking, which turns them into a nexus between classical antiquity and the Enlightment, thereby preserving for posterity a series of critical issues, such as democracy, a radical version of natural law or the need for distribution of goods. Christian humanism is also present and, together with Plato’s concept of justice, it enables these utopias to set a different course from that followed by other Renaissance political theory options, (...) founded either on political realism (Machiavelli) or on jus naturale as a justification of an authoritarian state (Bodin). Thus utopia spreads its wings not only announcing Modernity but also the 20th century socialist horizon. (shrink)

En términos de la filosofía socrática, la doxa u opinión representa un principio vago debido a sus alcances limitados en la construcción de un conocimiento bien establecido. Sin embargo, debido a conveniencias como su facilidad de manejo, la opinión se ha extendido como mecanismo epistémico en espacios como las redes sociales, donde su uso se fomenta a través de objetos virtuales como el meme, de tal forma que se vuelve necesaria una evaluación filosófica para las nuevas formas de expresión doxástica (...) por medio del juicio y de la crítica como los procedimientos filosóficos más adecuados para confrontar sus repercusiones. (shrink)