Rafael Testa

We further develop the formal foundations of Paraconsistent Belief Revision (PBR) by introducing Logics of Formal Inconsistency (_LFI_s) specifically designed to support the development of epistemic entrenchment-based models for belief change. The interpretation of formal consistency—and, more broadly, of paraconsistency—in terms of the epistemic attitudes adopted by rational agents and of these agents reasoning with potentially contradictory yet non-trivial epistemic states, respectively, is already well-established within the literature on PBR based on LFIs. However, previous approaches faced a key limitation: the absence of replacement in most LFIs prevented the construction of entrenchment-based operations. We address this gap by first revisiting and systematizing core properties essential for such modeling, formalizing them within _Cbr_, a previously introduced logic whose foundational properties we now examine and develop in depth. Building on this, we introduce _RCbr_, a replacement-enriched, self-extensional extension of _Cbr_, which makes it possible—within an _LFI_-based framework—to formally define epistemic entrenchment and to construct entrenchment-based belief revision mechanisms. This development enables a fully constructive approach to Belief Revision in paraconsistent settings, further advancing the theoretical treatment of _LFI_s and paraconsistency within the broader landscape of epistemic states and belief dynamics.

O presente capítulo é um convite ao leitor e à leitora para adentrar às discussões atuais em Ética Informacional. Para tanto, estruturamos essa apresentação em duas partes: na primeira explicitamos o contexto e a fundamentação teórica a partir das quais têm sido estruturadas as bases desse novo ramo de investigação filosófica. Em seguida, dentre o grande número de problemas que compõem a agenda da Ética Informacional, selecionamos alguns que julgamos relevantes para a compreensão dos impactos da inserção de tecnologias digitais na vida cotidiana dos indivíduos. Sem a pretensão de abarcar todas as discussões existentes em Ética Informacional, esperamos contribuir para despertar no leitor e na leitora um olhar ético acerca dos caminhos futuros da sociedade contemporânea.

Este artigo explora a integração da metodologia STEAM – que combina Ciência, Tecnologia, Engenharia, Artes e Matemática – com uma abordagem educacional prática e interativa para o ensino da Lógica, visando proporcionar uma compreensão acessível e ludificada dos conceitos abstratos envolvidos na disciplina. Apresentamos o desenvolvimento e aplicação de um kit de portas lógicas construído com aparatos eletrônicos de baixo custo, que utiliza luzes LED para representar os valores-verdade (acesas para "Verdadeiro" e apagadas para "Falso"), facilitando a visualização e a compreensão de expressões lógicas. Ao construir estes dispositivos, os estudantes engajam-se em uma aprendizagem “mãos na massa” (hands-on) que não apenas solidifica o entendimento dos princípios lógicos, mas também fornece uma aplicação transversal e prática em várias disciplinas acadêmicas, incluindo Filosofia, Computação e Robótica.

Neste artigo discutimos a passagem da “virada naturalista” à “virada informacional” na Filosofia, ao argumentar que o processo de desconstrução da metafísica da subjetividade ocorrido na primeira virada teria contribuído para a emergência da segunda. Evidenciamos, com isso, como a concepção cartesiana de ser humano como único possuidor de alma e medida de todas as coisas passou para um cenário no qual ele é concebido como apenas mais uma animal dentre outros (pela influência do darwinismo) e, posteriormente, como a exclusividade e superioridade do ser humano foi novamente afetada com o desenvolvimento de “modelos mecânicos da mente”. Por fim, justificamos a relevância da análise da subjetividade também pela ótica da Ética Informacional, tendo em vista a crescente incorporação das tecnologias no cotidiano dos indivíduos, bem como as características subjacentes a tais tecnologias.

Este artigo explora o uso de metodologias lúdicas, como gamificação e narrativas, para tornar o ensino de Lógica mais dinâmico e acessível no Ensino Médio. Através de enigmas como os do tipo Cavaleiros e Patifes, abordam-se tanto a lógica proposicional clássica quanto as não-clássicas (notadamente, as lógicas paraconsistentes e modal),proporcionando um aprendizado ativo e colaborativo. O artigo oferece ferramentas práticas para educadores, com ênfase no desenvolvimento de competências críticas e na criação de um ambiente inclusivo, acessível a todos os alunos.

"Paraconsistent Belief Revision Based on a Formal Consistency Operator" delves into Belief Revision—a significant area of research in Formal Philosophy that uses logic to model the ways in which human and artificial agents modify their beliefs in response to new information and examines how these changes can be considered rational. Originally authored as a PhD thesis (previously published in Portuguese), this work provides a novel epistemic interpretation of Paraconsistency through Paraconsistent Belief Revision systems. It explores the concept of paraconsistency from the standpoint of epistemic attitudes of acceptance and rejection. This work challenges the traditional notion that accepting a new belief requires retracting its negation from the current epistemic state. The author contends that such reflexive retraction goes against the principle of informational economy, which is a crucial aspect of rationality in the context of belief change. Consequently, the phenomenon of paraconsistency is further examined from this fresh perspective of belief change, shedding light on the complexities of the Logics of Formal Inconsistency (LFIs). These LFIs provide the foundational logic, offering a comprehensive framework for understanding and implementing paraconsistent principles within belief revision systems. This thesis was supervised by Marcelo Esteban Coniglio and co-supervised by Márcio Moretto Ribeiro, as part of Rafael Rodrigues Testa's doctoral studies at the University of Campinas (Unicamp), Brazil.

Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that a given theory proves any proposition (in the language of its underlying logic). Aside from this simple rationale, the formal techniques and approaches that meet the latter definitional requirement are manifold. Furthermore, it is not solely the logical-mathematical properties of such systems that are open to debate. Rather, there are several foundational and philosophical questions worth studying, including the very question about the nature of the contradictions allowed by paraconsistentists. This entry aims to advance a brief account of some distinct approaches to paraconsistency, providing a panorama on the development of paraconsistent logic.

In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science. Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly into the broad area of paraconsistent logics. The book itself is the result of a work that was initiated on the Studia Logica conference "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE", held at the State University of Campinas, Brazil, between September 12-15, 2016.

Resumo A partir da experiência de produção de uma videoaula de Lógica em Libras (Testa, Moraes, Bizio e Caló, 2021) para o IFSP FILOLIBRAS, inserida no contexto do projeto ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (Moraes e Bizio, 2021), levantamos algumas questões relativas ao arcabouço teórico do projeto. Após introduzirmos as motivações do projeto, explicamos como sua metodologia foi tratada no contexto da aula de Lógica, expondo as principais dificuldades e soluções encontradas. Através da análise desta experiência, pretendemos levantar subsídios teóricos para pesquisas futuras no tema, incluindo a produção de um curso inteiramente voltado para o ensino de Lógica em Libras, não apenas enquanto área da Filosofia, mas também enquanto área de estudo multi e transdisciplinar, propedêutica ao fomento do Pensamento Crítico. Palavras-chave: Ensino de Lógica, Educação Especial, Pedagogia Bilíngue, Libras. Abstract Based on the experience of producing a video lesson on Logic in Libras (Testa, Moraes, Bizio and Caló, 2021) to the IFSP FILOLIBRAS, inserted in the context of the project ‘O Ensino de Filosofia para Surdos: elaboração de material didático em uma perspectiva de inclusão escolar’ (‘Teaching Philosophy for Deaf students: elaboration of didactic material in a perspective of inclusive education’, in a free translation) (Moraes and Bizio, 2021), we raise some questions regarding the theoretical framework of the project. After introducing the motivations of the project, we explain how the chosen methodology was considered in the context of the Logic class, exposing the main difficulties and solutions found. Through the analysis of this experience, we intend to raise theoretical subsidies for future research on the subject, including the production of a course entirely focused on the teaching of Logic in Libras, not only as an area of Philosophy but also as a multi and transdisciplinary area of study, propaedeutic to fostering Critical Thinking. Keywords: Teaching Logic, Special Education, Bilingual Pedagogy, Libras.

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence.

Qual o lugar da filosofia nos dias atuais? Diante das inúmeras respostas possíveis a esta questão, nos debruçaremos em alguns tópicos que podemos inserir na chamada Ética Informacional, um ramo de investigação filosófico-interdisciplinar relativamente recente que discute problemas oriundos da relação ser humano/tecnologias digitais. Temas como privacidade informacional, arrogância epistêmica e divisão digital serão discutidos e relacionados, com o intuito de ilustrar o papel da filosofia na compreensão da complexidade inerente às dinâmicas sociais no contexto da sociedade da informação. Argumentaremos que pensar o mundo contemporâneo a partir do viés da ética informacional se faz cada dia mais imprescindível para que possamos entrar em sintonia com as rápidas mudanças que a revolução informacional impõe à vida em sociedade e não sermos levados pelas enxurradas informacionais que presenciamos diariamente.

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors.

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo, is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations.

By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, I shall argue that Paraconsistent Belief Revision manages to minimise this friction in the best possible way.

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal consistency.

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning.

A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário.

Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações.

O propósito deste trabalho é analisar a estrutura e discutir a aplicação da(s) lógica(s) deôntica(s) na representação de normas jurídicas. Após uma apresentação desta(s) lógic(s) e, em particular, do sistema de von Wright e da SDL (Standard Deontic Logic), veremos as dificuldades de se aplicar uma lógica à análise do direito positivo: as regras da lógica devem permitir realizar sobre as normas formalizadas somente os tipos de inferência e operaçôes lógicas intuitivamente feitas pelos juristas, ou seja, a reconstrução lógica do direito positivo não se trata de uma tarefa de criação do direito, mas uma tarefa de representação daquilo que o conceito de direito usual reconhece como tal. Para ilustrar estas dificuldades, abordaremos as propostas de Carlos Alchourrón em artigo de 1975, “Condicionalidad y la representación de las normas jurídicas”.