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.

Following a Weltanschaaung that involves a concept of life, Hitler has organized one of central chapiters of his autobiography My Struggle, named “Nation and Race”. Three human groups – to know, the founders of culture, the bearers of culture, the destroyers of culture – would be organized as forms of life. These three groups cohabit in competition for the territory of living space. With Hitler´s interpretations, come up then a living economic, that justifies the Total State or the Total War. (...) In front of this horizon, appear critiques as Marcuse, which efforts intend to face the usurpation of concepts as life, nature and racionality by Nazi myth of race and nation. Into this field, Marcuse meets psychoanalysis. Someone considers this meeting as a return to some naturalism too far from the critical exigencies of this time; however, it is possible to insist that this resourse to Freud makes evident a straight critic to a living economic operated from a totalitarian Weltanschauung. (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)

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.

Resenha do livro COLLECTED PAPERS OF HERBERT MARCUSE PHILOSOPHY, PSYCHOANALYSIS AND EMANCIPATION –VOL. 5.

En este breve comentario, discuto dos aspectos, en mi opinión esenciales, del reciente libro de Atocha Aliseda sobre el razonamiento abductivo (Abductive Reasoning). El primero tiene que ver con la clasificación de la abducción propuesta por Aliseda respecto al tipo de lógica que le subyace. Sobre esto, considero que la mejor opción sería tal vez excluir la abducción de tal clasificación. El segundo se refiere al mecanismo de búsqueda de hipótesis abductivas que nos ofrece Aliseda (el método computacional de los (...) árboles semánti-cos extendidos). Sugiero que queda por establecerse la realidad psicológica de tal mecanismo.I discuss, in this brief commentary, two relevant aspects of Atocha Aliseda’s recent book on abductive reasoning (Abduc-tive Reasoning). The first has to do with Aliseda’s proposed classification of abduction with respect to the sort of logic under-lying it. I contend that perhaps the best option is to exclude abduction from this classification. The second aspect concerns the search mechanism for abductive hypotheses offered by Aliseda (the computational method of extended semantic tableaux). I suggest that its psychological reality has yet to be established. (shrink)

Both in the Introduction to the Treatise of Human Nature and in the, Hume expressly declared that his goal was to contribute to the development of a “science of man” methodologically akin to the natural sciences, and capable of emulating their “accuracy” and explanatory success. He regarded these sciences as starting from careful observation of phenomena, and proceeding to the establish-ment of “principles” of increasing generality. Although rejecting as vain any hope of discovering “the ultimate principles” of any science, he (...) did not make clear what exactly he thought the principles actually involved in natural philosophy are. This article aims to shed some light on this issue through a survey and examination of the principles of Hume’s “science of man”, and of the most representative examples of principles of natural philosophy considered by Hume. (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)

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)

Werte sind kollektive Leitvorstellungen fur das Denken und Handeln. Unser menschliches Denken und Handeln wird von Werten bestimmt und gesteuert. Die Werte selbst sind Ergebnisse der jeweiligen Kulturgeschichte. Das Buch stellt zentrale Werte der europaischen Kulturgeschichte vor. Es sind vor allem drei Werte-Familien, die Europas Kulturgeschichte gepragt haben und nach wie vor pragen: Erstens die europaische Rationalitatskultur mit dem Leitwert des eigenstandigen Denkens, der Suche nach Wahrheit, Kritik und Kritikfahigkeit, Demokratie und Toleranz, Freiheit, Individualitat, Bildung, aber auch Rechtssicherheit, Wehrhaftigkeit, Technizitat, (...) Macht und Wohlstand. Die zweite Werte-Familie umfasst religiose Werte wie die Offenheit fur die religiose Erfahrung selbst sowie genuin christliche Werte wie Nachstenliebe, soziale Fursorge, Empathie, Solidaritat, Friedfertigkeit, Schutz der Schopfung, also Nachhaltigkeit. Die dritte Gruppe umfasst patriotische Werte wie Muttersprache, Heimat, Vaterland und den historisch eher spaten Wert der Nation. Menschen, politische Gruppen sowie historische Epochen werden gepragt durch die fur sie bedeutsamen Werte. Werte stehen somit im Konflikt miteinander und uberlagern sich auch. Politische Einstellungen und ganze Epochen konnen daher nach ihren Werte-Dominanzen unterschieden werden. In Zeiten des Werte-Zerfalls pladiert der Autor abschliessend fur eine Balance der Werte und einen europaischen Werte-Patriotismus. (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.

En el siglo XX, se ha intentado articular el convencionalismo lingüístico de maneras distintas. Uno de los enfoques más prometedores fue el que propuso David Lewis a finales de los años 60 e inicio de los 70. Lewis subsume las regularidades convencionales que subyacen a la actividad de hablar un lenguaje bajo los estados de equilibrio más generales que resultan de cualquier tipo de comportamiento cooperativo racional. En este artículo propongo que, pese a su atractivo, las convenciones lewisianas deberían ser (...) abandonadas a favor del convencionalismo lingüístico del segundo Wittgenstein. Mi motivación para recomendar tal giro es que la propuesta de Lewis no es capaz de ofrecer una respuesta satisfactoria a la objeción de Donald Davidson, de acuerdo con la cual la teoría convencionalista de Lewis no puede explicar la ocurrencia sistemática de malapropismos en nuestro uso ordinario del lenguaje. En las últimas secciones del artículo, me dedico a mostrar cómo las convenciones wittgensteinianas sí pueden explicar el fenómeno de los malapropismos. (shrink)

We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly normalizing terms (...) of pure lambda calculus can be characterized in this system, but also that a straightforward modification of its rules allows to characterize the set of weakly normalizing terms. (shrink)