We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...) some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process. (shrink)

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

Defeasible argumentation has been applied successfully in several real-world domains in which it is necessary to handle incomplete and contradictory information. In recent years, there have been interesting attempts to carry out argumentation processes supported by massive repositories developing argumentative reasoning applications. One of such efforts builds arguments by retrieving information from relational databases using the DBI-DeLP framework; this article presents eDBI-DeLP, which extends the original DBI-DeLP framework by providing two novel aspects which refine the interaction between DeLP programs and (...) relational databases. First, we expand the expressiveness of dbi-delp programs by providing ways of controlling how the information in databases is recovered; this is done by introducing filters that enable an improved fine-grained control on the argumentation processes which become useful in applications, providing the semantics and the implementation of such filters. Second, we introduce an argument comparison criterion which can be adjusted at the level of literals to model particular features such as credibility and topic expertise, among others. These new tools can be particularly useful in environments such as medical diagnosis expert systems, decision support systems, or recommender systems based on argumentation, where datasets are often provided in the form of relational databases. (shrink)

In this paper we propose an approach to multi-source belief revision where the trust or credibility assigned to informant agents can be revised. In our proposal, the credibility of each informant represented as a strict partial order among informant agents, will be maintained in a repository called credibility base. Upon arrival of new information concerning the credibility of its peers, an agent will be capable of revising this strict partial order, changing the trust assigned to its peers accordingly. Our goal (...) is to formalize a set of change operators over the credibility base: expansion, contraction, prioritized, and non-prioritized revision. These operators will provide the capability of dynamically modifying the credibility of informants considering the reliability of the information. This dynamics will reflect a new perception of trust assigned to the informant, or extend the set of informants by admitting the addition of new informant agents. (shrink)

This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and (...) the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect. (shrink)

In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.

We present different constructions for nonprioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems. Finally, we relate the formulated operators with argumentative systems and default reasoning frameworks.

Diversos autores plantean la centralidad analítica del tándem europeo Alemania-Francia (también referido como ‘eje francoalemán’) durante el desarrollo de las negociaciones, en contraposición a un tándem Brasil-Argentina por el lado del Mercosur. El objetivo de este trabajo es problematizar la dinámica de funcionamiento del mencionado tándem en el contexto de expansión de la Unión Europea hacia el este a comienzos del nuevo milenio. Entendemos que las tensiones, alineamientos y realineamientos nacionales durante aquel proceso, al igual que otros sucesos de relevancia (...) que escapan a los objetivos de este trabajo, nos ofrecen material necesario para desplegar y analizar la dinámica de liderazgo europeo entre el tándem mencionado y otros actores relevantes, como el Reino Unido y los órganos institucionales de la Unión. (shrink)

Reasoning and change over inconsistent knowledge bases is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has (...) recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change encloses the revision operators that modify the AF by analyzing dialectical trees—arguments as nodes and attacks as edges—as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies. (shrink)

The Einstein–Podolsky–Rosen–Bohm (EPRB) experiment performed with random variable and spatially separated analyzers is a milestone test in the controversy between Objective Local Theories (OLT) and Quantum Mechanics (QM). Only a few OLT are still possible. Some of the surviving OLT (specifically, the so called non-ergodic theories) would be undetectable in the averaged statistical values, but they may leave their trace in the time dynamics. For, while QM predicts random processes, the OLT of this kind predict the existence of regularities that (...) may be revealed as a low dimensional object in the phase space. We perform a numerical analysis of the time-resolved data recorded in that experiment to unveil any hypothetical low dimensional dynamics that may be present. We find no consistent indication of such dynamics except for one data file, the longest of all in the real time. The possible causes of these dynamics are discussed. (shrink)

In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting (...) the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. A very natural twist structures semantics for these logics is also found in a systematic way. This semantics produces automatically a simple and elegant Hilbert-style characterization for all these logics. Finally, we introduce the logic LGP which is genuine paracomplete is not genuine paraconsistent, not even paraconsistent and cannot be characterized by a single finite logical matrix. (shrink)

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

The problem of knowledge evolution has received considerable attention over the years. Mainly, the study of the dynamics of knowledge has been addressed in the area of Belief Revision, a field emerging as the convergence of the efforts in Philosophy, Logic, and more recently Computer Science, where research efforts usually involve “flat” knowledge bases where there is no additional information about the formulas stored in it. Even when this may be a good fit for particular applications, in many real-world scenarios (...) different information items may be attached to formulas. For instance, when the reliability of the source of the piece of information is attached to it as a measure of some quality (e.g., strength) of the piece of information itself, or when some characteristic informs us on the desirability of the item (e.g., the potential benefit that could be obtained from it). If this type of information is available, we can use it to guide how the belief base is to be modified when new information arrives. In this work, we present a novel approach to the contraction of knowledge bases where formulas have values attached that measure some quality linked to those formulas, exploiting it to define their desirability, and uses such desirability to define which formulas need to be removed to solve conflicts. In this context, we introduce a set of properties for contraction operators by extending classic approaches. We also show how the local treatment of minimal conflicts can induce some counter-intuitive contractions, and we present a way to avoid them by considering optimal resolutions of conflicts using the additional information encoded. We show how the proposed formalization captures any contraction that is optimal under a set of features. Finally, we present a refinement based on the identification of related minimal conflicts that performs contraction in optimal ways without looking into the entire knowledge base. The approach is based on the use of the accrual of beliefs where several formulas collaboratively use their respective values to prevail in the resolution of conflicts. (shrink)

En el siguiente estudio se evalúa un panorama con respecto al comportamiento sociológico en un preámbulo tanto antes durante y después de esta crisis social que se está viviendo debido a la pandemia de hoy en día. Por ello para sustentar dicha investigación se realizó un censo en el cuál, mediante el uso de herramientas estadísticas, se pudo realizar una comparación entre un antes y un durante de la pandemia, lo cual facilitaría intrínsicamente a la predicción de una denominada post (...) pandemia. En este texto se pretende detallar el proceso y forma de la encuesta, al igual que los resultados obtenidos de la misma. Se proveen, además, posibles explicaciones para estos resultados, guiándose por las restricciones de salud nacionales como posibles razones para el cambio de comportamiento actual. Palabras Clave: coronavirus, pandemia, frecuencia de salida. Referencias [1]P. Byass, «Eco-epidemiological assessment of the COVID-19 epidemic in China, January-February 2020,» Web Of Science, vol. 13, nº 1, 2020. [2]P. Stefanoni, «Brasil: pandemia, guerra cultural y precariedad,» Nueva Sociedad, pp. 49-59, 2020. [3]M. J. Báguena Cervellera, «La pandemia de COVID-19 a la luz de la historia de la medicina,» Investigación y Ciencia, 2020. [4]A. Levy, «La pandemia de COVID-19 podr{ia ayudar a resolver una gran incógnita climática,» Investigación y Ciencia, 2020. [5]T. Marcel Ariel, «Relaciones en tiempos de pandemia: COVID-19 y bienestar animal, ambiental y humano,» Revista Facultad Nacional De Agronomia Medellin, vol. 2, 2020. [6]F. Manrique-Abril, «Modelo SIR de la pandemia de Covid-19 en Colombia/SIR model of the COVID-19 pandemic in Colombia,» Revista De Salúd Publica, vol. 22, pp. 1-6, 2020. [7]D. Arango-Londoño, «Predicciones de un modelo SEIR para casos de COVID-19 en Cali, Colombia/Predictions of a SEIR model for COVID-19 cases in Cali-Colombia,» Revista De Salúd Publica, vol. 22, nº 2, pp. 1-9, 2020. [8]J. Gonzales-Castillo, «Pandemia de la COVID-19 y las Políticas de Salud Pública en el Perú: marzo-mayo 2020/COVID-19 pandemic and Public Health Policies in Peru: March-May 2020,» Revista De Salúd Publica, vol. 22, nº2, pp. 1-9, 2020. [9]A. Valenzuela-Cazés y L. Becerra-Ostos, «Práctica clínica, ámbito laboral y riesgos de la fisioterapia ante el COVID-19/Clinical practice, work and risks of physical therapy in the face of COVID-19,» Revista De Salúd Publica, vol. 22, nº 2, pp. 1-4, 2020. [10]P. Montes-Alarcón y A. Campo-Arias, «Los médicos generales y la salud mental en la pandemia por COVID-19,» Duazary, vol. 17, nº 3, pp. 4-6, 2020. (shrink)

In this paper we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations, and conflicts among the available alternatives for that reasoning. With this formalization, given a particular set of evidence, the justified conclusions supported by warranted arguments will (...) be used by the agent’s decision rules to determine which alternatives will be selected. We also present an algorithm that implements a choice function based on our formalization. Finally, we complete our presentation by introducing formal results that relate the proposed framework with approaches of classical decision theory. (shrink)

Este ensayo se propone mostrar que, a pesar de la relevancia de la interpretación alejandrina del intelecto agente aristotélico (que Alejandro identifica con dios), tal interpretación no puede ser correcta por razones de orden sistemático que irían en contra de algunas premisas aristotélicas básicas, tanto ontológicas en general como de su noética y psicología en particular. En el desarrollo de su argumento general Boeri destaca la relevancia de algunos argumentos y explicaciones de Pseudo Filópono, quien (correctamente a su juicio) (...) se esfuerza por anclar el problema del intelecto del lado psicológico, lo cual presupone que el intelecto debe tener un “soporte” corpóreo. Una consecuencia de su examen es, según Boeri, que no sólo la interpretación de Alejandro del intelecto agente no constituye una correcta exégesis de De anima III 5, sino también que, al identificar al intelecto agente con el “intelecto que viene de afuera”, con dios y con la causa primera, Alejandro introduce una importante incoherencia dentro de su propia concepción psicológica que reconoce la tesis de Aristóteles de que los estados anímicos “se dan” a través del cuerpo. (shrink)

Mi meta en este ensayo es, primero, reconstruir los puntos de vista de Marcelo Dascal en relación con las controversias filosóficas y, en segundo lugar, someterla a un examen crítico. Dejo en claro que las tesis de Dascal tienen un amplio rango de aplicaciones. Mi crítica se centra alrededor del concepto de conocimiento y de la idea misma de reconstrucción pragmática. Considero también la sugerente conexión que Dascal establece entre las controversias y el progreso intelectual.

This article deals with the relationship between the creator of psychoanalysis, Sigmund Freud, and the Latvian-born Chilean professor of physiology – and endocrinologist and anthropologist – Alejandro (or Alexander) Lipschütz. Up till now, the historiography of psychoanalysis in Chile has ignored the existence of this relationship, that is to say, the fact that there exists an interesting exchange of correspondence as well as references to Lipschütz in some important works published by Freud and in Freud’s correspondence with the Hungarian (...) psychoanalyst Sándor Ferenczi. There are also references to works on psychoanalysis carried out by Lipschütz in Chile. The Freud–Lipschütz relationship allows us to examine two interesting topics in contemporary historiographical approaches to psychoanalysis. First, it permits us to reflect on the connections that Freud and Ferenczi sought to establish between psychoanalysis and biology (endocrinology in particular) as a strategy to address criticism of the scientific foundations of psychoanalysis and, therefore, to help legitimize psychoanalysis in the field of science. Second, the relationship between Freud, working in a culturally influential city such as Vienna, and Lipschütz, working in a ‘peripheral’ country such as Chile, paves the way to reflect on the consequences of a history of psychoanalysis written from the perspective of the ‘margins’. This is a history that focuses not on regions where early industrialization and modernization processes, along with an important academic and scientific tradition, help explain the interest in and reception of psychoanalysis, but on regions where different sets of conditions have to be examined to explain appropriation and dissemination processes. (shrink)

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

Ensayos-homenaje en el primer centenario del nacimiento del fil sofo espa ol, que abordan diversos aspectos de la obra de Ortega. Los cuatro trabajos dibujan con rigor algunos de los horizontes planteados por el maestro y respetan la debida modernidad conceptual. la compilaci n estuvo a cargo de Fernando Salmer n, Alejandro Rossi, Luis Villoro y Ram n Xirau.

No mito do Político há elementos da cosmologia, da teologia e da antropologia de Platão. Apresentados em narração mitológica, esses elementos não só não estão em contradição com as perspectivas formuladas em contextos argumentativos, mas ajudam a compreendê-las e interpretálas. Esta comunicação quer mostrar: a) o tempo do mundo na era de Zeus está sob governo de deus; b) o governo de deus não exclui, mas exige a autonomia humana; c) a inserção da ação humana no contexto cósmico é fundamental (...) para o sentido e alcance da autonomia humana; d) a descrição platônica do cosmo é crucial para a compreensão de suas preocupações ético-políticas.In the Statesman myth elements of Platonic cosmology, theology, and anthropology can be found. These elements, although presented in a mythological narrative, are not only not in contradiction with Plato's direct formulations, but also help in the understanding and interpreting of them. This paper aims to show that: a) cosmic time in the age of Zeus is under divine government; b) this divine government does not exclude but requires human autonomy; c) the inclusion of human action in the cosmic context is essential to understanding the meaning and reach of human autonomy; d) Plato's description of the cosmos is crucial to understanding his ethicalpolitical preoccupations. (shrink)

O manuscrito clandestino Jordanus Brunus redivivus ou Traité des erreurs populaires foi publicado em 1771, não trazendo indicação alguma de sua autoria. Entretanto, a despeito do anonimato da obra, ela tornou-se um dos textos mais famosos dentre a filosofia clandestina do século XVIII, aludindo a um filósofo que foi uma das maiores vítimas da superstição e do fanatismo de sua época: Giordano Bruno. O título do escrito é uma espécie de homenagem ao pensador italiano, mas não há no decorrer da (...) obra uma menção sequer que comprove que o autor anônimo tenha lido uma linha de suas obras, mesmo que seja considerado o elo filosófico de união entre o brunismo da primeira metade do século XVII e o da segunda metade do século XVIII. É em um encadeamento de ideias progressivo no Jordanus Brunus que nos permite encontrar o fio condutor das reflexões do autor: a sua formulação do ateísmo caracteriza-se por sua abordagem não dogmática, dissimulada, preparando o solo para o racionalismo ateu que estaria por vir. O presente artigo limitar-se-á à terceira e quarta partes do manuscrito, nas quais o autor anônimo vai tratar diretamente da questão da existência de deus e fazer diversas objeções às provas de sua existência. (shrink)

This book provides both an introduction to the philosophy of scientific modeling and a contribution to the discussion and clarification of two recent philosophical conceptions of models: artifactualism and fictionalism. These can be viewed as different stances concerning the standard representationalist account of scientific models. By better understanding these two alternative views, readers will gain a deeper insight into what a model is as well as how models function in different sciences. Fictionalism has been a traditional epistemological stance related to (...) antirealist construals of laws and theories, such as instrumentalism and inferentialism. By contrast, the more recent fictional view of models holds that scientific models must be conceived of as the same kind of entities as literary characters and places. This approach is essentially an answer to the ontological question concerning the nature of models, which in principle is not incompatible with a representationalist account of the function of models. The artifactual view of models is an approach according to which scientific models are epistemic artifacts, whose main function is not to represent the phenomena but rather to provide epistemic access to them. It can be conceived of as a non-representationalist and pragmatic account of modeling, which does not intend to focus on the ontology of models but rather on the ways they are built and used for different purposes. The different essays address questions such as the artifactual view of idealization, the use of information theory to elucidate the concepts of abstraction and idealization, the deidealization of models, the nature of scientific fictions, the structural account of representation and the ontological status of structures, the role of surrogative reasoning with models, and the use of models for explaining and predicting physical phenomena. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

In this essay I revise, based on the notion of the ‘enlightened ruler’ or mingzhu and his critique of the literati of his time, the common belief that Han Fei was an amoralist and an advocate of tyranny. Instead, I will argue that his writings are dedicated to advising those who ought to rule in order to achieve the goal of a peaceful and stable society framed by laws in accordance with the dao.

Judging a person as morally responsible involves believing that certain responses (such as punishment, reward, or expressions of blame or praise) can be justifiably directed at the person. This paper develops an account of the evolution of moral responsibility judgment that adopts Michael Tomasello’s two-step theory of the evolution of morality and borrows also from Christopher Boehm’s work. The main hypothesis defended is that moral responsibility judgment originally evolved as an adaptation that enabled groups of cooperative individuals to hold free (...) riders responsible more safely by acting in a coordinated way. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

O presente trabalho procura se debruçar sobre a dimensão ontológica do homem animal-político-social em Aristóteles. Logo, desde já nos cabe ressaltar que a verificação do homem enquanto animal político-social abarcará um caráter metafísico para a efetivação no e do físico-material-natural, ou seja, o ser biopsicossocial. Refletindo, construindo e interligando o ser físico e “espiritual”. Portanto, o objeto principal será o que diz respeito ao homem como um animal político-social, no sentido ontológico do ser sensível em Aristóteles. Para tanto, a proposta (...) abarcará a Teoria das Quatro Causas de Aristóteles. Isso para demonstrar certa ontologia de uma suposta essência da ou na substancia no e do ser humano. Ou seja, quem é o “homem-ser-ente” coberto por sua estrutura física e sensível no sentido ontológico no corporal? São os seres humanos animais essencialmente políticos? E se forem são seres políticos do e ou no “espiritual”, “almático” e metafísico ou no físico-corporal? (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)