CONTENTS: -/- SEZIONE I IL TUTTO E' UNO? IL RISVEGLIO DI UN PROBLEMA TRA SCOLASTICA E RINASCIMENTO Il principio omne causatum est compositum fra Tommaso e Cajetano Igor Agostini, p. 25 Parti e tutto in Montaigne. La natura e l'individuo tra frammentazione e integrazione Raffaele Carbone 45 Le minuzzarie e il tutto. Giordano bruno e la conoscenza universale Maurizio Cambi 75 -/- SEZIONE II A PARTIRE DA CARTESIO. COME PUO' ESSERE UN TUTTO L'UOMO? -/- Mente/Corpo in Cartesio. Spunti per (...) un'interpretazione mereologica Stefano Di Bella 93 Nos sumus ex Deo et pertinemus ad Deum. Appartenenza, dipendenza e relazione nel pensiero e nel lessico di Arnold Guelincx Cristina Santinelli 115 L'integrità di corpo e mente nell'"invenire" terapeutico di E. W. von Tschirnhaus Manuela Sanna 133 L'indivisibilità della natura umana e della società in Francesco Longano. Un episodio della ricezione di Locke in Italia Roberto Evangelista 147 -/- SEZIONE III L'IRROMPERE DELL'ORGANICO. LA BIOLOGIA FILOSOFICA TRA SEI E SETTECENTO -/- Convenienza e discrepanza. Parti e tutto nella Lettera 32 di Baruch Spinoza Francesco Toto 169 Mereologia della sostanza e mereologia del vivente in Leibniz Enrico Pasini 197 Teleologia e mereologia dell’organismo da Leibniz a Bonnet Francesco Piro 209 Il nesso delle parti: mereologia e scienza secondo Christian Wolff Matteo Favaretti Camposampiero 239 Il problema del tutto e delle parti. il caso del vitalismo di Montpellier Charles T. Wolfe 257 -/- SEZIONE 4 TOTALITA' CRITICHE: DALLA CRISI DEL NATURALISMO ILLUMINISTICO ALLA FILOSOFIA DELLE CULTURE -/- La logica del tutto (e delle parti di tutto, vale a dire niente) in Dom Deschamps Jean-Claude Bourdin 273 l’(in)afferabile forma. Totalità e contingenza nel pensiero di Kant tra Critica della ragion pura e Critica del giudizio Luigi Imperato 303 la relazione Parte-Tutto nel primo Schelling Giuseppe D’Anna 327 Hegel o della totalizzazione dello spazio di interiorità Vittorio Morfino 343 A partire da Kant: Begriffsbiìldung teleologica e relazione Parti-Tutto nelle indagini di Rickert sulla logica delle scienze storiche della cultura Edoardo Massimilla 359 . (shrink)

Aristotle’s biology is based on his method of division of animal kinds by multiple differentiae. This results in complex clusters of non-subordinate terms, between which Aristotle seeks to establish universal correlations. The form of these, however, does not correspond to that prescribed by his theory of syllogism. Mereological relations between terms are not linear and quantification is far more complex than the distinction between universal and particular propositions. Thus the axiomatisation of Aristotle’s biology requires a tool designed for analysing such (...) complex universal correlations into valid syllogistic premises. Prosleptic-like premises turn out to be the solution outlined by Aristotle. They make it possible to handle both the logic of consequence which translates from and into mereological relations between term clusters, and the complex quantification required by division based on multiple differentiæ, through the instantiation of a variable ideally consisting of indivisible groups of animals. (shrink)

We analyse the structure of propositional proofs in the sequent calculus focusing on the well-known procedures of Interpolation and Cut Elimination. We are motivated in part by the desire to understand why a tautology might be ‘hard to prove’. Given a proof we associate to it a logical graph tracing the flow of formulas in it . We show some general facts about logical graphs such as acyclicity of cut-free proofs and acyclicity of contraction-free proofs , and we give a (...) proof of a strengthened version of the Craig Interpolation Theorem based on flows of formulas. We show that tautologies having minimal interpolants of non-linear size must have proofs with certain precise structural properties. We then show that given a proof Π and a cut-free form Π′ associated to it , certain subgraphs of Π′ which are logical graphs correspond to subgraphs of Π which are logical graphs for the same sequent. This locality property of cut elimination leads to new results on the complexity of interpolants, which cannot follow from the known constructions proving the Craig Interpolation Theorem. (shrink)

Undoubtedly, the tragedy of September 11, 2001 has been an unprecedented visual event. And yet, as was pointed out by an article published in Esquire in 2003, “in the most photographed and videotaped day in the history of the world, the images of people jumping were the only images that became, by consensus, taboo.” This taboo looks like the other side of what Allen Feldman calls a “temporal therapy”: “the audience was being given temporal therapy by witnessing a mechanical sequence (...) of events, over and over, which restored the linearity of time, which had been suspended with the assaults.” Still, images like the photograph that is well-known under the title of “Falling Man” could be, thanks to their peculiar temporality, a good antidote against this “temporal therapy,” which aims at the formation of a specific “collective memory, and therefore of collective forgetfulness.” On top of a study on this kind of pictures, this paper will take into account the late Merleau-Ponty’s idea of a mutual precession of reality and images as a useful tool for understanding the peculiar temporality of such pictures. (shrink)

125. The madman. Have you not heard of that madman who lighted a lantern at the bright sunshine of the morning, ran to the market, and began ceaselessly screaming: "I seek God! I seek God!"?This present essay is a shortened and adapted version of the first chapter of a large book of mine devoted to a comparison between ancient Greece and Christianity, shortly to be published in English by Michigan State University Press. Its theoretical core is the idea of mediation, (...) that is to say, the intangible connective element acting as a medium capable of linking humans to the world and the divine sphere that made the world possible in ancient times2. All this is related to our experience of object meant not only as a... (shrink)

The theoretical dialogue that has been going on for many years between the philosophies of the modern period and the social sciences on the institutional structuring of the social body and the political body can shed light on the concept of ‘esprit de corps’. The purpose is to address the issue raised by social science researchers concerning this concept and to use it as an indication of a broader work spanning corpora and periods from early modernity onwards. Therefore, this article (...) proposes to examine Malebranche’s texts to explore the ‘esprit de corps’, understood as the awareness of being part of a whole, and the moral injunctions that this sense of belonging entails. Like other philosophers of his time, Malebranche reflected on the notion of ‘political bodies’ and on how people belong to the various bodies they form. In pursuing this archaeology of a concept that emerged late in the ‘Ancien Régime’, we also appropriate the theoretical tools proposed by Michel Foucault in some of his works on power over bodies. (shrink)

In this paper we show that it is possible to eliminate the converse operator from the propositional dynamic logic CPDL (Converse PDL), without compromising the soundness and completeness of inference for it. Specifically we present an encoding of CPDL formulae into PDL that eliminates the converse programs from a CPDL formula, but adds enough information so as not to destroy its original meaning with respect to satisfiability, validity, and logical implication. Notably, the resulting PDL formula is polynomially related to the (...) original one. This fact allows one to build inference procedures for CPDL, by encoding CPDL formulae into PDL, and then running an inference procedure for PDL. (shrink)

We develop a combinatorial model to study the evolution of graphs underlying proofs during the process of cut elimination. Proofs are two-dimensional objects and differences in the behavior of their cut elimination can often be accounted for by differences in their two-dimensional structure. Our purpose is to determine geometrical conditions on the graphs of proofs to explain the expansion of the size of proofs after cut elimination. We will be concerned with exponential expansion and we give upper and lower bounds (...) which depend on the geometry of the graphs. The lower bound is computed passing through the notion of universal covering for directed graphs. In this paper we present ground material for the study of cut elimination and structure of proofs in purely combinatorial terms. We develop a theory of duplication for directed graphs and derive results on graphs of proofs as corollaries. (shrink)

For animal research that causes sentient nonhuman animal suffering to be justifiable, I believe that two conditions must be met. First, harming animals for human benefit must be morally justified; this is the speciesism justification. Second, animal research must have utility—that is, it must produce useful, empirically valid knowledge that successfully increases our understanding of human illness and treatments and that could not reasonably be obtained through other means; this is the utility justification. In other words, (some) animals must be (...) sufficiently different from humans in morally relevant ways to allow the morality of speciesism, and (some) animals must be sufficiently similar to humans biologically for cross‐species extrapolation to have utility. Both conditions are necessary, and neither by itself is sufficient to justify animal experimentation. I focus exclusively on the utility justification. I do not defend the morality of using animals in experiments, nor do I review the alternatives and refinements that can minimize laboratory animal suffering. I will argue that I and the medical scientists with whom I work have a sound rationale to continue the work we do. (shrink)

Analysis of ART and abortion must include the experiences of women at the emerging center of American life, as well as those at the top and bottom of the socioeconomic scale. Our contribution explores the triple system of fertility regulation, analyzing the intersections between fertility and class and using the experiences of women in the middle to add depth to our understanding of women's exercises of autonomy.

Malebranche's ideas about the imagination have inspired philosophers over the centuries. Drawing on the writings of Aristotle, Bacon, Descartes and many other sources, Malebranche created his own innovative theory. It is especially his work on the force of the imagination, however, that was to be of lasting influence. In this introductory article, we briefly discuss Malebranche's theory of the imagination and point out its role in mathematics, contagion of ideas, monstrous births, errors of the mind and rhetoric.

L’essai analyse la structure de la philosophie politique de Fichte en l’inscrivant dans le contexte formé par les concepts politiques mis en place par la doctrine du droit naturel. De cette science, qui a pour éléments principaux les droits des individus, la souveraineté et la représentation, Fichte découvre la logique, qu’il poursuit jusqu’à son aporie constitutive. Dans la période de maturité de sa pensée, le philosophe paraît dépasser l’autosuffisance du droit naturel en direction d’une philosophie de la pratique, ce qui (...) semble conforme à l’évolution de la Doctrine de la Science.Duso’s essay focuses on Fichte’s political philosophy stressing its relation to the context of modern political concepts and their origin within the modern science of natural right. Fichte analyses its elements and thinks back over its logic, showing its aporetical core. In the years of his maturity Fichte seems to go beyond the self-sufficiency of natural rights theories towards a philosophy of practice more consonant with the developments of his Doctrine of the Science. (shrink)

Many times in mathematics there is a natural dichotomy betweendescribing some object from the inside and from the outside. Imaginealgebraic varieties for instance; they can be described from theoutside as solution sets of polynomial equations, but one can also tryto understand how it is for actual points to move around inside them,perhaps to parameterize them in some way. The concept of formalproofs has the interesting feature that it provides opportunities forboth perspectives. The inner perspective has been largely overlooked,but in fact (...) lengths of proofs lead to new ways to measure informationcontent of mathematical objects. The disparity between minimallengths of proofs with and without ``lemmas'' provides an indicationof internal symmetry of mathematical objects and their descriptions.A principal observation of this paper is that mathematicalstructures can be embedded into spaces of logical formulae and inheritadditional structure from proofs. We shall look at finitely-generatedgroups, rational numbers and SL(2,Z), and examples fromtopology and analysis. (shrink)

Husserl intended the phenomenological method as a new beginning for philosophy. The epoché, the key notion of this method, entails a modification of attitude such that it can completely cancel and disempower all that might be given to us and that might be used for philosophical inquiry. In Ideas I, in particular, this is addressed as the “neutrality modification,” and defined as a universal modification of consciousness that permeates the phenomenological attitude. Neutralization, along with the method, is described by relying (...) on what Husserl calls the “language of neutrality,” which is actually spoken while investigating in the phenomenological attitude, enacted in the descriptions, and also discloses a series of rather peculiar acts that must be performed in order to obtain the phenomenological attitude. This paper discusses the phenomenological language of neutrality, first presenting what “neutrality” means, as well as illustrating the essential expressions of this peculiar language (such as “to put out of action,” “to bracket,” “to suspend,” and so on), then situating it in the context of phenomenological analyses, particularly as regards those devoted to phantasy experiences. Finally, going back to early interpretations of Husserl’s transcendental philosophy, notably the critical readings provided by Levinas and Fink, some key features of the method of epoché are pointed out, suggesting that the study of the specific neutrality involved in the latter can contribute to answering the question of what kind of act epoché is, and if it can even be considered an act at all. (shrink)

The Russian invasion of 2022 was based on an organized process of influence on the Ukrainian population, aimed at obtaining their support or neutralizing their possible resistance, in concert with the state apparatus. We find, in the backdrop of this process, the memorial conflict between these two countries and their neighbours, concerning World War II and the Soviet Union. This war of influence, or political warfare, which falls within new forms of contemporary hybrid warfare, profoundly has to do with images, (...) especially moving images. The cinematic images, the debauchery of their propaganda during the Second World War and throughout the existence of the USSR, still weighs on the bodies and minds; the new media has in many ways inherented them and their way of reenacting or extending propaganda on an individual or group scale. We will then question the place of images, and in particular those in motion, in the war between Russia and Ukraine since 2014 to describe the way in which they have served or still serve the military-memorial device deployed by the Russian invader. (shrink)

Merleau-Ponty has long been known as one of the most important philosophers of aesthetics, yet most discussions of his aesthetics focus on visual art. This book corrects that balance by turning to Merleau-Ponty's extensive engagement with literature. From Proust, Merleau-Ponty developed his conception of "sensible ideas," from Claudel, his conjoining of birth and knowledge as "co-naissance," from Valéry came "implex" or the "animal of words" and the "chiasma of two destinies." Literature also provokes the questions of expression, metaphor, and truth (...) and the meaning of a Merleau-Pontian poetics. The poetic of Merleau-Ponty is, the book argues, a poetic of the flesh, a poetic of mystery, and a poetic of the visible in its relation to the invisible. Ultimately, theoretical figures or "figuratives" that appear at the threshold between philosophy and literature enable the possibility of a new ontology. What is at stake is the very meaning of philosophy itself and its mode of expression. (shrink)

Merleau-Ponty has long been known as one of the most important philosophers of aesthetics, yet most discussions of his aesthetics focus on visual art. This book corrects that balance by turning to Merleau-Ponty's extensive engagement with literature.