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. (shrink)

El presente trabajo es un resumen de los resultados preliminares obtenidos por el autor en el marco de un estudio sistemático de sistemas modales y deónticos de base para consistente. Se exponen consideraciones sobre la no-trivialidad y sus diferencias con el concepto de consistencia. Se da una exposición sobre algunas de las razones por las cuales una base para consistcnte es la más natural para lógicas deónticas y afines.

http://dx.doi.org/10.5007/1808-1711.2009v13n3p357 Neste trabalho concorda-se com a tese de I. Hacking segundo a qual o significado das constantes lógicas é dado pelas Regras de Introdução e Eliminação do cálculo de sequentes de Gentzen que caracterizam a concepção da noção de consequência lógica abstrata. Perguntamos quais são as regras mínimas que um conectivo deve satisfazer para que seja considerado uma negação genuína. Tomaremos como referência para tratar dessa questão os C-sistemas de Newton da Costa e o sistema LP de Graham Priest. (...) Finalmente, analisaremos esses sistemas na lógica de sequentes a fim de mostrar que a negação paraconsistente ou bem carece das regras puras de eliminação e negação da negação ou ela envolve outros conectivos, o que torna difícil atribuir um significado unívoco à negação paraconsistente. (shrink)

Em termos semânticos, a consequência lógica é definida costumeiramente a partir do valor de verdade das premissas e conclusão: esta é verdadeira em toda situação na qual aquelas o sejam. Pode-se entender que, nestes casos, a conclusão não contém mais informação do que o conjunto de premissas. Com base nesta ideia, desenvolvemos, neste artigo, uma definição de consequência lógica informacional, baseada na noção de informação sugerida na Teoria Matemática da Comunicação. Mostramos alguns resultados, tais como que, apesar de inconsistente, o (...) sistema subjacente a essa noção não é trivial e que a lógica subjacente à consequência lógica informacional não é clássica, mas algum tipo de lógica paraconsistente. (shrink)

Dentro del conjunto de las lógicas no clásicas, las lógicas paraconsistentes han suscitado de manera particular el interés de diversos filósofos. Además de las definiciones tradicionales, en los últimos años, se han propuesto nuevas maneras de caracterizar a la paraconsistencia. Lo que tienen en común todas estas definiciones es que alguna forma de la regla o de la metarregla de explosión debe ser rechazada. En este artículo, presentaré dichas definiciones y evaluaré el rol que juegan la negación (...) y la transitividad en ellas. Finalmente, propondré una nueva caracterización de la paraconsistencia, la que llamaré paraconsistencia pura y mostraré que la regla de monotonía juega un rol crucial en todas las presentaciones de dicho concepto. (shrink)

No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...) de premissas opostas (contrárias e contraditórias) estudadas pelo Estagirita no Analytica Priora (B15). De acordo com o autor, os seguintes silogismos são válidos a partir de premissas opostas, nos quais letras latinas minúsculas denotam termos como sujeito e predicado, enquanto que letras latinas maiúsculas denotam proposições categóricas tal como na notação tradicional: (i) na segunda figura, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), e Aba,Oba ` Oaa (Baroco); (ii) na terceira, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) e Eab, Iab ` Oaa (Ferison). Por fim, discutimos a passagem do Analytica Posteriora (A11) no qual Aristóteles enuncia que o Princípio de Não-Contradição não é, em geral, pressuposto de toda demonstração (silogismo científico), mas apenas daquelas nas quais a conclusão deve ser provada a partir do Princípio; o Estagirita enuncia que se um silogismo da primeira figura tiver o termo maior consistente, os outros termos da demonstração podem ser separadamente inconsistentes. Estes resultados permitem-nos propor uma interpretação de sua teoria dedutiva como uma teoria paraconsistente lato sensu. Primeiramente, efetuamos uma análise hermenêutica, avaliando seu significado lógico e a correlação desses resultados com outros aspectos da filosofia de Aristóteles. Em segundo lugar, consignamos uma interpretação dos silogismos aristotélicos a partir de premissas opostas à luz dos antilogismos propostos por Christine Ladd-Franklin em 1883, e da demonstração aristotélica com termos inconsistentes nas lógicas paraconsistentes Cn, 1 n !, introduzidas por da Costa em 1963. Esses dois aspectos não parecem ter sido ainda detalhadamente analisados na literatura. DOI:10.5007/1808-1711.2010v14n1p71. (shrink)

Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.

Las paradojas semánticas muestran que las teorías semánticas que internalizan sus propios conceptos semánticos, como la verdad y la validez, no pueden validar toda la lógica clásica. Es decir, es necesario debilitar algún conectivo del lenguaje objeto, tomado como culpable de las paradojas, o renunciar a alguna propiedad de la relación de consecuencia de la teoría lógica. Ambas estrategias pueden alejarnos de la lógica clásica, que es la lógica comúnmente utilizada en nuestras teorías matemáticas actuales. Por tanto, una solución deseable (...) a las paradojas semánticas no debería alejarnos de la lógica clásica. En este trabajo analizamos dos propuestas interesantes que pretenden mantener la lógica clásica al máximo posible. La primera estrategia, Barrio & Pailos & Szmuc-approach (2017) (BPS-approach), propone la lógica paraconsistente MSC que contiene en su lenguaje objeto un conectivo capaz de recuperar la inferencia clásica siempre que las oraciones en cuestión sean consistentes. Así, muestran que es posible construir una teoría semántica sobre esta lógica que sea inmune a las paradojas semánticas. El segundo enfoque se basa en la jerarquia STω de sistemas no transitivos STn, propuesta por Pailos (2020a). Esta jerarquía recupera tantas metainferencias clásicas como sea posible en los niveles superiores de la jerarquía. Argumentamos a favor del segundo enfoque, argumentando que la primera estrategia tiene que adoptar procedimientos autorreferenciales débiles para evitar las paradojas. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...) be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...) be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha. Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta. Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

In the context of non-classical logics, many philosophers have been particularly interested in the paraconsistent logics. In addition to traditional definitions, in recent years, new ways of characterizing the notion of paraconsistency have been proposed. In all of these definitions the rule or the meta-rule of explosion is abandoned. In this article, I present those definitions and evaluate the role that the negation and the transitivity play in each of them. Finally, I propose a new definition of paraconsistency which I (...) call total paraconsistency and show that the rule of weakening plays a crucial role in all of the characterizations of such a concept. (shrink)

In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence. More especifically, we argue that the connective o of the logic LETJ fails to validate intuitive principles about conclusive evidence.

O objetivo desse artigo é realizar o que podemos chamar de uma análise conceitual da noção de indução, tomando como ponto de partida o problema das ambigüidades indutivas. Tentaremos mostrar que existe não apenas uma, mas duas maneiras igualmente autênticas de lidar com o problema das ambigüidades indutivas, e que quando certos aspec-tos lógicos dos dois conceitos de plausibilidade oriundos dessas duas abor-dagens da indução são considerados, muito da controvérsia a respeito das ambigüidades indutivas é dissolvido. Dentre tais aspectos está (...) uma su-posta relação entre essas duas noções indutivas de plausibilidade e os conceitos de paraconsistência e paracompletude. Nossa análise é materializada, por assim dizer, em uma lógica modal paraconsistente e paracompleta capaz de dar conta dos aspectos mais básicos dessas duas abordagens da indução bem como dos dois conceitos de plausibilidade delas oriundos. Na exemplificação do tipo de controvérsia o qual estamos nos referindo, bem como a solução que estamos propondo, nos detalharemos sobre uma das mais ilustres instâncias do problema das inconsistências induti-vas: o paradoxo da loteria.The purpose of this paper is to undertake a conceptual analysis of the notion of induction, taking as starting-point the problem of induc-tive ambiguities. We shall try to show that there is not only one, but two equally authentic ways of dealing with the problem of inductive ambigui-ties, and that when certain logical aspects of the two plausibility concepts that arise from these two approaches to induction are considered, much of the controversy about the inductive ambiguities disappears. Among such aspects is a relation that supposedly exists between these two no-tions of inductive plausibility and the concepts of paraconsistency and paracompleteness. Our analysis is materialized, so to speak, in a paracon-sistent and paracomplete modal logic able to deal with the most basic as-pects of these two approaches to induction. In exemplifying the kind of controversy we are talking about, as well as the solution we are propos-ing, we shall focus on one of the noblest instances of the problem of in-ductive inconsistencies: the lottery paradox. (shrink)

Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos paraconsistentes. A fim de ilustrar nossas considerações de modo mais concreto, abordaremos uma nova teoria de conjuntos baseada em um sistema bem conhecido de Quine e em um cálculo paraconsistente.Palavras-chave: existência, contradição, lógica e paraconsistência.: In the present paper we deal with the philosophical aspects of paraconsistent set theories. In order to illustrate our points more concretely, we will discuss new paraconsistent set theory based both on Quine's (...) well-known system and on a paraconsistent calculus.Keywords: existence, contradiction, logic and paraconsistency. (shrink)

Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...) logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed. (shrink)

A comparative study of a broad range of logical systems, showing that classical logic is just one among them and thate there are useful nonclassical logics which are conservative extensions of classical logic, by risorting to several negations and several implications. The book is oriented towards a defense of fuzzy logics.

O presente texto tem como objetivo estabelecer algumas relações entre o poema de Parmênides e as Investigações Lógicas, de Frege. Mais especificamente, nosso objetivo é iluminar certos aspectos do poema de Parmênides por meio de uma comparação com certas noções utilizadas por Frege para caracterizar aspectos centrais de seu pensamento. The aim of this paper is to establish some relationships between Parmenides' Poem and Frege's Logical Investigations. More specifically, our objective is to illuminate some aspects of the Parmenides' Poem (...) by comparing it to certain notions used by Frege in his Logical Investigations. (shrink)

El siguiente artículo tiene como objetivo principal estudiar el esquema husserliano de superposición de actos, que establece la fundamentación de toda experiencia predicativa en la antepredicativa, y, más precisamente, analizar el momento atencional que vincula ambos niveles de nuestras vivencias. De acuerdo con esto, el presente texto dispone de tres partes. En primer orden, estudiaré la distinción entre intuición sensible y categorial desarrollada por este filósofo en la sexta de sus Investigaciones lógicas. En segundo orden, y siguiendo los comentarios (...) que Dieter Lohmar hace de esta doctrina, revisaré con detención la función que juega el fenómeno de la atención en dicha teoría. Para finalizar, abordaré la distinción entre experiencia pre-predicativa y predicativa tal como la presenta Husserl en Experiencia y juicio bajo el contexto de su filosofía genética. (shrink)

El artículo constituye una breve investigación histórica y teórica en torno a los principales nexos entre el pensamiento temprano de William James y el trabajo desplegado por Edmund Husserl en las Investigaciones lógicas. A través de un examen preliminar de las relaciones personales entre ambos autores, pasaremos a un estudio sobre el aparato conceptual desarrollado por James, sobre todo en Principios de psicología, con el objetivo de contrastarlo con el planteado por Husserl, mostrando cómo el primer autor esbozó, entre (...) otros, los conceptos fenomenológicos de intencionalidad y objetividad ideal. (shrink)

El excepcionalismo de la lógica asume que la lógica tiene un estatus epistemológico privilegiado, es normativa y no es revisable. El antiexcepcionalismo, en cambio, rechaza ese carácter excepcional. Recientemente, se ha sugerido que el problema de la adopción de reglas lógicas es transversal a la discusión que se da entre excepcionalistas y antiexcepcionalistas. En este trabajo defiendo la tesis contraria. En particular, sostengo que, si el problema de la adopción de reglas es un problema central para la lógica como (...) disciplina, el antiexcepcionalismo debe ser incorrecto. En caso contrario, debe ser incorrecta la postura excepcionalista. Evalúo, además, consecuencias directas del análisis presente sobre la discusión en torno al monismo y el pluralismo de la lógica. (shrink)