Discerning the decisionmaking of Kim Jong-Un and the North Korean regime on issues of peaceful engagement and warlike actions endures as a mighty challenge for U.S. intelligence analysts and policymakers. In this report, we seek to inform analysis of Democratic People’s Republic of Korea (DPRK) leadership decisionmaking. To do so, we use three discussion papers that were written to facilitate discussion of an interagency working group. The three papers are assembled here in a single report. The first discussion paper describes (...) decisionmaking among different authoritarian regimes, including North Korea, and the opening up of those economies to outside engagement. The second paper outlines two different scenarios that might occur when conventional deterrence on the Korean Peninsula breaks down and the resulting decisions that North Korea’s leadership could face. The third paper assesses DPRK decisionmaking about nuclear weapon use. The report concludes with some observations, drawn from the issues covered in these three discussion papers, about DPRK decisionmaking and stability on the Korean Peninsula. (shrink)

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

Accountability is a cornerstone of the governance of artificial intelligence (AI). However, it is often defined too imprecisely because its multifaceted nature and the sociotechnical structure of AI systems imply a variety of values, practices, and measures to which accountability in AI can refer. We address this lack of clarity by defining accountability in terms of answerability, identifying three conditions of possibility (authority recognition, interrogation, and limitation of power), and an architecture of seven features (context, range, agent, forum, standards, process, (...) and implications). We analyse this architecture through four accountability goals (compliance, report, oversight, and enforcement). We argue that these goals are often complementary and that policy-makers emphasise or prioritise some over others depending on the proactive or reactive use of accountability and the missions of AI governance. (shrink)

In this paper we introduce three methods to approach philosophical problems informationally: Minimalism, the Method of Abstraction and Constructionism. Minimalism considers the specifications of the starting problems and systems that are tractable for a philosophical analysis. The Method of Abstraction describes the process of making explicit the level of abstraction at which a system is observed and investigated. Constructionism provides a series of principles that the investigation of the problem must fulfil once it has been fully characterised by the previous (...) two methods. For each method, we also provide an application: the problem of visual perception, functionalism, and the Turing Test, respectively. (shrink)

The EU proposal for the Artificial Intelligence Act (AIA) defines four risk categories: unacceptable, high, limited, and minimal. However, as these categories statically depend on broad fields of application of AI, the risk magnitude may be wrongly estimated, and the AIA may not be enforced effectively. This problem is particularly challenging when it comes to regulating general-purpose AI (GPAI), which has versatile and often unpredictable applications. Recent amendments to the compromise text, though introducing context-specific assessments, remain insufficient. To address this, (...) we propose applying the risk categories to specific AI scenarios, rather than solely to fields of application, using a risk assessment model that integrates the AIA with the risk approach arising from the Intergovernmental Panel on Climate Change (IPCC) and related literature. This model enables the estimation of the magnitude of AI risk by considering the interaction between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We use large language models (LLMs) as an example. (shrink)

The idea that qualities can be had partly or to an intermediate degree is controversial among contemporary metaphysicians, but also has a considerable pedigree among philosophers and scientists. In this paper, we first aim to show that metaphysical sense can be made of this idea by proposing a partial taxonomy of metaphysical accounts of graded qualities, focusing on three particular approaches: one which explicates having a quality to a degree in terms of having a property with an in-built degree, another (...) based on the idea that instantiation admits of degrees, and a third which derives the degree to which a quality is had from the aspects of multi-dimensional properties. Our second aim is to demonstrate that the choice between these accounts can make a substantial metaphysical difference. To make this point, we rely on two case studies (involving quantum observables and values) in which we apply the accounts in order to model apparent cases of metaphysical gradedness. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

The present PhD thesis is concerned with the question whether good reasoning requires that the subject has some cognitive grip on the relation between premises and conclusion. One consideration in favor of such a requirement goes as follows: In order for my belief-formation to be an instance of reasoning, and not merely a causally related sequence of beliefs, the process must be guided by my endorsement of a rule of reasoning. Therefore I must have justified beliefs about the relation between (...) my premises and my conclusion. -/- The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states —the states capable of providing a reason to holding the belief in question. For instance, some rational beliefs are connected to other beliefs by being inferred from them. It is often accepted that the connection implies that the subject in some sense ‘takes the mental states in question to be reason-providing’. But views on how exactly this is to be understood differ widely. They range from interpretations according to which ‘taking a mental state to be reason-providing’ imposes a mere causal sustaining relation between belief and reason-providing state to interpretations according to which one ‘takes a mental state to be reason-providing’ only if one believes that the state is reason-providing. The most common worry about the latter view is that it faces a vicious regress. In this thesis a different but in some respects similar interpretation of ‘taking something as reason-providing’ is given. It is argued to consist of a disposition to react in certain ways to information that challenges the reason-providing capacity of the allegedly reason-providing state. For instance, that one has inferred A from B partly consists in being disposed to suspend judgment about A if one obtains a reason to believe that B does not render A probable. The account is defended against regress-objections and the suspicion of explanatory circularity. (shrink)

Regulation is nothing without enforcement. This particularly holds for the dynamic field of emerging technologies. Hence, this article has two ambitions. First, it explains how the EU´s new Artificial Intelligence Act (AIA) will be implemented and enforced by various institutional bodies, thus clarifying the governance framework of the AIA. Second, it proposes a normative model of governance, providing recommendations to ensure uniform and coordinated execution of the AIA and the fulfilment of the legislation. Taken together, the article explores how the (...) AIA may be implemented by national and EU institutional bodies, encompassing longstanding bodies, such as the European Commission, and those newly established under the AIA, such as the AI Office. It investigates their roles across supranational and national levels, emphasizing how EU regulations influence institutional structures and operations. These regulations may not only directly dictate the structural design of institutions but also indirectly request administrative capacities needed to enforce the AIA. (shrink)

The EU Artificial Intelligence Act (AIA) defines four risk categories for AI systems: unacceptable, high, limited, and minimal. However, it lacks a clear methodology for the assessment of these risks in concrete situations. Risks are broadly categorized based on the application areas of AI systems and ambiguous risk factors. This paper suggests a methodology for assessing AI risk magnitudes, focusing on the construction of real-world risk scenarios. To this scope, we propose to integrate the AIA with a framework developed by (...) the Intergovernmental Panel on Climate Change (IPCC) reports and related literature. This approach enables a nuanced analysis of AI risk by exploring the interplay between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We further refine the proposed methodology by applying a proportionality test to balance the competing values involved in AI risk assessment. Finally, we present three uses of this approach under the AIA: to implement the Regulation, to assess the significance of risks, and to develop internal risk management systems for AI deployers. (shrink)

This chapter examines the evolving debate on AI legal personhood, emphasizing the role of path dependencies in shaping current trajectories and prospects. Two primary path dependencies emerge: prevailing legal theories on personhood (singularist vs. clustered) and the impact of technological advancements. We argue that these factors dynamically interact, with technological optimism fostering broader rights-based debates and periods of skepticism narrowing discussions to limited rights. Additional influences include regulatory cross-linkages (e.g., data privacy, liability, cybersecurity) and historical legal precedents. Current regulatory frameworks, (...) particularly in the EU, generally resist extending legal personhood to AI systems. Case law suggests that without explicit legislation, courts are unlikely to grant AI legal personhood on their own. For this to happen, AI systems would first need to prove de facto legitimacy through sustained social participation. The chapter concludes by assessing near- and long-term prospects, from generative AI and AI agents in the next 5–20 years to transformative possibilities such as AI integration with human cognition via Brain-Machine Interfaces in a more distant future. (shrink)

This chapter explores the influence of Artificial Intelligence (AI) on digital democracy, focusing on four main areas: citizenship, participation, representation, and the public sphere. It traces the evolution from electronic to virtual and network democracy, underscoring how each stage has broadened democratic engagement through technology. Focusing on digital citizenship, the chapter examines how AI can improve online engagement while posing privacy risks and fostering identity stereotyping. Regarding political participation, it highlights AI's dual role in mobilising civic actions and spreading misinformation. (...) Regarding representation, AI's involvement in electoral processes can enhance voter registration, e-voting, and the efficiency of result tabulation but raises concerns regarding privacy and public trust. Also, AI's predictive capabilities shift the dynamics of political competition, posing ethical questions about manipulation and the legitimacy of democracy. Finally, the chapter examines how integrating AI and digital technologies can facilitate democratic political advocacy and personalised communication. However, this also comes with higher risks of misinformation and targeted propaganda. (shrink)

One might suppose that Everettian quantum mechanics (EQM) is inhospitable to metaphysial indeterminacy (MI), given that, as A. Wilson (2020) puts it, "the central idea of EQM is to replace indeterminacy with multiplicity" (77). But as Wilson goes on to suggest, the popular decoherence-based understanding of EQM (henceforth: DEQM) appears to admit of indeterminacy in both world number and world nature, where the latter indeterminacy---our focus here---is plausibly metaphysical. After a brief presentation of DEQM (S1), we bolster the case for (...) there being MI in world nature in DEQM (S2). The remainder of the paper is devoted to a comparative assessment of the two main approaches to MI for purposes of accommodating this MI---namely, a metaphysical supervaluationist approach (as per Barnes and Williams 2011) and a determinable-based approach (as per Wilson 2013 and Calosi and Wilson 2018 and 2021). We briefly describe each approach (S3), then offer arguments in favour of a determinable-based approach to world nature MI in DEQM (S4). (shrink)

In the paper it is argued that bridging the digital divide may cause a new ethical and social dilemma. Using Hardin's Tragedy of the Commons, we show that an improper opening and enlargement of the digital environment (Infosphere) is likely to produce a Tragedy of the Digital Commons (TDC). In the course of the analysis, we explain why Adar and Huberman's previous use of Hardin's Tragedy to interpret certain recent phenomena in the Infosphere (especially peer-to-peer communication) may not be entirely (...) satisfactory. We then seek to provide an improved version of the TDC that avoids the possible shortcomings of their model. Next, we analyse some problems encountered by the application of classical ethics in the resolution of the TDC. In the conclusion, we outline the kind of work that will be required to develop an ethical approach that may bridge the digital divide but avoid the TDC. (shrink)

Transitional Justice (TJ) focuses on the processes of dealing with the legacy of large-scale past abuses (in the aftermath of traumatic experiences such as war or authoritarianism) with the aim of fostering domestic justice and creating the basis for a sustainable peace. TJ however also entails the problem of how a torn society may be able to become a self-determining member of a just international order. This paper presents a minimal conception of TJ, which departs from Rawls' conception of normative (...) stability of the international order, which suggests disentangling the two goals of fostering democracy within torn societies and TJ itself. The scope of TJ is therefore limited to enabling these societies to create minimal internal conditions for joining a just international order on equal footing. This paper makes an original contribution to two different debates, namely normative research on TJ, and post-Rawlsian literature in general. First, it provides a new direction for normative theorizing about TJ which takes both its domestic and international dimensions seriously into consideration. Second, it extends Rawls' political liberal outlook to an area where it is not usually understood to apply. (shrink)

Nel corso del Novecento l’uso dei modelli matematici, che si era già rivelato così utile in fisica e ingegneria, è stato introdotto, talvolta con difficoltà non trascurabili, anche in discipline tradizionalmente considerate poco adatte ad un simile approccio, quali l’economia, la sociologia, la biologia. Un percorso che inizia prendendo a prestito molte delle idee e dei modelli della fisica, tanto che nel discorso inaugurale dell’anno accademico 1901-1902 all’Università di Roma il grande fisico matematico Vito Volterra (1860- 1940) pronunciava le seguenti (...) parole: «è intorno a quelle scienze nelle quali le matematiche solo da poco tempo hanno tentato d’introdursi, le scienze biologiche e sociali, che è più intensa la curiosità, giacché è forte il desiderio di assicurarsi se i metodi classici, i quali hanno dato così grandi risultati nelle scienze meccanico-fisiche, sono suscettibili di essere trasportati con pari successo nei nuovi ed inesplorati campi che si dischiudono loro dinanzi». In effetti l’economia arriverà, nel corso della prima metà del secolo, a un’elegante formulazione assiomatico-deduttiva della teoria dell’equilibrio economico, con l’utilizzo di metodi matematici eleganti e sofisticati. Ma le ipotesi di base, che coinvolgono concetti legati alle scelte degli individui influenzate dal loro livello di razionalità, influenzate da componenti psicologiche e interazioni sociali, condizionano fortemente i risultati ottenuti, e tuttora molti ritengono che il fatto che i metodi matematici si siano rivelati così utili in fisica non implica che lo siano anche per l’economia e le scienze sociali. La formalizzazione sempre più astratta di tali modelli, insieme alla loro difficoltà a spiegare e prevedere alcuni fenomeni economici e sociali osservati, ha portato a frequenti polemiche sulla reale opportunità di trasformare le discipline sociali in teorie matematiche, con strumenti che talvolta sembrano impiegati come fine a se stessi. In questo articolo, dopo aver brevemente delineato la storia della progressiva matematizzazione dell’economia, ci si concentrerà soprattutto sull’utilizzo in economia dei modelli dinamici non lineari, anche questi sviluppati inizialmente in fisica. Si tratta di modelli deterministici utilizzati per prevedere, ed eventualmente controllare, l’evoluzione temporale di sistemi reali. Basati su equazioni di evoluzione, espresse mediante equazioni differenziali o alle differenze a seconda che si consideri il tempo continuo o discreto, il loro studio qualitativo permette di ottenere informazioni sul tipo di comportamento che emergerà nel lungo periodo, e di come questo è influenzato dai principali parametri. La scoperta che modelli dinamici non lineari (che sono la regola nei sistemi sociali, caratterizzati da interazioni e meccanismi di feed-back) possono esibire comportamenti denotati col termine di caos deterministico per la proprietà di amplificare in modo difficilmente prevedibile perturbazioni arbitrariamente piccole (la cosiddetta sensitività rispetto alle condizioni iniziali, o “effetto farfalla”) ha suscitato un certo imbarazzo e nel contempo creato nuove possibilità. L’imbarazzo è dovuto al fatto che, come descriveremo meglio in seguito, la presenza di caos deterministico rende insostenibile l’ipotesi di agente economico razionale, ovvero capace di prevedere correttamente. Le nuove possibilità sono legate al fatto che quei sistemi economici e sociali caratterizzati da fluttuazioni in apparenza casuali potrebbero essere governati da leggi del moto deterministiche (anche se non lineari). In ogni caso, gli studi sui sistemi dinamici non lineari hanno portato a distinguere fra la rappresentazione matematica deterministica e la prevedibilità. L’attuale crisi economica ha senz’altro contribuito a riaccendere il dibattito sul modo di studiare i sistemi economici e sociali e la capacità di spiegare e prevedere. Le scienze sociali, e in particolare l’economia, sono davvero una scienza? Come può una scienza non prevedere e non accorgersi di quello che sta succedendo? Si tratta, come vedremo nel seguito, di domande ricorrenti, e anche in questa occasione qualcuno ha detto che, inseguendo i formalismi matematici, si sta perdendo di vista la realtà, mentre altri sostengono che il problema sta negli specifici formalismi adottati, che quelli usati sono superati, legati ad una matematica “vecchia”, magari mutuata in modo acritico da altre discipline. La speranza è allora che la crisi economica comporti un cambio di paradigma anche nella modellizzazione matematica. (shrink)

El objetivo de este artículo es presentar una reconstrucción de la teoría de los grupos dereferencia. La teoría, desarrollada por Robert K. Merton, ha sido largamente utilizada enlos más variados campos de las ciencias sociales, aunque con escasa o nula consideraciónmetateórica hasta ahora. La reconstrucción atenderá a la presentación que de la misma serecoge en sendos artículos de su libro Social Theory and Social Structure, de 1968, a saber:“Contributions to the theory of reference group behavior” y “Continuities in the theory (...) ofreference groups and social structure”. Para presentar esta reconstrucción me apoyaré en elinstrumental de la Metateoría Estructuralista. Después de una consideración informal de lateoría, serán presentados sus modelos potenciales, modelos, modelos potenciales parciales,sus aplicaciones intencionales y algunos comentarios acerca de la noción de “grupo de referencia”en lo que respeta su carácter relacional y disposicional. (shrink)

Across almost a decade, Desmond Tutu, Anglican cleric and chairman of South Africa’s Truth and Reconciliation Commission, supported a model of civil resistance against the apartheid regime based solely on religious argument. Tutu is one of what Appleby (2000) calls the “religious militants for peace”: people of faith who use religious arguments to buttress resistance against unjust regimes and to support vital political change with regard to rights and justice. Yet the employment of religious arguments to justify political action seems (...) to contradict the liberal democratic requirements of public reason, particularly the duty of liberal citizens to provide reasons that others could reasonably endorse. If “religious militants” violate their duty of civility by appealing to their comprehensive doctrines, should liberal democracy exclude this form of religiously founded dissent as being unreasonable? Or, rather, should liberal democracy embrace and support the efforts of “religious militants” to enhance and/or restore political justice? (shrink)

The article argues that AI can enhance the measurement and implementation of democratic processes within political parties, known as Intra-Party Democracy (IPD). It identifies the limitations of traditional methods for measuring IPD, which often rely on formal parameters, self-reported data, and tools like surveys. Such limitations lead to partial data collection, rare updates, and significant resource demands. To address these issues, the article suggests that specific data management and Machine Learning techniques, such as natural language processing and sentiment analysis, can (...) improve the measurement and practice of IPD. (shrink)

The complexity and emergent autonomy of Generative AI systems introduce challenges in predictability and legal compliance. This paper analyses some of the legal and regulatory implications of such challenges in the European Union context, focusing on four areas: liability, privacy, intellectual property, and cybersecurity. It examines the adequacy of the existing and proposed EU legislation, including the Artificial Intelligence Act (AIA), in addressing the challenges posed by Generative AI in general and LLMs in particular. The paper identifies potential gaps and (...) shortcomings in the EU legislative framework and proposes recommendations to ensure the safe and compliant deployment of generative models. (shrink)

L’articolo esamina la proposta europea di regolamento sull’intelligenza artificiale, AI Act (AIA). In particolare, esamina il modello di analisi e valutazione del rischio dei sistemi di IA. L’articolo identifica tre potenziali problemi di implementazione del regolamento: (1) la predeterminazione dei livelli di rischio, (2) la genericità del giudizio di significatività del rischio e (3) l’indeterminatezza della valutazione sull’impatto dei diritti fondamentali. Il saggio suggeriscealcune soluzioni per affrontare questi tre problemi.

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

Although we may find the concept of anomie in Greek thought, it is since Durkheim that the concept begins to be used specifically as a sociological concept. However, a theory of anomie only becomes consolidated since “Social Structure and Anomie” by Robert K. Merton (Merton 1938). The theory becomes important and conquers its space in the rest of the century as one of the most productive theories about deviance. In this study, based on a contemporary conception of scientific theory, that (...) of the structuralist metatheory, a reconstruction of Merton’s approach is proposed, allowing to make explicit the deep structure of the theory. (shrink)

This article discusses Rik Peels's response to Williams's argument against voluntary belief. Williams argues that voluntary beliefs must be acquired independently of truth-considerations, so they cannot count as beliefs after all, since beliefs aim at truth. Peels attempted to reply by showing that in cases of self-fulfilling beliefs, a belief can indeed be voluntarily acquired in conditions which retain the necessary truth-orientation. But even if we make two crucial concessions to Peels’s proposal, his argument ultimately fails. The first concession is (...) that beliefs can be weakly voluntary-namely, we can acquire them at will though we do not preserve them at will but on the basis of evidence. Conceding this, however, only lands us in the “acquisition problem”: how a belief can be acquired qua belief when we still do not think we have justification for it. This leads us to the second concession: that knowing in advance that a certain belief is self-fulfilling provides us with such a justification. However, this concession lands us in the ultimate obstacle: that, precisely because such a justification is available both before and at the moment of forming the belief, the cognitive perspective of the subject is identical at both moments, which obscures what it even means to say that at a certain moment she started to have a belief. (shrink)

The principle of the common cause claims that if an improbable coincidence has occurred, there must exist a common cause. This is generally taken to mean that positive correlations between non-causally related events should disappear when conditioning on the action of some underlying common cause. The extended interpretation of the principle, by contrast, urges that common causes should be called for in order to explain positive deviations between the estimated correlation of two events and the expected value of their correlation. (...) The aim of this paper is to provide the extended reading of the principle with a general probabilistic model, capturing the simultaneous action of a system of multiple common causes. To this end, two distinct models are elaborated, and the necessary and sufficient conditions for their existence are determined. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

Cancel culture is a form of societal self-defense that becomes prominent particularly during periods of substantial moral upheaval. It can lead to the polarization of incompatible viewpoints if it is indiscriminately demonized. In this brief editorial letter, I consider framing cancel culture as an essentially contested concept (ECC), according to the theory of Walter B. Gallie, with the aim of establishing a groundwork for a more productive discourse on it. In particular, I propose that intermediate agreements and principles of reasonableness (...) can help refocus the debate on cancel culture towards democratic discourse, without blanket justification for every instance. In this context, asserting that cancel culture is an ECC does not dismiss the potential of achieving consensus on its shared core meaning or societal role. Like other similar ECCs, such as democracy or rule of law, it highlights the importance of contestations in shaping our collective understanding of the concept. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

In this paper, I examine whether Wenar's Bloody Oil ( 2016) succeeds in providing a theory able to accommodate the statist commitment to peoples’ sovereignty without dismissing the cosmopolitan concern regarding a just global market. Contextualising Blood Oil within the broader debate on global justice and resource ownership, I focus on some specific aspects of Wenar’s Clean Trade scheme and explain why it comes to quite radical conclusions. Yet, if these conclusions are taken seriously, Clean Trade seems too demanding from (...) the point of view of a statist account of justice. For cosmopolitans, too, the lack of normative justification for any alleged national resource sovereignty might weaken this position, especially for those who might oppose arguments to justify different forms of resource ownership. I will therefore discuss two problems with Wenar’s theory. First, I will show that, in spite of its statist premises, Wenar’s radical conclusions hardly pass the test of anti-paternalism. Is the Clean Trade scheme able to accommodate the demand of pluralism emerging in the Society of Peoples? Second, I focus on an issue that is neglected in Wenar’s book and which refers directly to the normative basis of resources ownership. I argue that this is a crucial issue, especially in contexts where the traditional idea of national sovereignty is contested, which often occurs in resource-cursed societies. (shrink)

In recent years, several strategies have been proposed to tackle social controversies about topics in which science is settled, among which one of the most influential is that of Elizabeth Anderson, who argues that any lay person with access to the Internet and basic education can reliably assess the acceptability of various claims involving expert knowledge. In particular, the author shows that this procedure can be successfully applied to the case of anthropogenic global warming. In this article we will try (...) to argue why, even if we concede that Anderson's proposal is satisfactory in that particular case, it fails to generalize when applied to other controversies. In this article, we illustrate it with the cases of flat-Eartherism and anti-vaxxerism. (shrink)

Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

In this work, we will try to state the opposition between two approaches to the problem of the overall reliability of human knowing capacities, and a possible solution to that conflict. On the one hand, as we will point out, there exist a number of approaches that fall under the broad term of “evolutionary reliabilism” and according to which the reasons that we have for believing in the reliability of human cognition are empirical in character. Namely, the adaptive success of (...) our species in a biological environment characterised by the survival of the fittest provides us with a reason to believe that our belief-forming mechanisms are truth-tracking; if they were not, we would have gone extinct. On the other hand, nevertheless, we find analyses—of which we will focus on the case of Ernest Sosa—according to which the tenet that our knowing capacities are reliable cannot be empirically based, and thus contingent; on the contrary, they point out that we need to presuppose—without need of a proof—that such capacities are trustworthy. Given this conflict between an “empirical” defence and a defence “in principle” of our knowing capacities, we will consider two possible objections against Sosa’s proposal and try to answer them. (shrink)

It does not seem particularly daring to say that one objective of science education is to enable students to understand different phenomena in the world in their mutual relationship. This is roughly equivalent to promoting knowledge of scientific explanations, which involve resorting to regular relationships between certain phenomena and which, certainly, is different from knowledge of this or that type of event taken in isolation. In this text, we will draw attention to two opposing tendencies that, however, tend towards the (...) common result of hindering the achievement of such an objective. On the one hand, we find characterizations of scientific explanation that assimilate it to argumentation and, therefore, lose sight of what specifically makes explanations explanatory; that is, they ask too little of a scientific explanation. On the other hand, those that consider paradigmatic cases of scientific explanation −such as those achieved by subsuming phenomena such as tides to Newton's laws− do not really constitute explanations but merely descriptions; it is about asking too much of an explanation here. We will therefore point out that a greater attention to the elaborations provided by the philosophy of science about the notion of explanation is crucial to better serve educational purposes. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...) (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

Presentazione del curatore italiano (C.Corradetti): È possibile conciliare il pluralismo culturale con la dimensione pubblica della deliberazione? Partendo dall’analisi critica di Rawls e Habermas, James Bohman offre una risposta innovativa alla questione dell’accordo democratico. In tale proposta, parallelamente al rigetto di soluzioni meramente strategiche, viene riabilitata la nozione di compromesso morale nel quadro di un accordo normativo. Mantenendo fede ad una prospettiva composta da elementi normativi e fattuali, l’autore si propone di ampliare le opportunità democratiche nella riconciliazione tra conflitti culturali (...) profondi propri delle società contemporanee. L’elemento civico partecipativo risulta essere dunque una componente essenziale per la produzione di una sfera pubblica vibrante. Ne emerge una ricostruzione convincente volta non solo a respingere le critiche degli scettici sulle reali possibilità d’inclusività democratica, ma diretta soprattutto a suggerire un più efficace modello deliberativo per la garanzia della stabilità sociale. Questo testo è diventato ormai un riferimento internazionale classico nella discussione sul tema della deliberazione pubblica. L’autore ha inoltre sviluppato in ambito post-nazionale il suo modello deliberativo senza tuttavia ridiscutere i fondamenti concettuali della sua proposta teorica qui enunciati.Vista la rilevanza del tema e considerata la centralità del testo proposto, sembrerebbe dunque auspicabile rendere il testo disponibile anche al lettore italiano. (shrink)

En este trabajo nos referiremos al debate entre internismo y externismo epistemológicos a partir del episodio que constituye el debate entre Michael Williams y Alvin Goldman, que se expresa en el intercambio de trabajos presente en el volumen del año 2016 Goldman and his critics. Enmarcaremos esta discusión señalando que, mientras una serie de autores (en particular Laurence BonJour y, siguiendo su influencia, Jennifer Lackey y Fernando Broncano) extrae del debate internismo/externismo la consecuencia “dualista” de que el conocimiento no puede (...) analizarse según un único eje, sino que hallamos al menos dos -el de la razonabilidad subjetiva y el de la conductividad a la verdad-, Goldman se presenta como un externista de “línea dura” para el cual el internismo es simplemente insostenible y la justificación epistémica ha de comprenderse exclusivamente en términos confiabilistas. Sobre este trasfondo, analizaremos la propuesta de Williams, quien por un lado busca probar que las críticas de Goldman al internismo quedan restringidas a una versión “mentalista” o “subjetivista”, y, por el otro, busca ratificar una epistemología internista moderada apoyándose en el señalamiento de que el conocimiento humano es indisociable de consideraciones de responsabilidad (accountability). Buscaremos probar que la réplica de Goldman, que se centra en denunciar una presunta confusión por Williams entre el problema del “estar justificado” y el del “justificar”, no hace justicia a la amplitud del problema de la justificación epistémica, una vez que este es abordado, no a partir de presuntas “intuiciones” sobre el significado de “conocimiento” en el lenguaje ordinario, sino a partir de las prácticas en las que nociones como esta pueden hacerse funcionar. -/- . (shrink)

Combining typical knowledge to generate novel concepts is an important creative trait of human cognition. Dealing with such ability requires, from an AI perspective, the harmonization of two conflicting requirements that are hardly accommodated in symbolic systems: the need of a syntactic compositionality (typical of logical systems) and that one concerning the exhibition of typicality effects (see Frixione and Lieto, 2012). In this work we provide a logical framework able to account for this type of human-like concept combination. We propose (...) a nonmonotonic Description Logic of typicality called TCL (Typicality-based Compositional Logic). (shrink)

Writing about secession is not an easy task for a political philosopher. Yet, writing about secession in India raises further practical and theoretical problems. The incredible task of professor Chandhoke’s book, Contested Secessions, is thus to provide a restatement of a liberal theory of secession, understood as a remedial right theory, which is still compatible with situations of contested secessions, such as those occurring in post-colonial societies like India. This paper focuses on two distinct yet related aspects of Chandhoke’s theory: (...) her distinctive version of remedial right theory, and her emphasis on a form of comprehensive pluralist liberalism. I argue that this approach might result in inconsistency due to the conflicting demands of these two approaches. If we take seriously Chandhoke’s political claim in favour of the legitimacy of what she calls “formal” democracy, further clarifications are needed with respect to the account of pluralism she proposes. (shrink)

L’Ipotesi del Continuo, formulata da Cantor nel 1878, è una delle congetture più note della teoria degli insiemi. Il Problema del Continuo, che ad essa è collegato, fu collocato da Hilbert, nel 1900, fra i principali problemi insoluti della matematica. A seguito della dimostrazione di indipendenza dell’Ipotesi del Continuo dagli assiomi della teoria degli insiemi, lo status attuale del problema è controverso. In anni più recenti, la ricerca di una soluzione del Problema del Continuo è stata anche una delle ragioni (...) fondamentali per la ricerca di nuovi assiomi in matematica. L’articolo fornisce un quadro generale dei risultati matematici fondamentali, e un’analisi di alcune delle questioni filosofiche connesse al Problema del Continuo. (shrink)

The aim of this article is to examine Duns Scotus’ account of divine omnipotence. I shall firstly consider his doctrine of the objective possible and the distinction between logical potency and metaphysical potency. Secondly, by drawing on Scotus’ main texts on divine omnipotence (especially the Quodlibet VII), I will argue that, in his view, God’s omnipotence is not demonstrable, but at the same time is not an irrational concept, as Aristotle and many Medieval philosophi claimed. Finally, I shall discuss the (...) connection between Scotus’ theory of being and that of the superiority of the will over the intellect. (shrink)

In the first half of the 20 th century, philosophers of science used to sustain that the correct theory acceptance in science derived from their conforming to certain rules. However, from the historicist and practical turn in the philosophy of science, the theory acceptance started to be analyzed based on values rather than on a priori established rules. In this article, I will present four paradigmatic positions on the role of values in science. The first position, articulated by Hugh Lacey, (...) defends a regulative ideal of 'impartiality' in the acceptance of scientific theories as established. The other positions convey arguments that seem to conflict with this ideal. I characterize them as 'blind spot argument', 'inductive risk argument' and 'trust-based acceptance argument'. Based on this analysis, I will defend two main theses. My first thesis is that the ideal of impartiality is compatible with the arguments just mentioned. My second thesis is that the defense of impartiality has the advantage of providing a support for the epistemic authority of properly established scientific knowledge. Following Lacey, I will argue that theories can only be accepted as established under specified domains of phenomena. However, theories are accepted for other purposes, for example, when they are adopted to develop research or when they are endorsed to inform the legitimacy of an action. In such cases of theory acceptance, impartiality is neither possible nor desirable, which requires the support of other ideals. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

In two occasions a Bibliography of Structuralism has been published in Erkenntnis (1989, 1994). Since then a lot of water has flowed under the bridge and the structuralist program has shown a continuous development. The aim of the present bibliography is to celebrate the 25th anniversary of the publication of An Architectonic for Science –structuralism’s main reference work– and of its recent translation into Spanish by updating the previous bibliographies with titles which have appeared since 1994 as well as before (...) that year but which are not included in them. As in the former deliveries, this bibliography only covers books and articles that are concerned directly with the structuralist approach in the philosophy of science. We would like to thank the many colleagues who have helped us in collecting all the information. Notwithstanding we apologize in advance for the possible entries that we missed to include in this third Bibliography of Structuralism. (shrink)

In this paper, we provide an analysis of the concept of legal personality and discuss whether personality may be conferred on artificial intelligence systems (AIs). Legal personality will be presented as a doctrinal category that holds together bundles of rights and obligations; as a result, we first frame it as a node of inferential links between factual preconditions and legal effects. However, this inferentialist reading does not account for the ‘background reasons’ of legal personality, i.e., it does not explain why (...) we cluster different situations under this doctrinal category and how extra-legal information is integrated into it. We argue that one way to account for this background is to adopt a neoinstitutional perspective and to update the ontology of legal concepts with a further layer, the meta-institutional one. We finally argue that meta-institutional concepts can also support us in finding an equilibrium around the legal-policy choices that are involved in including (or not including) AIs among legal persons. (shrink)