We characterize the collapse of Buss' bounded arithmetic in terms of the provable collapse of the polynomial time hierarchy. We include also some general model-theoretical investigations on fragments of bounded arithmetic.

We describe the picture of physical processes suggested by Edward Nelson’s stochastic mechanics when generalized to quantum field theory regularized on a lattice, after an introductory review of his theory applied to the hydrogen atom. By performing numerical simulations of the relevant stochastic processes, we observe that Nelson’s theory provides a means of generating typical field configurations for any given quantum state. In particular, an intuitive picture is given of the field “beable”—to use a phrase of John Stewart Bell—corresponding to (...) the Fock vacuum, and an explanation is suggested for how particle-like features can be exhibited by excited states. We then argue that the picture looks qualitatively similar when generalized to interacting scalar field theory. Lastly, we compare the Nelsonian framework to various other proposed ontologies for QFT, and remark upon their relative merits in light of the effective field theory paradigm. Links to animations of the corresponding beables are provided throughout. (shrink)

Il presente numero di “Rivista di estetica” raccoglie diversi contributi che intendono riflettere oggi sui limiti e sulle possibilità di un approccio estetico-filosofico alle nuove istanze (sia tecniche che narrative) che ci giungono da questo oggetto sempre da identificare chiamato film. Come si sa, il cinema, fin dalle sue origini, ha generato un complesso insieme di discorsi intorno a sé. Il cinema è stato cioè continuamente trattato, discusso, analizzato, fatto oggetto di studio, dalla st...

Despite the burgeoning literature on the governance and impact of cross-sector partnerships in the past two decades, the debate on how and when these collaborative arrangements address globally relevant problems and contribute to systemic change remains open. Building upon the notion of wicked problems and the literature on governing such wicked problems, this paper defines harnessing problems in multi-stakeholder partnerships as the approach of taking into account the nature of the problem and of organizing governance processes accordingly. The paper develops (...) an innovative analytical framework that conceptualizes MSPs in terms of three governance processes harnessing three key dimensions of wicked problems. The Roundtable on Sustainable Palm Oil provides an illustrative case study on how this analytical framework describes and explains organizational change in partnerships from a problem-based perspective. The framework can be used to better understand and predict the complex relationships between MSP governance processes, systemic change and societal problems, but also as a guiding tool in organizing governance processes to continuously re-assess the problems over time and address them accordingly. (shrink)

This book, starting from the idea that in contemporary societies many cultures exist, tries to work out a solution that can ensure the peaceful coexistence of different, and potentially conflicting, cultural and religious groups.

Perhaps no philosopher is more of a conundrum than Nietzsche, the solitary rebel, poet, wayfarer, anti-revolutionary Aufklärer and theorist of aristocratic radicalism. His accusers identify in his 'superman' the origins of Nazism, and thus issue an irrevocable condemnation; his defenders pursue a hermeneutics of innocence founded ultimately in allegory. In a work that constitutes the most important contribution to Nietzschean studies in recent decades, Domenico Losurdo instead pursues a less reductive strategy. Taking literally the ruthless implications of Nietzsche's anti-democratic (...) thinking - his celebration of slavery, of war and colonial expansion, and eugenics - he nevertheless refuses to treat these from the perspective of the mid-twentieth century. In doing so, he restores Nietzsche's works to their complex nineteenth-century context, and presents a more compelling account of the importance of Nietzsche as philosopher than can be expected from his many contemporary apologists. (shrink)

We present some algebraic tools useful to the study of the expressive power of bounded formulas in second-order arithmetic (alternatively, second-order formulas in finite models). The techniques presented here come from Boolean circuit complexity and are adapted to the context of arithmetic. The purpose of this article is to expose them to a public with interests ranging from arithmetic to finite model theory. Our exposition is self-contained.

We formalize the notion of isolated objects, and we build a consistent theory to describe their evolution and interaction. We further introduce a notion of indistinguishability of distinct spacetime paths of a unit, for which the evolution of the state variables of the unit is the same, and a generalization of the equivalence principle based on indistinguishability. Under a time reversal condition on the whole set of indistinguishable paths of a unit, we show that the quantization of motion of spinless (...) elementary particles in a general potential field can be derived in this framework, in the limiting case of weak fields and low velocities. Extrapolating this approach to include weak relativistic effects, we explore possible experimental consequences. We conclude by suggesting a primitive ontology for the theory of isolated objects. (shrink)

APh 75-03932:Sono presentati i risultati di una nuova collazione dei principali manoscritti delle prime sette tetralogie, estesa anche a codici non utilizzati dall'edizione corrente degli scoli. Viene esclusa una redazione tardo-antica del corpus che risulta un prodotto specificamente bizantino redatto in tre fasi fra il 9° sec. e la metà del 10°.

This note provides a summary of the meaning of the term `Superselection Rule' in Quantum Mechanics and Quantum-Field Theory. It is a contribution to the Compendium of Quantum Physics: Concepts, Experiments, History and Philosophy, edited by Friedel Weinert, Klaus Hentschel, Daniel Greenberger, and Brigitte Falkenburg, to be published by Springer Verlag.

traduzione di n. de domenico del testo di f. brentano "sul nominalismo. contro guastella".

Nous retraçons les étapes de la formation de Johann Clauberg depuis son premier traité d’ontologie ( Ontosophia 1647) jusqu’aux grands ouvrages cartésiens de la maturité ( Logica 1654-1658, Dubitatio 1655). La Physiologia (1645) de Gerhard de Neuville, maître de Clauberg au lycée de Brême, s’avère une source fondamentale pour saisir la continuité du projet philosophique de l’auteur dans les deux phases de son activité. Nous montrons que l’ontologie de Clauberg est une tentative d’étendre à la métaphysique la méthode de l’induction (...) démonstrative et de la démonstration par le regressus de Jacopo Zabarella dont Neufville avait fait usage en physique. Dans ce contexte, la philosophie de Descartes n’est admise que dans la mesure où ses arguments s’harmonisent avec une réforme de la philosophie dont les principes sont dus plutôt à la nouvelle méthode aristotélicienne et à Francis Bacon. En conclusion, nous soutenons que loin d’accomplir la synthèse entre cartésianisme et ontologie, la troisième édition de l’ Ontosophia (1664) marque plutôt l’assomption de l’échec de toute tentative de fonder l’ontologie systématique sur une méthode empruntée à la physique. (shrink)

In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by `forcing’, i.e. on the basis of their ability to reorganize the data for further analysis and the (...) intrinsic richness of their mathematical structure. In particular, we argue that deep learning neural networks are best understood within the context of forcing optimization methods. We finally explore the broader question of the appropriateness of data science methods in solving problems. We argue that this question should not be interpreted as a search for a correspondence between phenomena and specific solutions found by data science methods; rather, it is the internal structure of data science methods that is open to precise forms of understanding. (shrink)

The Case for a Critique of the Category of Totalitarianism. In this article Domenico Losurdo sketches a history of the category of totalitarianism, rehearsing the various shifts it has been subject to since the October revolution. While the roots of the notion are to be located both in the violence inflected by the colonial enterprise upon indigenous populations and the violence exercised at the very heart of the capitalist metropolis, upon the poor and the outcast, such violence did take (...) on a number of unprecedented characteristics in the twentieth century phenomenon of total war. The imperatives of the cold war were subsequently to lead western liberals to the formulation of a strange indictment of the revolutionary. (shrink)

The relations between the Iranian, in particular Zoroastrian, and Jewish apocalyptic literature as well as their mutual influences have, since the beginning of the twentieth century, constituted a rich and exciting battlefield for the scholars of these respective traditions. This article aims to present some topics concerning the definition of Iranian apocalyptics and its relation with its Jewish counterpart, as well as to establish an updated starting point for a new scholarly debate.

Montesquieu is the first political writer who scientifically studies all human institutions, ancient and modern, Asiatic and European, African and American; the first to formulate the principles of the separation of powers and the independence of justice; the first to theorize the Federal Democracy and the first to systematically track down the roo.