The aim of this paper is to present and analyze the truthmaker monism , a result according to which any truthmaker makes true any true proposition. Truthmaker monism depends on the characterization of the truthmaking relation in terms of strict implication, the principle of excluded middle and the so called disjunction thesis. I will restrict the discussion to a theory of truthmakers of empirical truths and I will argue that, in the scope of such a theory, the problem does not (...) lie in the use of strict implication neither in the excluded middle but, rather, in the disjunction thesis, that must be rejected. (shrink)

This papers’ goal is to present a survey of the contemporary discussions regarding truthmakers. The emphasis will be on the characterization of the truthmaking relation and on the problems involved in universal propositions and negations.

This paper introduces the logic of evidence and truth \ as an extension of the Belnap–Dunn four-valued logic \. \ is a slightly modified version of the logic \, presented in Carnielli and Rodrigues. While \ is equipped only with a classicality operator \, \ is equipped with a non-classicality operator \ as well, dual to \. Both \ and \ are logics of formal inconsistency and undeterminedness in which the operator \ recovers classical logic for propositions in its scope. (...) Evidence is a notion weaker than truth in the sense that there may be evidence for a proposition \ even if \ is not true. As well as \, \ is able to express preservation of evidence and preservation of truth. The primary aim of this paper is to propose a probabilistic semantics for \ where statements \\) and \\) express, respectively, the amount of evidence available for \ and the degree to which the evidence for \ is expected to behave classically—or non-classically for \ \). A probabilistic scenario is paracomplete when \ + P 1\), and in both cases, \ < 1\). If \ = 1\), or \ = 0\), classical probability is recovered for \. The proposition \, a theorem of \, partitions what we call the information space, and thus allows us to obtain some new versions of known results of standard probability theory. (shrink)

The aim of this text is to reply to criticisms of the logics of evidence and truth and the epistemic approach to paraconsistency advanced by Barrio [2018], and Lo Guercio and Szmuc [2018]. We also clarify the notion of evidence that underlies the intended interpretation of these logics and is a central point of Barrio’s and Lo Guercio & Szmuc’s criticisms.

The main aim of this paper is to introduce first-order versions of logics of evidence and truth, together with corresponding sound and complete Kripke semantics with variable and constant domains. According to the intuitive interpretation proposed here, these logics intend to represent possibly inconsistent and incomplete information bases over time. The paper also discusses the connections between Belnap-Dunn’s and da Costa’s approaches to paraconsistency, and argues that the logics of evidence and truth combine them in a very natural way.

The book Paraconsistent Logic: Consistency, Contradiction and Negation by Walter Carnielli and Marcelo Coniglio is the most thorough study of Logics of Formal Inconsistency...

Exploramos aqui as conexões do mito de Prometeu com o nascimento do iluminismo ocidental. O estudo tem como base as obras de Hesíodo e Ésquilo, a partir das interpretações de Werner Jaeger e Junito Brandão. Nos poemas de Hesíodo, Prometeu é aquele titã que roubou o fogo de Zeus para entregá-lo à humanidade. Por este gesto, Prometeu e seus protegidos são duramente castigados por Zeus. Assim, mergulhados em um mundo de incontáveis e incontornáveis males, os homens, honestos, conquistam a esperança (...) de uma boa vida através do trabalho infatigável. Na tragédia de Ésquilo, Prometeu é apresentado como o iluminador e protetor da humanidade. Multi-sábio foi ele quem deu pensamento aos homens, pois estes faziam tudo sem razão. Todas as técnicas e artes humanas são devidas a Prometeu, o previdente. Aqui o mito revela o fundo a partir do qual brota a sabedoria humana: o sofrimento e a dor. No mito, revela-se, de modo essencial, a exigência do trabalho e a presença do sofrimento como condições de uma existência humana definida e considerada do ponto de vista do iluminismo. A sabedoria é a força capaz de fazer o homem superar os obstáculos e as adversidades. Prometeu representa, dessa forma, uma imagem primordial da condição humana cuja sabedoria é conquistada pelo trabalho e pela dor. (shrink)

O artigo aborda os efeitos da Inteligência Artificial (IA) na educação, enfatizando a necessidade de repensar as estratégias pedagógicas nas universidades. Explora as transformações trazidas pela IA incluindo a automação e o potencial de personalização do ensino. Argumenta que as universidades devem se adaptar para formar profissionais capazes de trabalhar com a IA valorizando habilidades como criatividade, pensamento crítico e competências éticas. O texto também discute o papel dos professores na era da IA sugerindo que devem se concentrar mais no (...) desenvolvimento de habilidades interpessoais e críticas dos alunos. Propõe uma reflexão sobre a direção ética e moral da educação em um mundo cada vez mais dominado pela IA. (shrink)

Foreword : Consistency, Contradiction, and Consequence.

Se o "olhar colonial" tem poder de restringir o pensamento, seria a "decolonialidade" o exercício de liberdade que tanto imaginei para a minha própria existência? Talvez eu não seja a responsável pela criação do imaginário que permeia o meu cotidiano até então; mas seria possível tornar-me detentora dessa porção imaginativa da vida a partir de agora? Se o medo da estagnação assombra os meus dias, e temer não pode ser a saída, imaginar sim, mobiliza! Construir um repertório a partir das (...) minhas próprias experiências, ou através do conhecimento de quem sou de fato, é resgate. É libertário e possível. (shrink)

Este trabalho procura explorar as conexões conceituais entre phronesis, techne e episteme. Busca oferecer elementos teóricos para a compreensão da evolução e das transformações conceituais nos domínios da ética e da técnica. Especula sobre o conceito de tecnociência, considerando-a altamente revolucionária diante das técnicas antiga e moderna. Visa fornecer elementos conceituais para favorecer uma interpretação crítica dos principais problemas e desafios de ordem ética, colocados pela emergência da sociedade tecnocientífica a partir da elaboração de uma filosofia da tecnociência. Discutem-se as (...) posições de Jonas, Simondon e Engelhardt a partir da perspectiva de Hottois. Reconhece-se o horizonte conceitual proposto pela tecnofilia evolucionista, aquele que oferece as condições teóricas mais adequadas para a elaboração de uma ética tecnocientífica. (shrink)

'Teoria geral do Estado' trata de temas da ciência política e do Estado em seus variados aspectos. O livro é um tratado geral sobre o Estado, começando por sua noção e suas origens e percorrendo todas as demais informações relacionadas ao tema (soberania, poder político, nação, território, formas de governo), assim como as relações entre Estado, política e direito constitucional.

Resumo Neste trabalho procura-se, de forma introdutória, uma via de acesso para a compreensão da condição humana a partir da leitura crítica ao iluminismo ocidental realizada por Marx, Nietzsche e Freud. Para tanto, explora-se inicialmente o problema da emergência da subjetividade iluminista no contexto da cultura grega como fenômeno agonístico e indica-se o nascimento da tradição iluminista a partir das obras de Hesíodo e Ésquilo. Em seguida, discute-se a posição da modernidade ilustrada desde a perspectiva kantiana. Desde então, elabora-se a (...) crítica à concepção iluminista a partir das ideias nucleares de Marx, Nietzsche e Freud. Nesta crítica destaca-se o papel central das relações de produção econômicas, da vontade de poder e dos instintos na determinação e na compreensão da subjetividade humana. O legado comum dessas três filosofias magnas aponta para o desmantelamento da subjetividade iluminista e, assim, para uma compreensão da condição humana, situada no horizonte de uma nova racionalidade, na qual a razão deixa de ocupar o lugar principal. Palavras-chave : condição humana, Iluminismo, inconsciente. instintos, razão, vontade de poderThis paper searches for, in an introductory way, a path toward understanding the human condition from critical reading of the Western Enlightenment presented by Marx, Nietzsche and Freud. For this purpose, the paper initially explores the problem of emergence of Enlightenment subjectivity in the context of Greek culture as an agonistic phenomenon and indicates the birth of the Enlightenment tradition from the works of Hesiod and Aeschylus. Then the position of modernity illustrated from the Kantian perspective is discussed. After that, the paper elaborates a critique of the Enlightenment conception departing from the core ideas of Marx, Nietzsche and Freud. This critique highlights the central role of economic relations of production, the will to power and instincts in determining and understanding of human subjectivity. The common heritage of these three magna philosophies points to the dismantlement of Enlightenment subjectivity and thus to an understanding of the human condition, situated on the horizon of a new rationality, in which reason ceases to occupy main place. Keywords : Enlightenment, human condition, instinct, reason, unconscious. will to power. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

O artigo problematiza o transumanismo no debate contemporâneo, abrindo caminhos deinvestigação para compreender as complexas linhas da sabedoria transumanista. Busca umacompreensão da condição transumana e dos novos desafios éticos e políticos na era da evolução pordesign intencional. Debate as contradições e possibilidades admiráveis do aperfeiçoamento humano pormeio das sofisticadas técnicas contemporâneas de manipulação e criação de novas formas de vida,inclusive fisiológicas. Assim, pergunta: qual a relação da phronesis transumanista diante da phronesishumanista iluminista? Seria uma superação completa dos ideais humanistas tradicionais? (...) Ou seria umanegação total desses ideais? A tese central é a de que a phronesis transumanista é uma evoluçãocrítica, não sem contradições, dos ideais propostos pelo humanismo renascentista e iluminista, não seconstituindo, portanto, nem como superação nem como oposição a estes ideais. (shrink)

The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...) formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LETj is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LETj, as well as some technical results that fit the intended interpretation. (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

From the technical point of view, philosophically neutral, the duality between a paraconsistent and a paracomplete logic (for example intuitionistic logic) lies in the fact that explosion does not hold in the former and excluded middle does not hold in the latter. From the point of view of the motivations for rejecting explosion and excluded middle, this duality can be interpreted either ontologically or epistemically. An ontological interpretation of intuitionistic logic is Brouwer’s idealism; of paraconsistency is dialetheism. The epistemic interpretation (...) of intuitionistic logic is in terms of preservation of constructive proof; of paraconsistency is in terms of preservation of evidence. In this paper, we explain and defend the epistemic approach to paraconsistency. We argue that it is more plausible than dialetheism and allows a peaceful and fruitful coexistence with classical logic. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

This paper contains proofs of the strong adequacy, with respect to variable domain semantics, of the first-order version \(Q_{v}F\!D\!E\) of the logic of first-degree entailment ( \(F\!D\!E\) ) and some of its extensions—viz., variable domain versions of strong Kleene _K3_ and the logic of paradox _LP_, as well as Nelson’s logics _QN3_ and _QN4_. The paper also introduces the logic \(QN\!P\), obtained by extending \(Q_{v}F\!D\!E\) with excluded middle and a constructive implication. \(QN\!P\) combines constructive and non-constructive features in an interesting (...) way, and we argue that it can be interpreted analogously to the three-valued logic of formal inconsistency \(LF\!I\! 1 \!^{*}\) as a logic suitable for closed world databases. The paper also examines whether the logics investigated here are suitable for an interpretation in terms of information. (shrink)

Os videogames ganharam destaque desde os anos 1970 e com a popularização da internet, originaram-se diversos relatos de que jovens vêm exagerando nos jogos fazendo com que em muitas vezes o uso deixe de ser recreativo. Esta pesquisa objetiva investigar, por meio da literatura, quando o uso de jogos eletrônicos é caracterizado como uma atividade recreativa e quando começa a ser considerado uma dependência. Foi realizada uma revisão na literatura na qual foram selecionados artigos científicos relacionados ao tema. Os resultados (...) apontam que os jogos eletrônicos são a atividade de lazer mais praticada pelos adolescentes e por proporcionar um ambiente seguro e controlado permitem uma fuga da realidade para evitação dos problemas sociais. Concluindo, o uso abusivo dos jogos eletrônicos está associado a diversas comorbidades, interferindo de forma significativa na vida social, familiar, acadêmica e afetiva do sujeito, sendo que os adolescentes são os mais vulneráveis a desenvolver uma dependência. (shrink)

Neste artigo, concentro-me sobre quatro variedades possíveis de ausência da vergonha. Minha esperança é a de que a reflexão sobre essas variedades possa, de alguma maneira, nos dar uma imagem mais completa acerca do papel que a vergonha desempenha sobre nosso caráter moral e nas discussões a respeito da atrocidade. Observo que a vergonha que emerge de uma exposição à atrocidade pode em parte constituir aquilo que nos leva a identificar oevento como atroz. Prossigo então argumentando que quando a vergonha (...) está ausente, esta ausência pode servir para nos cegar para a atrocidade que está à nossa frente, e que é nossa tarefa tentar evitar. Sentir vergonha faz parte de ver a atrocidade pelo que ela é de uma maneira apropriada emocionalmente engajada. Ela é, portanto, uma parte vital de ser humano, e sua ausência em certos casos é uma insuficiência demasiadamente humana de humanidade. (shrink)

Utopía, la posibilidad de la imposibilidad: una lectura desde Thomas More, es un trabajo que muestra, por un lado, la vitalidad de la utopía; por otro lado se destaca su grado de necesidad en la sociedad contemporánea. La Utopía de Thomas More se presenta como un paradigma del pensamiento utópico, y del influjo que éste ejerce en las diferentes sociedades. Además, ésta se yergue como el epítome de toda posibilidad de visualizar un mejor mundo, es la máxima expresión de la (...) simbología del Renacimiento y es la obra cumbre del humanismo de aquel período histórico. La utopía no es la simple imposibilidad que sugiere su construcción semántica. Utopía es la posibilidad de construir el mejor mundo posible, de volver a ubicar en su perspectiva correcta la esperanza y toda la capacidad simbólica del género humano. (shrink)

Gertrude Crotty Davenport (1866-1946), née Gertrude Anna Crotty, destacou-se por suas contribuições para a zoologia. Além disso, ela participou ativamente do movimento eugenista dos Estados Unidos juntamente com seu marido, Charles Benedict Davenport (1866-1944). O presente trabalho consiste em uma tradução comentada de um artigo que ela publicou em The Independent, em 1912. Neste artigo, Gertrude apresenta sua própria visão sobre a eugenia e discute sobre a situação em que se encontrava o movimento eugenista no início da década de 1910.

Uno de los factores fundamentales para comprender la problemática de la paz es el de la memoria. Un presupuesto de este artículo es que dicha memoria se realiza en el lenguaje, especialmente en el lenguaje articulado, que es el medio por el que se hace púbica y se despliega, no sólo la expresión de un pasado, sino también las perspectivas que orientan nuestras argumentaciones para el presente y el futuro. Cuando hablo de lenguaje, propongo que de lo que se trata, (...) no son sólo de palabras, sino de sintagmas, es decir del habla desplegada en una época, y en contextos biográficos y comunidades interpretativas de cada uno y de cada comunidad. Dos factores a considerar en esta definición de nociones, categorías y conceptos son lo imaginario y la ideología, que están relacionados con la educación y las condiciones de vida, colectivas e individuales.Otro asunto que hay que considerar son los contextos o niveles de diversa escala y poder, entre ellos, los contextos contemporáneos, es decir la escala macro-estructural ─escala preferida de quienes piensan que la paz no es posible─, que interviene decisivamente en la formulación de las posibilidades no sólo de la paz, sino de la memorialización, la que puede ser sometida a políticas públicas y privadas de diverso alcance.En este artículo se abordan los problemas asociados a las posibilidades de formulación de las políticas de paz en su nivel intermedio, es decir las que median entre las escalas macro y micro, con especial énfasis en las últimas, que es donde la memoria, la acción colectiva y la autoreflexividad pueden aportar. (shrink)

A ficção corresponde a um estilo de escrita que sustenta a construção de narrativas capazes de arrancar o escritor de si mesmo em um sentido de, por meio do experimento da própria linguagem, constituir-se esteticamente. Quando observamos as obras de Nietzsche, percebemos que há uma pluralidade de estilos literários, compostos, frequentemente, por aforismos que demandam outro performático: a escrita hiperbólica. Por meio da escrita artística, Nietzsche cria um mundo compreendido como vontade de poder em que dá a si mesmo como (...) personagem dentre outros tipos psicológicos. Já na filosofia de Foucault o traço marcante de suas obras é o tom histórico com o qual aborda seus temas. Porém, como o próprio afirma em algumas entrevistas, não escreve outra coisa que não sejam ficções, seleciona e organiza enunciados históricos criando diversos cenários, sujeitos e objetos de seu discurso. Este estilo presente em ambos entra em contato com o exterior provocando um reposicionamento do leitor, que é afetado promovendo, como efeito de subjetivação, um reposicionamento político de insubmissão de não querer mais ser governado dessa forma. (shrink)

The aim of this paper is to introduce the logics \(\textit{FFDE}\) and \(\textit{FN}{4}\), which are universally free versions of Belnap-Dunn’s four-valued logic, also known as the logic of first-degree entailment ( \(\textit{FDE}\) ), and Nelson’s paraconsistent logic \(N^{-}\) (a.k.a. \(Q\!N {4}\) ). Both \(\textit{FDE}\) and \(Q\!N {4}\) are suitable to be interpreted as information-based logics, that is, logics that are capable of representing the deductive behavior of possibly inconsistent and incomplete information in a database. Like \(Q\!N {4}\) and some non-free (...) first-order extensions of \(\textit{FDE}\), \(\textit{FFDE}\) and \(\textit{FN}{4}\) are endowed with Kripke-style variable domain semantics, which allows representing the dynamic aspect of information processing, that is, how a database receives new information over time, including information about new individuals. We argue, however, that \(\textit{FFDE}\) and \(\textit{FN}{4}\) can better represent the development of inconsistent and incomplete information states (i.e., configurations of a database) over time than their non-free versions. First, because they allow for empty domains, which corresponds to the idea that a database may acknowledge no individual at all at an early stage of its development. Second, because they allow for empty names, which get interpreted as information about new individuals is inserted into the database. Also, both systems include an identity predicate that is interpreted along the same lines of the other logical operators, viz., in terms of independent positive and negative rules. (shrink)

The aim of this paper is to introduce the logics $$\textit{FFDE}$$ and $$\textit{FN}{4}$$, which are universally free versions of Belnap-Dunn’s four-valued logic, also known as the logic of first-degree entailment ( $$\textit{FDE}$$ ), and Nelson’s paraconsistent logic $$N^{-}$$ (a.k.a. $$Q\!N {4}$$ ). Both $$\textit{FDE}$$ and $$Q\!N {4}$$ are suitable to be interpreted as information-based logics, that is, logics that are capable of representing the deductive behavior of possibly inconsistent and incomplete information in a database. Like $$Q\!N {4}$$ and some non-free (...) first-order extensions of $$\textit{FDE}$$, $$\textit{FFDE}$$ and $$\textit{FN}{4}$$ are endowed with Kripke-style variable domain semantics, which allows representing the dynamic aspect of information processing, that is, how a database receives new information over time, including information about new individuals. We argue, however, that $$\textit{FFDE}$$ and $$\textit{FN}{4}$$ can better represent the development of inconsistent and incomplete information states (i.e., configurations of a database) over time than their non-free versions. First, because they allow for empty domains, which corresponds to the idea that a database may acknowledge no individual at all at an early stage of its development. Second, because they allow for empty names, which get interpreted as information about new individuals is inserted into the database. Also, both systems include an identity predicate that is interpreted along the same lines of the other logical operators, viz., in terms of independent positive and negative rules. (shrink)

Proof-theoretic semantics provides meanings to the connectives of intuitionistic logic without the need for a semantics in the standard sense of an attribution of semantic values to formulas. Meanings are given by the inference rules that, in this case, do not express preservation of truth but rather preservation of availability of a constructive proof. Elsewhere we presented two paraconsistent systems of natural deduction: the Basic Logic of Evidence and the Logic of Evidence and Truth. The rules of BLE have been (...) conceived to preserve a notion weaker than truth, namely, evidence, understood as reasons for believing in or accepting a given proposition. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}, on the other hand, is a logic of formal inconsistency and undeterminedness that extends \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$BLE$$\end{document} by adding resources to recover classical logic for formulas taken as true, or false. We extend the idea of proof-theoretic semantics to these logics and argue that the meanings of the connectives in BLE are given by the fact that its rules are concerned with preservation of the availability of evidence. An analogous idea also applies to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula ∘A means that the information about (...) A, either positive or negative, is reliable. This proposal is in line with the interpretation of N4 and FDE as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable information for the truth and for the falsity of a given proposition. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Harmful but culturally cherished practices often endure in spite of the damages they cause. Meat consumption is increasingly becoming one of such cases and may provide an opportunity from which to observe these phenomena. Growing evidence indicates that current and projected production and consumption patterns are important contributors to significant environmental problems, public health degradation, and animal suffering. Our aim is to contribute to a further understanding of the psychological factors that may hinder or promote personal disposition to change food (...) habits to benefit each of these domains. Drawing from previous evidence, this study explores the proposition that some consumers are motivated to resort to moral disengagement strategies when called upon to consider the impacts of their food habits. Data were collected from six semi-structured focus groups with a sample of 40 participants. Although affirming personal duties towards preserving the environment, promoting public health, and safeguarding animal welfare, participants did not show personal disposition to change their meat consumption habits. Several patterns of response that resonate with the principles of moral disengagement theory were observed while discussing impacts and the possibility of change. Results seem to support the proposition that the process of moral disengagement may play a role in hindering openness to change food habits for the benefit of the environment, public health, and animals, and point towards the relevance of further exploring this approach. (shrink)

The coming to office of Jair Bolsonaro in Brazil has brought to the fore the need to understand the rise of the far right and to come to terms with the conflicted legacies of more than a decade of rule under the Workers’ Party. This forum brings together six leading intellectuals from different traditions on the left and introduces their reflections on the contradictions and complexities of the Workers’ Party, the 2008 crisis, the June 2013 protests, the weakness of the (...) Brazilian left, corruption, and on how to characterise Bolsonaro’s regime. Their interventions offer crucial insights that are relevant today not just to Brazil, or even Latin America, but to the politics of the left worldwide. (shrink)

Esse artigo aborda a atuação de Abílio de Nequete como liderança no movimento comunista brasileiro entre os anos de 1917 e 1924. Nequete era um imigrante libanês que trabalhava como barbeiro na cida­de de Porto Alegre, que se tornou uma figura importante no movimento operário durante a Greve Geral de 1917 e foi o fundador da União Maximalista no ano de 1918, um dos primeiros grupos operários do Brasil identificados com as ideias da Revolução Russa. Após o ano de (...) 1920, o militante se articulou com a Internacional Comunista a partir de contatos na Argentina e no Uruguai, sendo um dos responsáveis pela formação do Partido Comunista do Brasil em 1922. Sua permanência como Secretário Geral do PCB foi rápida, rompendo com o partido por conta de uma série de conflitos internos em 1924. O objetivo desse texto é analisar a trajetória de Nequete como liderança maximalista e comunista em um período formativo dessa corrente política, compreendendo especificidades e contradições de uma fase de definições do que era ser comunista no Brasil. (shrink)

In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which \ can be read as asserting (...) there is implicit evidence for X, where we understand evidence to permit contradictions. We show BLE embeds into KX4 in the same way that Intuitionistic logic embeds into S4. Then we formulate a new justification logic, JX4, in which the implicit evidence motivating KX4 is made explicit. KX4 embeds into JX4 via a realization theorem. Thus BLE has both implicit and explicit possibly contradictory evidence interpretations in a formal sense. (shrink)