In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo''s logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.

ABSTRACTThis paper analyses the discourses produced on their websites by the two organisations that conducted the official ‘leave’ and ‘remain’ campaigns in the Brexit referendum. The analysis, whi...

Volume 16, Issue 4, September 2019, Page 381-388.

In this paper we provide a categorical equivalence for the category \ of product algebras, with morphisms the homomorphisms. The equivalence is shown with respect to a category whose objects are triplets consisting of a Boolean algebra B, a cancellative hoop C and a map \ from B × C into C satisfying suitable properties. To every product algebra P, the equivalence associates the triplet consisting of the maximum boolean subalgebra B, the maximum cancellative subhoop C, of P, and the (...) restriction of the join operation to B × C. Although several equivalences are known for special subcategories of \ , up to our knowledge, this is the first equivalence theorem which involves the whole category of product algebras. The syntactic counterpart of this equivalence is a syntactic reduction of classical logic CL and of cancellative hoop logic CHL to product logic, and viceversa. (shrink)

We show that the modal prepositional logicILM (interpretability logic with Montagna's principle), which has been shown sound and complete as the interpretability logic of Peano arithmetic PA (by Berarducci and Savrukov), is sound and complete as the logic ofπ 1-conservativity over eachbE 1-sound axiomatized theory containingI⌆ 1 (PA with induction restricted tobE 1-formulas). Furthermore, we extend this result to a systemILMR obtained fromILM by adding witness comparisons in the style of Guaspari's and Solovay's logicR (this will be done in a (...) separate continuation of the present paper). (shrink)

Attention and adaptation are both mechanisms that optimize visual performance. Attention optimizes performance by increasing contrast sensitivity for and neural response to attended stimuli while decreasing them for unattended stimuli; adaptation optimizes performance by increasing contrast sensitivity for and neural response to changing stimuli while decreasing them for unchanging stimuli. We investigated whether and how the adaptation state and the attentional effect on contrast sensitivity interact. We measured contrast sensitivity with an orientation-discrimination task, in two adaptation conditions—adapt to 0% or (...) 100% contrast—in focused, distributed, and withdrawn attentional conditions. We used threshold and asymptotic performance to index the magnitude of the attentional effect—enhancement or impairment in contrast sensitivity—before and after adapting to high-contrast stimuli. The results show that attention and adaptation affect the contrast psychometric function in a similar but opposite way: Attention increases stimulus salience, whereas adaptation reduces stimulus salience. An interesting finding is that the adaptation state does not modulate the magnitude of the attentional effect. This suggests that attention affects the normalized signal once the effect of contrast adaptation has taken place and that these two mechanisms act separately to change contrast sensitivity. Attention can overcome adaptation to restore contrast sensitivity. (shrink)

Climate change's impact on investor behavior is a scantly investigated area in finance. This paper examines the performance of socially responsible exchange trade funds (ETFs) concerning conventional ETFs, in response to climate change events. We proxy climate change signals with a list of natural disaster events that NASA scientists relate to climate change. We contribute to existing literature, by using a very extensive information set of ETF strategies, not influenced by rating agencies' subjective evaluation policies, and covering almost 90% of (...) the universe of worldwide sustainability thematic-oriented ETFs. This sample allows us to identify the socially responsible investment behavior in response to unpredictable climate change shocks. Our identification strategy accounts for endogeneity concerns and relies on two-stage least square (2SLS) approach finding that responsible investors react to climate change events by purchasing socially responsible investments. The relationship between climate change signals and return of investment in themes linked to the development of sustainability is positive. Interestingly enough, the sign of this relationship is different, when we disentangle the empirical results according to the asset type, confirming that investors shift their investments from equity funds to bond funds when market sentiment worsens. Our results indicate that policymakers should increase the support of firms adopting environmentally conscious business practices, while managers should boost a sustainable business strategy. (shrink)

This study investigates contemporary Mayan oral stories through the lens of Julian Jaynes's theory on the origin of consciousness, aiming to identify a potential connection between the literary elements of these narratives and traits of pre‐consciousness outlined by Jaynes. Jaynes's neuropsychological thesis argues that human consciousness emerged around 3000 years ago after a period of “bicameral mind,” characterized by auditory “hallucinations” that guided non‐habitual behavior. He claims that remnants of bicameral mentality linger to this day in all cultures. While his (...) theoretical framework has been applied to cultures in Europe, the Middle East, and Asia, this research uniquely surveys early Mayan texts and focuses on 78 oral narratives from Lake Atitlán, Guatemala. Our findings reveal traces of bicamerality, evident in the gradual fading of inner voices replaced by divination, anomalous mental states, encounters with the supernatural, and spiritual possession. Contrary to pathologizing these phenomena, the narratives often present them as abilities the Maya may not have felt culturally compelled to suppress to the extent presumed in other societies. (shrink)

The author publishes the initial fragment of an unknown treatise by Leon Battista Alberti on the casting of statues written around 1455 and preserved in cod. Ottob. lat. 1870. The fragment contains a discussion on the nature of light and the element of fire.

Abhinavagupta is undoubtedly the most famous Kashmirian medieval intellectual: his decisive contributions to Indian aesthetics, Saiva theology, and metaphysics, and to the philosophy of the subtle and original Pratyabhijna system, are well known. Yet so far his works have often been studied without fully taking into account the specific historical, social, artistic, religious, and philosophical context in which they are embedded. The purpose of this book is to show that this intellectual background is no less exceptional than Abhinavagupta himself. (Series: (...) Leipzig Studies on the Culture and History of South and Central Asia / Leipziger Studien zu Kultur und Geschichte Sud- und Zentralasiens, Vol. 6) [Subject: History, Abhinavagupta, India Studies, Religious Studies]. (shrink)

It is shown that the propositional modal logic IRM (interpretability logic with Montagna's principle and with witness comparisons in the style of Guaspari's and Solovay's logicR) is sound and complete as the logic ofII 1-conservativity over each∑ 1-sound axiomatized theory containingI∑ 1. The exact statement of the result uses the notion of standard proof predicate. This paper is an immediate continuation of our paper [HM]. Knowledge of [HM] is presupposed. We define a modal logic, called IRM, which includes both ILM (...) andR (the logic of [GS]) and prove an arithmetical completeness theorem in the style of [GS], thus showing that IRM is the logic ofII 1-conservativity with witness comparisons. The reader is recommended to have Smoryński's book [Sm] at his/her disposal. (shrink)

Teachers are necessarily free. The present article discusses the dual meaning of this necessity. The first meaning relates to freedom as an inevitable aspect of the actual reality in the classroom ; the second to teachers’ freedom as the ideal condition, or a prerequisite for optimal teaching. Existentialist philosopher Jean-Paul Sartre argued that human beings are “condemned to be free” and demanded that freedom be considered an imperative value. Philosopher of education Joseph Schwab, who analysed the practical nature of teaching, (...) concluded that teachers make choices every minute in the classroom, and demanded that their autonomy be expanded. This article identifies parallels between these two philosophical moves and suggests complementing features. Sartre adds universal depth to Schwab’s portrait of teachers, proving them to be an extreme expression of the human condition. Schwab provides Sartre’s analysis with concrete validation and practical suggestions for implementation. Combining these two approaches can further establish the importance of teacher autonomy and offer a unique conceptualisation of teacher agency as a partial response to the crisis of education in the postmodern era. (shrink)

This study analysed the effects a values education programme can have on the feelings of self‐realisation, self‐concept and self‐esteem of Romany adolescents in southern Spain. To do this, an experimental group received a values education intervention but a control group did not. The intervention programme was adapted to the Romany culture. The self‐realisation, self‐concept and self‐esteem of both groups were evaluated using the Self‐Concept and Realisation Questionnaire. Statistical analyses showed the existence of significant differences between the experimental and control groups (...) on the variables studied. Based on the results, we suggest that a values education programme like this, that has been culturally adapted, can make a positive impact on the self‐realisation of young people from a marginalised community. (shrink)

Basilio Sabazio was the first in Italy to argue for the unity and corruptibility of either sublunar or celestial matter. In this paper new insight of his intellectual activity between Napoli and Milano is provided, and in particular his relationship with Scipione Capece, from whose letter to Giovan Francesco di Capua, Count of Palena we learn that Sabazio was an expert in philology and astronomy. The surviving part of an essay by Sabazio to the astronomer Francesco Cigalini from Como is (...) here edited with some informations about Cigalini’s reply. A newly recovered Sabazio’s astronomical work is here edited – from which his endorsement of Eraclides Ponticus’ astronomical system is evident –, as well as his Consilium to Pope Paolo III about the urgency of convening a general council. (shrink)

Spingersi ai confini dell'esperienza del corpo - amore, sofferenza, vecchiaia, morte - attraverso la letteratura, la filosofia, le arti figurative, eventi etico-politici e personali, frammenti di racconto.

A proposito dell’edizione della Repubblica diretta e coordinata da Mario Vegetti.

Reflections on Little Rock is one of Hannah Arendt’s most controversial writings. Read from the perspective of the political philosopher, it appears even more contentious than her famous remarks in Eichmann in Jerusalem. In the last two decades, a number of critical contributions have been published addressing this essay, highlighting how it casts serious doubts on the correctness of Arendt’s dealing with the racial question and, more generally, on the tenability of central elements of her political thought – e.g., her (...) distinction between the political and the social. However, only occasional – and, as I will try to demonstrate, quite imprecise – analyses of the implications of RLR for an understanding of Arendt’s view of judgment have been produced. The aim of the present article is to reread what both Arendt’s position on judgment and its main contemporary reformulation, advanced by Linda Zerilli, imply for the making of political choices in pluralistic societies. Special attention will be... (shrink)

v. 1. O direito como ciência (epistemologia jurídica). O direito como justo (axiologia jurídica).

Our goal is to prove that the golden section, however important, is not the only key to understand a mathematical-formalizing approach to the idea of beauty. Having developed, from this point of view, reading keys linked to the post-modern, it is necessary to link together the multiple rivulets of knowledge that gather in this direction. Moreover the canons of the approaches presented up to now are very indicative for the understanding of many aspects of beauty, which however depends on the (...) historical moment and the cultures created in the various civilizations. Therefore we can affirm that there is no effective definition of "beauty" that can be codified through fixed canons, but that the concept is expressed by a series of stratifications and interpretations that tend to link several major variations, expressing the various answers given by man to the question: what is the beauty? (shrink)

The still unsettled decision problem for the restricted purely universal formulae 0-formulae) of the first order set-theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related finite set-satisfiability problem for the very significant subclass of the 0-formulae consisting of the formulae involving only nested variables of level 1 is proved to be semidecidable on the ground of a reflection property over the hereditarily finite (...) sets, and various extensions of this result are obtained. When variables are restricted to range only over sets, in universes with infinitely many urelements the set-satisfiability problem is shown to be solvable provided the axiom of foundation is assumed; if it is not, then the decidability of a related derivability problem still holds. That, in turn, suggests the alternative adoption of an antifoundation axiom under which the set-satisfiability problem is also solvable . Turning to set theory without urelements, assuming a form of Boffa's antifoundation axiom, the complement of the set-satisfiability problem for the full class of Δ0-formulae is shown to be semidecidable; a result that is known not to hold, for the set-satisfiability problem itself, even for a very restricted subclass of the Δ0-formulae. (shrink)

Euhemerus, the famous theorist on the nature of the gods who lived around 300 BC, has usually been discussed as a disembodied intellectual figure, with scholars focusing on his literary and philosophical sources and influence. Although he is called “Euhemerus of Messene,” there is uncertainty as to where he was born, lived, and worked, in particular whether he came from Sicilian or Peloponnesian Messene. Until now, the conquests of Alexander the Great and the establishment of the Successor Kingdoms have been (...) considered the only context for Euhemerus. This paper will draw upon literary, historical, and archaeological evidence to argue that Euhemerus belongs in a Sicilian context. The long history of the worship of rulers in Sicily from the oikistai to the tyrants of Syracuse, the wealth of Sicily, the proximity of the Lipari Islands, the multiethnic milieu of Sicily with its vigorous interaction and syncretism, all contributed to Euhemerus' experiences and thought. We suggest that centuries of Sicilian cultural and political experience, not merely the “phenomenon” of Alexander the Great and the dawn of the Hellenistic Age, provided the impetus to the ideas of Euhemerus, and that Euhemerus brought this Sicilian contribution to bear on the new problems of the wider world. (shrink)

In diesem Aufsatz untersuchen wir Leibniz' Ansicht uber die "Ars Analytica". Gelegenheit dazu bietet die Diskussion uber die Losung der sogenannten "Probleme eines Hollanders". Es geht dabei um 12 Probleme uber das Dreieck. Gegeben sind in diesen Problemen: einer der Basiswinkel, die Differenz von Basissegmenten und ein Verhaltnis,das bei den einzelnen Problemen variiert zwischen den Seiten des Dreiecks. "Die Probleme des Hollanders" sind aus mehreren Grunden wichtig. Sie liefern einen aufschllussreichen Test, den Stand der Mathematik in Italien in der zweiten (...) Halfte des 17. Jahrhunderts zu prufen. Sie lassen das Nebeneinanderbestehen unterschiedlicher mathematischer Methoden erkennen, und zwar klassischer und moderner Methoden. Schliessich sind die Probleme sehr interessant fur den Stand der Gedanken, die Leibniz zu ihrer Behandlung aussert. (shrink)

Classification of certain group-like FL $_e$ -chains is given: We define absorbent-continuity of FL $_e$ -algebras, along with the notion of subreal chains, and classify absorbent-continuous, group-like FL $_e$ -algebras over subreal chains: The algebra is determined by its negative cone, and the negative cone can only be chosen from a certain subclass of BL-chains, namely, one with components which are either cancellative (that is, those components are negative cones of totally ordered Abelian groups) or two-element MV-algebras, and with no (...) two consecutive cancellative components. It is shown that the classification theorem does not hold if we drop the absorbent-continuity condition. Our result is the first classification theorem in the literature on FL $_e$ -algebras that does not assume the condition of being naturally ordered (which, under certain conditions, corresponds to continuity of the monoid operation). In our classification theorem, continuity is replaced by the much weaker absorbent-continuity. (shrink)

O tema da natureza da virtude e de sua transmissibilidade atravessa quase todos os diálogos da juventude de Platão, isto é, os considerados “diálogos socráticos”. Este adquire uma relevância central no Protágoras e no Mênon, o qual se abre exatamente com a interrogação acerca da maneira de adquirir a virtude. No curso do diálogo, a arete assume um significado eminentemente político: Mênon pergunta a Sócrates como se pode obter sucesso no campo político, como se pode adquirir reconhecimento social. A tese (...) em torno a qual se desenvolve a conversação assume a identidade de virtude e conhecimento (episteme). Todavia, a consequência que deriva da assunção desta tese, isto é, o princípio com base no qual a virtude, enquanto conhecimento, seja ensinável, é refutado por meio do célebre “argumento empírico”: a ausência de homens capazes de transmitir a sua virtude aos filhos demonstra que essa não é ensinável, e ,portanto, não é conhecimento. Sócrates propõe, então, situar na opinião correta (orthe doxa) a fonte da virtude política. Todavia, a validade do argumento empírico resulta muito incerta, uma vez que parece fundar-se na ambiguidade do significado do termo didakton, que quer dizer seja “ensinável” seja efetivamente “ensinado”. Também a tentativa de fundar a virtude na theia moira deve ser tratada com certo ceticismo. Na realidade, Sócrates alude, no fim do diálogo, à possibilidade de que exista um homem que seja virtuoso e que seja também capaz de ensinar a virtude a outro homem: este homem extraordinário é naturalmente o próprio Sócrates. (shrink)