Proper fork algebras are algebras of binary relations over a structured set. The underlying set has changed from a set of pairs to a set closed under an injective function. In this paper we present a representation theorem for their abstract counterpart, that entails that proper fork algebras — whose underlying set is closed under an injective function — constitute a finitely based variety.1.

ABSTRACT In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning with equational theories algebras.

Em seu Système de la nature, Holbach afirma que algumas ideias que o homem engendra dentro de si são derivadas de uma oscilação dos humores que o impede de entrever quais as razões de atribuir um caráter sacro a certas palavras ou opiniões. Nesse sentido, as paixões, longe de serem romantizadas e levarem vantagem em relação à reta razão justamente por serem menos frias e mais lúdicas, sob a pena do barão ganham uma imagem negativa, definidas como verdadeiros obstáculos (...) ao homem que pretende entender os princípios, o curso e as leis da natureza dispensando o recurso a instâncias ou entidades sobrenaturais criadas pela imaginação, pela inconstância dos humores ou pela linguagem. Palavras-chave : Holbach. Paixões. Divindade. (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 article, I revise the normative account of sport that I proposed in ‘William J. Morgan’s “conventionalist internalism” approach. Furthering internalism? A critical hermeneutical response.’ I first present Habermas’ discursive ethics, placing emphasis on his interpretation of the relationship between moral (Kantian) and ethical (Hegelian/hermeneutical) principles. Then, I provide a reformulation of my account by both drawing on Habermas and going beyond him—as I go beyond Habermas, I will refer to the account as ‘discourse-ethics based.’ To further explore the (...) normative potential of the account, I connect its main tenets to the three main normative theories of sport (formalism, broad internalism, and deep conventionalism) and illustrate it with examples from anti-doping governance. (shrink)

ABSTRACTIn this article, I will identify two key normative principles at the core of Robert L. Simon’s mutualist theory of sport, namely, the respect-for-the-opponent principle and the idea that sport is a practice aimed at pursuing excellence. The former is a Kantian principle grounded in human beings’ rationality, and the latter is an Aristotelian principle related to the development of excellences as a means to human flourishing. After having presented and analyzed both principles, I will critically evaluate Simon’s attempt to (...) combine them within his mutualist approach. To conclude, I will highlight the challenges that mutualism should face to complete such a combination more successfully.Abbreviation: Categorical imperative. (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 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)

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)

Bernard Suits’ account of play as an autotelic activity has been greatly influential in the philosophy of sport. Suits borrows the notion of ‘autotelicity’ from Aristotle’s ethics, formulating diff...

In this article, I consider Alkis Kontos’ and Allan Bäck’s critiques to Suits that his theory of games and good living lack ontological grounds or rests on the wrong foundations. Taking these criti...

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)

The article went deeper into Richard Rorty’s texts that address the self as “a set of beliefs and desires.” In an imbrication of philosophy with psychoanalysis, Rorty’s hermeneutics accompanies the critique of psychoanalysis regarding the self-centralization from Metaphysical tradition, one of the strategies of self-redescription. The other strategy is aesthetic redescription. This redescription is based on understanding the psychic world as an encounter of “beliefs and desires” as “quasi-people.” The thread of our argument is the articulation of psychoanalysis with the (...) concept of “hegemony.” This reflexive line occurs due to the agonist and conflicting context of internal alterity from the “interpersonal” relationship between conscious and unconscious, rediscovering the self. (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)

Trata-se de um artigo de viés ensaístico que tenta apontar a impressão de que a instituição escolar habita uma densa crise existencial. A suposição que norteia essa reflexão visa à crise na educação escolar como uma aparência que costuma continuar velada na maior parte dos discursos críticos acerca da escolarização atual: o afastamento do sentido humano ontológico-social e do significado da experiência que relacionam professor-estudante. A investigação nesta atividade será realizada a partir de conceito recentemente desenvolvido, o absurdar-se, em uma (...) tentativa de aplicação desse conceito nas nossas experiências em escolas, nas quais atuamos como psicólogo da educação. (shrink)

RESENHA: COMBLIN, José. O Espírito Santo e a tradição de Jesus . São Paulo: Nhanduti, 2012.

This sentence: «Infinita è la violenza delle convinzioni acquisite», which appears in this text for the first time, could be the most faithful motto of Mario Martelli’s critical production, always characterized by his hard and consistent struggle against the «convizioni acquisite» of critical literature, historiography and philosophy, all of which have so severely mislead our view of Niccolò Machiavelli’s work and thought.

This sentence: «Infinita è la violenza delle convinzioni acquisite», which appears in this text for the first time, could be the most faithful motto of Mario Martelli’s critical production, always characterized by his hard and consistent struggle against the «convizioni acquisite» of critical literature, historiography and philosophy, all of which have so severely mislead our view of Niccolò Machiavelli’s work and thought.

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.

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)

Este ensayo se propone presentar una lectura de las críticas de Aristóteles a Parménides en la Física. El autor sugiere que algunas importantes cuestiones que Aristóteles tiene en cuenta cuando determina los principios básicos de la ciencia de la naturaleza surgen de esas críticas. Boeri argumenta que, a pesar del fuerte desacuerdo declarado por Aristóteles en Física I 2-3 respecto de las posiciones eleáticas en general y la posición de Parménides en particular, Aristóteles aprovecha su discusión con Parménides de un (...) modo constructivo a favor de su propia teoría del cambio y, en general, de las condiciones indispensables para la constitución de la ciencia de la naturaleza. Según el autor, uno de los puntos centrales del desacuerdo de Aristóteles con Parménides es al mismo tiempo una de las más fértiles cuestiones desde el punto de vista del uso de Aristóteles de tal desacuerdo para establecer los fundamentos de su física. (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)

ABSTRACTIn this article, we contextualize and introduce the papers that comprise the special issue, “Bernard Suits’ Legacy: New Inspirations and Interpretations.” The articles discuss the work of S...

In this article, we scrutinize views that justify exclusionary policies regarding transgender athletes based primarily on physiological criteria. We introduce and examine some elements that deserve...

Given current studies in moral psychology and following recent cases of wrong behaviour occurred in elite sporting events ? e.g. the racist chants scandals in the English Premier League or the events following Mourinho's poke in the eye scandal ? I shall analyse the extent to which supporters' brain make-up is determining them to behave in an ?unfair way?. Yet this paper is not just a work on descriptive ethics, but a normative ethics work. Therefore, once I have developed the (...) ?psycho-biological account of sports supporters?, I shall explore whether or not a more virtuous account of sports supporting can be drawn. In order to fulfil this normative task I shall appeal to the concept of ?fair play?. The common view of fair play defines it as ?the act of abiding by the rules?. However, my account of fair play is more complex and it is based on the moral principle of respecting others. This is the reason why fair play is not just something related to athletes but to supporters as well. To conclude, I shall sketch the boundaries of fair-play-based supporting behaviour in order to propose some policies or strategies that can help us to promote a ?healthy? and virtuous behaviour among fans. (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.