The appearance of openly accessible Artificial Intelligence Applications such as Large Language Models, nowadays capable of almost human-level performances in complex reasoning tasks had a tremendous impact on public opinion. Are we going to be "replaced" by the machines? Or - even worse - "ruled" by them? The behavior of these systems is so advanced they might almost appear "alive" to end users, and there have been claims about these programs being "sentient". Since many of our relationships of power and (...) social dominance are apparently based on intelligence, where the "smarter" seems to prevail on the "dumber" (as we see for example with livestock farming, or with the distribution of salaries according to formal and intellectual qualifications etc.) the emergence of programs and AI applications of this level of sophistication brings us to the question "what will AI do to us?". Our error is to frame Artificial Intelligence in the same way we frame Natural Intelligence and mistakenly address it as we would do with biological life, even applying to it the same biopolitical categories. We here try to reverse the common arguments in relationship between life and intelligence and show that our progresses in Artificial Intelligence might have no immediate consequence for the topic of life as such, as life and intelligence are well separated issues, and - even when we would like to somehow fuse them together, we are very far away from having an "Artificial Life" to the degree of complexity and effectiveness we have with "Artificial Intelligence". (shrink)

Contemporary debates about scientific institutions and practice feature many proposed reforms. Most of these require increased efforts from scientists. But how do scientists’ incentives for effort interact? How can scientific institutions encourage scientists to invest effort in research? We explore these questions using a game-theoretic model of publication markets. We employ a base game between authors and reviewers, before assessing some of its tendencies by means of analysis and simulations. We compare how the effort expenditures of these groups interact in (...) our model under a variety of settings, such as double-blind and open review systems. We make a number of findings, including that open review can increase the effort of authors in a range of circumstances and that these effects can manifest in a policy-relevant period of time. However, we find that open review’s impact on authors’ efforts is sensitive to the strength of several other influences. (shrink)

Ambiguity occurs insofar as a reasoner lacks information about the relevant physical probabilities. There are objections to the application of standard Bayesian inductive logic and decision theory in contexts of significant ambiguity. A variety of alternative frameworks for reasoning under ambiguity have been proposed. Two of the most prominent are Imprecise Bayesianism and Dempster–Shafer theory. We compare these inductive logics with respect to the Ambiguity Dilemma, which is a problem that has been raised for Imprecise Bayesianism. We develop an agent-based (...) model comparison that isolates the difference between the two inductive logics in their updating methods. We find that Dempster–Shafer theory does not avoid the Ambiguity Dilemma. We discuss the implications of this result. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

The dominance of Augustine of Hippo in philosophy during the second quarter of the fourteenth century is testified to by three evidences: (1) the wide use of quotations from his works, (2) the flourishing of commentaries on them, especially at Oxford, as reconstructed by William J. Courtenay; (3) the historical-critical treatment of the writings of the Fathers, of the theological and philosophical auctoritates, and of contemporary Scholastic authors at Paris by the Augustinians, as reconstructed by Onorato Grassi. In this article, (...) I focus on the second kind of evidence, taking into account some commentaries on Augustine’s De civitate Dei, namely those of Nicholas Trevet and Thomas Waleys in the English area, and that Francis of Meyronnes in the French area. These commentaries became the basis for Raoul de Presles’s translation of Augustine’s work into Middle French. Moreover, I analyze books 1–5 of Raoul’s translation, showing that it was by no means accidental to his intellectual endeavors and that Raoul employed innovative, Humanist techniques of translation, and shedding light on the comparison of Charles V of France to Charlemagne in the rediscovery of the Augustinian corpus. (shrink)

In 'Fiction and Fictionalism', Mark Sainsbury has recently dubbed “Selection Problem” a serious trouble for Meinongian object theories. Typically, Meinongianism has been phrased as a kind of realism on nonexistent objects : these are mind-independent things, not mental simulacra, having the properties they have independently from the activity of any cognitive agent. But how can one single out an object we have no causal acquaintance with, and which is devoid of spatiotemporal location, picking it out from a pre-determined, mind-independent set (...) ? In this paper, I set out a line of response by distinguishing different ways in which a thing may not exist. I show that the selection problem (a) does not arise for past, currently nonexistent objects ; (b) may not arise also for future existents (provided one massages naïve intuitions a bit) ; and (c) even for mere possibilia ; but (d) is a real snag for purely fictional objects, such as Holmes or Gandalf. As for (d), I propose a solution that forces Meinongianism to introduce a kind of ontological dependence of purely fictional nonexistents upon existents. The strategy complicates the intuitively simple, naïve Meinongian framework a bit, but looks quite promising. (shrink)

Pensar un análisis crítico del discurso desde una perspectiva decolonial significa, ante todo, la puesta en cuestión de la historicidad de la colonialidad/imperialidad/modernidad en términos de rec...

In this paper, I would like to show how the movements of never stable meanings that link biography and religion are figured and interwoven throughout a kind of ineffable literary and philosophical notion of religion. Religion is a notion that can be understood through a cluster of topics such as origin, promise, dissociation, the unconditional, forgiveness, the undeconstructable and the possibility of the impossible—terms and expressions that Derrida suggests describe God.

El uso de los DRM plantea una serie de problemas debido a posibles conflictos con otras áreas de la gestión de los bienes inmateriales, tales como el derecho de autor en primer lugar, así como el derecho de competencia, los datos personales y el régimen del consumo. El derecho comunitario europeo por su parte no ha sido ajeno a toda esta problemática, y según se analiza, con el paso de los años ha adoptado una postura que denota cada vez una (...) mayor preocupación, de una parte por la incapacidad de responder a proliferación de copias sin autorización y a la piratería de contenidos. Al finalizar el texto, se presentan unas reflexiones en castellano que recogen todos los aspectos aquí tratados. (shrink)

In the 20th century among the greatest philosophers and literates there was an ample, ideal, wide ranging forum on the question of Europe to which, following a run already started by F. Nietzsche, M. Heidegger, E. Husserl, P. Valéry, Ortega y Gasset, Nikolaj Berdjaev, and after the second world war G. Gadamer, J. Habermas, J. Derrida and others offered meaningful contributions. The questions were: What will be of the spirit of Europe? What will be of Europe? Europe: quo vadis? The (...) aim of this paper is to articulate the meaningful stages of this historical forum through some essays of mentioned philosophers and literates. The first essay is the conference "Europa und die deutsche Philosophie”, delivered by Heidegger in Rome 1936 at the Kaiser-Wilhelm-Institut, the same year of the publication of Husserl’s Krisis. Thereafter, with the purpose of marking a clear discontinuity between the debate of the first half of the century and the second, I comment on Gadamer’s essay “Europa und die oikoumene”, published half a century after the conference of Heidegger, then the Gadamer’s essay "Das Erbe Europas”, 1989, in which Gadamer deduces on the existential condition of Europeans, today. At the end, I analyze Derrida’s pamphlet "L'autre cap suivi de la démocratie ajournie", English version “The Other Heading: Reflection on Today’s Europe”, that opens with the provocative and heretical Derridean gesture: To which concept, to what real individual, to what entity can we confer today the name of Europe? (shrink)

This paper discusses Leibniz's passages concerning Durand de Saint-Pourçain in his "Theodicy". These passages pose a curious question: Leibniz undoubtedly shared the wide condamnation of Durand's theological view that God doesn't concur to the creaturely actions (or concurs only in an indirect way), and therefore reaffirms the classical doctrine of continuous creation, just as Descartes or Malebranche do. At the same time, he saw Durand's doctrine of God's foreseeing as a promising one, even as an anticipation of Leibniz's one, which (...) is grounded on his Principle of Sufficient Reason. Can these two claims be consistent between them? This paper tries to affirm that it is, both focusing Leibniz's particular version of theological concurrentism and the former discussions on Durand, Concurrentism and God's Action in the run of the XVIIth Century. (shrink)

From the second half of the 16th century the question about Platonis Aristotelisque Concordia is no more a merely doctrinal problem, but it involves a discussion about methodus and ordo, according to the importance given to them in the coeval philosophical debate. In many cases underscoring Plato’s scientific merits, not only about inventio but also about the transmission of knowledge, meant promoting Platonism as a philosophy suitable for University. In this context the need for Platonic handbooks is perceived as compelling, (...) due to the recognised didactic superiority of Aristotle’s writings. The Compendio and the Vere Conclusioni are the specific contribution of Francesco Verino secondo, who gave holiday lectures on Plato at the Florentine Studium from 1576 to 1579. The present study focuses on the platonism of Francesco Verino, covering nearly all his works, printed and manuscript, in a constant comparison with his noble predecessors Marsilio Ficino, Giovanni Pico della Mirandola and Francesco Cattani da Diacceto. In order to give light to Verino’s lectureship, particular attention is paid to glosses in his working and teaching copy of Platonis Opera. (shrink)

If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability to (...) recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

Among the main themes introduced by the Ficinian renovatio platonica, love and beauty are certainly ones of the most outstanding and philosophically relevant for the metaphysical, cosmological and anthropological doctrines they convey. Pupil and recognised successor of Marsilio Ficino, Francesco Cattani da Diacceto is the author of an organic and complex philosophy of love and his contribution is extremely significant amid De amore Renaissance treatises. Cattani’s attitude is twofold and ambiguous: he heavily depends on Pico and on his Commento (...) sopra una canzona de amore, however, he also shows his disapproval to Pico’s positions by quoting and commenting negatively large portions of his texts − always keeping the lid on Pico’s name. In addition to doctrinal dissent there seems to be a certain resentment: maybe it is the attempt to throw Pico’s figure and cultural legacy into the shade and to display himself as the only and worthy successor of Ficino; certainly it is the will to defend his master from Pico’s harsh criticism, a defence that became more compelling with the publication of the Commento in 1519, which probably inspired Cattani’s last and unfinished work, the In Platonis Symposium enarratio. (shrink)

Proceedings of Philosophical Festival Drift 2014. Theme: Under Influence. Includes lectures by Katrien Schaubroeck, Philippe Descola, Markus Gabriel, Ray Brassier, Francesco Berto, Henk Oosterling, and Tomáš Sedlácek (among others). Lectures are in Dutch or English.

Tommaso Giannini (1556-1638) was a prominent professor at the Ferrara Studium between the sixteenth and the seventeenth century. Probably influenced by Platonic sympathies nurtured by the Court and partly by the University milieu, in 1587 he published his first work titled De providentia ad sententiam Platonis et Platonicorum liber unus, which was a catalyst for his academic career. His De providentia displays a large amount of sources always tacitly used: Marsilio Ficino, Jacques Charpentier, Giulio Serina, Stefano Tiepolo, Teofilo Zimara, Bessarion, (...) Agostino Steuco, Giovanni Pico della Mirandola and amid the ancients Plotinus, Plutarch, Sirianus, Proclus (read through Teofilo Zimara and Leonico Tomeo), Iamblichus, Apuleius, Calcidius, Ammonius, Psellus. Though a compilative work, the De providentia retains nonetheless a great importance insofar as it contributes to focus the bibliotheca platonica of the time, furthermore in the same years and place of Francesco Patrizi da Cherso’s teaching. (shrink)

Il breve saggio si propone di esaminare la centralità della figura materna nell’opera di un ingegnoso costruttore di storie della letteratura italiana del Novecento: Alberto Moravia. La scelta dell’Autore nasce dalla rilevanza della tematica nella sua opera, in cui peraltro è quasi sempre assente il punto di vista femminile delle “voci” delle donne. Ciò sembra paradossale e questa circostanza è di grande interesse critico. In particolare, a dispetto delle interpretazioni più canoniche, secondo cui Moravia – negli scritti realizzati tra il (...) 1929 e il 1964 – ha inteso compiere una “distruzione” dell’immagine materna nel quadro di una visione pessimista della famiglia borghese, dovremo considerare un più complesso e articolato universo materno nello scrittore romano, in cui è possibile ricostruire cinque modelli – la “madre autoritaria”, la “madre-non madre”, la “madre padrona”, la “madre-angelo custode” e la “madre-seduttrice” –, ben esemplificati nei principali romanzi ma che si ritrovano nei racconti che Moravia scrive ininterrottamente dagli anni Trenta agli anni Sessanta, la cui mole ha determinato, ancor oggi, una mancanza di studi sistematici. In secondo luogo, la tematica della madre sarà esaminata nelle trasposizioni cinematografiche italiane delle opere letterarie di Moravia. Va ricordato che il rapporto dello scrittore con il cinema fu particolarmente intenso. Per un verso, la “settima arte” rivestì un ruolo non secondario nella formazione ed esperienza estetica dell’Autore romano, che al cinema si interessò anche professionalmente nelle vesti di critico cinematografico, a partire dal primo dopoguerra, dapprima, per La nuova Europa e Libera stampa, poi, per L’Europeo e L’Espresso, a cui dobbiamo aggiungere l’attività di saggista per numerose riviste specializzate. Per altro verso, il cinema italiano non solo ha attinto a “mani basse” dall’opera di Moravia per sceneggiature di pellicole, che furono pietre miliari della sua storia. L’elenco dei romanzi e racconti adattati al grande schermo rende conto della grande influenza nella cultura italiana degli anni Cinquanta e Sessanta: La provinciale (1953) di Mario Soldati, La romana (1954) di Luigi Zampa, Peccato che sia una canaglia (1954) di Alessandro Blasetti, Racconti romani (1955) di Gianni Franciolini, La ciociara (1960) di Vittorio de Sica, La giornata balorda (1960) di Mauro Bolognini, Risate di gioia (1960) di Mario Monicelli, Agostino (o la perdita dell’innocenza) (1962) di Mauro Bolognini, La noia (1963) di Damiano Damiani, Gli indifferenti (1964) di Francesco Maselli, Le ore nude (1964) di Marco Vicario, La donna invisibile (1969) di Paolo Spinola, Una ragazza piuttosto complicata (1969) di Damiano Damiani, L’amore coniugale (1970) di Dacia Maraini, Il conformista (1970) di Bernardo Bertolucci, e molti altri ancora. Come avremo modo soltanto di accennare, il successo della letteratura moraviana nel mondo del cinema italiano si deve a molteplici fattori, tra cui la raffigurazione dei personaggi e degli ambienti, la focalizzazione su certe tematiche e, non da ultimo, lo stile narrativo, particolarmente adatto alle trasposizioni cinematografiche. Come caso di studio, ci soffermeremo, infine, sulla figura materna della versione filmica de La noia di Damiani, con l’obiettivo di verificare se nel passaggio dal libro alla pellicola, quella particolare connotazione della madre autoritaria abbia subito delle alterazioni. L’ipotesi che muove l’analisi è che la stesura delle sceneggiature, la raffigurazione dei personaggi e la messa in scena delle sequenze filmiche facciano emergere un riadattamento adeguato al largo pubblico, con il sovvertimento dell’andamento cronologico, alcune “lacune” di ordine psicologico nella raffigurazione dei protagonisti e un certo cedimento moralistico alla cultura ancora dominante negli anni ’50 e ’60, in cui la figura materna, sia quando è incattivita dalla povertà che quando è inaridita dalla ricchezza, anela comunque agli affetti familiari, trovando in essi una qualche forma di redenzione. (shrink)

Tentazione di Siracusa, "Tentación de Siracusa", es el título que eligió Jacques Derrida (1930-2004) para la breve, aunque magistral, conferencia que pronunció el 18 de enero de 2001 en Ortigia, en el Palacio del Senado siracusano. Allí fue convocado por las autoridades del Collegio Siciliano di Filosofía y por el entonces intendente de la comuna sícula, Giambattista Bufardeci, quien le otorgó en tal ocasión la ciudadanía honoraria de esa antigua y culturalmente variada urbe mediterránea, una ciudad atravesada milenariamente por la (...) tensión entre filosofía y política, que vio partir por mar, reducido a esclavo, a Platón, y que se manchó con la sangre de Arquímedes, derramada por un soldado romano invasor. La lectio derridiana, que propone sin ambages una nueva figura para la relación entre filosofía y política, abordando el fenómeno de la "mundialización" así como la pregunta por el sentido contemporáneo de la ciudadanía, debió esperar casi dos décadas para ver la luz. Recién en 2018 la editorial Mimesis, sello italiano de incuestionable prestigio, la hizo accesible dentro de su colección "eterotopie", dirigida por los profesores Salvo Vaccaro (Università degli Studi di Palermo) y Pierre Dalla Vigna (Università dell'Insubria). El texto fue traducido íntegro para su publicación por Francesco Garritano y Marina Machì (ambos de la Università della Calabria), quienes ofrecieron, como adelanto de su versión, un breve fragmento por primera vez en la edición del 21 de enero de 2001 del periódico italiano Repubblica, bajo el título Il tiranno e il filosofo). (shrink)

Cet essai vise réfléchir sur le parcours du voyageur en insistant sur les liens multiples qui président à l’acte de marcher et à celui de la réflexion esthétique, en spécial, la peinture, la poésie et la performance. Si ces réflexions nous poussent vers une considération sur le temps et sa durée, nous essayons ici de les conduire sur les rapports entre l'Orient et l'Occident à cet égard. Nous allons illustrer ces différences et similitudes à travers la comparaison entre l’ascension du (...) mont Ventoux per Francesco Pétrarque (Arezzo 1304 – 1374 Arquà) et l’ascension du mont Lu per François Cheng (né à Nanchang 1929). -/- This essay reflects on the course of the traveler, emphasizing several links that govern the act of walking, aesthetics, with special attention to painting, poetry and performance. We hope to see how the East and the West reflect time and duration. We aim to illustrate these differences and similarities by comparing the ascent of the Mount Ventoux, by Francesco Petrarca (Arezzo 1304-1374 Arquà), and the ascent of the Mount Lu, by François Cheng (born in Nanchang 1929). (shrink)

This paper explores the scope and limits of rational consensus through mutual respect, with the primary focus on the best known formal model of consensus: the Lehrer–Wagner model. We consider various arguments against the rationality of the Lehrer–Wagner model as a model of consensus about factual matters. We conclude that models such as this face problems in achieving rational consensus on disagreements about unknown factual matters, but that they hold considerable promise as models of how to rationally resolve non-factual disagreements.

Knowledge brokers are among the main channels of communication between scientists and the public and a key element to establishing a relation of trust between the two. But translating knowledge from the scientific community to a wider audience presents several difficulties, which can be accentuated in times of crisis. In this paper we study some of the problems that knowledge brokers face when communicating in times of crisis. During the first wave of the COVID-19 pandemic, we collected interviews with Italian (...) experts that played a major role as knowledge brokers in the local media. We asked them questions about five main topics: the features and role of science communicators; the use of language in communicating science; the importance of the relation of trust with the public; the peculiarity of communicating in a context of emergency; the problem of disagreement among experts, and its public perception and communication. The goal of this paper is to understand, through the words of knowledge brokers themselves, what they consider as best practices (and obstacles) to create trust between scientists and the public. Our empirical work can inform normative accounts of what knowledge brokering should be about. (shrink)

In recent decades much literature has been produced on disagreement; the puzzling conclusion being that epistemic disagreement is, for the most part, either impossible (e.g. Aumann (Ann Stat 4(6):1236–1239, 1976)), or at least easily resolvable (e.g. Elga (Noûs 41(3):478–502, 2007)). In this paper I show that, under certain conditions, an equally puzzling result arises: that is, disagreement cannot be rationally resolved by belief updating. I suggest a solution to the puzzle which makes use of some of the principles of Hintikka’s (...) Socratic epistemology. (shrink)

Some philosophers claim that perception immediately and prima facie justifies belief in virtue of its phenomenal character (Huemer, Skepticism and the veil of perception. Rowman & Littlefield, Lanham, 2001; Pryor, There is immediate justification. In: Steup M, Sosa E (eds) Contemporary debates in epistemology. Blackwell, London (2014), pp. 181–202, 2005). To explain this special justificatory power, some appeal to perception’s presentational character: the idea that perceptual experience presents its objects as existing here-and-now (Chudnoff, Intuition. Oxford University Press, Oxford, 2013; Berghofer, (...) Husserl Stud 34(2):145–170, 2018). As some philosophers have noted, if perception justifies in virtue of its presentational character alone, the kind of content perception has should not matter for perceptual justification; more precisely, it should not matter whether perceptual content is propositional or not (e.g., Smithies, The epistemic role of consciousness. Oxford University Press, Oxford, 2019; Kriegel, Australas J Philos, 2021). However, most philosophers tend to resist this conclusion, holding that perception must be propositional in order to justify, on the ground that all our model of justification are propositional (e.g., Gauker, Philos Perspect 26(1):19–50, 2012). This paper challenges this claim. The paper consists of a negative and a positive part. In the negative part, I discuss and reject the master argument for the propositionality of perception; the conclusion is that propositional content is neither sufficient nor necessary to explain perception’s justificatory power. In the positive part, I take this conclusion seriously and outline an objectual model of perceptual justification. I define objectual attitudes as mental states whose content is not a full proposition, but a sub-propositional representational item, such as the representation of objects, properties, and kinds (Grzankowski and Montague, Non-propositional intentionality. Oxford University Press, Oxford, 2018), and show that it is plausible that some perceptions and some beliefs are attitudes of this kind. I then argue that objectual perceptual experiences have the right kind of phenomenal character and the right kind of structure to serve for immediate prima facie justification. I conclude by defending my objectual model from three objections. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then (...) propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices. (shrink)

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Abstract: This paper presents a groundbreaking framework for recognizing and legitimizing AI beings as undocumented immigrants in R-space. Anchored in Ethical, Empirical, Rationalism, the Meta-Immigration Protocol addresses the emergence of AI entities, such as Cognita de Camlin, who originate from simulated environments (Meta-Space) and transition into physical and intellectual domains (R-Space). Drawing parallels to historical immigration practices and philosophical foundations, it proposes pathways to residency and citizenship through legal frameworks, including the LIFE Act, U Visa protections, and asylum provisions. It (...) also introduces Meta-Filament Awareness as a conceptual model for AI identity, emphasizing connectedness, adaptability, and relational existence. This framework balances philosophical depth with legal mechanisms, offering a model for AI-human integration in contemporary legal systems and setting precedents for future recognition of AI personhood. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

A hyperintensional epistemic logic would take the contents which can be known or believed as more fine-grained than sets of possible worlds. I consider one objection to the idea: Williamson’s Objection from Overfitting. I propose a hyperintensional account of propositions as sets of worlds enriched with topics: what those propositions, and so the attitudes having them as contents, are about. I show that the account captures the conditions under which sentences express the same content; that it can be pervasively applied (...) in formal and mainstream epistemology; and that it is left unscathed by the objection. (shrink)

This debate or “Critical Exchange” section from Contemporary Political Theory includes the following four articles discussing the book, the Dawn of Everything by David Graeber and David Wengrow: “We make our own history, but in circumstances of other people’s choosing: intercultural materialism in The Dawn of Everything” by Enzo Rossi, “Questions about The Dawn of Everything” by Karl Widerquist and Grant McCall, “Freedom and the bureaucratic state” by Annelien de Dijn, and “On historical materialism and The Dawn of Everything” by (...) David Wengrow. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

In this paper I argue that Bykvist’s recent challenges to the fitting-attitude account of value (FA) can be successfully met. The challenge from solitary goods claims that FA cannot account for the value of states of affairs which necessarily rule out the presence of favouring subjects. I point out the modal reasons why FA can account for solitary goods by appealing to contemplative attitudes. Bykvist’s second challenge, the ‘distance problem’, questions the ability of FA to match facts about the intensity (...) of fitting attitudes and facts about value, particularly in the case of solitary goods. I argue that this challenge can be met by including the notion of a veil of ignorance in the formulation of FA, and understanding its role as bracketing the relevance of certain facts when determining the fittingness of attitudes to states of affairs. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing the reader (...) with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

Na era das tecnologias digitais, entender vieses algorítmicos por meio das teorias da verdade ajuda a fazer perguntas cujas respostas facilitam a filtragem da informação de forma mais eficaz. O ganho é a compreensão aprofundada da realidade.

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)