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.

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)

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)

Legends and stories about fabulous races that dwelt in India or in Africa circulated in Iran probably since the Achaemenid times. Unfortunately, scholarship on this topic has neglected some late Iranian and, especially, Zoroastrian sources, such as Draxt ī āsūrīg, the Bundahišn, the Ayādgār ī Jāmāspīg, and the New Persian epic Šāhnāme. This article examines the aforementioned sources and discusses their accounts of five fabulous races from an Iranian, and especially Zoroastrian, perspective and through a comparative approach to some similar (...) neighboring traditions. (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.

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.

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.

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)

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

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.