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)

We present and study the category of formal topologies and some of its variants. Two main results are proven. The first is that, for any inductively generated formal cover, there exists a formal topology whose cover extends in the minimal way the given one. This result is obtained by enhancing the method for the inductive generation of the cover relation by adding a coinductive generation of the positivity predicate. Categorically, this result can be rephrased by saying that inductively generated formal (...) topologies are coreflective into inductively generated formal covers. The second result is that unary formal covers are exponentiable in the category of inductively generated formal covers and hence, thanks to the coreflection, unary formal topologies are exponentiable in the category of inductively generated formal topologies. From a localic point of view the exponentiability of unary formal topologies means that algebraic dcpos are exponentiable in the category of open locales. But, the coreflection theorem states that open locales are coreflective in locales and hence, as a consequence of well-known impredicative results on exponentiable locales, it allows to prove that locally compact open locales are exponentiable in the category of open locales. (shrink)

The psychopathological analysis of hysteria is a victim of narrow conceptualizations. Among these is the inscription of hysteria in the feminine sphere, about body and sexuality, which incentivized conceptual reductionism. Hysteria has been mainly considered a gendered pathology, almost exclusively female, and it has been associated with cultural and/or religious features over time rather than treated as a psychopathological world. Further, hysteria has been dominated by conceptual inaccuracies and indecision, not only in terms of clinical features but also in terms (...) of its definition. For this reason, it seems necessary to “undress” hysteria from this feminization, sexualization, and corporealization with which it has been abundantly clothed over the years. “Undressing” hysteria will make possible a reconfiguring and deconstructing of the explanatory-causal model of Charcot and Freud. However, if we take out this cultural heritage, the stigma accompanying this diagnosis, and the weight of the enormous historical tradition that hysteria carries, the world of hysteria continues to constitute a domain full of complexity and nosographic challenges. Hysteria has been considered a sum of psychological behaviors and states illustrated by drama, mystery, or falsity. The difficulty in understanding the multiple somatic manifestations which characterize this clinical condition created several controversies and much confusion. In the current nosography, the personological component of hysteria has been separated from its symptomatic manifestation, in the Histrionic Personality Disorder and Conversion Disorder categories, respectively. This segmentation by descriptive nosography does contribute to a unitary understanding of the phenomenon and, consequently, of daily clinical practice. Clinical complexity can be grasped and deciphered only if the symptom is inscribed in the patient’s lifeworld and his/her subjective life history. Clinical practice is thus thought of in terms of a structural aggregation of a homogeneous set of phenomena, together constituting a specific way of being in the world. The starting point of this article is the evident modalities characterizing this life-world, taking care not to confuse the point of origin with the point of expression. (shrink)

The precipitous cliffs, rolling headlands, and rocky inlets of the Big Sur coast of California prompted Robinson Jeffers to extol their wild beauty throughout his long career as a poet. This extraordinary volume brings together Jeffers’s haunting poetry with magnificent photographs of Big Sur by his friend and neighbor, famed photographer Morley Baer.

This essay challenges a "meta-theory" in just war analysis that purports to bridge the divide between just war and pacifism. According to the meta-theory, just war and pacifism share a common presumption against killing that can be overridden only under conditions stipulated by the just war criteria. Proponents of this meta-theory purport that their interpretation leads to ecumenical consensus between "just warriors" and pacifists, and makes the just war theory more effective in reducing recourse to war. Engagement with the new (...) meta-theory reveals, however, that these purported advantages are illusory, made possible only by ignoring fundamental questions about the nature and function of political authority that are crucial to all moral reflection on the problem of war. (shrink)

The roots and evolution of two concepts usually thought to be Western in origin-musica mundana (the music of the spheres) and musica humana (music's relation to the human soul)-are explored. Beginning with a study of the early creeds of the Near East, Professor Meyer-Baer then traces their development in the works of Plato and the Gnostics, and in the art and literature of the Middle Ages and the Renaissance. Previous studies of symbolism in music have tended to focus on a (...) single aspect of the problem. In this book the concepts of musica humana and musica mundane are related to philosophy, aesthetics, and the history of religion and are given a rightful place in the history of civilization. Originally published in 1970. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (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.

Power, peace, and the just war ethic -- The criterion of legitimate authority : describing the political act -- The criterion of just cause : the limits on government's international jurisdiction -- The criterion of just intention : the pursuit of peace and international order -- Justice in bello : applying the principle of discrimination -- The just war ethic and the nature of Christian realism.

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)

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)

Vision is the main entrance for environmental input to the human brain. Even if vision is our most used sensory modality, its importance is not limited to environmental exploration. Rather it has strong links to motor competences, further extending to cognitive and social aspects of human life. These multifaceted relationships are particularly important in developmental age and become dramatically evident in presence of complex deficits originating from visual aberrancies. The present review summarizes the available neuropsychological evidence on the development of (...) visual competences, with a particular focus on the associated visuo-motor integration skills in health and disease. With the aim of supporting future research and interventional settings, the goal of the present review is to constitute a solid base to help the translation of neuropsychological hypotheses into straightforward empirical investigations and rehabilitation/training protocols. This approach will further increase the impact, ameliorate the acceptance, and ease the use and implementation of lab-derived intervention protocols in real-life situations. (shrink)

It is shown that the violation of Bell's inequality allowed by quantum mechanics and the related Bell's theorem without inequalities is accounted for by local commutations of operators representing single-particle observables. It is argued that the idea of nonlocal influencing of one particle on another when they are in spacelike separated regions clearly has neither empirical nor theoretical support.

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.

A decade after the fall of Communism in Europe, the Czech Republic'smembership in the European Union is still a matter of a relatively shortwaiting period of 4 years. Not so the imagination of this membership andthe creation of a political concept created to promote this goal: thespecific Central European policy initiated by Thomas G. Masaryk andrevitalized by Václav Havel. Despite the deep differences in thepolitical thought and philosophical orientations of both Presidents, notto mention the historic rupture of 41 years of (...) Totalitarianism, theirperceptions of Europe as an Imagined Community are identical. (shrink)

This paper explores how some Italian HR managers narrate the changes imposed by the COVID-19 threat in the workplace. Events since December 2019 have presented exceptional circumstances to which HR managers have reacted in very different ways. This study explored how HR managers came to introduce organizational changes aimed at coping with the emergency, as well as how employees were involved in those organizational changes. The article is based on a thematic analysis of some interviews with Italian HR managers whose (...) companies decided to switch working from home on a massive scale. We wanted to offer some reflections on the actions taken by a few HR managers and Italian companies to keep working at a time when most workers were forced to respect the lockdown. (shrink)

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

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.

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)

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.

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.

Abstract.Formal topologies are today an established topic in the development of constructive mathematics. One of the main tools in formal topology is inductive generation since it allows to introduce inductive methods in topology. The problem of inductively generating formal topologies with a cover relation and a unary positivity predicate has been solved in [CSSV]. However, to deal both with open and closed subsets, a binary positivity predicate has to be considered. In this paper we will show how to adapt to (...) this framework the method used to generate inductively formal topologies with a unary positivity predicate; the main problem that one has to face in such a new setting is that, as a consequence of the lack of a complete formalization, both the cover relation and the positivity predicate can have proper axioms. (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.