We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

The author argues that a correct approach to the question of tolerance cannot ignore the increasing importance of the religious factor on the political, cultural and social scene of the last few years. The common European model of the relationship between the State and religious faiths that may be called the Law possesses some margins of elasticity. These margins of elasticity may be defined as tolerance. A mechanism of selection allows the law to welcome those new requests for liberty that (...) do not undermine the fundamental features of the model. (shrink)

The theory of knowledge is justified only by its results. Each of its statements is essentially an hypothesis, valuable in so far as its practical purpose is fulfilled. Consequently, the same speculative characteristics common to all natural sciences, must be attributed also to the theory of knowledge.

A Constituição dos Atenienses é uma pequena obra acerca da politeia de Atenas e das condições que permitem que a democracia permaneça em Atenas como forma de gerenciar a vida da polis. Esta obra representa um problema filológico e historiográfico, porque, embora esteja no corpus das obras de Xenofonte, ela é considerada obra de outro autor, conhecido como Pseudo-Xenofonte ou “Velho Oligarca”. Trata-se de um pamphlet de orientação oligárquica que apresenta Atenas como um mundo ao contrário, em que os piores (...) comandam e os melhores são como escravizados pela multidão ignorante. (shrink)

Aquí lo que me interesa es, primero, distinguir dos problemas de justificación con respecto a la inferencia inductiva: por un lado, el de una justificación persuasiva de este tipo de inferencia y, por otro lado, el de una justificación explicativa de tal inferencia. En segundo lugar, intento mostrar que el argumento de Ramsey-de Finetti a favor de las reglas inductivas de la lógica bayesiana no es capaz de proporcionar una justifi-cación persuasiva de estas reglas. Finalmente, propongo una justificación explicativa para (...) las reglas de condicionalización bayesianas en términos de un argumento trascendental de inspiración kantiana y de estilo davidsoniano.Here, I am interested, firstly, in distinguishing two justification problems concerning inductive inference: on the one hand, the problem of a persuasive justification of induction and, on the other, the problem of an explicative justification of this sort of inference. Secondly, I intend to show that Ramsey-de Finetti’s argument in favor of Bayesian inductive rules cannot provide a persuasive justification for these rules. Finally, I propose an explicative justification for Bayesian conditionalization rules in terms of a transcendental argument of Kantian inspiration and Davidsonian style. (shrink)

We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.

Sufficient syntactic conditions for canonicity in intermediate and intuitionistic modal logics are given. We present a new technique which does not require semantic first-order reduction and which is constructive in the sense that it works in an intuitionistic metatheory through a model without points which is classically isomorphic to the usual canonical model.

This article suggests developing the concept of spiritual ecology into that of balanced spiritual ecosystems. Philosophies, theologies, education systems, political parties, and gender-based and ethnic identity politics need to be critiqued both from within and without so that they can finally contribute to the creation, maintenance and flourishing of balanced spiritual ecosystems.Contribution: Spiritual ecology is a concept on which converge different worldviews. This article recommends using balanced spiritual ecosystems, instead. The new concept could provoke further reflection on how our -ontologies (...) and communities co-exist and whether they do it organically and spiritually. This article befits HTS’s interest in ‘theology and nature’. (shrink)

O presente artigo trata sobre experiências leitoras motivadas por canções, memórias autobiográficas e comentários publicados em plataformas digitais. Partindo-se do princípio de que a leitura é mais que uma simples atividade de decodificação, defende-se que ao deixar-se ler pelas canções e pela arte o sujeito, involuntariamente, arma-se para produzir sentidos às marcas inscritas e re-inscritas na sua própria história, reinventando-se e gerando novos processos de subjetivação. Os objetivos deste trabalho são: 1. Construir uma compreensão sobre o lugar da canção no (...) cenário artístico brasileiro, bem como sobre a sua capacidade de produzir efeitos nos sujeitos leitores, amparando-se em algumas produções intelectuais reconhecidas no meio acadêmico. 2. Narrar uma experiência de leitura, em que a canção atua como desveladora de demandas afetivas pessoais, geradora de um produto artístico: a série de vídeo Histórias de Maria. 3. Identificar e analisar possíveis leituras sobre as Histórias de Maria, imersas em comentários sobre a respectiva série, publicados nas plataformas digitais. Para efeito didático e metodológico, organiza-se este artigo em três itens: 1) O lugar da canção como suporte de leitura. 2. Experiência subjetiva: leituras de marcas inscritas e reinscritas pela canção. 3. Histórias de Maria: leituras e leitores. Autores como Wisnik, Rossi e Neder Lima, Agamben, Martins e Jouve contribuem para a compreensão do lugar da canção no cenário artístico brasileiro, sua qualidade de objeto biográfico e dispositivo, bem como sua potência em levar o corpo a produzir sentidos para marcas inscritas e reinscritas, através de diversos níveis de leitura. Contribuem, também, para a análise das possíveis leituras imersas nos comentários recolhidos para este trabalho. Por fim, nas considerações finais, conclui-se que toda forma de ler vale a pena. (shrink)

EM TORNO DE UMA POÉTICA DO/NO PENSAMENTO.

Resumo: Entre 1450 e 1750, na Europa e nas suas colônias, milhares de mulheres, mas não só, foram processadas pelo crime de bruxaria. A acusação se baseava em fofocas difundidas e muitas vezes acreditadas pela “má fama” dos acusados. Seria redutivo atribuir toda a responsabilidade a um complexo de crenças fruto de uma desordem mental generalizada. A caça às bruxas foi uma combinação de intervenções precisas e racionalizadas que objetivavam construir o espectro do monstro demoníaco. O tribunal inquisitório, formalmente obstinado, (...) na busca do crimine exceptum se transformou em um mecanismo infernal: uma engrenagem que produzia culpados. Poucos se deram conta do que estava acontecendo. Os mais doutos puseram à disposição a sua doutrina para sustentar culturalmente carnífices. Mas houve um pequeno rebanho que não se deixou envolver nesta “embriaguez”. Entre estes se encontrava um confessor de bruxas: o jesuíta alemão Friedrich von Spee. Redescobrir o seu pensamento, a sua doutrina, o seu empenho e a sua vida significa realizar uma obra obrigatória de reparação a um injustificado esquecimento. Mas também contribuir, com novos elementos, ao debate sobre o papel da Igreja Católica na “caça às bruxas”. Palavras-chave: Bruxas. von Spee. Exoterismo. (shrink)

We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.

The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1.

Das Buch stellt Nietzsches und Levinas' Destruktionen des griechisch-europäauml;ischen Denkens und der in ihm eingeschlossenen Moral einander gegenüuuml;ber. Dabei werden Anlässe ihrer Kritik und ihre Ausnahmestellung im philosophischen Diskurs herausgearbeitet. Im Anschluss werden Nietzsches und Levinas' Alternativen zu den allgemeinen moralischen Werten verglichen und ihre Vereinbarkeit und Unvereinbarkeit geklärt. Beide Alternativen führen auf eine prinzipiell unbegrenzte Verantwortung des Einzelnen hinaus, die mit Textbeispielen Dostojewskijs unterlegt wird.

Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary predicate symbols.Monadic second order logic over infinite words can alternatively be described as a first-order logic interpreted in${\cal P}\left$, the power set Boolean algebra of the natural numbers, equipped with modal operators for ‘initial’, ‘next’, and ‘future’ states. We prove that the first-order theory (...) of this structure is the model companion of a class of algebras corresponding to a version of linear temporal logic without until.The proof makes crucial use of two classical, nontrivial results from the literature, namely the completeness of LTL with respect to the natural numbers, and the correspondence between S1S-formulas and Büchi automata. (shrink)

O Argumento da Terra Gêmea Moral (ATGM) é o desafio semântico central para o Realismo Moral Naturalista (RMN). À fim de evitar tal problema, os defensores do RMN têm articulado uma série de réplicas ao ATGM. Neste artigo, abordo algumas dessas réplicas e defendo a tese de que elas não refutam o ATGM. Considero duas propostas em específico: o Argumento da Tradução, de D. Copp, e o Argumento do Fim da Investigação Moral, de A. Viggiano. Apresento essas objeções, mostro em (...) que sentido pretendem responder ao ATGM e argumento que cada uma delas é vulnerável a vários problemas. Concluo que os ataques de Copp e Viggiano ao ATGM devem ser recusados e que o desafio semântico ao RMN persiste. (shrink)

De nombreuses publications analysent par différents biais l’idéologie de la démocratie et la déconstruisent, tout en relevant les liens qui existent entre la pensée démocratique et la pensée aristocratique (voire oligarchique ou tyrannique). L’ouvrage de Luciano Canfora de 2004 (La democrazia. Storia di un’ideologia), qui retrace l’histoire de l’idéologie démocratique et a soulevé de nombreuses polémiques, a notamment montré qu'il s'agit là d'un terrain glissant. Dans son introduction, Ivan J...

By means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.

We prove a generalization of the hyper-game theorem by using an abstract version of inductively generated formal topology. As applications we show proofs for Cantor theorem, uncountability of the set of functions from N to N and Gödel theorem which use no diagonal argument.

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.

The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of (standard) finitely generated free ????4-algebras.

In this paper we present a general theory of normal forms, based on a categorial result for the free monoid construction. We shall use the theory mainly for proposictional modal logic, although it seems to have a wider range of applications. We shall formally represent normal forms as combinatorial objects, basically labelled trees and forests. This geometric conceptualization is implicit in and our approach will extend it to other cases and make it more direct: operations of a purely geometric and (...) combinatorial nature will be introduced in order to give a mathematical description of the basic logical/algebraic constructions .We begin by recalling the above-mentioned categorial construction: we need a careful inspection of it because in the various examples considered later we plan to deduce from it in a uniform way the normal forms and the description of finitely generated free algebras. This method always works whenever we can describe the category of algebras corresponding to the logic under consideration as a T-objects category. When this simple description seems not to be available, still the general theory might be of some interest, because a description of the category of algebras as a T-objects category plus equation is possible .The central part of the paper is more advanced and specific: we show how the general approach presented here can provide some insights even in the basic case of the modal system K. Section 4 contains a contribution to the theory of normal forms, namely the description of the uniform substitution. This result will enable us to give a duality theorem for the category of finitely generated free modal algebras and in Section 5 to provide a characterization of the collections of normal forms which happen to be normal forms for a logic, thus giving a description of the lattice of modal logics.Section 6 deals with some applications: we shall show how to use normal forms in order to prove for the modal system K the definability of higher-order propositional quantifiers and of the tense operator F .As to the prerequisites, the paper is almost self-contained. The reader is only assumed to have familiarity with standard techniques in algebraic logic ). Knowledge of the basic facts about adjoint functors is required too, see e.g. McLane or the appendix. (shrink)

Aristotle’s conception of causality and the ones Modern philosophers have bequeathed us have been exhaustively discussed, although the contrast between them has not, in my opinion, been sufficiently highlighted. This paper proposes to fill this gap. I start with Aristotelian causality and his theses that causal explanation requires knowledge of causal laws and that the necessity associated with these laws presupposes the existence of causal powers. I discuss next Locke’s and Leibniz’s attempts to modernize Aristotle’s theses on causality. The third (...) part of the paper presents two paradoxes Hume identified, on the one hand, between Locke’s and Leibniz’s theses about our knowledge of causal laws and, on the other hand, between the Aristotelian thesis that there must be causal powers and the scientific practice of Modernity. Hume’s proposal to eliminate these paradoxes is also discussed. I finish with some critical remarks on the humean model about our knowledge of causal laws as compared with his contribution to the analysis of the concept of causality. (shrink)

We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory 733–752) relying on the algebraic notion of a projective object.

Este texto reflete sobre o memoricídio, consequente à presunção racial branca, como vestígio de operações para o genocídio dos corpos e das mentes negras a partir da Peleja de Inácio da Catingueira contra Romano. Sob o jogo discursivo da humilhação, já se encontrava a vontade brutal de destruição de qualquer traço, perspectiva, visão remanescente de saberes e culturas africanas ou descendentes, fossem de cunho material, simbólico, reflexivo, imagético, expressivo, na língua, no corpo. No embate, Inácio, negro, escravizado, já rebaixado sob (...) a égide do sistema escravocrata, embate-se contra a tentativa presunçosa de aniquilamento perpetrada por seu oponente. (shrink)