This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...) approximation process for full propositional classical logic when the control over the use of cut is progressively weakened. A sound and complete semantics is given for each component of each of the three families of approximated logics. One of these families is shown to possess the uniform substitution property, a new result for approximated reasoning. A tableau based decision procedure is presented for each element of the approximation families and the complexity of each decision procedure is studied. We show that there are families in which every component logic can be decided polynomially. (shrink)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This (...) generalisation over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes (...) can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...) we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning. (shrink)

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modaln-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics image and image.

Neural networks are widely used in systems of artificial intelligence, but due to their black box nature, they have so far evaded formal analysis to certify that they satisfy desirable properties, mainly when they perform critical tasks. In this work, we introduce methods for the formal analysis of reachability and robustness of neural networks that are modeled as rational McNaughton functions by, first, stating such properties in the language of Łukasiewicz infinitely-valued logic and, then, using the reasoning techniques of such (...) logical system. We also present a case study where we employ the proposed techniques in an actual neural network that we trained to predict whether it will rain tomorrow in Australia. (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)

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)

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.

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)

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.

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)

Data sharing – broadly defined as the exchange of health-related data among multiple controllers and processors – has gained increased relevance in the health sciences over recent years as the need and demand for collaboration has increased. This includes data obtained through healthcare provisions, clinical trials, observational studies, public health surveillance programs, and other data collection methods. The practice of data sharing presents several notable challenges, however. Compliance with a complex and dynamic regulatory framework is essential, with the General Data (...) Protection Regulation being a prominent example in a European context. Recent regulatory developments related to clinical trial transparency, trade secrecy, data access, AI training data, and health data spaces further contribute to the difficulties. Simultaneously, government initiatives often encourage scientists to embrace principles of “open data” and “open innovation.” The variety of regulations in this domain has the potential to impede widespread data sharing and hinder innovation. This edited volume, therefore, compiles comparative case studies authored by leading scholars from diverse disciplines and jurisdictions. The book aims to outline the legal complexities of data sharing. By examining real-world scenarios from diverse disciplines and a global perspective, it explores the normative, policy, and ethical dilemmas that surround data sharing in the health sciences today. Chapter Patient Perspectives on Data Sharing, Chapter Supplementary Measures and Appropriate Safeguards for International Transfers of Health Data after Schrems II are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. (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)