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 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)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (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)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)

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

This study analyzes the possible occurrence of plagiarism and self-plagiarism in a sample of articles published in the Scientific Periodicals Electronic Library, an open database that indexes business journals in Brazil. The author compared one sample obtained in 2013 and another selected from 2018. In both samples, we verified the guidelines that each of the journals provided to authors regarding plagiarism and the adoption of software to detect textual similarities. In the analysis conducted in 2013, it was found that only (...) one journal mentioned the word “plagiarism” in its policies, although the majority of the directives required guarantees that no type of violation of authors’ rights was contained in the manuscript. In the analysis conducted in 2013, it was determined that there were literal reproductions in 31 published articles, and no relevant similarities with other publications were encountered in 16 articles. In the 2018 analysis, 69 of the publications included observations and guidelines related to plagiarism and self-plagiarism. In the analysis conducted in 2018, it was found that similarities occurred in 52 articles, and no relevant evidence of plagiarism or self-plagiarism was found in 66 manuscripts. Although a reduction in the index of the occurrence of plagiarism was observed, as was an increase in the instructions on the prevention of plagiarism by authors, practices directed at guiding authors by means of directives concerning the importance of preventing plagiarism in manuscripts submitted for publication can be recommended. (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)

Michel Foucault is one of the most preeminent theorists of power, yet the relationship between his militant activities and his analysis of power remains unclear. The book explores this relationship to explain the development of Foucault's thinking about power. Using newly translated and unpublished materials, it examines what led Foucault to take on the question of power in the early 1970s and subsequently refine his thinking, working through different models (war and government) and modalities (sovereign, disciplinary, biopolitical, pastoral and governmental). (...) Looking at Foucault's political trajectory, from his involvement with the prisoner support movement and Solidarity to his controversial engagement with the Iranian revolution, the book shows the militant underpinning of his interest in the question of power and its various shifts and mutations. This thorough account, which includes the first translation of a report edited by Foucault on prison conditions, will provide students in contemporary political theory with a better understanding of Foucault's thinking about power and of the interplay between political activities and theoretical productions. (shrink)

From a conception of philosophy that breaks with the philosophical tradition, Wittgenstein presents a human being perspective that surpasses the classic dichotomy between body and soul, legacy by Modernity, when thinking of it as an integrated whole, a psychophysical unit. This understanding is possible thanks to the understanding of philosophy as an activity and not as a theory. At first, the philosopher understood that this activity was limited to the logical analysis of language; however, considering the insufficient approach to dissolve (...) philosophical problems, he gradually adopts the grammatical analysis of ordinary language, which turns to the uses of linguistic expressions, in order to identify the rules that guide the use of words with meaning. And so, attentive to linguistic practices, he understands that the human being is not divided into parts, but, on the contrary, that body and soul constitute a single reality. What is internal to the subject becomes visible through the external from its behavior in the world, and this is how the human being can be understood according to Wittgenstein. Considering that the Wittgensteinian conception of human being is an offshoot of his concept of philosophy, the article first presents the development of his understanding of philosophy to then detail the concept of human being that constitutes and is understood through the language itself. (shrink)

Presents spiritual reflections, thoughts, stories, and ideas intended to inspire readers to realize the immeasurable value of every moment of life, and to encourage them to conduct their lives accordingly.

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)

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

Prior research indicated that resistance to consumption contributes to the achievement of sustainable development goals and is associated with higher well-being. We investigate conditions under which materialists intend to resist consumption. We find that by enhancing self-control and long-term orientation, the intention to resist consumption and the frugality scores of high- and low-materialism individuals increase. These increases are stronger for those who believe that possessions are a source of happiness, but not for those who believe that possessions signal success or (...) for those who believe that acquiring possessions is a central goal in their daily lives. The findings suggest that individuals who believe that possessions are a source of happiness and who are led to feel more self-controlled and long-term oriented become inclined to resist consumption in the short-term to achieve materialistic aspirations in the long-term. Similar findings were not obtained for the other dimensions of materialism because these dimensions do not motivate one to save in the short-term. Overall, these studies demonstrate that the happiness dimension of materialism may also motivate resistance to consumption. Such findings have implications for sustainability, for public policy makers, and for business ethics. (shrink)

From the early to mid-1970s, Michel Foucault posited that power consists of a relation rather than a substance and that this relation is comprised of unequal forces engaged in a warlike struggle against each other, resulting invariably in the domination of some forces over others. This understanding of power, which he retrospectively dubbed `Nietzsche's hypothesis' and `the model of war', underpinned his well-known analyses of disciplinary power. Yet, Foucault in his Collège de France course from the academic year 1975-6, `Society (...) Must Be Defended', suddenly began to call into question this understanding and his doubts about it did not abate well into the late 1970s. In this article, we suggest that his militant politics in the early 1970s sustained his adherence to the war model and that his more cautious political attitude later in the decade underpinned his suspicions about this model. Key Words: biopolitics • Henri de Boulainvilliers • Michel Foucault • Thomas Hobbes • militancy • F. W. Nietzsche • politics • power • race • war. (shrink)

Whithin the critique literature scope there are two standpoints as regards Machiavellian Cosmos: On one hand the traditional standpoint embodied by Leo Straus that has belittled the impact of the forces of nature; whereas on the other hand the standpoint headed by Gennaro Sasso, Miguel Angel Granada y Anthony Parel has interpreted the Machiavellian text concerning the debate between neoplatonics and neoaristotelians The Machiavelli´s overuse of a cosmological schema- wherein the life of the politic bodies is explained through an adequate (...) knowledge of the laws of the natural world-is argued in this paper as from the interpretation of the oblivione delle cose concept in D., II, V and D., I, LVI. (shrink)

The Stoics incorporeals are "somethings" which, albeit nonexistent strictly, are subsistent. For the Stoics things truly existent are bodies. So, the question is: what role do incorporeals play in Stoic ontology? The author endeavors to demonstrate that the interpretation that incorporeals are secondary realities (bodies being the primary ones) is not consistent with Stoic philosophy as a whole. At this point the argument is that bodies and incorporeals serve to complement each other in the sense that one cannot exist without (...) the other. Thus, between them there seems to be a reciprocal dependence. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

Multialgebras (or hyperalgebras) have been very much studied in the literature. In the realm of Logic, they were considered by Avron and his collaborators under the name of non-deterministic matrices (or Nmatrices) as a useful semantics tool for characterizing some logics (in particular, several logics of formal inconsistency or LFIs) which cannot be characterized by a single finite matrix. In particular, these LFIs are not algebraizable by any method, including Blok and Pigozzi general theory. Carnielli and Coniglio introduced a semantics (...) of swap structures for LFIs, which are Nmatrices defined over triples in a Boolean algebra, generalizing Avron's semantics. In this paper we develop the first steps towards the possibility of defining an algebraic theory of swap structures for LFIs, by adapting concepts of universal algebra to multialgebras in a suitable way. (shrink)

O artigo compara duas propostas de educação da areté nos textos de Platão: o “mito de Prometeu” no Protágoras e o “mito da caverna” no Livro VII de A República. Isso se deve à ambiguidade do termo areté, que pode ser virtude moral ou competência. Esse debate se traduziu, acompanhando a terminologia de Francis Wolff, numa abordagem complementar da “verdade jurídica” defendida pelo personagem de Protágoras em contexto democrático, com a “competência técnica” do personagem Sócrates, na segunda perspectiva. Debate que (...) acarreta, até hoje, respectivos desdobramentos pedagógicos. Palavras-chave : Platão. Areté. Democracia. Competência. Educação. (shrink)

Whilst he was writing De principatibus, was Machiavelli really as out of touch with the Florentine politico-institutional world as his letter of December 1513 claims? Who read Il principe prior to its publication, and how? Why did the philosopher Agostino Nifo, one of the major proponents of Renaissance Averroism, plagiarize it? To what extent is the Machiavellian "principato civile" comprehensible only by way of its Medicean and Florentine affiliation? Did the young Lorenzo de' Medici's political programme seek to eliminate the (...) Roman church? What politicocultural stance is hidden behind certain political terms from the humanist tradition that Machiavelli revisited in Il principe? To what extent was the Machiavellian relationship between animality and humanity, simulation and dissimulation, influenced by Leonardo da Vinci's ceuvre? And, finally, what are the questions that remain open in Il principe? This compilation offers some possible answers to these questions, thus providing new critical tools for the study of Niccolo Machiavelli's Il principe -- Back cover. (shrink)

Este artigo tem como objetivo apresentar os dados da pesquisa realizada na Faculdade de Educação da Universidade Estadual de Campinas-SP no ano de 2010, para aquisição do título de Doutor em Educação. Além da apresentação dos dados, a proposta será de trabalhar os conteúdos específicos da teoria da complexidade de Edgar Morin, sua implicação na produção da pesquisa e da educação brasileira e latino-americana. Por se tratar de uma discussão apresentada como aula para o programa de pós-graduação em educação da (...) Universidade Federal de Alagoas - UFAL, as questões que serão analisadas dizem respeito aos desdobramentos das teorias educacionais na constituição epistemológica da ciência da educação. (shrink)

The long-standing tradition of phenomenological psychopathology has been historically concerned with the nature of mental disorders, with a special focus on their basic experiential core. In the same way, much of the recent phenomenologically-inspired work in psychopathology consists in providing precise and refined tools for diagnosis, classification, and nosology of mental disorders. What is striking, however, is the lack of therapeutic proposals in this tradition. Although a number of phenomenological approaches refer positively to psychotherapeutic practices, psychopharmacological intervention has been mostly (...) neglected as a relevant field of attention. This work aims to fill this gap. We maintain that the convergence of phenomenological psychopathology and psychopharmacology exhibit a rich potential for mutual enlightenment, which unfolds into a more adequate psychopharmacological practice. Initially, after discussing Joanna Moncrieff’s drug-centered model of drug action we review some of the major findings in phenomenological literature regarding psychopharmacological treatment. Next, we suggest that Moncrieff’s drug-centered model can be seen as an important tool for improving clinical decision-making, by elucidating its inherent epistemic advantage when compared to mainstream models of drug action. As a result, the drug-centered model proves to be also patient-centered, by focusing on experiential alterations and helping to improve treatment outcomes. (shrink)

In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices. Dugundji’s result forced the development of alternative semantics, in particular Kripke’s relational semantics. The success of this semantics allowed the creation of a huge family of modal systems. With few adaptations, this semantics can characterize almost the totality of the modal systems developed in the last five decades. This semantics however has some limits. Two results of incompleteness showed that not every modal logic (...) can be characterized by Kripke frames. Besides, the creation of non-classical modal logics puts the problem of characterization of finite matrices very far away from the original scope of Dugundji’s result. In this sense, we will show how to update Dugundji’s result in order to make precise the scope and the limits of many-valued matrices as semantic of modal systems. A brief comparison with the useful Chagrov and Zakharyaschev’s criterion of tabularity for modal logics is provided. (shrink)

We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.

Based on the notion of bad faith, the article seeks to lay the foundations for a diagnosis of contemporaneity, having as an index, on the one hand, the lack of human determination and, on the other, the effectiveness of the world.