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)

The time of half-sleep : Merleau-Ponty between Husserl and Proust -- Ad limina philosophiae : Merleau-Ponty and the "introduction" to Hegel's Phenomenology of spirit -- Nature : variations on the theme -- The thinking of the sensible.

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)

CHAPTER Structure and function In physical systems made by a large number of basic constituents one can observe collective properties which find their ...

S'inscrivant dans le sillage des travaux les plus récents sur l'histoire du cartésianisme, ce livre en retient d'abord l'idée que ce phénomène varie selon les contextes nationaux, mais qu'il est parfois possible de repérer des ressemblances qui outrepassent les frontières. Se confrontant à une pensée vivante qui se réfracte sous des aspects inattendus, les articles recueillis explorent des sujets qui se situent à l'intersection de plusieurs champs disciplinaires (théologie, physique, médecine, éthique, anthropologie, etc.). Les acquis principaux du cartésianisme dans le (...) domaine scientifique constituent toutefois la toile de fond historique et épistémologique sur laquelle s'élaborent les analyses des contributions de ce volume."--Page 4 of cover. (shrink)

We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.

Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that greatly complicate or even prevent their applicability in some important cases. For instance, most techniques assume that communication between honest principals is controlled by a Dolev-Yao intruder, i.e. a malicious agent capable to overhear, divert, and fake messages. Yet we might be interested in establishing the security of a protocol that relies on a less unsecure channel (e.g. a (...) confidential channel provided by some other protocol sitting lower in the protocol stack). In this paper we propose a general model for security protocols based on the set-rewriting formalism that, coupled with the use of LTL, allows for the specification of assumptions on principals and communication channels as well as of complex security properties that are normally not handled by state-of-the-art security protocol analysers. By using our approach we have been able to formalise all the assumptions required by the ASW protocol for optimistic fair exchange and some of its key security properties. Besides the previously reported attacks on the protocol, we report a new attack on a patched version of the protocol. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

The logical flow graphs of sequent calculus proofs might contain oriented cycles. For the predicate calculus the elimination of cycles might be non-elementary and this was shown in [Car96]. For the propositional calculus, we prove that if a proof of k lines contains n cycles then there exists an acyclic proof with O(k n+l ) lines. In particular, there is a polynomial time algorithm which eliminates cycles from a proof. These results are motivated by the search for general methods on (...) proving lower bounds on proof size and by the design of more efficient heuristic algorithms for proof search. (shrink)

Traces of Maurice Merleau-Ponty’s constant philosophical interest in cinema have been multiplying since the mid-1990s. These traces lead us to understand that such an interest was implicitly linked to the effort of ontologically rehabilitating the screen understood as the condition of possibility of our vision. Therefore I believe that the late Merleau-Ponty was trying to elaborate a conception of our way of seeing that can no longer be shaped on the representative window model, but rather on the screen model. In (...) this light, my aim is to develop, specify, and update Merleau-Ponty’s insights concerning the screen as a decisive element of our visual experiences. In such a perspective, it is no doubt very important to reflect on the modified spatio-temporality of desire at work in our present relations to screens. This is what I try to do in the second part of my paper. Indeed, concerning the way in which nowadays screens surround and accompany us at every turn, in which we live through them, we can state something similar to what Merleau-Ponty wrote about modern painting in Eye and Mind, that is to say that the novelty of that way of painting gave him “a feeling of mutation within the relations of man and Being.”. (shrink)

Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as (...) provability up to refutation of contextual conditions. (shrink)

Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology.

This book is a systematic analysis of John R. Searle’s philosophy of mind. Searle’s view of mind, as a set of subjective _and_ biologically embodied processes, can account for our being part of nature _qua_ mindful beings. This model finds support in neuroscience and offers reliable solutions to the problems of consciousness, mental causation, and the self.

One of the two central suggestions put forth in Longobardi (1991, 1994) was that Romance/English differences in the syntax of proper names were parametrically connected to supposed differences in the semantics of bare (plural and mass) common nouns (BNs). The present article will pursue this line of investigation, trying to make precise such meaning differences and to understand the reason for their apparently surprising parametric association with the syntax of proper names.It will be shown that in most Romance varieties BNs, (...) unlike their English counterparts, distribute their existential and generic readings across all different contexts exactly like (Romance and English) overt indefinites. All the differences will be unified under the proposal that Romance BNs are nothing but a type of indefinites (variables, existentially or generically bound) in Kamp-Heim’s DRT sense, while English BNs are rather systematically ambiguous between this quantificational interpretation and a referential (i.e. directly kind-denoting, much in the spirit of Carlson 1977a, b) one, providing for another type of generic reading.The analysis will therefore crucially exploit and empirically support Gerstner and Krifka’s (1987) distinction between referential and quantificational genericity. On such grounds we will finally gain a conceptual understanding of the typological implication originally established in Longobardi (1991, 1994), thus confirming that the strategies of interpretation of nominals, whether proper or common nouns, are basically one and the same, though differently parametrized in different languages. This result, in turn, will shed some light on the question whether comparative semantics is possible and whether it can be singled out as a legitimate independent component of parametric theories of grammatical variation. (shrink)

This paper supports the thesis that nihilistic interpretations of Madhyamaka philosophy derive from generally antirealistic and/or metaphysical approaches to Nāgārjuna’s thought. However, the arguments and many images by way of which the author of the Mūlamadhyamakakārikā and his Indian commentators defend themselves from the charge of nihilism show limits in these approaches, and rather confirm that Nāgārjuna’s philosophy should be read as a theoretical proposal that is at once realistic and antimetaphysical. The epistemology inherent to the soteriological dimension of the (...) Buddha’s teaching, of which Nāgārjuna presents himself as a faithful continuer, assesses on the one hand the accomplishment of a ‘cognitive revolution’ consisting in the achievement of a new vision of reality and on the other the avoidance of any metaphysical description of the same vision. Comprehension of the Madhyamaka philosophical enterprise through a realistic-antimetaphysical lens seems to hinder and prevent the possibility of any nihilistic interpretation of Nāgārjuna. (shrink)

Some time ago I advanced on the pages of this journal a critique of the interpretation given by Jay L. Garfield and Mark Siderits (hereafter GS) of Nāgārjuna’s doctrine of the two truths (Ferraro, J Indian Philos 41(2):195–219, 2013.1); to my article the two authors responded with a ‘defense of the semantic interpretation’ of the Madhyamaka doctrine of emptiness (GS, J Indian Philos 41(6):655–664, 2013). Their reply, however, could not consider my personal understanding of Nāgārjuna’s notions of śūnyatā and dve (...) satye. My interpretation of these notions was in fact absent in the paper GS responded, and was only related in a second paper of mine (Ferraro, J Indian Philos 41(5):563–590, 2013.2), still unpublished at the time of GS’s drafting of their ‘defense’. Therefore, in the present rejoinder, I found it appropriate, rather than responding point by point to the passages of GS’s reply, to advance a comparison between the semantic interpretation and my ‘realist antimetaphysical’ understanding of Nāgārjuna’s thought. (shrink)

This chapter introduces the topics investigated in this book and it frames them in a broader historical and philosophical analysis of programming and computing technology.

No paradox exists in the fact that, in the Special Relativity, for the mass of a material body, considered in motion at constant speed, whose measure is u, the formula: m = m0/√ can be written, while for a photon the same formula holds, when between its source and the observer a state of relative motion at constant speed, whose measure is u, exists and it is observed along the direction perpendicular to the direction of his speed.

In the first part of this paper I critically examine some of the main interpretations of “classical” Yogācāra philosophy of Maitreya, Asaṅga and Vasubandhu. Among these interpretations, based on extant textual and contextual data, I consider philologically unlikely both metaphysical-idealistic readings, which ascribe to these authors the view that ultimate reality is a mental or subjective stuff, and epistemological-idealistic readings which advocate that either Yogācāra suspends judgment on the existence of the extramental or that it maintains that the extramental exists (...) in itself and ultimately. Instead, I consider more likely the thesis that classical Yogācāra upholds an epistemological idealism that, while admitting epistemological priority of the mental over the extramental, rules out the ultimate existence of both the former and the latter. This exclusion, however, does not amount to the exclusion of every metaphysics, but rather to the adoption of a metaphysics of emptiness conceived, in fact, as absence of the mental/extramental dichotomy. In the second part of the paper this reading of classical Yogācāra is compared with the interpretation of Nāgārjuna’s philosophy that I elsewhere called “realistic antimetaphysical”, and I reach the conclusion that, while with respect to epistemology between early Madhyamaka and classical Yogācāra there is continuity, regarding metaphysics these two schools are deeply distinct and discontinuous: while Nāgārjuna conceives of emptiness as an extinction of any metaphysical view, Yogācāra emptiness actually presents itself as a metaphysical point of view. (shrink)

Dieses Handbuch bietet einen verlässlichen, systematischen und umfassenden Zugang einerseits zu Leben und Werk Karl Poppers, andererseits zur breiten Wirkung des Philosophen in Wissenschaft, Politik und Gesellschaft.

Even more than for other treatments, great importance must be given to informed consent in the case of electroconvulsive therapy. In a percentage of cases, the symbolic connotation of the treatment, even if mostly and intrinsically negative, may actually be a determining factor in the patient’s motives for giving consent. On an ethical and medicolegal level, the most critical point is that concerning consent to the treatment by a psychotic subject with a severely compromised ability to comprehend the nature and (...) objective of the proposed therapy, but who nonetheless expresses his consent, for reasons derived from delusional thoughts. In fact, this situation necessarily brings to light the contradiction between an explicit expression of consent, a necessary formality for the commencement of therapy, and the validity of this consent, which may be severely compromised due to the patient’s inability to comprehend reality and therefore to accept the proposal of treatment, which is intrinsic to this reality. With the use of an electric current, the symbolic experience associated with anaesthesia, and the connection to convulsions, ECT enters the collective consciousness. In relation to this, ECT is symbolic of these three factors and hooks on to the thoughts, fears, feelings and expectations of delusional patients. These are often exemplified in the violent intervention of the persecutor in the patient with schizophrenia, the expected punishment for the ’error’ committed for which the depressed patient blames himself and the social repression of the maniacal patient’s affirmation of his inflated self-esteem. (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)

En este artículo se propone una lectura de las obras de Giambattista Vico y Eric Voegelin, cuyo objetivo es evidenciar importantes puntos de contacto entre ellas, en particular en lo que se refiere a su acercamiento al tema del fundacionalismo. Para ambos autores la trascendencia del significado últ..