The rapid dynamics of COVID-19 calls for quick and effective tracking of virus transmission chains and early detection of outbreaks, especially in the “phase 2” of the pandemic, when lockdown and other restriction measures are progressively withdrawn, in order to avoid or minimize contagion resurgence. For this purpose, contact-tracing apps are being proposed for large scale adoption by many countries. A centralized approach, where data sensed by the app are all sent to a nation-wide server, raises concerns about citizens’ privacy (...) and needlessly strong digital surveillance, thus alerting us to the need to minimize personal data collection and avoiding location tracking. We advocate the conceptual advantage of a decentralized approach, where both contact and location data are collected exclusively in individual citizens’ “personal data stores”, to be shared separately and selectively, voluntarily, only when the citizen has tested positive for COVID-19, and with a privacy preserving level of granularity. This approach better protects the personal sphere of citizens and affords multiple benefits: it allows for detailed information gathering for infected people in a privacy-preserving fashion; and, in turn this enables both contact tracing, and, the early detection of outbreak hotspots on more finely-granulated geographic scale. The decentralized approach is also scalable to large populations, in that only the data of positive patients need be handled at a central level. Our recommendation is two-fold. First to extend existing decentralized architectures with a light touch, in order to manage the collection of location data locally on the device, and allow the user to share spatio-temporal aggregates—if and when they want and for specific aims—with health authorities, for instance. Second, we favour a longer-term pursuit of realizing a Personal Data Store vision, giving users the opportunity to contribute to collective good in the measure they want, enhancing self-awareness, and cultivating collective efforts for rebuilding society. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

@font-face { font-family: "Times New Roman"; }p.MsoNormal, li.MsoNormal, div.MsoNormal { margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman"; }table.MsoNormalTable { font-size: 10pt; font-family: "Times New Roman"; }div.Section1 { page: Section1; } Questo libro offre una lettura di Marx che tratta sia l’origine filosofica del suo pensiero economico che ll’esame approfondito della storiografia scientifica prodottasi in vari periodi. Le principali difficoltà che si incontrano oggi nello studio di Marx e del marxismo sono quelle di trovarsi ben oltre la sua (...) crisi, già manifestatasi da più di venticinque-trenta anni a questa parte, dopo una di dissoluzione e di smantellamento dei “classici” originato dall’azione di una generazione di intellettuali e dirigenti politici socialisti e comunisti che hanno fondamentali principi ispiratori. (shrink)

Il testo vuole testimoniare della piena partecipazione delle scienze sociali alla storia delle scienze, in un quadro di sviluppo che prevede la ricezione in Europa della riforma della filosofia naturale attuata da Francesco Bacone nel XVII secolo e recepita nel principio dell’induzione da Auguste Comte in Francia e da Herbert Spencer in Inghilterra. I temi della fondazione delle scienze sono quindi al centro dell’opera di ricostruzione di eventi cruciali. L’investigazione della natura e del mondo empirico da parte dell’uomo sociale si (...) svolge attraverso i secoli nei modi prescritti dalla filosofia naturale, laddove la tradizione antica e medioevale lasciava irrisolti alcuni problemi di tipo finalistico e vitalistico. Nel Cinquecento e soprattutto nel Seicento assistiamo ad una certa ripresa di tematiche suscitate dall’atomismo e dal meccanicismo in concomitanza del declino della fisica aristotelica. Nel secolo di Cartesio, che rifiutava l’atomismo, la ricerca di una teoria della materia dominò la scena nonché quella del movimento rettilineo uniforme che determinava lo stato di quiete dei corpi, come si nota nei Principia philosophiae del 1644 (pubblicati in francese nel 1647). Il principio che la conoscenza derivasse soltanto dall’interpretazione e dal commento dei testi antichi, sotto una certa forma di principium potestatibus, fu gradualmente sostituito da una filosofia della storia del progresso incarnata nell’ambito della conoscenza scientifica dal metodo sperimentale. La Rivoluzione scientifica culminò con l’applicazione di questa metodologia nella filosofia naturale, nelle scienze della vita (biologia, anatomia, zoologia, botanica), nella medicina e nella chimica, nella fisica (ottica, magnetismo, termologia, elettricità) nonché nella scoperte di William Harvey sulla pressione del sangue, di Evangelista Torricelli sulla pressione dell’atmosfera, Francesco Redi sui corpi viventi e Isaac Newton sulla natura della luce. In particolare, Newton seppe sintetizzare la tradizione dell’empirismo inglese, che va da Ruggero Bacone e Guglielmo di Ockham a John Locke, suo contemporaneo. Il contesto di sviluppo delle idee illuministiche e del positivismo in Francia segnò l’evolversi in Occidente della riflessione più matura sulle scienze e sulle scienze sociali nei vari contesti storico-concreti dove la filosofia naturale poté essere interpretata alla luce di nuove scoperte, le quali dovevano segnare, a loro volta, il momento incisivo di una azione progressiva dell’uomo condotta sulla natura stessa e, in modo tale da fare risaltare, infine, il passaggio al mondo della cultura del progresso. Come è noto, l’idea del progresso sta alla base di tante teorizzazioni della società a partire dal XVIII secolo. Per questo, basterà anche ricordare ciò che Kant pensasse dell’ Illuminismo quando affermava: “L’illuminismo è l’uscita dell’uomo dallo stato di minorità che egli deve imputare a se stesso. Minorità è l’incapacità di servirsi del proprio intelletto senza la guida di un altro. Questa minorità è imputabile a se stesso, se la causa non dipende dalla mancanza di intelligenza ma da mancanza di decisione e del coraggio di far uso del proprio intelletto senza essere guidati da un altro. Sapere aude! Abbi il coraggio di servirti della tua propria intelligenza. È questo il motto dell’illuminismo.” La stessa identificazione data da Auguste Comte nel suo Cours all’uso del termine ‘positivo’ cercava di spiegare come si potesse “considerare tutti i fenomeni come assoggettati a leggi naturali ed invariabili, la scoperta e la riduzione al minor numero possibile delle quali è il fine di tutti i nostri sforzi, considerando inoltre come assolutamente inaccessibile e vuota di senso la ricerca di quelle che si chiamano cause, sia cause prime che quelle finali” (Cours de philosophie positive, I). Al cospetto del nuovo modo di pensare e di operare i temi fondanti dell’intervento umano sulla natura circolavano in concomitanza della diffusione dei saperi scientifici, di quei saperi che si erano manifestati quindi in forma di pratiche illuministiche, cioè di un insieme di ragioni teoriche e pratiche poste in relazione tra loro a beneficio del mondo sociale circostante. Gradualmente anche il tema della rappresentazione dei fenomeni della vita si rapporta allo sviluppo della nuova filosofia naturale, tenendo conto del fatto che le scienze raggiungono uno stadio positivo nonché astratto e concreto (v. Herbert Spencer, The Classification of the Sciences). Ciò sarebbe sufficiente per spiegare il nesso esistente tra le scienze e i fenomeni vitali organici, cioè quel collegamento tra lo sviluppo filosofico e scientifico e il progresso dell’ambiente natura-le e sociale. (shrink)

This work aims to foster interest in the links between a particular theoretical and conceptual development of sociological science in Italy and the debate surrounding the history of scientific subjects, here called the epistemological history of various disciplines. The author sets out to trace the points of view emerging from Italian epistemological sociology between the early twentieth and twenty-first centuries and related to the debate on the historical and philosophical sciences. The intention resides in revealing the distinctive characteristics of the (...) latter, their internal (logical and methodological) rather than external (historical and social) factors, while investigating the task of the new historians of science confronted with the changes caused by various knowledge and forms of technological know-how. The text provides the contemporary scientific community with a new route to follow when seeking to rationally establish and write the history of sociology. The addressees are, more than anything else, the new generation of scholars of the history of science. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

L'opera sviluppa una riflessione politico-simbolica sul rapporto identità-alterità per rintracciare le valenze, che favoriscono il riconoscimento dell'incontro, al di là del possibile scontro alternativo escludente. Due i simboli politici esaminati, Prometeo e Cristo, che danno di che pensare, sollecitando a ri-pensare, il rapporto con l'altro. Aut aut: da una parte la croce di Cristo che simbolicamente, con i suoi bracci che si intersecano l'uno attraverso l'altro, rappresenta l'apertura della dimensione immanente, nella sua orizzontalità, a quella trascendente, nella sua verticalità, ossia (...) la tensione al supra e al prius quale esigenza di progresso ascensionale di ricerca del massimo bene umano; dall'altra la rupe di Prometeo, espressione dell'attaccamento ctonico al piano immanente, che, se assolutizzato, opprime e mortifica l'essere incatenandolo e affossandolo. Con un'originale apertura della politica alla pedagogia, l'autrice affronta la questione cruciale del la libertà che, intesa come liberazione responsabile dall'insignificanza all'infinito, richiede di essere educata per rendere concretamente possibile il progetto di una convivenza più autenticamente umana. (shrink)

We construct an explicit covariant Majorana formulation of Maxwell electromagnetism which does not make use of vector 4-potential. This allows us to write a “Dirac” equation for the photon containing all the known properties of it. In particular, the spin and (intrinsic) boost matrices are derived and the helicity properties of the photon are studied.

Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the first-order quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of non-standard interpretations that confronts higher-order logics on their more traditional, set-based semantics. We challenge both claims. Our challenge is based on a Henkin-style semantics for plural logic (...) that does not resort to sets or set-like objects to interpret plural variables, but adopts the view that a plural variable has many objects as its values. Using this semantics, we also articulate a generalized notion of ontological commitment which enables us to develop some ideas of earlier critics of the alleged ontological innocence of plural logic. (shrink)

This paper presents a case study of the “electric hypothesis” of the causes of earthquakes, which emerged in the second half of the eighteenth century as part of the first studies of seismology. This hypothesis was related to Franklin’s views on atmospheric electricity and developed in a period when electric phenomena were widely studied, and was essentially based on solid empirical evidence and confirmed by model experiments. Even though it resulted from scientific reasoning, the theory remained strongly empirical, and was (...) supported by Italian scholars who were familiar with seismic events. Among these, Giuseppe Saverio Poli, a follower of Franklin, was able to provide a careful and comprehensive explanation of the disastrous earthquake of 1783, which occurred in Calabria, a region of southern Italy, and the St. Anne earthquake of 1805, by drawing not just upon the electric evidence, but all the relevant phenomenology available. We outline here the emergence, the development, and the later evolution (up to the beginning of the nineteenth century) of the “electric earthquake” paradigm by focusing on different works by Poli, including a previously unknown manuscript containing a thorough account of the Calabria earthquake prepared by the Neapolitan scholar for the Royal Society. The present case study therefore offers the opportunity to illustrate how electrical science shaped earthquake science to a degree not usually appreciated in the literature, and is also supported to some extent by the transition from Enlightenment scientific ideals to the Romantic conception of unity in the natural world, in search of common causes among phenomena belonging to different fields. (shrink)

This biography sheds new light on the life and work of physicist Ettore Majorana (including unpublished contributions), as well as on his mysterious disappearance in March 1938. Majorana is held by many, including Nobel Laureate, Enrico Fermi, to have been a genius of the rank of Galilei and Newton. In this intriguing story, the author, himself a leading expert on the work of Majorana, supplements the existing literature with new insights, anecdotes and personal accounts of contemporaries of Majorana.

Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.