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.

Le Traité Théologico-Politique, publié anonymement en 1670, fut sans doute le livre le plus scandaleux du XVIIe siècle, et pour cause : l'emploi d'une méthode critique radicale pour dévoiler les mystères du pouvoir théologique et politique faisait de cet ouvrage un traité aussi stimulant que polémique. Après trois cent cinquante ans, le Traité demeure un modèle de réflexion sur la politique, la philologie, la métaphysique et la religion. Dans ce volume, le lecteur trouvera un commentaire suivi de l'ouvrage. Grâce au (...) travail collectif des vingt-huit contributeurs, il pourra comprendre le détail du discours de Spinoza ainsi que saisir la trame de fond de la pensée spinoziste. L'ouvrage se compose de deux parties : le commentaire proprement dit et une section consacrée aux principaux problèmes qui animent le débat contemporain sur Spinoza. (shrink)

El concepto de dificultad contramayoritaria, aplicado al control de constitucionalidad, describe el problema de justificar que un tribunal declare inválida (inconstitucional) una ley, votada por los representantes de una mayoría de los ciudadanos. ¿Es esto legítimo? En el presente trabajo, analizamos un problema similar respecto a las burocracias públicas, relativamente menos discutido hasta ahora: ¿puede la burocracia pública tomar decisiones que considera justificadas, o tiene que limitarse a implementar las directivas del poder político en todos los casos? El debate se (...) ha planteado con intensidad en México, durante los últimos años, pero afecta a la configuración institucional de otros países en América Latina. (shrink)

Cet ouvrage met en valeur la contribution que la philosophie de Malebranche a donnée au développement des Lumières. En effet, la richesse de la réflexion de l'oratorien a alimenté des courants de pensée différents, voire opposés, tels le matérialisme et le spiritualisme, le déisme et l'athéisme, le scepticisme et l'empirisme. En outre, l'auteur de la Recherche de la vérité a joué un rôle crucial dans certains processus capitaux de l'époque moderne, dont la transformation de la métaphysique en théorie de la (...) connaissance. Le concept de réception comme phénomène complexe qui dirige ce travail rend enfin raison de l'attention portée aux croisements de la postérité de Malebranche et de celle d'autres auteurs."--Page 4 of cover. (shrink)

Multiple authorship is so common and pervasive in our world that it is tempting to take it for granted. Prior to the twentieth century, however, multiple authorship was exceedingly rare.

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)

We show that every model of IΔ0 has an end extension to a model of a theory where log-space computable function are formalizable. We also show the existence of an isomorphism between models of IΔ0 and models of linear arithmetic LA.

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)

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)

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, (...) for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of the discipline. (shrink)

This article delves into Blaise Pascal’s religious philosophy, focusing on his use of the phrase “Scio cui credidi” (I know whom I have believed) to explore his understanding of faith. It analyzes Pascal’s “Memorial” and the “Summary of the Life of Jesus Christ”, highlighting how Christ is central to Pascal’s belief system. The discussion reveals the transformational nature of Pascal’s faith, particularly after his mystical experience on November 23, 1654. This experience is crucial in understanding his shift from a philosophical (...) to a deeply personal, Christ-centered faith. The article underscores Pascal’s journey from a scientific and philosophical perspective to an intimate, emotional resonance with Christian faith, demonstrating how his personal encounters with the divine profoundly shaped his religious perspective. (shrink)

This work proposes research on a still unexplored psychical world: thoughts, emotions, and real events experienced by racket victims of the three largest criminal organizations of the South of Italy: Mafia, Camorra, and ‘Ndrangheta. The purpose is to understand the multifaceted psycho-anthropological and social issues criminal organizations have settled on, and particularly which psycho-relational dynamics and sociocultural codes come into play in the complex and controversial relationship between victim and criminal system, between victim and support systems. With entrepreneurs and tradesmen (...) victims of organized crime, we have analyzed lived experiences—in particular fear—and psychological problems they had to cope with; events and motivations that allowed them “breaking” the silence and asking for help; the representation of a support network before and after their possible pressing charges; the kind of help offered by support systems. Dignity and self-respect, the fight for one's own freedom and honor,.. (shrink)

Let be a saturated model of inaccessible cardinality, and let be arbitrary. Let denote the expansion of with a new predicate for. Write for the collection of subsets such that ≡. We prove that if the VC-dimension of is finite then is externally definable.

As a reply to the commentary (Humphreys in Found Sci, 2012), we explore the methodological implications of seeing artificial neural networks as generic classification tools, we show in which sense the use of descriptions and models in data analysis is not equivalent to the original empirical use of epicycles in describing planetary motion, and we argue that agnostic science is essentially related to the type of problems we ask about a phenomenon and to the processes used to find answers.

According to a classic periodization in the history of science, biological thought as it emerged in France from the last decades of the seventeenth century to the 1740s was strongly committed to the doctrine of the preexistence of germs. Nicolas Malebranche’s role in disseminating this paradigm, particularly in the milieu of the Académie Royale des Sciences during the years when Bernard Le Bouyer de Fontenelle was its secretary, has been studied in detail, especially by Jacques Roger. However, much less has (...) been said about the authors who argued against this doctrine prior to the appearance of the relevant pieces by Pierre-Louis Moreau de Maupertuis, Georges-Louis Leclerc, Comte de Buffon, and Denis Diderot. I aim to examine a series of French medical treatises and clandestine manuscripts that outlined a mechanist theory of epigenesis, between the end of the seventeenth century and the 1720s, to bring to light the strategies—often quite original—that allowed them to achieve this result. One interesting case is the heterodox readers of Malebranche, which use some of his own arguments (notably on the physiology of brain traces and the laws of nature) both against preexistence and to support epigenesis. I inquire into the historical worth of the positions defended by these authors as well as into the connections existing between the history of epigenesis and that of materialism in the early modern era. (shrink)

This paper explores the relationship between business experience in cross-sector partnerships and the co-creation of what we refer to as ‘dynamic capabilities for stakeholder orientation,’ consisting of the four dimensions of sensing, interacting with, learning from and changing based on stakeholders. We argue that the co-creation of dynamic capabilities for stakeholder orientation is crucial for CSPs to create societal impact, as stakeholder-oriented organizations are more suited to deal with “wicked problems,” i.e., problems that are large, messy, and complex. By means (...) of a grounded theory approach of inductive research, we collected and interpreted data on four global agri-food companies which have heterogeneous experience in participating in CSPs. The results of this paper highlight that only companies’ capability of interacting with stakeholders continually increases, while their capabilities of sensing, learning from, and changing based on stakeholders first increase and then decrease as companies gain more experience in CSP participation. To a large extent, this can be attributed to the development of corporate strategies on sustainability after a few years of CSP participation, which entails a shift from a reactive to a proactive attitude towards sustainability issues and which may decrease the need or motivation for stakeholder orientation. These findings open up important issues for discussion and for future research on the impact of CSPs in a context of wicked problems. (shrink)

O trabalho pretende, a partir da publicação das “Confissões da Carne”, analisar o impasse que diz respeito a sua não publicação em vida por Foucault, em especial em função da entrada do sujeito como terceiro componente do triângulo arqueológico-genealógico, impondo uma reviravolta decisiva em sua pesquisa. A força aletúrgica do sujeito implica uma definitiva dessoberanização do dispositivo de poder. Por um lado, se a forma moderna prevê a sua transferência de um poder sobre si próprio aos outros, o complexo de (...) estratégias governamentais, que «orientam» a direção da consciência, não implica a abdicação da liberdade por parte da pessoa a qual foi dirigida; por outro, uma segunda operação surge da diferenciação específica entre o modelo antigo e o modelo cristão, quer dizer, se o antigo modelo de direção funciona com vistas à autonomização do sujeito, aquele exame de consciência cristão estabelece como eixo a dependência e desenvolve uma racionalidade pastoral. Assim Foucault chega a uma estética da existência que é puro exercício de liberdade e perfeita atitude, que se oferece aos outros como prova do seu próprio valor. É com isso que o volume quarto da história da sexualidade é confrontado. O que muda drasticamente na experiência cristã da carne é a relação do sujeito com a verdade. A confissão, mais do que expiação dos pecados, neste quadro intervém como atestado e como testemunho de si próprio. Em conclusão, para Foucault, conotado pela imperfeição que o domina, o sujeito cristão liga-se a uma interminável direção de consciência cujo preço é uma perda de identidade indefinida. Assim, a partir deste recorte, o problema que passa a enfrentar é como encontrar uma forma de fundamentar a hermenêutica de si, não no sacrifício, mas numa “emergência positiva”, teórica e prática, de si, expondo tanto o momento transicional das “Confissões da Carne” quanto a própria razão pela qual renuncia à sua publicação. (shrink)