This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It provides some new paths to define and investigate metainferential logics and offers a thorough study of the semantics and the proof-theories of this new and exciting variety of families of logics. This volume examines the hierarchies of metainferential logics and gives a general and systematic theory of them, and of (...) the truth theories based on these logics. This book puts forward the prospects for truth-theories based on the metainferential logics of the TS/ST hierarchy and argues for its promise noting that each of these logics can be safely expanded with a transparent truth predicate. It also goes onto to explore new developments in three fields related to logics – namely metainferential logics built by means of the Weak Kleene schema and combining them with logics defined through the Strong Kleene schema, proof-theoretic presentations, and those with a with a global or an absolutely global validity standard, instead of a local one. This book is of interest to scholars in formal logic. (shrink)

We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences. While ST recovers every classically valid inference, it invalidates some classically valid metainferences. While CM works as ST at the inferential level, it also recovers every classically valid metainference. Moreover, CM can be safely expanded with a transparent truth predicate. Nevertheless, CM cannot recapture every classically valid meta-metainference. We will afterwards develop a hierarchy of consequence relations (...) CMn for metainferences of level n. Each CMn recovers every metainference of level n or less, and can be nontrivially expanded with a transparent truth predicate, but cannot recapture every classically valid metainferences of higher levels. Finally, we will present a logic CMω, based on the hierarchy of logics CMn, that is fully classical, in the sense that every classically valid metainference of any level is valid in it. Moreover, CMω can be nontrivially expanded with a transparent truth predicate. (shrink)

ABSTRACTWe will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: or. We will show that it is possible to obtain a Tarskian logic with non-Tarskian inferential logics, but also a non-Tarskian logic with Tarskian inferential logics. Moreover, we will show how some of these metainferential logics work better than the corresponding inferential rivals. Finally, we will show how these logics prove that it is not enough to (...) work with inferences as pairs of sets of formulas to obtain a contractive logic. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

_T__S_ is a logic that has no valid inferences. But, could there be a logic without valid metainferences? We will introduce _T__S_ _ω_, a logic without metainferential validities. Notwithstanding, _T__S_ _ω_ is not as empty—i.e., uninformative—as it gets, because it has many antivalidities. We will later introduce the two-standard logic [_T__S_ _ω_, _S__T_ _ω_ ], a logic without validities and antivalidities. Nevertheless, [_T__S_ _ω_, _S__T_ _ω_ ] is still informative, because it has many contingencies. The three-standard logic [ \(\mathbf {TS}_{\omega (...) }, \mathbf {ST}_{\omega }, [{\overline {\emptyset }}{\emptyset }, {\emptyset } {\overline {\emptyset }}]\) ] that we will further introduce, has no validities, no antivalidities and also no contingencies whatsoever. We will also present two more validity-empty logics. The first one has no supersatisfiabilities, unsatisfabilities and antivalidities ∗. The second one has no invalidities nor non-valid-nor-invalid (meta)inferences. All these considerations justify thinking of logics as, at least, three-standard entities, corresponding, respectively, to what someone who takes that logic as correct, accepts, rejects and suspends judgement about, just because those things are, respectively, validities, antivalidities and contingencies of that logic. Finally, we will present some consequences of this setting for the monism/pluralism/nihilism debate, and show how nihilism and monism, on one hand, and nihilism and pluralism, on the other hand, may reconcile—at least according to how Gillian Russell understands nihilism, and provide some general reasons for adopting a multi-standard approach to logics. (shrink)

It has been argued recently that dialetheist theories are unable to express the concept of naive validity. In this paper, we will show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}$$\end{document} can be non-trivially expanded with a naive validity predicate. The resulting theory, LPVal\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}^{\mathbf {Val}}$$\end{document} reaches this goal by adopting a weak self-referential procedure. We show that LPVal\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf (...) {LP}^{\mathbf {Val}}$$\end{document} is sound and complete with respect to the three-sided sequent calculus SLPVal\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {SLP}^{\mathbf {Val}}$$\end{document}. Moreover, LPVal\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}^{\mathbf {Val}}$$\end{document} can be safely expanded with a transparent truth predicate. We will also present an alternative theory LPVal∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP}^{\mathbf {Val}^{*}}$$\end{document}, which includes a non-deterministic validity predicate. (shrink)

The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...

We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics. We will also provide a recipe to build philosophical interpretations for each of these logics, and show why the kind of permeability that characterized them is not such a bad feature.

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

In recent years, some theorists have argued that the clogics are not only defined by their inferences, but also by their metainferences. In this sense, logics that coincide in their inferences, but not in their metainferences were considered to be different. In this vein, some metainferential logics have been developed, as logics with metainferences of any level, built as hierarchies over known logics, such as \, and \. What is distinctive of these metainferential logics is that they are mixed, i.e. (...) the standard for the premises and the conclusion is not necessarily the same. However, so far, all of these systems have been presented following a semantical standpoint, in terms of valuations based on the Strong Kleene truth-tables. In this article, we provide sound and complete sequent-calculi for the valid inferences and the invalid inferences of the logics \ and \, and introduce an algorithm that allows obtaining sound and complete sequent-calculi for the global validities and the global invalidities of any metainferential logic of any level. (shrink)

In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...) translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts. (shrink)

Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their (...) conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \-inconsistent, the non-deterministic theories might turn out to be \-consistent. (shrink)

Recently, it has been observed that the usual type-theoretic restrictions are not enough to block certain paradoxes involving two or more predicates. In particular, when we have a self-referential language containing modal predicates, new paradoxes might appear even if there are type restrictions for the principles governing those predicates. In this article we consider two type-theoretic solutions to multimodal paradoxes. The first one adds types for each of the modal predicates. We argue that there are a number of problems with (...) most versions of this approach. The second one, which we favour, represents modal notions by using the truth predicate together with the corresponding modal operator. This way of doing things is not only useful because it avoids multimodal paradoxes, but also because it preserves the expressive capacity of the language. As an example of the sort of theory we have in mind, we provide a type-theoretic axiomatization that combines truth with necessity and knowledge. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

The main thesis of this work is as follows: there are versions of Yablo’s paradox that, if Cook is right about the non-circular character of his version of it, are truly paradoxical and genuinely non-circular, and Cook’s version of Yablo’s paradox is one of them. Here I will not evaluate the"circular" or"non-circular" side to Cook’s proposal. In fact, I think that he is right about it, and that his version of Yablo’s list is non-circular. But is it paradoxical? In order (...) to be so, the principles that lead to (i) the derivation of a contradiction, or (ii) the impossibility to give a stable assignment of truth values to the relevant set of sentences, must be acceptable. I will explore two ways to argue that they are not. I will conclude that these attempts lead to a very narrow conception of a theory of truth, or to deny that a paradigmatic case of paradox, such as the"Old-Fashioned Liar," is truly paradoxical. La tesis principal de este trabajo es la siguiente: hay versiones de la paradoja de Yablo tales que, si Cook está en lo cierto acerca del carácter no-circular de su propia versión de ella, son genuinamente paradójicas y auténticamente no-circulares, y la versión de Cook en cuestión es una de ellas. Aquí no voy a evaluar su carácter circular o no-circular. Creo, de hecho, que Cook está en lo correcto sobre el punto. Pero, ¿es su versión auténticamente paradójica? Para que lo fuera, los principios que llevan a (i) derivar una contradicción, o (ii) la imposibilidad de dar una asignación de valores de verdad estables al conjunto relevante de oraciones, deben ser aceptables. Voy a explorar dos modos de argumentar que no lo son. voy a concluir que estos intentos llevan a una concepción de la teoría de la verdad muy estrecha, o a negar que un caso paradigmático de paradoja, como el"mentiroso Tradicional", sea auténticamente paradójica. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

El relativismo acerca de las atribuciones de conocimiento de John MarFarlane pretende ser una teoría que explica la corrección de las intuiciones centrales que tenemos acerca de ellas. Sin embargo, el relativismo es incompatible con la corrección de algunas intuiciones que tenemos con respecto a casos de Stanley, a conjunciones de estos casos y a casos en los que la situación práctica del evaluador es menos apremiante que la del sujeto o la del emisor de la atribución. Esto, no obstante, (...) no señala un límite a las posibilidades del relativismo, sino que insta a dar versiones más sofisticadas del mismo. MarFarlane's relativism about knowledge attributions aspires to be a theory that explains why the central intuitions about them are correct. Nevertheless, relativism is incompatible with the accuracy of some intuitions about Stanley's cases, with conjunctions of them and with intuitions about cases in which there is less at stake from the assessor than what is at stake from the subject or the attributor. Nevertheless, this doesn't establish a limit to the possibilities of relativism, but calls for an improvement of it. (shrink)

Conciliatory views on disagreement claim that one should “split the difference” between the epistemic peers’ opinions. Nevertheless, when they apply to the disagreement on conciliatory positions themselves, they give incoherent instructions. A semi-conciliatory position is one that accepts that the peers’ opinions are part of the whole body of evidence relevant in these situations. If one adopts this kind of view, all cases that seems to favor conciliatory views can be explained, and without compromising with the anti–intuitive consequences conciliatory positions (...) have. In particular, a semi-conciliatory view is not condemned to give incoherent instructions when applied to disagreement about it. (shrink)

Crispin Wright afirma que tanto la norma que insta a afirmar lo verdadero como la que exhorta a afirmar lo justificado son distintivas de la práctica asertórica. A pesar de que ellas no son diferentes en la práctica, son distintas. Pero Richard Rorty argumenta que las razones ofrecidas obligarían a Wright a aceptar demasiadas reglas como propias de dicha práctica. Wright admitiría que las normas pueden ser ilimitadas, pero no que son ilimitadas las normas correctas. Para defender esta posición, basta (...) con distinguir, como hace, las normas descriptivas de las prescriptivas. A pesar de ello, la posición de Rorty es admisible, pues no parece haber ventajas visibles en distinguir ambas normas. Si no se exponen estas ventajas, la teoría resultante será más débil que una que no lo pretenda. (shrink)

En conjunción con la tesis de que sólo se debe actuar sobre la base de lo que se sabe, el Invariantismo Relativo al Interés que propone Stanley permite explicar la mayoría de nuestras intuiciones en torno a ciertos ejemplos relevantes. Pero si se relativiza el valor de verdad de las atribuciones de conocimiento a la situación práctica de todo individuo relevante, se pueden rescatar todas estas intuiciones, y no sólo la mayoría de ellas. Esta posición también explica la extrañeza generada (...) por la paradoja de Moore, y el papel de las atribuciones de conocimiento en la justificación de las acciones. /// Together with the thesis that one should only act based on what one knows, Stanley's Interest-Relative Invariantism explains most of our intuitions by means of certain relevant examples. But if one posits that the truth-value of knowledge attributions is relative to the practical situation of all of the relevant agents, it is possible to explain why all our intuitions on these cases are correct. This position helps us to explain the oddity in Moore's paradox and the role of knowledge attributions in the justification of actions. (shrink)

Earlenbaugh and Molyneux’s argument against considering intuitions as evidence has an uncharitable consequence — a substantial part of philosophical practice is not justified. A possible solution to this problem is to defend that philosophy must be descriptive metaphysics. But if this statement is rejected, one can only argue (a) that experts’ intuition does constitute evidence, and (b) that philosophical practice is justified by the overall growth of philosophical knowledge it generates.

Las teorías relativistas acerca de las atribuciones de conocimiento sostienen que el valor de verdad de una atribución de conocimiento está determinado por el contexto de evaluación de la atribución. Me ocuparé de dos de las principales críticas que se le han formulado al relativismo. Por un lado, Jason Stanley niega que el relativismo pueda dar cuenta de la factividad del conocimiento. Por otra parte, Manuel García Carpintero sostiene que el relativismo se compromete con una inaceptable imagen sobre las normas (...) que rigen la práctica asertiva. Responderé ambas objeciones. Presentaré primero un modo de dar cuenta de la factividad no evaluado por Stanley. La respuesta a García Carpintero, por su parte, supondrá distinguir en qué sentido la verdad es, y en que otro no es, una norma de la aserción.Relativist’s theories about knowledge attributions maintain that the truth value of such assertions is partially fixed by the assessment context. I will answer two of the main objections that it has received. On the one side, Jason Stanley denies that relativism can explain the factivity of knowledge. On the other side, Manuel García Carpintero believes that relativism is commited to an unacceptable picture of assertion. The answer to Stanley’s objection involves a way of explaining factivity that he has not evaluated. The answer to García Carpintero involves distinguishing in what way truth is, and in what way it isn’t, a norm of assertion. (shrink)

En A Letter Concerning Toleration John Locke argumenta en favor de la tolerancia religiosa afirmando que el Estado no puede mejorar la vida de las personas forzándolas a vivir de acuerdo con creencias que ellas no suscriben. Más recientemente, Ronald Dworkin y Will Kymlicka han desarrollado argumentos similares. En el caso del primero, contra ciertas políticas paternalistas; en el del segundo, en apoyo de la tesis liberal de la neutralidad estatal. Mi propósito en el presente artículo es analizar la plausibilidad (...) de dichos argumentos concebidos como una defensa de la tesis de la neutralidad estatal. Intentaré demostrar que ambas versiones del argumento fracasan. En la sección II, cuestionaré la capacidad de los argumentos para respaldar las conclusiones que aspiran establecer, sin objetar la plausibilidad de las premisas involucradas. En la sección III, desarrollaré tres objeciones contra la concepción del bienestar crítico que constituye el corazón de ambas versiones del argumento. In A Letter Concerning Toleration, John Locke argues in favor of religious toleration positing that the state cannot make a person's life better by forcing that person to live according to beliefs he refuses. More recently, Ronald Dworkin and Will Kymlicka have developed similar arguments. In the first case, against some paternalistic policies; in the second, in support of the liberal ideal of state neutrality. My aim in the present paper is to analyze the plausibility of these arguments conceived as a defense of liberal neutrality. I will prove that both versions of the argument fail. In section II, I will object the argument's capability to support the conclusions it attempts to establish, without raising doubts about the reliability of its premises. In section III, I will submit three objections against the conception of critical well-being that constitutes the core of both versions of the argument. (shrink)

Los desafíos escépticos cuestionan la justificación de las proposiciones que aceptamos. Pero es posible justificar en términos probabilísticos cada una de las proposiciones empíricas aceptadas. Para eso, su probabilidad condicional al resto de las proposiciones aceptadas, deberá ser mayor que su probabilidad absoluta. Esta justificación es circular, pero virtuosa. Sin embargo, carece de eficacia dialéctica frente al escéptico.

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its (...) validities with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos —, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth. (shrink)

In order to define some interesting consequence relations, certain generalizations have been proposed in a many-valued semantic setting that have been useful for defining what have been called pure, mixed and ordertheoretic consequence relations. But these generalizations are insufficient to capture some other interesting relations, like other intersective mixed relations or relations with a conjunctive interpretation for multiple conclusions. We propose a broader framework to define these cases, and many others, and to set a common background that allows for a (...) direct compared analysis. At the end of the work, we illustrate some of these comparisons. (shrink)

The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities, but not be the same logic.

Foreword : Consistency, Contradiction, and Consequence.

A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...) In this paper we tackle this expressive issue. We assume some background sentential language as given and define what we call an inferential language, that is, a language whose atomic formulas are inferences. We provide a model-theoretic characterization of validity for this language—relative to some given characterization of validity for the background sentential language—and provide a proof-theoretic analysis of validity. We argue that our novel language has fruitful philosophical applications. Lastly, we generalize some of our definitions and results to arbitrary metainferential levels. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

In this paper I argue that Fricker’s influential account of testimonial injustice (hereafter ‘TI’) should be expanded to include cases of TI from mutually neutralising countervailing prejudices. In this kind of case, the hearer is given due credibility by the speaker. I describe a relevant case, defend it from objections, highlight how it differs from extant cases of due-credibility TI and describe its distinctive features. This case demonstrates how paying attention to the way multiple prejudices operate in concert leads to (...) expanding the repertoire of cases of TI and casts light on the harms of TI. (shrink)

O julgamento da ADPF 54 pelo Supremo Tribunal Federal teve como efeito a regulamentação do início da proteção constitucional à vida, silenciada na Constituição Federal de 1988 e na legislação ordinária. Todavia, a tramitação perante o Legislativo de Projeto de Lei prevendo a criminalização da interrupção da gravidez por diagnóstico de anencefalia fetal reacende as tensões acerca dos limites da atuação dos poderes Judiciário e Legislativo na concretização dos direitos fundamentais, as quais serão analisadas no presente trabalho à luz do (...) direito comparado, a fim de compreender como a regulamentação do direito à vida se estabeleceu em outros Estados Democráticos. (shrink)

While some form of loss of control is often assumed to be a common feature of the diverse manifestations of addiction, it is far from clear how loss of control should be understood. In this paper, I put forward a concept of decrease in control in addiction that aims to fill this gap and thus provide a general framework for thinking about addictive behavior. The development of this account involves two main steps. First, I present a view of degrees of (...) control as the degree to which an agent would be responsive to potential or counterfactual sufficient reasons to do otherwise. Second, I sketch an account of the relevant control-undermining factors in addiction that is consonant with my proposed view of degrees of control. Being a high-level functional property, reasons-responsiveness is particularly well suited to frame an account of control-undermining factors that is doubly pluralistic: it encompasses the contribution of factors both internal and external to the agent, and it is consistent with various proposals as to the precise nature of the anomaly taking place in the psychology of addiction. (shrink)

Advancements and deployments of AI-based systems, especially Deep Learning-driven generative language models, have accomplished impressive results over the past few years. Nevertheless, these remarkable achievements are intertwined with a related fear that such technologies might lead to a general relinquishing of our lives’s control to AIs. This concern, which also motivates the increasing interest in the eXplainable Artificial Intelligence (XAI) research field, is mostly caused by the opacity of the output of deep learning systems and the way that it is (...) generated, which is largely obscure to laypeople. A dialectical interaction with such systems may enhance the users’ understanding and build a more robust trust towards AI. Commonly employed as specific formalisms for modelling intra-agent communications, dialogue games prove to be useful tools to rely upon when dealing with user’s explanation needs. The literature already offers some dialectical protocols that expressly handle explanations and their delivery. This paper fully formalises the novel Explanation–Question–Response (EQR) dialogue and its properties, whose main purpose is to provide satisfactory information (i.e., justified according to argumentative semantics) whilst ensuring a simplified protocol, in comparison with other existing approaches, for humans and artificial agents. (shrink)

This paper explores the concept of moral expertise in the contemporary philosophical debate, with a focus on three accounts discussed across moral epistemology, bioethics, and virtue ethics: an epistemic authority account, a skilled agent account, and a hybrid model sharing key features of the two. It is argued that there are no convincing reasons to defend a monistic approach that reduces moral expertise to only one of these models. A pluralist view is outlined in the attempt to reorient the discussion (...) about moral expertise. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

A restrictive view of self-control identifies exercises of self-control with synchronic intrapsychic processes, and pictures diachronic and externally-scaffolded strategies not as proper instances of self-control, but as clever ways of avoiding the need to exercise that ability. In turn, defenders of an inclusive view of self-control typically argue that we should construe self-control as more than effortful inhibition, and that, on grounds of functional equivalence, all these diverse strategies might be properly described as instances of self-control. In this paper, I (...) take a fresh look at this debate by focusing on cases of addiction. I argue that addicted agents face a paradigmatic sort of self-control challenge, which makes addiction an important test case for theories of self-control. And I discuss evidence that highlights both the unreliability of synchronic intrapsychic strategies and the crucial role that is played by diachronic and externally-scaffolded strategies in successful attempts at achieving abstinence by addicted individuals. Abstaining addicts are a paradigmatic case of agents who successfully exercise self-control, and they mostly do so by relying on diachronic and externally-scaffolded strategies. This, I argue, lends further support to an inclusive view of self-control. (shrink)

We argue that microbiome research should be more reflective on the methods that it relies on to build its datasets due to the danger of facing a methodological problem which we call “epistemic misalignment.” An epistemic misalignment occurs when the method used to answer specific scientific questions does not track justified answers, due to the material constraints imposed by the very method. For example, relying on 16S rRNA to answer questions about the function of the microbiome generates epistemic misalignments, due (...) to the different temporal scales that 16S rRNA provides information about and the temporal scales that are required to know about the functionality of some microorganisms. We show how some of these exist in contemporary microbiome science and urge microbiome scientists to take some measures to avoid them, as they may question the credibility of the field as a whole. (shrink)

L’article propose une interprétation théorique du processus de rupture entre les attentes créées par les conversations sur les applications de rencontres et le moment du premier face-à-face. Cet effet est connu par les utilisateurs de ces applications. Néanmoins, il a été moins analysé dans la littérature. Dans un premier temps, l’auteur analyse le processus de désillusion à l’ère de la rencontre en ligne. Ensuite, à travers la phénoménologie sociale et la sociologie interactionniste, l’article présente une interprétation de ce phénomène d’une (...) part par les dynamiques de la rencontre en ligne qui commence dans la sphère des contemporains pour avancer vers la sphère des consociés, selon la théorie socio-phénoménologique et, d’autre part, par la production d’une identité virtuelle qui nécessite confirmation dans la réalité hors ligne, selon la sociologie interactionniste. (shrink)

We propose a new interpretation of the equation E=mc² in special relativity by generalizing ideas of ontological emergence to fundamental physics. This allows us to propose that mass, as a property, can be considered to emerge from energy, using a well-known definition of weak ontological emergence. Einstein’s famous equation gains in this way a clearer philosophical interpretation, one that avoids the problems of previous attempts, and is fully consistent with the kinematic properties of special relativity, while yielding fresh insights concerning (...) the nature of mass. (shrink)

Human cerebral organoids are three-dimensional biological cultures grown in the laboratory to mimic as closely as possible the cellular composition, structure, and function of the corresponding organ, the brain. For now, cerebral organoids lack blood vessels and other characteristics of the human brain, but are also capable of having coordinated electrical activity. They have been usefully employed for the study of several diseases and the development of the nervous system in unprecedented ways. Research on human cerebral organoids is proceeding at (...) a very fast pace and their complexity is bound to improve. This raises the question of whether cerebral organoids will also be able to develop the unique feature of the human brain, consciousness. If this is the case, some ethical issues would arise. In this article, we discuss the necessary neural correlates and constraints for the emergence of consciousness according to some of the most debated neuroscientific theories. Based on this, we consider what the moral status of a potentially conscious brain organoid might be, in light of ethical and ontological arguments. We conclude by proposing a precautionary principle and some leads for further investigation. In particular, we consider the outcomes of some very recent experiments as entities of a potential new kind. (shrink)