Tommaso Campanella’s dignitas hominis acquires its own autonomous and innovative historiographical value in recognizing the connection between mens and religion as a distinctive element of human beings. The Mens is infused in men directly by God and the discovery of the religion of mind has revealed the rationality of Christianity. Only through Christianity the “Primalitary” structure of being is fully expressed and, at the same time, human freedom reaches its fulfillment.

Taking into account my personal path as a philosopher and as a painter, I try to sketch the perspective on aesthetics that was opened to me by a cross-cultural encounter. The European tradition, on one side, and the Sino-Japanese tradition, on the other side, are the two mirroring currents along which I moved in order to trace a sort of “deconstruction” and a “restructuring” of artistic and philosophical vision. In my painting, I aim for a confluence of different streams of (...) thought by thinking about European informal art and landscape ink-painting of China and Japan. This confluence continues to produce a fertile dialogue, enlivening the deep resources that constitute the core of a subjectivity in process. Aesthetics converts itself into ethics: an ethical move, beyond the opposition of visible and invisible as dull substances, beyond the opposition of immanence and transcendence, is one of the inner goals of this pathway between art and philosophy. (shrink)

To put it in Peirce's words, philosophy is an act of semiosis. Interpretation, communication, and mediation are at the core of the philosophical enterprise. Mediation in a wide sense is indeed a constitutive character of human experience. If, at the core of our philosophical research, we focus on the so-called issue of cross-cultural and intercultural thought, in which the necessity of translation springs immediately up from the necessity to understand different languages and different systems of signs, the question of mediation (...) reveals itself to be a crucial one. Immediacy itself, whenever it is thought, reveals itself to be something mediated by our language: but what separates and requires mediation is also what connects, and binds together different elements in order to allow them communicate. (shrink)

A contemporary of Giordano Bruno and Galileo, Tommaso Campanella was a controversial philosopher, theologian, astrologer, and poet who was persecuted during the Inquisition and spent much of his adult life imprisoned because of his heterodox views. He is best known today for two works: _The City of the Sun_, a dialogue inspired by Plato’s _Republic_, in which he prophesies a vision of a unified, peaceful world governed by a theocratic monarchy; and his well-meaning _Defense of Galileo_, which may have (...) done Galileo more harm than good because of Campanella’s previous conviction for heresy. But Campanella’s philosophical poems are where his most forceful and undiluted ideas reside. His poetry is where his faith in observable and experimental sciences, his astrological and occult wisdom, his ideas about deism, his anti-Aristotelianism, and his calls for religious and secular reform most put him at odds with both civil and church authorities. For this volume, Sherry Roush has selected Campanella’s best and most idiosyncratic poems, which are masterpieces of sixteenth-century Italian lyrics, displaying a questing mind of great, if unorthodox, brilliance, and showing Campanella’s passionate belief in the intrinsic harmony between the sacred and secular. (shrink)

This study explores social enterprises’ strategies for addressing mission drift. Relying on an inductive comparative case study of two Italian social enterprises, we show how stakeholder engagement combined with social accounting can successfully support a social venture to re-balance its positioning between wealth generation and social value creation. Indeed, stakeholder engagement helps the internal actors of a social enterprise to rationalize and embody pro-social values previously abandoned, while social accounting reinforces this embodiment process by showing the reintroduced social commitment of (...) the social enterprise to external audiences. Conversely, strategies focused only on social accounting and without significant engagement of external stakeholders prove to be unsuccessful in counterbalancing mission drift because they fail to activate the necessary process of internal re-introduction and operationalization of pro-social values and objectives. (shrink)

Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.

Although scholars acknowledged that Avicenna’s science of the soul stands at the crossroads between natural philosophy and metaphysics, thus combining an overall physical investigation of all sublunary souls with a trans-physical (or proto-metaphysical) inquiry into the human rational soul, this paper aims to show a further disciplinary entanglement within Avicenna’s science of the soul, which features in the aforementioned physical investigation and helps to frame it, that is, the interaction between natural philosophy and medicine. Despite the strict division between these (...) two disciplines in Avicenna’s system of science, medicine seems to decisively contribute to accounting for the bodily functions of living beings. For this reason, Avicenna refers to medicine several times in his exposition on the soul. This paper approaches the disciplinary entanglement between natural philosophy and medicine in psychology by focusing on the medical concept of pneuma (rūḥ), which prominently features in the exposition of three main issues in psychology, i.e., body ensoulment, powers differentiation, and emotions. (shrink)

The aim of the study was to assess the effects of visual aesthetic perception on event-related potentials . Eight subjects assigned an aesthetic judgment and a 10-step beauty estimation to the target stimuli, consisting of famous artistic pictures and geometric shapes. In a further task, the subjects performed a motor response to the previously judged pictures and geometric shapes. ERPs were recorded through 54 scalp electrodes during both tasks. The P3b amplitude was increased during the categorization of the geometric shapes (...) compared to the artistic figures and during the vision of the beautiful targets preceding the motor response. The categorization of the aesthetic qualities of geometrical shapes seems to induce a higher level of attention, while a higher arousal variation was elicited by the recognition of beauty, in any form that was presented. (shrink)

Questo articolo prende in esame il fenomeno della proliferazione di fake news da un punto di vista filosofico—anzi, per meglio dire, prettamente epistemologico—con particolare attenzione a tre questioni fondamentali: cosa sono le fake news e come debbano essere definite; quali meccanismi ne favoriscono la proliferazione sui social media; chi debba essere ritenuto responsabile e degno di biasimo nel processo sotteso alla generazione, pubblicazione e diffusione di fake news. A partire dall'analisi dei principali lavori nella letteratura filosofica sul tema, ci proponiamo (...) di: offrire una definizione di fake news che eviti le obiezioni sollevate contro altre definizioni discusse dalla letteratura (§1); mettere in luce le principali cause della propagazione di fake news, con particolare riferimento ai bias cognitivi e alle strutture comunitarie in cui si organizzano gli utenti dei social media (§2); infine, presentare una analisi originale della responsabilità epistemica dei consumatori di fake news (§3). (shrink)

A quasivariety of algebras has the joint embedding property (JEP) if and only if it is generated by a single algebra A. It is structurally complete if and only if the free ℵ0‐generated algebra in can serve as A. A consequence of this demand, called ‘passive structural completeness’ (PSC), is that the nontrivial members of all satisfy the same existential positive sentences. We prove that if is PSC then it still has the JEP, and if it has the JEP and (...) its nontrivial members lack trivial subalgebras, then its relatively simple members all belong to the universal class generated by one of them. Under these conditions, if is relatively semisimple then it is generated by one ‐simple algebra. We also prove that a quasivariety of finite type, with a finite nontrivial member, is PSC if and only if its nontrivial members have a common retract. The theory is then applied to the variety of De Morgan monoids, where we isolate the sub(quasi)varieties that are PSC and those that have the JEP, while throwing fresh light on those that are structurally complete. The results illuminate the extension lattices of intuitionistic and relevance logics. (shrink)

Many stored beliefs, like beliefs in one’s personal data or beliefs in one’s area of expertise, intuitively amount to knowledge, and so are justified. This uncontroversial datum arguably tells against evidentialism, the position according to which a belief is justified if it fits the available evidence: stored beliefs are normally not sustained by one’s available evidence. Conee and Feldman have tried to meet this potential objection by relaxing the notion of available evidence. According to their proposal, stored beliefs are dispositionally (...) justified, because they are justified by the evidence one has the disposition to retrieve; such evidence, as a consequence, is to be characterize as available, though in a derivative sense. Goldman has criticized this proposal, by offering a counterexample to the claim that a disposition to generate a piece of evidence may qualify as a justifier. In this paper I critically examine two possible replies to Goldman’s example stemming from Conee and Feldman, and finally propose my own, based on a distinction, inspired by Audi, between dispositional evidence and the disposition to have evidence. Though this proposal differs from Conee and Feldman’s one, I will conclude that it fits pretty well their intuitions. (shrink)

In February 1676, one of Leibniz's main concerns is with the problem of the seat of the soul and its relationship with the body, to which, in two very short papers, he provides two different solutions: the doctrine of the flos substantiae and the vortex theory. By analyzing the former, I suggest that, despite what other scholars claim, it is far from being an earlier exposition of the notion of monad. I argue that this doctrine is entertained by Leibniz only (...) for a period, but is rejected later on and excluded from the final monadic system. This hypothesis seems to be supported by the shift to the notion of a vortex, which – despite having some evident pantheistic and monistic implications – offers a different solution to the problem of mind-body union, by identifying the soul as the only cement of matter. In this article, by following the progress of such a shift, we discover some fascinating nuances in the young Leibniz's development. (shrink)

Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary predicate symbols.Monadic second order logic over infinite words can alternatively be described as a first-order logic interpreted in${\cal P}\left$, the power set Boolean algebra of the natural numbers, equipped with modal operators for ‘initial’, ‘next’, and ‘future’ states. We prove that the first-order theory (...) of this structure is the model companion of a class of algebras corresponding to a version of linear temporal logic without until.The proof makes crucial use of two classical, nontrivial results from the literature, namely the completeness of LTL with respect to the natural numbers, and the correspondence between S1S-formulas and Büchi automata. (shrink)

The article offers an overview and a critical assessment of the work of Zeev Sternhell, focussing on the questions of fascism and of the anti-Enlightenment tradition. It claims that the career of the Israeli historian revolves around the intuition of a history of European modernity marked by a central opposition: that between the Enlightenment and the anti-Enlightenment. I show how the idea is already present in his initial works, and argue that it produces a specific kind of intellectual history, concerned (...) with the unity of traditions over large temporal horizons. I claim that it has the advantage of offering an historically grounded reading of fascism which nonetheless is capable to account for its emergence in apparently very dissimilar contexts. After having examined some of the shortcomings of this approach, I offer an historical explanation for the type of intellectual history practiced by Sternhell, arguing that it must be tied to his political activism in Israel. (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.

By using algebraic-categorical tools, we establish four criteria in order to disprove canonicity, strong completeness, w-canonicity and strong w-completeness, respectively, of an intermediate propositional logic. We then apply the second criterion in order to get the following result: all the logics defined by extra-intuitionistic one-variable schemata, except four of them, are not strongly complete. We also apply the fourth criterion in order to prove that the Gabbay-de Jongh logic D1 is not strongly w-complete.

This article introduces the key issues and themes that the articles in the Special Issue aim to apply and develop in greater detail. First, we argue that the field of collective remembering can be conceived as a site of active contestation, rather than simply a means of communicating a historic past or our deontic position in relation to these pasts. Approaching collective remembering as a Lieu de Dispute allows us, in turn, to foreground three consequential dimensions of remembrance, which the (...) articles in the issue examine in different ways: that collective remembering is an interpersonal, political and affective practice. This introduction discusses these three dimensions to collective remembering in greater detail, before outlining the remaining contents of the Special Issue. (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.

Desde la segunda mitad del siglo XX, el concepto de “nosotros” ha pasado a caracterizar la reflexión sobre la identidad, la cultura y la filosofía iberoamericanas. La reconstrucción de la trayectoria intelectual que ha hecho madurar el análisis de este concepto en la obra de Ricardo Espinoza Lolas nos muestra cómo esta categoría del pensamiento sudamericano, a pesar de sus estrechos vínculos con la historia del continente, puede universalizarse y, por tanto, utilizarse como paradigma filosófico a nivel mundial. A través (...) de la comparación y profundización de las interpretaciones del lema “nosotros” dadas por Juan Carlos Scannone y Arturo Andrés Roig, y la ofrecida por Espinoza, emerge el alcance de una propuesta que, por un lado, muestra el valor histórico-filosófico del pensamiento iberoamericano y su papel dentro de una historia de la filosofía ya no entendida en clave meramente eurocéntrica e ideológica, sino en su desarrollo real y material; y por otro, la funcionalidad de un concepto que se convierte en dispositivo de desactivación del actual orden global capitalista de las tesis de espinozistas. (shrink)

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when it has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to (...) be decidable both for logics presented by a finite set of finite matrices and for locally tabular logics presented by a finite Hilbert calculus, it becomes undecidable for arbitrary logics presented by finite Hilbert calculi. (shrink)

Positive modal algebras are the$$\left\langle { \wedge, \vee,\diamondsuit,\square,0,1} \right\rangle $$-subreducts of modal algebras. We prove that the variety of positive S4-algebras is not locally finite. On the other hand, the free one-generated positive S4-algebra is shown to be finite. Moreover, we describe the bottom part of the lattice of varieties of positive S4-algebras. Building on this, we characterize structurally complete varieties of positive K4-algebras.

Kant is an author who frequently recurs in Zubiri’s works. The constancy of the comparison between the two philosophers is entirely internal to the method of investigation itself of Zubrian philosophy, which has nothing properly historiographical, and which has posed many problems to the commentators of Spanish philosopher. Following the references to Zubiri’s interpretation of Kant in the philosophical texts of Ignacio Ellacuria (1930-1989), we will try to feed a two-part comparison whose main goal is to clarify the nature and (...) the perspective of the confrontation with Kantism, in relation to the more general problem of the status of philosophy in Zubiri’s production. (shrink)

This collection of essays turnings around aesthetic and ethical questions, and intertwining them, is intended to foster and elaborate the notion of intercultural philosophy. Without idealizing any single way of thinking or tradition, without idolizing any lazy relativism, the author wants to show how interculturality is neither a comprehensive, ultimate system of thoughts, nor a disconnected plurality of opinions. Surmounting monism without fading into dualism, he moves on leads to deal with the philosophical character of symbols, analogies, and comparisons, through (...) which we can grasp the links and relations between identity and difference. (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.