Cet article vise à évaluer la portée des politiques sociales réellement existantes dans le Brésil de la période Lula, du point de vue du débat général sur le revenu d’existence. Soit deux questions : ces politiques sociales – notamment les transferts monétaires – ont-elles été pensées dans la perspective d’un revenu d’existence? Le revenu d’existence pourrait-il fonctionner comme angle privilégié de réorganisation et d’intégration de ces politiques sociales? L’histoire de Bolsa Família, instauré dans le Brésil de Lula, montre qu’il est (...) d’origine néolibérale et que le véritable enjeu est d’appréhender les lignes de conflit qui séparent sa précaire existence empirique actuelle de sa constitution comme base d’une nouvelle démocratie. (shrink)

Few accounts have survived detailing the techniques employed for the production of optical glass for astronomical and microscopical instruments during the seventeenth century in Italy; the period during which the art was being developed in the shops of Eustachio Divini and Giuseppe Campani, and other optical instrument-makers. Indeed, few of the tools of the lens-makers have been described in any detail, and few if any have survived. Consequently, the discovery of a hitherto apparently unknown Italian treatise, or what appears (...) to have been notes for a shop manual of the period, is a contribution to present knowledge of lens-making technology even though the identity and region of the author remain unknown. (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.

Antonio Signorini’s contribution to the constitutive theory of non-linear elasticity is reconstructed and analyzed. Some uninformed opinions suggesting he had a minor role, lacking of significant results, are discussed and refuted. It is shown that Signorini should be rightly credited for being among the first scholars aware of the central problem of non-linear elasticity: the determination of the general form of the elastic potential.

This Research Topic aimed at deepening our understanding of the levels and explanations that are of interest for cognitive sci- entists, neuroscientists, psychologists, behavioral scientists, and philosophers of science. Indeed, contemporary developments in neuroscience and psy- chology suggest that scientists are likely to deal with a multiplicity of levels, where each of the different levels entails laws of behavior appropriate to that level (Berntson et al., 2012). Also, gathering and modeling data at the different levels of analysis is not suffi- (...) cient: the integration of information across levels of analysis is a crucial issue. Given such state of affairs, a number of interesting questions arise. How can the autonomy of explanatory levels be properly understood in behavioral explanation? Is reductionism a satis- factory strategy? How can high-level and low-level models be constrained in order to be actually explanatory of both behav- ioral and neurological or molecular evidence? What is the kind of relationship between those models? (shrink)

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)

Shape Dynamics is a radical yet soundly based reinterpretation of Einstein's theory of gravity that has opened up new approaches to gravity research. This text offers both a brief introduction and a detailed walk-through of the motivations for the theory, its development from first principles and an in-depth look at its present status.

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)

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 recent in vitro derivation of gamete‐like cells from mouse embryonic stem (mES) cells is a major breakthrough and lays down several challenges, both for the further scientific investigation and for the bioethical and biolegal discourse. We refer here to these cells as gamete‐like (sperm‐like or oocyte‐like, respectively), because at present there is still no evidence that these cells behave fully like bona fide sperm or oocytes, lacking the fundamental proof, i.e. combination with a normally derived gamete of the opposite (...) sex to yield a normal individual. However, the results published so far do show that these cells share some defining features of gametes. We discuss these results in the light of the bioethical and legal questions that are likely to arise would the same process become possible with human embryonic stem (hES) cells. (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 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.

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

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.

Confronted by answering a complex question such as ‘What are the Limit(s) of Compromise?’ when ‘unpacking State-Society Relations in the Urban Space’, some problematising thoughts are offered to further elaborate urban studies by resorting to systems thinking and its leverage points concept. Both social and ecological issues are addressed, and specific references to Venice, Italy, are offered, including recent grassroot experiences. The dissertation includes some epistemological dilemmas and some initial projections to start to measure ourselves with a new epoch, able (...) to interact with all of the above: social, ecological, urban, and power/governance dimensions. (shrink)