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)

Resenha do livro: BAUM, Matthew L. The Neuroethics of Biomarkers: What the Development of Bioprediction Means for Moral Responsibility, Justice, and the Nature of Mental Disorder. Oxford: Oxford University Press, 2016, 206p. ISBN: 9780190236267.

Die Entwicklung der Rationalität ist eine Erfolgsgeschichte. Denn die Rationalität war und ist der Motor der abendländischen Kultur und der Grund dafür, dass sie in der Neuzeit allen anderen Weltkulturen machtpolitisch überlegen ist. Zwischen dem 8. und 6. Jahrhundert v. Chr. formierte sich das logische Denken gleich auf mehreren Feldern: Durch die Erfindung der philosophischen Wissenschaft, die Geometrisierung des Raumes und der Schlachtordnung, die Berechnung der Zeit, durch die Geldwirtschaft und die neuen Organisationsformen des Politischen wurde Rationalität zum Synonym für (...) Fortschritt. Auch die Begriffe Freiheit und Demokratie gehören in diesen Zusammenhang. Silvio Vietta zeichnet diese Erfolgsgeschichte nach, beschreibt aber auch ihre Gefahren und Kurzschlüsse. In der Konsequenz entwickelt er eine : ndere9 aisthetisch rückgebundene und reflexive Rationalität, die uns aus den gegenwärtigen Krisen herausführen könnte. (shrink)

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)

Heideggers Kritik am Nationalsozialismus ist vor allem ab 1963 greifbar in Vorträgen, Vorlesungen (zu Nietzsche) und den "Beiträgen zur Philosophie". Entgegen Thesen der jüngsten Heidegger-Kontroverse hat sich Heidegger nach einer Phase der falschen politischen Besetzung seiner Philosophie im Jahre 1933 vor allem ab 1936 von der Bewegung des Nationalsozialismus gelöst. Er begreift den Nationalsozialismus zunehmend klar als eine Erscheinungsform des Nihilismus, der "Seinsverlassenheit" und des Herrschaftsdenkens des reinen "Willens zur Macht". Dabei geht Heideggers subtile philosophische Kritik des Nationalsozialismus über in (...) eine Kritik der neuzeitlichen Technologie als einer sich fortsetzenden Form planetarischen Herrschaftsdenkens und der Ausbeutung der Erde durch den Menschen. (shrink)

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)

Die jüngst publizierten "Schwarzen Hefte" Heideggers und auch der Neufund des Heftes von 1945/46 machen deutlich: Heidegger entwickelt hier eine Theorie der Globalisierung. Diese führt er nicht auf eine jüdische Weltverschwörung zurück -- da wäre nur eine "Machenschaft" auf eine andere reduziert -- sondern auf die abendländische Kulturgeschichte selbst. Insbesondere der neuzeitliche Siegeszug des "rechnenden Denkens" habe eine Geschichte des Herrschaftsdenkens und des Expansionismus in Gang gesetzt. Darin sieht Heidegger ab 1934 das Dritte Reich wie auch den Bolschewismus und den (...) Kolonialismus Englands und der USA involviert. Heidegger setzt dem entfesselten Herrschaftsdenken auch nach dem Zweiten Weltkrieg -- ihrer "Vernutzung der Erde" und "Verrechnung der Welt" -- die Lehre vom "andren Anfang" der Geschichte entgegen: eine Kulturpraxis der Schonung und Nachhaltigkeit. (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.

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

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)

I propose to show in this paper how Bosanquet’s aesthetics, in certain of its aspects, conditions William Temple’s reflection on art — a reflection which occupies a central position in Temple’s “Christo-centric metaphysics,” and which finds expression particularly in Mens Creatrix. Bosanquet’s influence becomes still more evident if we compare Temple’s position with the philosophy of art which R.G. Collingwood delineated in the initial phase of his thought, above all in Speculum Mentis and Outlines of a Philosophy of Art.

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.

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.

This article aims to defend Locke against Quine’s charge, made in his famous “two dogmas” paper, that Locke’s theory of knowledge is badly flawed, not only for assuming the dogmas, but also for adopting an “in-tolerably restrictive” version of the dogma of reductionism. It is shown here that, in his analysis of the epistemological status of scientific laws, Locke has effectively transcended the narrow idea-empiricism which un-derlies this version of reductionism. First, in order to escape idealism, he introduced the notion (...) of “sensitive knowledge of the particular existence of finite beings without us,” broadening thus his initial definition of knowledge in terms of the “perception of the agreement or disagreement of ideas” — a definition compatible with Quine’s interpretation. Sec-ondly, after showing that we can have virtually no a priori knowledge of universal truths about substances, Locke extended the notion of “sensi-tive knowledge” to the particular propositions of “coexistence” in sub-stances, appealing to the notion of “probability” for treating their induc-tive generalizations and, in particular, the phenomenological laws of sci-ence. Finally, acknowledging the essential presence of hypothetical, non-phenomenological laws in science, he anticipated much of the contempo-rary views on their role and nature, including, remarkably, a mild ver-sion of the epistemological holism championed by Quine. (shrink)

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.

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)

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)

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.

A. M. Pitts in [Pi] proved that HA op fp is a bi-Heyting category satisfying the Lawrence condition. We show that the embedding $\Phi: HA^\mathrm{op}_\mathrm{fp} \longrightarrow Sh(\mathbf{P_0,J_0})$ into the topos of sheaves, (P 0 is the category of finite rooted posets and open maps, J 0 the canonical topology on P 0 ) given by $H \longmapsto HA(H,\mathscr{D}(-)): \mathbf{P_0} \longrightarrow \text{Set}$ preserves the structure mentioned above, finite coproducts, and subobject classifier, it is also conservative. This whole structure on HA op (...) fp can be derived from that of Sh(P 0 ,J 0 ) via the embedding Φ. We also show that the equivalence relations in HA op fp are not effective in general. On the way to these results we establish a new kind of duality between HA op fp and a category of sheaves equipped with certain structure defined in terms of Ehrenfeucht games. Our methods are model-theoretic and combinatorial as opposed to proof-theoretic as in [Pi]. (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).

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

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 his influential criticism of scientific realism, Bas van Fraassen assumes that this doctrine is incompatible with empiricism, according to which the sole ultimate basis of knowledge is experience. This claim has been generally accepted in the contemporary literature in philosophy of science. Thus, the very distinction between scientific realism and empiricism is often forgotten, the term 'empiricism' being now widely used to designate a range of anti-realist positions, such as van Fraassen's "construct ive empiricism". In this paper it is (...) argued, first, that empiricism, in the traditional and proper sense of the word, is a thesis about the problem of the foundations of knowledge, and should therefore be clearly distinguished from anti-realism, which concerns the issue of the extension of knowledge. It is then conceded that the main arguments for scientific realism do indeed require that extra-empirical characteristics of scientific theories, such as simplicity and explanatory power, should be ascribed epistemic weight. Although this point lends support to van Fraassen's claim, it is indicated here that his constructive empiricism is threatened by the same kind of epistemological objections which he raises against his opponents. Like some other scientific anti-realists, van Fraassen avowedly embraces realism concerning ordinary material objects; but it is not clear that this form of anti-realism remains tenable when explanatory power, simplicity, etc. are regarded as merely pragmatic, non-epistemic virtues. (shrink)

The central aim of this article is to discuss Russell's analysis of the notion of cause. In his presidential address to the Aristotelian Society in 1912, Russell put forward several theses on causality in general, and specially on its role in science. He claimed that although vague references to causal laws are often found in the beginnings of science, "in the advanced sciences” the word 'cause' never occurs". Furthermore, Russell maintained that even in philosophy the word 'cause' is "so inextricably (...) bound up with misleading associations" that it would be desirable to promote its "complete extrusion from the philosophical vocabulary". These positions are rendered particular/y strong by Russell's explicit adhesion to the regular sequence view of causation, which he attributed to Hume. Essentially the same opinions were repeated in a series of lectures delivered in Boston two years later. After a systematic exposition of the main theses advanced by Russell on these two occasions, we trace their origin to his general conception of science. Then we examine the substantial changes that Russell's views on causality underwent several decades later. We remark that these changes seem to be intimately associated with the adoption of a new epistemological position concerning the nature of our knowledge of the external world, involving some clear elements of realism and naturalism. (shrink)

Under some assumptions on an equational theory S , we give a necessary and sufficient condition so that S admits a model completion. These assumptions are often met by the equational theories arising from logic. They say that the dual of the category of finitely presented S-algebras has some categorical stucture. The results of this paper combined with those of [7] show that all the 8 theories of amalgamable varieties of Heyting algebras [12] admit a model completion. Further applications to (...) varieties of modal algebras are given in [8]. (shrink)

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.