Composta attorno al 1065-1067, la lettera "Sull’onnipotenza divina" di Pier Damiani si apre con una questione posta da Desiderio, abate di Montecassino: «Sebbene Dio possa ogni cosa, non può restituire la verginità a colei che l’ha perduta. Egli ha certamente il potere di liberarla dalla pena, ma non può ridarle la corona della verginità che ha perduto». Il problema, che Pier Damiani riprendeva dalla lettera XXII di san Gerolamo, è solo in apparenza ozioso: il monaco ravennate ne fa un’autentica questione (...) filosofica, un “esperimento mentale” che solleva domande cruciali sulla natura del tempo e sul rapporto tra necessità e contingenza, leggi divine e princìpi logici, natura divina e natura umana. Il volume, a cura di Roberto Limonta, presenta la traduzione del De divina omnipotentia con note e testo latino a fronte. La prefazione di Mariateresa Fumagalli Beonio Brocchieri e il saggio introduttivo di Roberto Limonta ricostruiscono la lunga durata della questione posta da Pier Damiani, dai dibattiti teologici dei secoli medievali sino alle sue fortune nella filosofia, teologia e letteratura contemporanea. (shrink)

This chapter analyses the monastic way of philosophizing in the monasteries of the High Middle Ages.

La storia di un’idea che ha attraversato i secoli, dal mondo pagano e poi cristiano fino alle soglie dell’età contemporanea, passando per il lungo millennio medievale: l’intelligenza del diavolo, che si manifesta nella preveggenza e in capacità cognitive fuori dal comune. Ma qual è la natura di questo potere? Com’è possibile che Lucifero, principe degli angeli e sommamente sapiente, abbia peccato? E ciò significa che l’intelligenza è intrinsecamente demoniaca? Conoscenza e bontà possono convivere, e si può essere al contempo intelligenti (...) e malvagi, o addirittura malvagi perché intelligenti? Tutti interrogativi che si raccolgono attorno alla figura teologica del diavolo e al suo “scandaloso” potere cognitivo. Una questione che si muove tra filosofia, teologia, letteratura, scienza e mito, tessendo le fila di una storia intellettuale che vede spesso come protagonisti autori e testi poco noti, ma capaci di raccogliere il testimone di auctoritas come Agostino d’Ippona e Anselmo d’Aosta, Dante e Tommaso d’Aquino, Cartesio e Voltaire. (shrink)

Il Tractatus de praedestinatione et de praescientia Dei respectu futurorum contingentium, composto da Guglielmo di Ockham tra il 1321 e il 1324, costituisce uno snodo cruciale nelle discussioni medievali sul tema del fatalismo teologico e sulle questioni che vi sono implicate, come la conoscenza dei futuri contingenti e il compatibilismo tra prescienza divina e libero arbitrio. Raccogliendo e ripensando fonti di diversa provenienza, Roberto Grossatesta e Pietro Lombardo in primis, il Venerabilis inceptor sposta il problema sul piano epistemologico e (...) linguistico, affrontandolo dal punto di vista di un’analisi proposizionale degli enunciati che parlano dei contingenti futuri. In questo modo egli affida agli strumenti dell’argomentazione logica e dell’indagine semantica il compito di sciogliere le implicazioni teologiche della questione, in una teoria che garantisca al contempo la prescienza di Dio e la libera volontà umana. Il principio della soluzione ockhamiana, che costituirà un punto di riferimento – pro o contro – nei dibattiti teologici del XIV secolo, consiste nell’intreccio tra analisi proposizionale e logica fidei, in nome di una soluzione pragmatica del dilemma compatibilista: come mostra il caso esemplare della profezia, gli enunciati della scienza divina costituiscono i postulati di una logica della credenza che poi procede da quelle premesse, attraverso una catena argomentativa, a formulare i precetti che guideranno i passi del cristiano nel mondo. Il volume rende disponibile per la prima volta al lettore non soltanto la prima traduzione in italiano del Tractatus, ma anche un ricco apparato di testi (le distinctiones 38, 39 e 40 dell’Ordinatio, i capitoli 7 e 27 della Summa Logicae, la quaestio IV.4 dei Quodlibeta, le Quaestiones in Libros Physicorum 41 e 44, il prologo della Expositio in libros Physicorum e un estratto dalla Expositio in Librum Perihermeneias Aristotelis) che consente di ricostruire in modo coerente una teoria ockhamiana della contingenza e di gettare luce su una nuova interpretazione del pensiero del teologo e filosofo inglese. (shrink)

Beginning in the 1990s, the medieval historiography has devoted increasing attention to the presence of thought experiments in the medieval philosophical sources. Following the line drawn by King, Perler, Grellard and Marenbon studies, this paper aims to use the concept of thought experiment as an historiographical category to explore the issues of Peter Damian’s dilemma, in the chapter I of De divina omnipotentia, about the capacity of the divine power to restore the virginity of a maiden who has lost it. (...) In this perspective, the case of the virgin appears as a counterfactual scenario, that makes us understand how the question is not metaphysical but fundamentally epistemological. Peter Damian is not discussing about possible boundaries of God’s nature: he is rather arguing about the inability of the dialectic arguments to explain the omnipotence, in an attempt to define the cognitive and linguistic modes under which the human intellect could comprehend the virgin’s dilemma. The crucial step is the shift from possibilitas – intended as a statistical approach to the possible as “potential” – to potentia as a metaphysical attribute, regardless of her actualization: in this way, Peter Damian lifts the question up from the level of the human will, which often fails to grasp his objects, to the divine form of the will, which unfailingly achieves his objectives. (shrink)

Peter Damian’s letter 119 De divina omnipotentia is characterized by two main issues: the dilemma about the God’s capacity to restore virginity to a woman and the question about the possibility of undoing the past. Despite the interweaving between these topics, they have to be distinguished in several respects. Aim of the paper will be, firstly, to isolate the two questions, starting with their textual loci; secondly, to focus on the dilemma about the divine capacity to undoing the past, showing (...) that the key of Peter Damian’s argument is the concept of eternity as an epistemic principle, that allows him to define the omnipotence, in the case of the action on temporal necessity, as a sort of second level property of God; finally, to compare the Damian’s solution with some contemporary theories, developed during the debate on omnipotence in the second half of the 20th century, in order to find continuity and discontinuity factors that can help to better understand the coherence and effectiveness of medieval and contemporary arguments. (shrink)

This chapter analyses the monastic ways of philosophizing in the High Middle Ages.

The topics of language and dialectic argumentation have a pivotal role in Anselm’s thought. They constitute the theoretical context in which we proceeded with a semantic analysis of the term paupertas; it should be understood under a thought where logical-linguistic terms (appellatio, cogitatio vocum e rerum, significatio) are related to ethical and social principles as monastic silence and rectitudo, in particular. Indeed, Anselmian idea of poverty moves on the ridge between the paupertas as penuria nominum, typical of the human language (...) merely capable of producing voces for the usus loquendi, and the Divine Word (Verbum), a “poor” word, where “poor” means unique, simple, pure and real. The Verbum will be, at the same time, a linguistic and ethical model for the human language to avoid the multiloquium and to properly connect words and things. Reduced to a line that directly moves from the word to his corresponding thing, the linguistic signification thins all his redundant references and becomes right, that is simple. This kind of language aims at the monastic silence of chapter six of the Regula Sancti Benedicti as his higher and very true form. So, the paupertas has to be intended, in the Anselmian philosophy of language, as a value against the mundane poverty of spirit, in the broader context of the Salvation of the soul’s economy. (shrink)

In opposition to the mainstream of a contemporary thought dened as individualist and critical against the traditional values of Western Civilization, on one side,and to the reactionary recovery of a fake image of the Middle Ages, on the otherside, some authors of the early twentieth century belonging to the German lan- guage area found in the monastic spirituality and the medieval theological tra-ditions the source for thinking a new kind of society. Aim of this paper is, there- fore, to focus (...) authors like Paul Landsberg, Hugo Ball, Martin Heidegger, RomanoGuardini, to show the crucial role of this philosophical tradition and his topics inthe discussions about a reformation of the contemporary society and a rethinkingof some principles of the Western Civilization. (shrink)

L’Exercitium academicum circa praescientiam daemonum (1666), pubblicato nella riformata Jena, tematizza una questione dibattuta nella Scolastica fra XIII e XIV secolo ma le cui radici risalgono ad Agostino d'Ippona, cui si deve il primo testo sull'argomento: la prescienza dei demoni. L'analisi segue la traccia del De divinatione daemonum agostiniano, mentre appare critica nei confronti delle posizioni di Tommaso d'Aquino e dei tomisti. Ad esse, in particolare riguardo alla natura delle facoltà intellettive demoniche, egli contrappone Giovanni Duns Scoto, Durando di san (...) Porziano e non meglio specificati nominales, accomunati in un indistinto riferimento alla teoria delle species. Ciò non toglie che il testo segua poi Tommaso nell'articolazione delle forme di prescienza dei demoni e nella definizione di questa come conoscenza congetturale. Scopo del nostro intervento sarà infatti mostrare, attraverso l'analisi che per la prima volta sarà condotta sul testo, lo spaccato di una comunità conversazionale nella quale le linee di forza e le distinzioni che animano il dibattito si mostrano autonome rispetto alle posizioni storiche di cattolici e riformati. Nell’Exercitium, Duns Scoto è contrapposto ai tomisti e, con Agostino e Durando di san Porziano – che costituisce una fonte comune del dibattito secentesco insieme a Bonaventura, Aureolo, Suarez, Vazquez, Gregorio di Valencia, e in tale veste sarà ripreso di lì a poco da Leibniz -, è cooptato tra gli autori a sostegno della sua tesi. Lungi dall'essere un esercizio di eclettismo o la stanca ripetizione di formule scolastiche, lo scritto getta luce su un dibattito universitario nel quale le fonti sono usate non come auctoritates ma quale repertorio di teorie da smontare e rimontare; ad esse l’Exercitium attinge per soluzioni che si definiscono in relazione a finalità filosofiche o dottrinali, ma non politiche né confessionali. (shrink)

È possibile ammettere, pensare e addirittura verificare che una cosa che sia accaduta nel passato possa non essere più accaduta in un momento presente? Ad esempio, si può, oggi, fare in modo che Roma non sia mai stata fondata? Come è possibile mutare la regolare causalità degli accadimenti di quel passato – il nostro e quello degli uomini che ci hanno preceduti – che sembra essere fondato sui vincoli di una strettissima necessità? E che dire quando questo sconvolgimento dell’ordine del (...) mondo arriva a toccare anche le possibilità logiche o le scelte di un “Divin Fattore”? D’altro canto, se ribaltiamo il discorso e ci volgiamo al futuro, sapere che qualcuno conosce in anticipo che ogni cosa avverrà o non avverrà, e come e quando, non limita forse la nostra libertà? Quale strada scegliere, allora? Abbandonare il principio di contraddizione, su cui è fondata la nostra logica, oppure lasciar cadere il predicato dell’onnipotenza e dell’onniscienza, che garantiscono a Dio di affacciarsi sulla scena del mondo contingente – quello che noi, qui e ora, vediamo e tocchiamo prima ancora di rappresentarcelo in modo astratto – cambiandolo a suo piacimento? O dovremo abbandonare il principio di un agente divino capace di sapere ogni cosa in anticipo, perché fuori dal tempo e tale da poter cambiare l’ordine nel quale siamo stati gettati? Dovremo forse limitarne la potenza a quella di un orologiaio sottomesso alle leggi che egli stesso ha creato per regolare il mondo? Oppure rinunciare alla capacità di agire diversamente da come si agisca, di dialogare con chi agisce secondo schemi e modelli di credenza radicalmente, o parzialmente diversi dai nostri, o anche solo di pensarlo e di immaginarlo possibile? Insomma, ci sono più cose in cielo e in terra o nella filosofia? Le domande si succedono l’una all’altra come le teste dell’Idra di Lerna, che ricrescevano dalla radice una volta tagliate*. Per usare un celebre modo di dire, molto usato nella filosofia italiana del secolo scorso, sembra quasi che si voglia in questo modo “mettere le brache al mondo”. La costellazione di temi e questioni che si viene così definendo è espressa filosoficamente con il termine “compatibilismo teologico” e riguarda in generale la possibilità che siano conciliabili, in modo tale che l’esistenza dell’uno non implichi la necessaria negazione dell’altro, la necessità dell’ordine del mondo, e con esso l’onnipotenza e la prescienza proprie di un soggetto divino come quello delle grandi religioni monoteiste, da una parte, e la contingenza degli accadimenti, e dunque la libertà umana di autodeterminarsi e di poter agire diversamente da come agisce, dall'altra. All’interno di una tradizione generalmente orientata a privilegiare l’aspetto etico del problema e a ragionare dunque a partire dal fondamento indiscusso del libero arbitrio, abbiamo scelto invece di affrontare le soluzioni di quegli autori che hanno individuato la chiave per affrontare il dilemma compatibilista in una prospettiva legata ad atteggiamenti di natura epistemica, come “credere”, “conoscere”, “sapere”, e percettiva, come “vedere”. (shrink)

Dietro a un titolo che rischia di appiattirlo sulla stretta attualità (I guardiani della memoria e il ritorno delle destre xenofobe, Milano, Bompiani, 2020), il volume di Valentina Pisanty segna invece un passaggio importante in una ricerca pluriennale che, a partire dal caso della storiografia (se così può dirsi) negazionista, si è dedicata allo studio di quella particolare forma di narratività che è il discorso storico. Senza nulla togliere all’importanza degli aspetti storici del revisionismo e dei corto circuiti della memoria, (...) quest’ultimo lavoro, che raccoglie un quinquennio di riflessioni (2015-2019), tematizza nella maniera più esplicita il leitmotiv di quelle ricerche: la consapevolezza cioè che l’indagine storiografica non trova il proprio oggetto semplicemente in natura o in un rapporto ingenuamente descrittivo con i fatti della realtà, ma lo costruisce nella relazione, di volta in volta ricalibrata, tra fatto e oggetto storiografico. (shrink)

The aim of the essays of this book is to explain the situation of the philosophical studies, in Italy, during the first half of the XIV century, that is the Dante's years.

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the problems affecting (...) the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

Este artículo pretende ofrecer una visión alternativa tanto de la lectura conceptualista tradicional de Kant como de la nueva lectura no conceptualista. En contra de las lecturas conceptualistas tradicionales sostengo que confunden las condiciones para la representación sensible de los objetos (tesis de la intencionalidad) con las condiciones para el reconocimiento (Erkenntnis) de que representamos objetos mediante intuiciones sensibles (tesis del reconocimiento). En contra de las lecturas no conceptualistas sostengo que no distinguen el no conceptualismo -propio de la filosofía contemporánea (...) de la mente- de las tesis antiintelectualistas de Kant. Tales lecturas fracasan porque se equivocan al atribuir un contenido representacional a las intuiciones sensibles de Kant. Las intuiciones sensibles, según Kant, no presentan el mundo según ciertas condiciones de satisfacción que podrían o no ser satisfechas por el mundo. Por lo tanto, no son ni verídicas ni non verídicas. Se limitan a presentar el mundo de una manera directa, independiente de los conceptos, lo que llamaré aquí la presentación de re de los objetos. En mi lectura, la oposición entre intuiciones y conceptos es la oposición entre la presentación de re de um objeto y el reconocimento proposicional de dicto de que representamos algo como um objeto. (shrink)

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all (...) the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory. (shrink)

Most of the theories of location on the market appear to be ideologically parsimonious at least in the sense that they take as primitive just one locative notion and define all the other locative notions in terms of it. Recently, however, the possibility of some exotic metaphysical scenarios involving gunky mixtures and extended simple regions of space has been argued to pose a significant threat to parsimonious theories of locations. The aim of this paper is to show that a theory (...) taking as primitive a notion of plural pervasive location and allowing for irreducibly plural locative facts can account for all the putatively problematic scenarios for parsimonious theories of location. Furthermore, I will also argue that the notion of plural pervasive location is compatible with the possibility of multilocation. (shrink)

A brief study of Saul Steinberg’s works on shadows and reflections, and of the seemingly paradoxical world that emerges from such works.

A dialogue between a figure and its background, illustrating that the perceptual conditions that determine which is which are not as clear as standard Gestalt theory dictates.

This paper is both systematic and historical in nature. From a historical viewpoint, I aim to show that to establish Wittgenstein’s claim that “an ‘inner process’ stands in need of outward criteria” (PI §580) there is an enthymeme in Wittgenstein’s private language argument (henceforth PLA) overlooked in the literature, namely Wittgenstein’s suggestion that both perceptual and bodily experiences are transparent in the relevant sense that one cannot point to a mental state and wonder “What is that?” From a systematic viewpoint, (...) I aim to show that Wittgenstein’s PLA teaches us that the prevailing picture of the nature of phenomenal concepts (henceforth PCs) is upside down: we can only introspectively know what is going on inside our heads after we learn of what is going on outside (PI §580). In this regard, I aim to defend two associate claims against the prevailing view of PCs on the basis of PLA. First, by means of transparency, I aim to show that there is no de re awareness of our private sensation that could determine the meaning of sensation words; for example, I am never aware of the phenomenal blueness of my experience of something blue. The second associated claim is that introspective self-knowledge of our private sensations is always de dicto. We can only know introspectively that phenomenal blueness is the phenomenal character of the experience we are undergoing after we have learned that (de dicto knowledge) blue is the color that usually causes us that kind of experience. Likewise, we can only introspectively know that pain is the phenomenal character of the experience we are undergoing after we have learned that pain is what usually causes some typical pain behavior. (shrink)

I argue for a new reading of Pyrrhonian beliefs inspired by representationalism (the content view) in recent philosophy of mind. I shall argue that there are two senses of acceptance or “acquiescence in something” (eudokein tini pragmati) rather than two senses of belief (doxa). For this reason, we can maintain along with Sextus that the Pyrrhonian skeptic behaves intentionally and can live his life in society adoxastôs without any proper beliefs whatsoever. However, the skeptical sense of acceptance is not the (...) mere avowal of a feeling or a mere report or register of the way things appear to me. I want to suggest the following reading. Acceptance without belief is an anti-predicative passive and involuntary acceptance of content by means of an indicator function (pathos or phainomenon) in virtue of the past regular connection between the representational content and the indicator function. The pathos (as a present state of mind) or the phainomenon “means” (that is, indicates) passively and involuntarily a content in virtue of its regular connection with this content through time. For example, the Pyrrhonian’s acceptance of the content of the sentence “there is fire” is based on the fact that he here and now perceives smoke and that pathos passively and involuntarily means (represents) the content that there is fire. There is no judgment involved at all: even when the skeptic suspends his judgment (epochê) about whether there is fire, his pathos makes him involuntarily accept that there is fire. That is what Sextus, following the Stoic tradition, calls “commemorative signs” (hupomnêstikon) in opposition to the so-called “indicative signs” (endeiktikon), namely the “internal assertion” of the content as a belief (as a propositional attitude). As I do not believe that any reasonable reading of the skeptical acceptance may be defended only by means of philological analysis and by the research of the huge doxography, my arguments deliberately mix historical evidence with reasons of a systematic nature. In this way, the defense of my alternative reading is abductive, namely as the inference to the best explanation. (shrink)

This paper aims to present a novel reading of Kantian idealism. In want of a better name, I call my interpretation “one-object-plus-epistemic phenomenalism.” I partially endorse Allison’s celebrated position, namely his rejection of metaphysical world-dualism. Yet, I reject Allison’s deflationary two-aspect view. I argue that Kantian idealism is also metaphysically committed to an ontological noumenalism (one-object), namely the claim that the ultimate nature of reality is made up of unknown things in themselves (substantia noumena). Natural sciences can only reveal the (...) relational/structural properties of things as they appear rather than the intrinsic properties of substantia noumena in the negative sense. My anti-deflationary reading is similar to Allais’s, and my agnostic monism to Hanna’s. However, against both, I hold that appearances are not the accusative objects of our sensible representations but rather, as Kant repeatedly states: “mere representations.” The accusative objects of our senses are substantia noumena in the negative sense. Moreover, my view is also similar to Langton’s. Again, against Langton, I hold that appearances are not merely relational properties of substantia noumena but the way that such substantia noumena exist inside our mind as “mere representations.” In this regard, I also partially endorse Guyer’s and Van Cleve’s phenomenalist reading because these substantia noumena in the negative sense can only be cognized mind-dependently, namely as appearances. However, against Guyer and Van Cleve, I hold that the phenomenalist side of Kantian idealism is purely epistemological rather than ontological: what Kant calls the necessary unity of representations according to categories is not a logical construction of objects out of representations, that is, an ontological reduction of noumena to appearances, but rather the way we sense-independently cognize mind-independent noumena. (shrink)

In its simplest form, a Spritz is an aperitif made with (sparkling) water and (white) wine. A ‘gunky Spritz’, as I will call it, is a Spritz in which the water and the wine are mixed through and through, so that every proper part of the Spritz has a proper part containing both water and wine. In the literature on the notion of location the possibility of mixtures like a gunky Spritz has been thought of as either threatening seemingly intuitive (...) locative principles, or as requiring the position of multiple primitive locative relations. In this paper I present a new theory of location which assumes as primitive only the notion of pervasive location and show that it can account for the possibility of gunky Spritz in an intuitive and adequate way. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

In this paper I will present three arguments (based on the notions of constitution, metaphysical reality, and truth, respectively) with the aim of shedding some new light on the structure of Fine’s (2005, 2006) ‘McTaggartian’ arguments against the reality of tense. Along the way, I will also (i) draw a novel map of the main realist positions about tense, (ii) unearth a previously unnoticed but potentially interesting form of external relativism (which I will label ‘hyper-presentism’) and (iii) sketch a novel (...) interpretation of Fine’s fragmentalism (which I contrast with Lipman’s 2015, 2016b, forthcoming). (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...) outlines its defence strategy. Each pair of papers in this section can be read as a discussion between presentists and eternalists, wherein each directly responds to the arguments and objections offered by the other. This is a discussion that is sometimes absent in the literature, or which is at best carried out in a fragmented way. The first two papers of the section deal with the problem of the compatibility of Special Relativity Theory (SRT) and presentism. SRT is often considered to be a theory that contradicts the main tenet of presentism, thereby rendering presentism at odds with one of our most solid scientific theories. Christian Wüthrich’s paper presents arguments for the incompatibility of the two theories (SRT and presentism) within a new framework that includes a discussion of further complications arising from the theory of Qauantum Mechanics. Jonathan Lowe’s paper, by contrast, develops new general arguments against the incompatibility thesis and replies to Wüthrich’s paper. The second pair of papers focuses on the problem that presentists face, in providing grounds for past tensed truths. In the first (by Matthew Davidson), new arguments are provided to defend the idea that the presentist cannot adequately explain how what is now true about the past is grounded, since for the presentist the past is completely devoid of ontological ground. The second paper (by Brian Kierland) takes up the challenge of developing a presentist explanation of past truths, beginning by outlining some existing views in the literature before advancing an original proposal. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

In a series of ten articles from leading American and European scholars, Pragmatist Epistemologies explores the central themes of epistemology in the pragmatist tradition through a synthesis of new and old pragmatist thought, engaging contemporary issues while exploring from a historical perspective. It opens a new avenue of research in contemporary pragmatism continuous with the main figures of pragmatist tradition and incorporating contemporary trends in philosophy. Students and scholars of American philosophy will find this book indispensable.

My aim is to defend a peculiar epistemic version of the particularity thesis, which results from a sui generis combination of what I call the ‘singular relational view’ and what I call the ‘relativistic content view.’ Particulars are not represented as part of putative singular content. Instead, we are perceptually acquainted with them in the relevant sense that experience puts us in direct perceptual contact with them. And the content of experience is best modeled as a propositional function, that is, (...) the content of a complex predicate that is true or false only relative to some circumstances of evaluation. (shrink)

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to their fundamental existence. Recently, (...) Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

This paper discusses the possibility of an absolute vacuum - a space without any substance. The motivation of this study is the contrast between most philosophers, up to Descartes, who stated that a vacuum was impossible, and the 17th century change of outlook, when the possibility and effective existence of the vacuum was accepted after the experiments of Torricelli and Pascal. This article attempts to show that, contrary to the received opinion, the acceptance of an ether is preferable to the (...) acceptance of a vacuum for several reasons. First: it is impossible to provide an empirical proof of the non-existence of the ether; second, an absolute vacuum is unthinkable; third, the ether concept is useful for the understanding of physical phaenomena; and fourth, the hypothesis of an ether in apparently void spaces is useful for the future development of science. The paper also endeavours to show that no recent advance of science changed those conclusions and that no future development can change them. (shrink)

The supervaluationist approach to branching time (‘SBT-theory’) appears to be threatened by the puzzle of retrospective determinacy: if yesterday I uttered the sentence ‘It will be sunny tomorrow’ and only in some worlds overlapping at the context of utterance it is sunny the next day, my utterance is to be assessed as neither true nor false even if today is indeed a sunny day. John MacFarlane (“Truth in the Garden of Forking Paths” 81) has recently criticized a promising solution to (...) this puzzle for falling short of an adequate account of ‘actually’. In this paper, I aim to rebut MacFarlane's criticism. To this effect, I argue that: (i) ‘actually’ can be construed either as an indexical or as a nonindexical operator; (ii) if ‘actually’ is nonindexical, MacFarlane's criticism is invalid; (iii) there appear to be independent reasons for SBT-theorists to claim that ‘actually’ is a nonindexical expression. (shrink)

Events are center stage in several fields of psychological research. There is a long tradition in the study of event perception, event recognition, event memory, event conceptualization and segmentation. There are studies devoted to the description of events in language and to their representation in the brain. There are also metapsychological studies aimed at assessing the nature of mental events or the grounding of intentional action. Outside psychology, the notion of an event plays a prominent role in various areas of (...) philosophy as well as in such diverse disciplines as linguistics, probability theory, artifical intelligence, physics, and�of course� history. This plethora of concerns and applications is indicative of the prima facie centrality of the notion of an event in our conceptual scheme, but it also gives rise to some important methodological questions. Can we identify a core notion that is preserved across disciplines? Does this notion, or some such notion, correspond to the pre-theoretical conception countenanced by common sense? Does it correspond to a genuine metaphysical category? (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

In this paper, I argue for a new solution to Mary’s puzzle in Jackson’s famous knowledge argument. We are told that imprisoned Mary knows all facts or truths about color and color vision. On her release, she learns something new according to B-type of materialism and according to property dualism. I argue that this cognitive improvement can only be accounted for in terms of what Schellenberg has recently called “capacitism,” namely the claim that that experience is constitutively a matter of (...) discriminating and singling out particulars by employing perceptual capacities. Of course, I am not claiming that knowing the phenomenal character is simply the possession of abilities, let alone that the phenomenal character is a sort of know-how. That is why my claim is not affiliated with Lewis and Nemirow's ability hypothesis position. I take for granted here a sort of property-representationalism, according to which the phenomenal character of experience supervenes on the cluster of properties that the respective experiences represent. On her release, Mary acquires those perceptual abilities on the basis of which she learns to discriminate all shades of color. And after applying her old physical concept RED to the shade of red, she comes to know what it is like to experience red (propositional knowledge). (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

Since the second half of the XXth century, researchers in cybernetics and AI, neural nets and connectionism, Artificial Life and new robotics have endeavoured to build different machines that could simulate functions of living organisms, such as adaptation and development, problem solving and learning. In this book these research programs are discussed, particularly as regard the epistemological issues of the behaviour modelling. One of the main novelty of this book consists of the fact that certain projects involving the building of (...) simulative machine models before the advent of cybernetics are been investigated for the first time, on the basis of little known, and sometimes completely forgotten or unpublished, texts and figures. These pre-cybernetics projects can be considered as steps toward the “discovery” of a modelling methodology that has been fully developed by those more recent research programs, and that shares some of their central goals and key methodological proposals. -/- More info in Springer link: http://www.springer.com/new+%26+forthcoming+titles+%28default%29/book/978-1-4020-0606-7 -/- This book is the English translation of La scoperta dell'artificiale, Dunod/Masson, Milan, 1998. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

In this paper I investigate Aristotle’s account of predication in Topics I 9. I argue for the following interpretation. In this chapter Aristotle (i) presents two systems of predication cutting across each other, the system of the so-called four ‘predicables’ and of the ten ‘categories’, in order to distinguish them and explore their mutual relationship. I propose a semantic interpretation of the relationship between them. According to this reading, every proposition formed through a predicable constitutes at the same time a (...) predication according to one of the ten categories, and, consequently, signifies one of them, expressing one of the predicative relationship conveyed by them. Further, Aristotle (ii) explains the predicative connection between these two systems and the ten items signified by the ‘things said without any combination’ enumerated in Chapter 4 of the Categories, whose list is almost identical with that of categories in Top. I 9, with the only exception of their first members. (shrink)