Covid-19 brought back memories of past pandemics. In society, a pandemic imaginary was installed, framing an imaginary landscape, alongside a rationalized pandemic intellect to which the media contributed a lot. We live immersed in tele technologies, adding present to the past and past to the present. At a time when home confinement became the rule, this was even more highlighted. In this screen technological Era, social practices were even more subject to the five great sociotechnical effects that condition information and (...) the way it articulates memory and the present: ubiquity, instantaneity, acceleration, mobilization and presentism. This article intends to demonstrate the presence of the imaginary of past pandemics in the present (Applying Einstein's Theory of General Relativity), the way in which we appropriate these memories to create solutions and the way in which we mix the present with the solutions that came from the past. (shrink)

We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.

AimTo evaluate the cognitive functioning of subjects practicing trance mediumship in Brazil.MethodThe study was based on the measurement of cognitive functions of 19 spirits mediums through neuropsychological tests such as the Brief Cognitive Screening Battery, the Verbal Fluency Test, the digit span test, the cube test, the five digit test and an evaluation of mental health through scales such as the Beck Depression Inventory, the Self-Report Questionnaire, and the Trauma History Questionnaire. The sample included the participation of spirit mediums divided (...) into two groups. The more experienced group with 11 subjects had more than 10 years of mediumistic practice, while the other less experienced group with 8 subjects had 1–5 years of experience. The inclusion criteria were psychophonic mediums with regular trance practices for at least one year. The data collected were analyzed using the SPSS statistical package.ResultsRegarding performance on the BCSB and digit span test, all subjects reached scores at the median or higher in comparison to standardized scores of Brazilians. Scores of 90% on the cube test and 42% on the FAS were reached in comparison to median or higher values, versus the median of standardized scores among Brazilians. On the FDT, we found statistical significance in the choice stage, with higher performance of subjects whose initial age of trance recognition occurred before 21 years old. On the BDI scale, no participant met the criteria for major depression. The SRQ showed an incidence of common mental disorders in 21% of the sample, which was more prevalent in the LEG.ConclusionThe cognitive functioning of subjects who practice trance mediumship in Brazil is associated with cognitive health. Executive dysfunction may be a tendency in LEG. However, an incidence of common mental disorders in the LEG was observed. Executive processing was higher in the subgroup with early practices of recognizing the phenomenon. (shrink)

We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.

Introdução: as inovações tecnológicas que surgem no contexto dos Arquivos estão diretamente ligadas à sua capacidade de evolução e adaptação. Descobrir e estudar quais dessas novas tecnologias podem ser mais bem aproveitadas nos Arquivos pode ser a diferença entre evoluir ou padecer. Objetivo: mapear as tendências recentes encontradas na literatura científica sobre as mudanças que estão ocorrendo nos Arquivos. Metodologia: foi realizada uma revisão de literatura, para determinar as principais tendências encontradas na literatura científica recente, a partir do ano de (...) 2015, sobre as inovações e mudanças que têm ocorrido nos Arquivos. Resultados: observa que alguns aspectos de destaque no que concerne às Arquivos do futuro: evolução da web, makerspaces, redes sociais e mudança no perfil do profissional que trabalha com Arquivos. Conclusões: O futuro dos Arquivos é ainda incerto, mas aponta em algumas direções, e é definitivamente digital, com acesso universal, porém não gratuito, também admite a esfera de social, interativa e vivo em constante evolução, uma evoluir bem mais rápido e dinâmico do que o observado no século XX. (shrink)

Given the abrupt global disruption caused by SARS-CoV-2, one might think that the COVID pandemic was an unpredictable event. But in the years leading up to the emergence of the COVID pandemic, several documents had already been warning of the increasing occurrences of new disease outbreaks with pandemic potential and lack of corresponding policies to promote pandemic preparedness and response. In this article, we call these documents “early warnings”. We argue that a survey of early warnings can help science communicators (...) to promote the public understanding of evidence-based pandemic preparedness and response policies at local or international level. Our proposal differs from other approaches to pandemic preparedness and response in that it highlights the relevance of documents published before the COVID outbreak. We show that the early warnings did not become outdated after the COVID outbreak, but, rather, that they are even more pressing now. (shrink)

Trata-se de um breve e parcial recenseamento do paradigma naturalista em desenvolvimentos clássicos e recentes da filosofia fenomenológica. Em um primeiro momento, tentar-se-á estabelecer elementos mínimos acerca do que pode ser considerado um “paradigma filosófico”. Em seguida, será mostrada uma presença improvável e discreta da física enquanto imaginário privilegiado na ontologia fenomenológica de Jean-Paul Sartre. Também será explorada a resistência de Paul Ricoeur ao reducionismo neurobiológico, bem como uma improvável presença de um enquadramento naturalista na base de sua antropologia filosófica. (...) Por fim, serão apresentados indícios, na literatura recente, da possibilidade de uma relação fecunda e amigável entre a fenomenologia hermenêutica de Heidegger e as ciências naturais. Palavras-chave: Fenomenologia. Hermenêutica. Naturalismo. Paradigma. (shrink)

This article aims to present the relevance of the narrative resource in the representation and in the constitution of the selfness. To achieve this goal, a comparative strategy was chosen between an anti-narrative and narrative positions with regard to the powers of narration in apprehending and composing the domain of identifications. In a first moment, a reconstruction of Jean-Paul Sartre's positions on narration will be carried out, based on the phenomenological ontology of Being and nothingness, as well as the considerations (...) about narrative and identity found in the novel Nausea and in the text of War diaries: notebooks from a phony war. The next moment will explore narrative arguments in Alasdair MacIntyre's After virtue, Charles Taylor’s The sources of the self, and especially Paul Ricoeur’s in Time and narrative and Self as another. Finally, in the most strictly comparative moment, it is intended to show certain difficulties of the anti-narrative position, as well as the fruitfulness of the narrative position, with regard to the different way of managing the demand for meaning in the anti-narrative rejection of identity and the acceptance of the challenge of permanent elaboration of the meaning of the narrative position. (shrink)

Trata-se de um estudo comparativo entre as ideias do filósofo Paul Ricoeur (1913 – 2005) e do romancista Milan Kundera (1929-) sobre as experiências do tempo e da memória. Parte-se de uma comparação inicial das ideias de ambos os pensadores acerca dos temas da ipseidade, da História e da experiência do tempo. Em um segundo momento, o pensamento de ambos os autores é colocado em confrontação crítica, em especial no que concerne aos seus respectivos entendimentos sobre a natureza da experiência (...) humana do tempo e os limites da memória. Em seguida, passa-se ao exame das ideias e hipóteses de Kundera sob a luz da hermenêutica filosófica de Ricoeur, com o intento de mostrar que essa é onde essa hermenêutica é mais intensamente desafiada que melhor mostra suas valências filosóficas. Em um último momento, pretende-se mostrar que dessa confrontação crítica resultam interessantes convergências por meio das quais ambos os pensadores oferecem perspectivas similares e complementares para fins do cultivo de uma memória feliz e de uma experiência viva do tempo. (shrink)

Trata-se de traçar uma aproximação comparativa entre dois autores oriundos de campos distintos do saber e da cultura e visualizar a mútua contribuição decorrente dessa aproximação, a saber, entre a filosofia de Paul Ricoeur (1913-2005) e o romance de Milan Kundera (1929-). Na medida em que tanto a filosofia de Ricoeur quanto a prosa ficcional de Kundera refletem sobre a constituição da subjetividade na modernidade, a presente contribuição visa estabelecer paralelos entre suas concepções de subjetividade e suas reflexões sobre os (...) destinos da prática da narração ficcional na virada do século. Tendo isso em vista, pretendo realizar uma interpretação comparativa entre as teses de Ricoeur, especialmente apresentadas em Tempo e narrativa e O si-mesmo como outro e as de Kundera, expostas tanto em seus ensaios quanto apresentadas de forma esparsa em digressões reflexivas que permeiam sua prosa romanesca. Meu intuito será mostrar como se diferenciam de forma discreta mas se sintonizam de forma robusta no que concerne a relação entre a constituição da subjetividade, o papel do romance na existência e a imersão desta em enredos historicamente considerados. (shrink)

Trata-se de uma tentativa de atualização das premissas da teoria da identidade narrativa de Paul Ricoeur diante do desafio lançado pelo presentismo tal como concebido por François Hartog. Nessa direção, em um primeiro momento serão apresentados elementos que enfatizam a presença da influência da teoria agostiniana do tríplice presente na noção ricoeuriana de experiência viva bem como na teoria da história de Reinhart Koselleck e no existencialismo sartreano. Em um segundo momento, será avaliada a possibilidade de equacionar a experiência viva (...) do tríplice presente e a teoria da identidade narrativa. No terceiro momento, serão apresentadas algumas pistas para um novo modelo de identidade narrativa em sintonia com os desafios lançados pelo presentismo. (shrink)

“Ex nihilo nihil fit” é uma máxima da metafísica e da teologia medievais que, digamos, tinha como finalidade ajudar na organização do inventário de uma herança cultural cujas bases não eram compatíveis com aquelas do pensamento cristão no qual o universo é Criação de um Criador. A ideia de que “do nada, nada vem” pode ser talvez identificada como a ideia central do novo livro do professor Ronai Rocha, da Universidade Federal de Santa Maria, intitulado Escola partida: ética e política (...) na sala de aula. (shrink)

O presente artigo tem como objetivo apresentar a pertinência do recurso da narração tanto na representação quanto da própria constituição da ipseidade. Para realizar esse intento, optou-se por uma estratégia comparativa entre uma posição antinarrativista e uma narrativista no que concerne aos poderes da narração em apreender e compor o domínio das identificações. Em um primeiro momento será realizada uma reconstrução das posições de Jean-Paul Sartre acerca da narração tendo por base a ontologia fenomenológica de O ser e o nada (...) bem como as considerações sobre narrativa e identidade encontradas no romance A náusea e no texto de Diários de uma guerra estranha. O momento seguinte explorará os argumentos narrativistas de Alasdair MacIntyre em Depois da Virtude, de Charles Taylor em As fontes do self e, especialmente, de Paul Ricoeur em Tempo e narrativa e O si-mesmo como outro. Finalmente, no momento mais estritamente comparativo, pretende-se mostrar certas dificuldades da posição antinarrativista, bem como a fecundidade da posição narrativista, no que diz respeito ao distinto modo de administração da demanda por sentido no rechaço antinarrativista da identidade e do acolhimento do desafio de permanente elaboração de sentido da posição narrativista. (shrink)

O Brasil, diz Millôr Fernandes, tem um enorme passado pela frente e, esse projeto de nação ergue-se com a memória coletiva. Nessa via, o objetivo do estudo é analisar bibliometricamente como a temática ‘memória coletiva’ se apresenta indexada no acervo da literatura científica da Ciência da Informação - Brapci. A pesquisa estabelece métricas sobre o quantitativo anual de publicações, os periódicos e os autores envolvidos, as palavras chaves mais frequentes. Estabelecido o recorte dos últimos dez anos completos, são recuperados 50 (...) artigos. O diagnóstico nota a sustentabilidade da produção científica relacionada ao tema memória coletiva e, com o debate das práticas patrimoniais e memorialistas alinham-se ações em prol da visibilidade, do acautelamento e da proteção do Patrimônio Cultural. Conclui-se que entre os anos de 2017 e 2021 a temática memória coletiva adentra na Ciência da Informação, cingindo construtos em prol da ética, da transparência e dos direitos humanos. A temática processa amplas provocações e reflexões que, por meio das narrativas da memória e do esquecimento estão ligadas ao status teórico-linguístico inerente às interfaces do Ser Informação. (shrink)

Aborda-se a prática interpretativa no Direito a partir da necessidade de um “acerto de contas” (accountability) do Direito com a Filosofia. A aplicação dos indícios formais como um método fenomenológico suficiente a valorizar o caso concreto e permitir o desvelamento do sentido das coisas aparece como alternativa. Busca-se um caminho teórico-filosófico alternativo consistente para guiar uma investigação interpretativa suficiente para o Direito. Toma-se como referencial teórico a Hermenêutica Ontológico-Existencial (Martin Heidegger e Hans-Georg Gadamer), à luz da filtragem da Crítica Hermenêutica (...) do Direito, de Lenio Streck, procurando assinalar a relevância da “situação hermenêutica” em todo ato interpretativo. (shrink)

De 1964 a 1985 o Brasil viveu sob um regime de governo ditatorial que de acordo com a historiografia mais recente foi sustentado, em grande parte, pela própria sociedade civil (MELO, 2012; COMISSÃO, 2014). Mais recentemente, a partir dos anos 1980, cresce o movimento de criação de espaços de memória corporativos com o objetivo de tornar pública a trajetória histórica das empresas (COSTA; SARAIVA, 2011). Dentre estes espaços, adquire relevância os Centros de Memória e documentação como lugares de armazenamento (...) e lembrança de memória organizacional, que ajudam a construir simbolicamente a imagem organizacional e a fornecer um senso de coerência e trajetória linear (RIBEIRO; BARBOSA, 2007). Neste contexto, e com base na documentação disponibilizada pela Comissão Nacional da Verdade, a presente pesquisa tem por objetivo identificar como o Museu Histórico da Fundação Bradesco retrata (ou deixa de retratar) o relacionamento da empresa Bradesco com o governo brasileiro no período da ditadura civil-militar. FIRMS, BRAZILIAN CIVIL-MILITARE DICTATORSHIP, AND MEMORY AND CORPORATIVE DOCUMENTATION CENTERS: AN EXPLORATORY STUDY From 1964 to 1985, Brazil lived under a dictatorial system of government that according to the latest historiography was sustained largely by civil society (MELO, 2012; COMISSÃO, 2014). More recently, since the 1980s, it is possible to be noticed the growing movement of creation of corporate memory spaces in order to make public the historical trajectory of the companies (COSTA and SARAIVA, 2011). Among these spaces, acquires relevance the Corporate Documentation and Memory Centers, which help to symbolically build the organizational image and to provide a sense of consistency and linear trajectory (RIBEIRO and BARBOSA, 2007). In this context, and based on documentation provided by the National Commission of Truth, this research aims to identify how the History Museum of Bradesco Foundation portrays (or does not portray) the relationship between Bradesco company and the Brazilian government in the period of civil-military dictatorship. (shrink)

The future of awake bruxism assessment will incorporate physiological data, possibly electromyography of the temporal muscles. But up to now, temporal muscle contraction patterns in awake bruxism have not been characterized to demonstrate clinical utility. The present study aimed to perform surface EMG evaluations of people assessed for awake bruxism to identify possible different subtypes. A 2-year active search for people with awake bruxism in three regions of the country resulted in a total of 303 participants. Their inclusion was confirmed (...) through non-instrumental approaches for awake bruxism: self-reported questionnaire and clinical exam, performed by three experienced and calibrated dentists. Also, 77 age- and sex-matched healthy controls were recruited. Temporalis surface EMG was performed with a portable device. EMG signals were sent to a computer via Bluetooth 4.0 at a sampling rate of 1,000 Hz. Digital signal processing was performed using the commercial neuroUP software, transformed in RMS and then normalized for peak detection, in a 10 min session. Cluster analysis revealed three distinct subtypes of awake bruxism: phasic, tonic, and intermediate. Individuals with a predominance of EMG peaks/min were classified as the “phasic” subtype. Those with the highest EMG rest power were classified as the “tonic” subtype. There was also an “intermediate” subtype, when both variables remained low. Characterization of awake bruxism physiology is important for future establishment of instrumental assessment protocols and treatment strategies. (shrink)

Several countries maintain universal health coverage, which implies responsibility to organize delivery formats of healthcare services and products for citizens. In Brazil, the health system has a principle of universal access for more than 30 years, but many deficiencies remain and the country observes a day practice for those seeking judicial decisions to determine provision of healthcare.

Aspectos biográficos -- Aspectos epistemológicos e conceituais -- Diálogos com outros autores -- Aplicação da pedagogia freireana.

Quasi-truth is a formal approach to a pragmatically-oriented view of truth. The basic plan motivating the framework consists in providing for a more realistic account of truth, accommodating situations where there is incomplete information, as typically happens in the practice of science. The historical sciences are a case in hand, where incomplete information is the rule. It would seem, then, that the quasi-truth approach would be the most appropriate one to deal with historical sciences, then. In this paper, we explore (...) this possibility and use the historical sciences as a test case for the approach of quasi-truth. Our claim is that, on what concerns historical sciences, the quasi-truth approach fails in two basic senses; first, by misrepresenting some cases concerning incomplete information, and second, by falling short of accounting for many features of incomplete information peculiar to historical sciences. We conclude that, despite its stated goals, quasi-truth must be either amended or substituted if the goal of a more faithful representation of scientific practice is to be achieved. (shrink)

The analysis of penalty kick has played an important role in performance analysis. The study aims are to get formal feedback on the relevance of variables for penalty kick analysis, to design and validate an observational system; and to assess experts’ opinion on the optimum video footage in penalty kick analysis. A structured development process was adopted for content validity, reliability and agreement on video usage. All observational variables included in OSPAF showed Aiken’s V values above the cut-off. Cohen’s Kappa (...) resulted in mean intra- and inter-rater reliability values of 0.90 and 0.86, respectively. It is recommended to combine at least three different viewing angles with standardization of video quality. Changing the viewing angles may influence the observer perception. The aerial and pitch-level viewing angle behind the penalty taker and pitch-level viewing angle behind the goalkeeper were indicated as most appropriate for observational analysis. The OSPAF met all requirements of instrument validation. It may be recommended as basis of future observational systems on penalty kicks. (shrink)

Frame Semantics includes context as a central aspect of the theory. Frames themselves can be regarded as a representation of the immediate context against which meaning is to be construed. Moreover, the notion of frame invocation includes context as one possible source of information comprehenders use to construe meaning. As the original implementation of Frame Semantics, Berkeley FrameNet is capable of providing computational representations of some aspects of context, but not all of them. In this article, we present FrameNet Brasil: (...) a framenet enriched with qualia relations and capable of taking other semiotic modes as input data, namely pictures and videos. We claim that such an enriched model is capable of addressing other types of contextual information in a framenet, namely sentence-level cotext and commonsense knowledge. We demonstrate how the FrameNet Brasil software infrastructure addresses contextual information in both database construction and corpora annotation. We present the guidelines for the construction of two multimodal datasets whose annotations represent contextual information and also report on two experiments: the identification of frame-evoking lexical units in sentences and a methodology for domain adaptation in Neural Machine Translation that leverages frames and qualia for representing sentence-level context. Experimental results emphasize the importance of computationally representing contextual information in a principled structured fashion as opposed to trying to derive it from the manipulation of linguistic form alone. (shrink)

This chapter argues that the Covid-19 pandemic has exposed the limits of the mainstream individualistic notion of resilience and, in light of these limits, it advances a new, relational notion of the concept of resilience that contributes to the individuals’ well-being and takes into consideration the role of systemic inequality. The first half of the paper argues that the individualistic notion is flawed in two ways: i) it can foster ill-being because it is cognitively taxing, and ii) it discounts systemic (...) inequality because it transfers the responsibility of any achievement and failure onto the single individual without regard for conditions of oppression. The second half of the paper reconceptualizes the concept of resilience as a relational notion that takes into account structural support as well as conditions of oppression and marginalization. According to this latter notion of resilience, the chapter argues that oppression, lack of material conditions, or lack of structural support are elements that can impact the appropriateness of calls to be resilient. A relational notion of resilience fosters well-being because it puts the collective community at the center (instead of the individual) and it takes into consideration material conditions and structural injustices. (shrink)

This article investigates the existence of an original Brazilian legal culture. It parts from a critical examination of the key moments in the history of Brazil through the accounts of its most important scholars, such as Caio Prado Júnior, Darcy Ribeiro, Sérgio Buarque de Holanda, Wilson Martins, Oliveira Viana, Roberto Damatta, José Murilo de Carvalho, among others. It identifies in the Brazilian legal culture something one might call tradition of exception, which can be found in many of its most prominent (...) aspects, such as the persistent denial of any general or abstract regulatory standards, the uncritical introduction of foreign doctrines and legal patterns, the maintenance of aristocratic traditions in social life and the historical disregard of the Brazilian people as political subject. The article also offers a reflection on the problems and potentials of the current historic moment, in which for the first time Brazilians face the possibility of a genuine cultural emancipation. (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 (...) class='Hi'>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)

Entrevista com o professor Mauro Rêgo Sá Costa para o dossiê Rádio nas Bordas.

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)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. It is well known from universal algebra that, for every signature \, there exist algebras over \ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of \-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms. Equivalently, the forgetful functor, from the category of \-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor \, from the category of \-multialgebras to Set, does not have a left adjoint. In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices, there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that \ does not have a left adjoint. (shrink)

The 3-valued paraconsistent logic Ciore was developed by Carnielli, Marcos and de Amo under the name LFI2, in the study of inconsistent databases from the point of view of logics of formal inconsistency (LFIs). They also considered a first-order version of Ciore called LFI2*. The logic Ciore enjoys extreme features concerning propagation and retropropagation of the consistency operator: a formula is consistent if and only if some of its subformulas is consistent. In addition, Ciore is algebraizable in the sense of (...) Blok and Pigozzi. On the other hand, the logic LFI2* satisfies a somewhat counter-intuitive property: the universal and the existential quantifier are inter-definable by means of the paraconsistent negation, as it happens in classical first-order logic with respect to the classical negation. This feature seems to be unnatural, given that both quantifiers have the classical meaning in LFI2*, and that this logic does not satisfy the De Morgan laws with respect to its paraconsistent negation. The first goal of the present article is to introduce a first-order version of Ciore (which we call QCiore) preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. The second goal of the article is to adapt to QCiore the partial structures semantics for the first-order paraconsistent logic LPT1 introduced by Coniglio and Silvestrini, which generalizes the semantic notion of quasi-truth considered by Mikeberg, da Costa and Chuaqui. Finally, some important results of classical Model Theory are obtained for this logic, such as Robinson’s joint consistency theorem, amalgamation and interpolation. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order LFIs. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results (...) hold for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, (...) our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)

The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with (...) more than two values? Because, we argue, one has to decide how to deal with bivalence and settle down the tradeoff between logical 2-valuedness and truth-functionality, from a pragmatical standpoint. -/- This paper will illustrate the ups and downs of a two-valued reduction of logic. Suszko’s reductive result is quite non-constructive.We will exhibit here a way of effectively constructing the two-valued semantics of any logic that has a truth-functional finite-valued semantics and a sufficiently expressive language. From there, as we will indicate, one can easily go on to provide those logics with adequate canonical systems of sequents or tableaux. The algorithmic methods developed here can be generalized so as to apply to many non-finitely valued logics as well —or at least to those that admit of computable quasi tabular two-valued semantics, the so-called dyadic semantics. (shrink)

Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleene and Bochvar–Kleene logics, we modify them by replacing the multiple-conclusion rules with carefully selected single-conclusion ones. In this way we manage to introduce the first finite Hilbert-style single-conclusion axiomatizations for these logics.

Based on a mixed-methods study involving triad tasks and ethnobiological models, we analyze local categories and knowledge of key ethnospecies of fish exploring partial overlaps between artisanal fishers’ and academic knowledge in a fishing community in northeast Brazil. We argue that fishers’ and academic knowledge overlaps may provide common ground for transdisciplinary collaboration, while their partiality requires reflection on epistemological and ontological differences. Here, we show how knowledge of artisanal fishers can complement academic knowledge and bring about tensions that need (...) to be addressed through intercultural dialogue. By integrating a general philosophical framework of partial overlaps with a mixed-methods study on fishers’ knowledge, we show how ethnobiology can contribute to reflective and empirically-grounded transdisciplinary practices. (shrink)