La storia della nascita, utilizzo e declino delle notazioni scientifiche costituisce un’area di indagine importante che può aiutare le nostre analisi del pensiero scientifico e la sua evoluzione. […] this history constitutes a mirror of past and present conditions in mathematics which can be made to bear on the notational problems now confronting mathematics. The successes and failures of the past will contribute to a more speedy solutions of the notational problems of the present times.Questa storia, ovviamente, coinvolge anche le (...) notazioni della logica. Il presente contributo intende proporre un nuovo insieme di simboli per una particolare teoria logica: la Mereologia Formale, in considerazione del fatto che questa teoria, pur avendo avuto trattazioni sistematiche, non ha allo stato attuale ancora raggiunto un sistema di notazioni condiviso dagli studiosi. Tale stato dell’arte è espressione, da un lato, di un legame della teoria al suo nascere con la notazione polacca, e del suo confronto con la Teoria Assiomatica degli Insiemi; dall’altro, del fatto che essa ha ricevuto solo in tempi recenti sistematiche applicazioni alle scienze.94 In tale prospettiva ho ritenuto necessario definire in primo luogo dei criteri attraverso cui procedere alla costruzione del sistema di simboli. Criteri desunti in parte dalla storia delle notazioni scientifiche nella loro evoluzione, in parte dalla pratica personale nell’uso di strumenti formali. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...) crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...) entrambi scritti insieme a R. Casati per MIT Press; Il mondo messo a fuoco, Laterza; e il suo libro più recente: Le tribolazioni del filosofare, con C. Calosi, per Laterza. -/- Da una giornata all’Università di Urbino nasce questa conversazione a molte voci sulla e con la filosofia di Achille C. Varzi. In un dialogo critico al quale l’Autore si presta con generosità e onestà intellettuale, Andrea Borghini, Francesco Calemi, Claudio Calosi, Elena Casetta, Valeria Giardino, Pierluigi Graziani, Patrizia Pedrini, Daniele Santoro e Giuliano Torrengo lo interrogano e mettono alla prova sui temi affrontati, nel corso degli anni, in campi diversi. Il risultato è un percorso che si snoda attraverso molti mondi, dalla logica alla metafisica, dalla filosofia del linguaggio alla filosofia della matematica, dalla mereologia alla filosofia del tempo, spingendosi in qualche caso oltre i confini del saggio filosofico. (shrink)

The enormous increasing of connections between people and the noteworthy enlargement of domains and methods in sciences have augmented extraordinarily the cardinality of the set of meaningful human symbols. We know that complexity is always on the way to become complication, i.e. a non-tractable topic. For this reason scholars engage themselves more and more in attempting to tame plurality and chaos. In this book distinguished scientists, philosophers and historians of science reflect on the topic from a multidisciplinary point of view. (...) Is it possible to dominate complexity through reductionism? Are there other conceptual instruments useful to take account of complexity? What is complexity in biology, mathematics, physics and philosophy of mind? These are some of the questions which are faced in this volume. (shrink)

Temporal ontology is the philosophical debate on the existence of the past and the future. It features a three-way confrontation between supporters of presentism (the present exists, the past and the future do not), pastism (the past and the present exist, the future does not), and eternalism (the past, the present, and the future all exist). Most philosophers engaged in this debate believe that presentism is much more in agreement with common sense than the rival views; moreover, most of them (...) believe that being in agreement with common sense is epistemically valuable for a philosophical view. We studied experimentally non-experts’ ideas pertaining to the domain of temporal ontology, i.e., as we called it, common-sense temporal ontology, focusing on the Italian population. We found that a non-overwhelming majority of participants (~64%) favoured presentism, while two significant minorities favoured pastism (~19%) and eternalism (~17%). We think that our findings provide some support, albeit weaker than expected, for the view that presentism is more in agreement with common sense than the rival positions. (shrink)

The Dead Past Growing Block theory of time—DPGB-theory—is the metaphysical view that the past and the present tenselessly exist, whereas the future does not, and that only the present hosts mentality, whereas the past lacks it and is, in this sense, dead. One main reason in favour of this view is that it is immune to the now-now objection or epistemic objection (which aims at undermining the certainty, within an A-theoretical universe, of being currently experiencing the objective present time). In (...) this paper, I examine the additional arguments offered by P. Forrest and G. A. Forbes to back the DPGB-theory and show that they do not work. I also examine a proposal to rescue the DPGB-theory suggested by an anonymous reviewer for this journal and argue that it does not work either. Moreover, in line with D. Braddon-Mitchell and against Forbes, I argue that the DPGB-theory is indeed committed to the existence of zombies in the past. Being ad hoc and burdened by a very odd and counterintuitive ontological commitment, the DPGB-theory turns out to be rather unpalatable. (shrink)

Presentism is, roughly, the ontological view that only the present exists. Among the philosophers engaged in the metaphysics of time there is wide agreement that presentism is intuitive (or commonsensical) and that its intuitiveness counts as evidence in its favour. My contribution has two purposes: first, defending the view that presentism is intuitive from some recent criticisms; second, putting forth a genealogical (or debunking) argument aimed at depriving presentism’s intuitiveness of the evidential value commonly granted to it.

In a series of recent papers Francesco Orilia has presented an argument for the moral desirability of presentism. It goes, in brief, as follows: since the existence of painful events is morally undesirable, presentism, which denies that past painful events (tenselessly) exist, is morally more desirable than non-presentism, which instead affirms that past painful events (tenselessly) exist. An objection against this argument, which has already been taken into consideration by Orilia, is the ugly history objection or radical objection: what really (...) matters in the moral appraisal of a world is the history of it, and since the presentist and the non-presentist versions of our world share the same ugly history, they are morally on a par. This paper aims at corroborating this objection and defending it from Orilia’s criticisms. This will be done by bringing into play various thought experiments and a distinction between relevance (of an event or a fact about the occurrence of an event) to the moral evaluation of a world and moral (and psychological) involvement (in an event or in a fact about the occurrence of an event). (shrink)

In filosofia spesso si segue un metodo stando al quale una tesi o teoria che sia più in sintonia con il senso comune deve essere preferita alle posizioni meno in sintonia con esso, per lo meno fino a quando non si mostri che quella tesi o teoria è inadeguata e che una delle posizioni avverse costituisce un adeguato sostituto. Nel presente contributo si vuole offrire una caratterizzazione della nozione di senso comune generalmente in uso nei dibattiti filosofici contemporanei; illustrare criticamente (...) i principali metodi impiegabili per determinare contenuti filosoficamente rilevanti del senso comune; chiarire e giustificare il metodo filosofico dell'appello al senso comune; presentare, d'altro canto, alcune delle strategie argomentative attuabili da chi si trovi a sostenere una tesi o teoria contrastante con il senso comune. (shrink)

Presentism is the view that only present temporal entities (tenselessly) exist. A widely-discussed problem for presentism concerns causation and, more specifically, the supposed cross-temporally relational character of it. I think that the best reply to this problem can already be found in the literature on temporal ontology: it consists, roughly, in showing that (at least) some of the main approaches to causation can be rephrased so as to avoid commitment to any cross-temporal relation, including the causal relation itself. The main (...) purpose of this paper is to extend this reply to the process view, an approach to causation that has not been considered within this debate until now. I shall do this by taking into account Dowe’s conserved quantity theory—a recent and prominent theory of this sort— and employing it as a proxy for the other major process theories of causation. In dealing with Dowe’s process theory of causation, however, two additional problems must be faced: one concerns the four-dimensional spacetime framework on which its formulation relies; the other concerns the very notion of causal process (and the companion notion of causal interaction). While the presentistic account of Dowe’s theory (and, virtually, of the process view of causation in general) put forth in this paper is intended primarily as a contribution to the mentioned paraphrase- based enterprise of reconciliation between presentism and causation, I shall also offer some reasons for presentists to prefer the process view of causation to the other views of causation that have already been reconciled with presentism. (shrink)

L'ontologia temporale è la riflessione sullo statuto ontologico delle entità meramente passate o future. In questo contributo intendo chiarire il significato di questa questione, presentare le principali opzioni teoriche che si delineano rispetto ad essa e, concentrandomi sulle due principali teorie contendenti, B-eternismo e presentismo, illustrare gli argomenti più rilevanti formulati a favore dell'una e dell'altra.

A discussion of the origin of the term individualism and its different implications, in ethics and politics, the methodology of the social sciences, and social ontology.

New algorithms for the numerical solution of Ordinary Differential Equations (ODEs) with initial condition are proposed. They are designed for work on a new kind of a supercomputer – the Infinity Computer, – that is able to deal numerically with finite, infinite and infinitesimal numbers. Due to this fact, the Infinity Computer allows one to calculate the exact derivatives of functions using infinitesimal values of the stepsize. As a consequence, the new methods described in this paper are able to work (...) with the exact values of the derivatives, instead of their approximations. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines (...) really local? - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

An overview of the way I picture the amorphous world we live in, built around my comments and responses to nine festschrift essays by A. Borghini (on the Fedro metaphor and the art of butchery), F. Calemi (on the predication principle and metalinguistic nominalism), C. Calosi (on the argument from mereological universalism to extensonality), E. Casetta (on the role of “monsters” in the realism/antirealism debate), V. Giardino (on inductive reasoning, spatial representation, and problem solving), P. Graziani (on mereological notation), (...) P. Pedrini (on the distinction between natural and artificial boundaries), D. Santoro (on causation by omission), and G. Torrengo (on absolute vs. relational space and the problem of incongruent counterparts). (shrink)

The present article is published in Proche-Orient Chrétien, N.66, VOL.3-4, JAN. 2017, USJ: Beirut, pp. 425-430. It is a philosophical review of Philippe Capelle-Dumont and Yannick Courtel book “Religion et Liberté” that fetches the records of the First International Symposium of the Francophone Society of Philosophy of Religion about the two concepts Religion and Freedom. On one hand, religion has always been considered as a pole of practices and references contrary to freedom declining a dependence on a "binding doctrine"; on (...) the other hand, religion has undergone several political representations in the many spaces of cultural, social and international life which is urgent to re-examine. The article proposes a synthesis of the conferences of Philippe Capelle-Dumont, Jean-Luc Marion, Jean Greisch, Joseph O’Leary, François Chenet, Souleymane Bachir Diagne, Francis Jacques, Pierluigi Valenza, Danielle Cohen-Levinas, Yannick Courtel and Jean Grondin who concludes with the “freedom to philosophize about religion”. (shrink)