This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having (...) explanatory power all display an increase of conceptual complexity from the assumptions to the conclusion. (shrink)

Farmers’ markets (FMs) represent a crucial player in urban food systems, being the interconnection of local agricultural production and consumption, and serving as spaces for both economic exchange and community building. Despite their transformative potential, there is a scarcity of research that comprehensively investigates the dynamics of FMs network structure and the influence of the actors shaping FMs. The present article delves into the network of relationships within FMs in the Italian city of Bologna. This study adopts the Social Network (...) Analysis (SNA) methodology applied with the Net-Map tool. The research objectives are to visualise the underlying network structure, map the dynamics, and identify the key actors who play pivotal roles in Bologna’s FMs and their level of influence. The research carried out interviews with ten FMs stakeholders, revealing the network of relationships between 54 actors, divided into three categories—civil society, food economy and public administration. Actors were linked by a total of 428 relationships across three types of networks: support, economic, and hindering. Findings indicate a strong support network structure characterised by varying degrees of centrality among different actors. Farmers emerge as a central node due to their pivotal role in providing fresh, local produce. Additionally, local institutions contribute significantly to FMs resilience and growth. Our research demonstrates the importance of recognising the embeddedness of FMs within the local context. By understanding the network structure and influential actors in FMs, policymakers can devise more effective policies for promoting local agriculture, and enhancing the sustainability of urban–rural exchanges. In conclusion, the present study offers valuable insights into the network dynamics of FMs, highlighting their crucial role in the sustainable development of urban and local food systems. (shrink)

This volume provides an extensive overview of the Ethics of Artificial Intelligence for the Sustainable Development Goals. The authors are experts contributing with perspectives from different fields. The comprehensive collection of chapters illustrates the pressing governance problems related to using AI for the SDGs, and case studies describing how AI is advancing and can advance the achievement of the Goals. Students, scholars, and practitioners working on AI for SDGs, the ethical governance of AI, sustainability, and the fourth revolution can find (...) this book a helpful reference. (shrink)

This annual edited volume presents an overview of cutting-edge research areas within digital ethics as defined by the Digital Governance Research Group of the University of Oxford. It identifies new challenges and opportunities of influence in setting the research agenda in the field. The 2022 edition of the Yearbook presents research on the following topics: autonomous weapons, cyber weapons, digital sovereignty, smart cities, artificial intelligence for the Sustainable Development Goals, vaccine passports, and sociotechnical pragmatism as an approach to technology. This (...) text appeals to students, researchers, and professionals in the field. (shrink)

Developmental System Theory is a theoretical reinterpretation of biological phenomena challenging the conventional gene-centered account of development and evolution. In this paper, I focus on Griffiths and Gray’s version of Developmental Systems Theory and I particularly analyze their reconceptualization of inheritance. First, I present their concept of expanded and diffused inheritance; then, I examine and criticize their refusal of the multiple inheritance system model; finally, I present and contrast Griffiths and Gray’s extension of what they call the “causal parity thesis” (...) from development to evolution. I argue that their proposal is an interesting and programmatic philosophical perspective on biological phenomena but, because of their commitment to holism, fails to provide both more heuristic tools for empirical investigation in biology and a more realistic representation of the biological world. (shrink)

The global age has confronted human beings with new and numerous challenges, from global poverty, to labour exploitation, to climate change. Many individuals, aware of such challenges, wish to act in solidarity, and give their contribution to countering them. Acting in solidarity in such contexts can be challenging, however, as which actions are most effective for reaching the desired goal is not obvious. Furthermore, an action that is intended in solidarity at times not only fails to promote the desired objective (...) but proves detrimental to it. In this article, I wish to propose a reflection on a prior duty of solidarity action: the epistemic duty to acquire information about the correct way to promote a cause. By analyzing the anti-sweatshop movement and climate action, I will show how acting in solidarity has significant epistemic requirements that should be considered as part of the solidarity action itself. (shrink)

Criminal liability for acts committed by AI systems has recently become a hot legal topic. This paper includes three different contributions. The first contribution is an analysis of the extent to which an AI system can satisfy the requirements for criminal liability: accomplishing an actus reus, having the corresponding mens rea, possessing the cognitive capacities needed for responsibility. The second contribution is a discussion of criminal activity accomplished by an AI entity, with reference to a recent case involving an online (...) bot, the Random Darknet Shopper. This discussion will provide the context for the analysis of commonalities and differences between criminal activities by humans and by artificial systems. The third contribution concerns the evaluation of different ways of addressing criminal activities by AI systems in a regulatory perspective. (shrink)

Central to the legal positivism of the nineteenth and the first half of the twentieth century was the dogma of the Ideal Legislator. Legal materials were to be interpreted as the work of an omniscient, coherent, consistent legislator. We argue that this dogma persists in the different guise of the competent speaker model, on which legal materials are the work of a competent speaker, who follows all the pertinent semantic and pragmatic rules. We will first lay out the Ideal Legislator (...) dogma as applied in legal interpretation, arguing that this dogma does not limit interpretive discretion but rather amplifies it by hiding it under the veil of an inexistent, purely instrumental rationality. We will then turn to the competent speaker model, showing that, despite its apparent neutrality, it proves to be a reincarnation of the Ideal Legislator dogma, for it, too, amplifies interpretive discretion, only it hides it under the veil of an inexistent, purely linguistic rationality. Finally, we will inquire into the different types of rationality and their relations, arguing that there is always a choice and value judgment involved in ascribing rationality to legislators, and that these choices and judgments need to be carefully inspected and normatively justified. (shrink)

In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)