The French studies scholar Patrick Coleman made the important observation that over the course of the eighteenth century, the social meanings of anger became increasingly democratized. The work of Jean-Jacques Rousseau is an outstanding example of this change. In Man or Citizen, Karen Pagani expands, in original and fascinating ways, the study of anger in Rousseau’s autobiographical, literary, and philosophical works. Pagani is especially interested in how and to what degree anger—and various reconciliatory responses to anger, such as (...) forgiveness—functions as a defining aspect of one’s identity, both as a private individual and as a public citizen. Rousseau himself was, as Pagani puts it, “unabashed” in his own anger and indignation—toward society on one hand (corrupter of our naturally good and authentic selves) and, on the other, toward certain individuals who had somehow wronged him (his famous philosophical disputes with Voltaire and Diderot, for example). In Rousseau’s work, Pagani finds that the extent to which an individual processes, expresses, and eventually resolves or satisfies anger is very much of moral and political concern. She argues that for Rousseau, anger is not only inevitable but also indispensable, and that the incapacity to experience it renders one amoral, while the ability to experience it is a key element of good citizenship. (shrink)

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

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.

O presente artigo tenciona apresentar algumas considerações sobre a atual conjuntura política e social do Brasil, enfatizando uma perspectiva que leva em conta a centralidade das periferias metropolitanas na vida social do país. A presença e influência do cristianismo evangélico - em ascensão demográfica, cultural e política -, bem como de novos padrões de sociabilidade constituídos e irradiados a partir da dinâmica social decorrente dos conflitos violentos entre as forças policiais e militares e facções do crime organizado são considerados vetores (...) explicativos indispensáveis na compreensão da realidade social contemporânea do país e são lidos desde a experiência etnográfica do autor enquanto professor no Complexo do Chapadão, na periferia do Rio de Janeiro. (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)

Il presente volume raccoglie alcuni studi dedicati ai temi fondamentali della riflessione filosofica sull’essere umano: ragione, passione, libertà.

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.

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)

Ao defender, nos Princípios matemáticos de filosofia natural, a existência de uma força de gravitação universal, Newton desencadeou uma onda de dúvidas e objeções filosóficas. Suas próprias declarações sobre a natureza da gravitação não são facilmente interpretáveis como formando um conjunto consistente de opiniões. Por um lado, logo após fornecer as três definições de "quantidades de forças centrípetas" (Defs. 6-8), Newton observa que está tratando tais forças "matematicamente", sem se pronunciar sobre sua realidade física. Mas, por outro lado, no Escólio (...) Geral inserido no final da segunda edição do livro, Newton diz que foi capaz de "explicar" vários fenômenos de movimento por meio da força de gravidade - que ele mostrou ser um tipo de força centrípeta -, embora não tivesse ainda conseguido explicar a causa dessa força. Uma interpretação plausível dessas últimas afirmações é que Newton acreditava que pôde inferir, a partir dos fenômenos, a existência da força de gravidade, enquanto agente causal real de certos movimentos, mas que ainda não havia tido sucesso em descobrir a causa dessa causa. O objetivo principal do presente artigo não é aprofundar a análise histórica das declarações de Newton, mas examinar como essa questão se insere no debate mais geral sobre o estatuto epistemológico das hipóteses científicas que transcendem a experiência imediata. Segundo a posição defendida, entre muitos outros, por John Locke, tais hipóteses devem ser interpretadas como tentativas legítimas de descrever aspectos inobserváveis da realidade. Em contraste com isso, no caso específico das hipóteses sobre forças - de gravitação ou quaisquer outras -, George Berkeley argumentou vigorosamente a favor de sua interpretação como meros artifícios teóricos úteis às "demonstrações matemáticas" na ciência da mecânica. Ao longo da análise das vantagens e desvantagens filosóficas dessas posições opostas, indica-se aqui que, embora a interpretação realista pareça fazer mais justiça ao desenvolvimento real da física após os Princípios matemáticos, a interpretação instrumentalista de Berkeley tem o mérito filosófico inegável de representar uma adesão mais firme ao empirismo, que é, de um modo ou de outro, valorizado por ambas as partes envolvidas na disputa sobre a natureza da gravitação. Newton's defence, in the Principia, of the existence of a universal force of gravity immediately gave rise to a wave of philosophical doubts and objections. His own remarks on the nature of gravitation are not easily amenable of a consistent, uniform interpretation. This paper begins by reviewing briefly these remarks. Its primary objective is, however, to examine how this important scientific issue contributed to demarcate two main epistemological positions on the status of scientific hypotheses transcending immediate experience. In Newton's time, two exponents of these positions were, respectively, Locke and Berkeley. Intriguingly, Newton fuelled both the Berkeleyan, instrumentalist interpretation, and the Lockean, realist interpretation. On the one hand, immediately after offering the definitions of "quantities of centripetal forces" (Definitions 6-8), he warned that he was treating these forces "mathematically", without pronouncing on its physical status. This remark lends support to Berkeley's anti-realist interpretation of forces, as Berkeley himself was keen to point out. But in the General Scholium, at the end of the book, Newton declared that he could "explain" certain important phenomena of motion by the force of gravity, although he had not yet been able to explain the cause of this force, adding, famously, that he would "feign no hypotheses" about this issue. A natural, realist interpretation of this statement is that Newton believed that he could infer, from the phenomena, the existence of gravity, as a real, causal physical agent, but that he had not yet succeeded in discovering the cause of this cause. In discussing the shortcomings and advantages of these opposing views, we indicate that although the realist interpretation appears to do more justice to the actual development of physics after the Principia, Berkeley's interpretation has the philosophical merit of representing a firmer adherence to empiricism, a position valued, in one way or another, by all parties involved in the dispute on the nature of gravitation. (shrink)

Questa ricerca, attraverso alcune letture incrociate di Michel Foucault e di Claude Lévi-Strauss, mette in luce l’attualità di due grandi pensatori che pongono al centro delle loro teorie il tema della distanza, dell’altro da sé e del ritorno a sé per comprendere il ruolo del soggetto nella civiltà occidentale. Al di là delle rilevanti differenze che li contraddistinguono, Foucault e Lévi-Strauss percorrono due cammini teorici volti a decostruire il rapporto tra verità e soggetto nella civiltà occidentale adottando una prospettiva della (...) distanza e dell’allontanamento da sé, quali tecniche per comprendere se stessi. Da una parte il concetto foucaultiano di eterotopia, in quanto «spazio assolutamente altro», permette di comprendere i meccanismi attraverso i quali ci si proietta in un altrove senza luogo preciso per localizzare se stessi. Il campo dell’etnologia, sarà dunque letto attraverso la lente foucaultiana, quale «eterotopologia», o scienza eterotopica, per eccellenza. Dall’altra, questo concetto sarà analizzato alla luce di quello che Lévi-Strauss ha definito nel saggio sui Tre umanesimi una «tecnica dello straniamento», ovvero un metodo che permette di pensare se stessi grazie al confronto con l’Altro, con culture di altri luoghi ed altri tempi: per conoscere il soggetto che è l’uomo, non si può non prescindere da un lavoro di continui raffronti e paragoni tra diverse società nel tempo e nello spazio. (shrink)

Questo testo nasce da alcune indagini sul nesso tra matematica e filosofia in ambiente “accademico”. È interessante notare che l'esplorazione di tale nesso costituisce un felice tratto di continuità tra gli studi più classici e ...

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.

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.

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.

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 pandemic period has placed the organizations in a state of great tension. It has generated a situation of confusion, lack of rules, and production-related criticalities that have called into question the very existence of many productive realities. This article aims to highlight the dimensions of care and ethics put in place by HR managers in COVID-19. The objective that animated the authors have focused on the HRM level of medium and large companies in Italy to highlight the protective actions (...) toward people and the organization in the period COVID 19, highlighting what were the ethical values and actions of care put in place. In this article, we wanted to give voice to managers who had management tasks in their organizations by asking them to tell us how they dealt with the challenges imposed by the emergency. In the research, we start from a way of understanding workplaces understood as a “process of ongoing social relationship” within which the HR function is dedicated to the care of the quality of relationships. HR managers have to manage a complex role of mediating between the interests of people and employers by trying to find good mediations. (shrink)

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)

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.

By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.

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)