This thesis is devoted to the exploration of the complexity of some mathematical problems using the framework of computable analysis and descriptive set theory. We will especially focus on Weihrauch reducibility as a means to compare the uniform computational strength of problems. After a short introduction of the relevant background notions, we investigate the uniform computational content of problems arising from theorems that lie at the higher levels of the reverse mathematics hierarchy.We first analyze the strength of the open and (...) clopen Ramsey theorems. Since there is not a canonical way to phrase these theorems as multi-valued functions, we identify eight different multi-valued functions and study their degree from the point of view of Weihrauch, strong Weihrauch, and arithmetic Weihrauch reducibility.We then discuss some new operators on multi-valued functions and study their algebraic properties and the relations with other previously studied operators on problems. In particular, we study the first-order part and the deterministic part of a problem f, capturing the Weihrauch degree of the strongest multi-valued problem that is reducible to f and that, respectively, has codomain $\mathbb {N}$ or is single-valued.These notions proved to be extremely useful when exploring the Weihrauch degree of the problem $\mathsf {DS}$ of computing descending sequences in ill-founded linear orders. They allow us to show that $\mathsf {DS}$, and the Weihrauch equivalent problem $\mathsf {BS}$ of finding bad sequences through non-well quasi-orders, while being very “hard” to solve, are rather weak in terms of uniform computational strength. We then generalize $\mathsf {DS}$ and $\mathsf {BS}$ by considering $\boldsymbol {\Gamma }$ -presented orders, where $\boldsymbol {\Gamma }$ is a Borel pointclass or $\boldsymbol {\Delta }^1_1$, $\boldsymbol {\Sigma }^1_1$, $\boldsymbol {\Pi }^1_1$. We study the obtained $\mathsf {DS}$ -hierarchy and $\mathsf {BS}$ -hierarchy of problems in comparison with the Baire hierarchy and show that they do not collapse at any finite level.Finally, we work in the context of geometric measure theory and we focus on the characterization, from the point of view of descriptive set theory, of some conditions involving the notions of Hausdorff/Fourier dimension and Salem sets. We first work in the hyperspace $\mathbf {K}$ of compact subsets of $[0,1]$ and show that the closed Salem sets form a $\boldsymbol {\Pi }^0_3$ -complete family. This is done by characterizing the complexity of the family of sets having sufficiently large Hausdorff or Fourier dimension. We also show that the complexity does not change if we increase the dimension of the ambient space and work in $\mathbf {K}$. We also generalize the results by relaxing the compactness of the ambient space and show that the closed Salem sets are still $\boldsymbol {\Pi }^0_3$ -complete when we endow $\mathbf {F}$ with the Fell topology. A similar result holds also for the Vietoris topology.We conclude by analyzing the same notions from the point of view of effective descriptive set theory and Type-2 Theory of Effectivity, and show that the complexities remain the same also in the lightface case. In particular, we show that the family of all the closed Salem sets is $\Pi ^0_3$ -complete. We furthermore characterize the Weihrauch degree of the functions computing Hausdorff and Fourier dimension of closed sets.prepared by Manlio Valenti.E-mail:[email protected]. (shrink)

A central goal in Cognitive Science is understanding the mechanisms that underlie cognition. Here, we contend that Cognitive Science, despite intense multidisciplinary efforts, has furnished surprisingly few mechanistic insights. We attribute this slow mechanistic progress to the fact that cognitive scientists insist on performing underdetermined exercises, deriving overparametrized mechanistic theories of complex behaviors and seeking validation of these theories to the elusive notions of optimality and biological plausibility. We propose that mechanistic progress in Cognitive Science will accelerate once cognitive scientists (...) start focusing on simpler explananda that will enable them to chart an atlas of elementary cognitive operations. Looking forward, the next challenge for Cognitive Science will be to understand how these elementary cognitive processes are pieced together to explain complex behavior. (shrink)

The aim of this article is to identify the main factors of the current crisis of the nation-state and to demonstrate how many of the voids left by this crisis are filled by religions. The main characteristic of the nation-state is the principle of sovereignty. The apogee of the nation-state is the political form of industrialization. National identity is possible only when the state proves to its citizens that the fact of being a member of it carries benefits and privileges (...) and will always bring more. Today, the majority of nation-states, in particular the oldest great powers, no longer have this capability. The weakening of the nation-state began at the end of the 19th century. The first wave of globalization multiplied the cases of reciprocal interferences and trespassed on the theoretical impermeability of the sovereign states. The outcome of the First World War, with the creation of the first supranational body, and much more the outcome of the Second World War, were two important steps of this crisis. The birth of the United Nations, and of other supranational bodies, as well as the creation of the first court called to judge an entire political class, were an assault on the principle of sovereignty. The second wave of globalization, characterized by the free circulation of goods, money, people and cultures, did the rest. Moreover, the countries that ‘invented’ the principle of sovereignty are today in relative decline as new powers are emerging. The nation-state is no longer able to keep its promises. The less effective states become at offering their citizens both meaning and social services, the more do religions tend to reoccupy the public stage. The less national and political legitimacy they have, the more powers use the religious tool against one another. (shrink)

Una prima parte del saggio sintetizza le linee principali di un recente libro dell’autore: Per un paradigma del corpo: una rifondazione filosofica dell’ecologia, Quodlibet, Macerata, 2019. Viene sostenuto un paradigma in cui corpo e biologia mantengano la loro irriducibilità nei confronti della cultura e in cui il cosiddetto “linguistic turn”, che ha dominato la filosofia del XX secolo, viene fortemente criticato; in coerenza con questo, la riflessione di Merleau-Ponty sul concetto di natura viene considerata lo strumento più adeguato e più (...) attuale per ripensare la questione ecologica; ne vengono esaminate le conseguenze nel campo della filosofia della tecnologia e del problema del soggetto. Una seconda parte del saggio, che si concentra sull’incontro che ebbe luogo nel 1961 fra Adorno e Merleau-Ponty, cerca di abbozzare un paradigma materialistico per l’ecologia, correggendo l’avvicinamento che alla fine della sua vita vi fu fra Merleau-Ponty e Heidegger. (shrink)

On the basis of a definition of ecology centred on Merleau-Ponty's thought, this essay examines the various phases of Foucauldian thought and their respective relationships to possible ecological outcomes: the Dionysian phase, which lasts until The Order of Things; the microphysics of power phase, in which a philosophy of the will that radically breaks with any idea of the original becomes central; and the late Foucault phase, characterised by the themes of the hermeneutics of the self, subjectivity and critique. In (...) the latter period in particular, in which Foucault's rapprochement with Canguilhem and the idea of a living being immersed in a dialectical relationship with the environment and with others is very strong, a model is identified that is particularly amenable to interpretation in ecological terms. The essay concludes with some research hypotheses on the possible relationship between a philosophy of the will, such as that mediated by Foucault from Nietzsche and Schopenhauer, and ecology. (shrink)

The emergence of ecology as a fundamental horizon not only of politics, but also of contemporary philosophy, pushes us to rethink the relationship that currents of thought such as Kuturkritik and phenomenology, especially the phenomenology of Maurice Merleau-Ponty, can maintain with it. After a preliminary consideration of post-structuralist and postmodern positions from this perspective, the essay focuses on the French philosopher, and in particular on his courses on Nature and on his elaboration of the Husserlian concept of Stiftung. This results (...) in Merleau-Ponty’s original position on the Kultur – Civilization alternative: critique of unlimited productivism, respect for the environment, and, at the same time, defense of the variety of cultures and traditions from a homogenizing globalization are valuable tools that his philosophy offers to the debates of our time. (shrink)

With regard to the interpretation of the conversation between Jesus and the Samaritan woman examined by Origen in Book 13 of the Commentary on John, in this study the Author analyzes certain terms or expressions on which Origen’s analysis focuses, and he concludes that the great Alexandrian exegete does not seem to show his best skills in these explanations.

The notion of ‘omnipotence’ (potentia dei) runs through the history of medieval philosophy especially after the contribution of Augustine’s thought. Augustine thus traces ethical developments from the idea of God’s sovereignty to the construction of an order of things comparable with his power of creation. Augustine was the first Christian thinker to introduce and document the notion of potentia dei in an ethical context, proving at the same time that the ambivalence of God’s power results either from the activity of (...) ordering, or from the impossibility of God’s duplication, or from the incapacity to destroy the world in respect to a rational configuration of laws and events. (shrink)

Michael Pirron is CEO of Impact Makers, an IT consulting firm based in Virginia. Impact Makers decided to reincorporate as a Benefit Corporation when Virginia passed the legislation. In this interview with Professor Daryl Koehn from DePaul University, Pirron discusses why he chose to reincorporate and their organization’s decision to give all their profits to charity. To do this, Impact Makers set up a new financial innovation to protect the social purpose of the organization. They gave all their common stock (...) to two public charities and if the organization is ever sold, all the proceeds would go to charitable organizations in their community. (shrink)

Inquieta anche il fatto che i nuovi giardini tendano ad assomigliare in modo impressionante a quei “rendering”, anch’essi uno standard, che si trovano esposti nelle vetrine delle sempre più numerose agenzie immobiliari che impestano la periferia diffusa. Ne avevo una vicino a casa qualche trasloco fa, quando abitavo in un appartamento di due stanze con bagno nel quartiere di Santa Lucia.Vitaliano Trevisan, Tristissimi giardini, pp. 46-47 Dopo la mela biblica consumata in un giardino terrestre...