In this paper we present a finitary sequent calculus for the S5 multi-modal system with common knowledge. The sequent calculus is based on indexed hypersequents which are standard hypersequents refined with indices that serve to show the multi-agent feature of the system S5. The calculus has a non-analytic right introduction rule. We prove that the calculus is contraction- and weakening-free, that (almost all) its logical rules are invertible, and finally that it enjoys a syntactic cut-elimination procedure. Moreover, the use of (...) the non-analytic rule can be restricted so that the calculus can be considered as suitable for proof search. (shrink)

In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the iteration operator. We prove that this sequent calculus is theoremwise equivalent to the corresponding Hilbert-style system, and that it is contraction-free and cut-free. All results are proved in a purely syntactic way.

The goal of this article is to take a step toward the resolution of the problem of finding an analytic sequent calculus for the logic of proofs. For this, we focus on the system Ilp, the intuitionistic version of the logic of proofs. First we present the sequent calculus Gilp that is sound and complete with respect to the system Ilp; we prove that Gilp is cut-free and contraction-free, but it still does not enjoy the subformula property. Then, we enrich (...) the language of the logic of proofs and we formulate in this language a second Gentzen calculus Gilp∗. We show that Gilp∗ is a conservative extension of Gilp, and that Gilp∗ satisfies the subformula property. (shrink)

The Beloved Self is about the holy grail of moral philosophy, an argument against egoism that proves that we all have reasons to be moral. Part One introduces three different versions of egoism. Part Two looks at attempts to prove that egoism is false, and shows that even the more modest arguments that do not try to answer the egoist in her own terms seem to fail. But in part Three, Hills defends morality and develops a new problem for egoism, (...) an epistemological problem. She shows that it is not epistemically rational to believe the most plausible versions of egoism. The first part of the book will be most relevant to those interested in moral theory, as it contains detailed discussions of recent interpretations of virtue ethics and especially of Kant's moral theory. The second and third part of the book turn to epistemology, particularly moral epistemology, and include an account of the relationship between knowledge and action, a new theory of moral understanding, and a discussion of the epistemically rational response to various kinds of disagreement. Hills also defends a new account of virtue and of morally worthy action. (shrink)

The global spread of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) or coronavirus disease 19 (COVID-19) has led to the imposition of severely restrictive measures by governments in the Western hemisphere. We feel a contrast between these measures and our freedom. This contrast, we argue, is a false perception. It only appears to us because we look at the issue through our contemporary moral philosophy of utilitarianism and an understanding of freedom as absence of constraints. Both these views can be (...) substituted with more sophisticated alternatives, namely an ethics of virtue and a notion of freedom of the will. These offer a fuller picture of morality and enable us to cooperate with the current restrictions by consciously choosing to adhere to them instead of perceiving them as draconian and immoral. We ask whether we should collaborate with the restrictions and argue that considerations of virtue will lead to an affirmative answer. More broadly, virtue ethics permits to deal with the practical concerns about how an individual should behave during this pandemic, given the current lockdown measures or lack thereof. -/- In section 1, we present how utilitarianism and a notion of freedom as negative liberty support the opposition to restrictive measures. In section 2, we outline an alternative based on an ethics of virtue and a more elaborated notion of free will. In the concluding section 3, we argue that considerations of virtue should guide the individual and public response to the emergency. (shrink)

What is a gene? Does it represent a natural kind, or is it just a tool for genomics? A clear answer to these questions has been challenged by postgenomic discoveries. In response, I will argue that the gene can be deemed a natural kind as it satisfies some requirements for genuine kindhood. Specifically, natural kinds are projectible categories in our best scientific theories, and they represent nodes in the causal network of the world (as in Khalidi. Natural Categories and Human (...) Kinds: Classification in the Natural and Social Sciences. Cambridge University Press, Cambridge, 2013; Khalidi. Synthese 195: 1379–1396, 2018; Khalidi. Are Sexes Natural Kinds, In: Dasgupta S, Weslake B (eds) Current Controversies in Philoso-phy of Science. Routledge, New York, 2020; Khalidi. Philos Sci 88:1–21, 2021). In Sect. 2, I will present a brief history of the gene and the controversy over its status. In Sect. 3, I will introduce the account of natural kinds considered in this paper. In Sect. 4, I will first present the relevant definition of genes and how they can be classified. Then, I will argue that the gene can be considered a natural kind as it satisfies the criteria for natural kindhood. Section 5 concludes. (shrink)

Function talk is a constant across different life sciences. From macro-evolution to genetics, functions are mentioned everywhere. For example, a limb’s function is to allow movement and RNA polymerases’ function is to transcribe DNA. Biochemistry is not immune from such a characterization; the biochemical world seems to be a chemical world embedded within biological processes. Specifically, biochemists commonly ascribe functions to biomolecules and classify them accordingly. This has been noticed in the recent philosophical literature on biochemical kinds. But while a (...) lot has been written on biological and psychological functions, little has been said explicitly about biochemical fuctions. Here, I explore functional attribution to biochemical molecules. I argue that if we accept this attribution, then biochemical functions are constituted by chemical dispositional properties that causally contribute to selected biological processes. In section 2, I discuss the controversy concerning the characterization of biochemical functions. In section 3, I consider whether a biological or a chemical under- standing of function can be applied to biochemical functions, illustrating the account with the example of vitamin B12. The result is that none of the theories on their own provides an adequate characterization. In section 4, I present an account of biochemical functions. In section 5, I assess this account taking into consideration common requirements for a theory of functions and an objection. (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)

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)

In this paper, we will explore the relation between molecular structure and functions displayed by biochemical molecules in complex physiological processes by using tools from the philosophy of science and the philosophy of scientific practice. We will argue that biochemical functions are weakly emergent from molecular structure by using an account of weak. In order to explore this thesis, we will consider the role of vitamin B12 in contributing to the process of erythropoiesis. The structure of the paper is the (...) following: First, we will consider biochemical functions and why they cannot be easily reduced to their chemical realisers. We will suggest weak emergence as an alternative while also accounting for the relevance of the context, in our case, systemic and organisational. The paper will conclude by considering (1) how the usage of tools from the philosophy of science, such as weak emergence, can aid our understanding of the relations between the components of complex phenomena, such as erythropoiesis, and (2) how the philosophy of scientific practice sheds light on the explanatory role of processes that are dynamically stabilised and the different levels of organisation implied. (shrink)

Metaphor has been considered as a cognitive process, independent of the verbal versus visual mode, through which an unknown conceptual domain is understood in terms of another known conceptual domain. Metaphor might instead be viewed as a cognitive process, dependent on the mode, which leads to genuinely new knowledge via ignorance. First, I argue that there are two main senses of ignorance at stake when we understand a metaphor: we ignore some existing properties of the known domain in the sense (...) that we disregard or neglect them; we ignore some “non-existing” properties of the known domain in the sense that they are not a piece of information belonging to the known domain, but emerge in metaphor interpretation. Secondly, I consider a metaphor as a reasoning device, guiding the interpreters along a path of inferences to a conclusion, which attributes to the target some properties of the source. In this path, interpreters might discover the ignored existing properties of the known domain and/or recover the “non-existing” properties, inferring or imagining the missing piece of information. Finally, I argue that, especially in visual metaphors, this process is guided by a “sentiment of rationality”, tracking a disruption of existing familiar conceptualisations of objects and/or actions and a recovery of ignored properties. (shrink)

In recent years, researchers and practitioners have increasingly paid attention to food waste, which is seen as highly unethical given its negative environmental and societal implications. Waste recovery is dependent on the creation of connections along the supply chain, so that actors with goods at risk of becoming waste can transfer them to those who may be able to use them as inputs or for their own consumption. Such waste recovery is, however, often hampered by what we call ‘circularity holes’, (...) i.e., missing linkages between waste generators and potential receivers. A new type of actor, the digital platform organization, has recently taken on a brokerage function to bridge circularity holes, particularly in the food supply chain. Yet, extant literature has overlooked this novel type of brokerage that exploits digital technology for the transfer and recovery of discarded resources between supply chain actors. Our study investigates this actor, conceptualized as a ‘circularity broker’, and thus unites network research and circular supply chain research. Focusing on the food supply chain, we adopt an interpretive inductive theory-building approach to uncover how platform organizations foster the recovery of waste by bridging circularity holes. We identify and explicate six brokerage roles, i.e., connecting, informing, protecting, mobilizing, integrating and measuring, and discuss them in relation to extant literature, highlighting novelties compared to earlier studies. The final section reflects on contributions, implications, limitations and areas for further research. (shrink)

Many studies have highlighted a substantial "bureaucracy domination" in procedures relating to migrants’ access to territory. This form of domination is marked by highly discretionary and arbitrary practices, enacted by the administrative authorities of the state. Only minor attention, however, has been devoted to the arbitrariness of judicial decisions and to the judicial role in general in the numerous proceedings that increasingly affect the path of migrants. This path is the main object of this paper. The study focuses on Italian (...) case law in expulsion and detention proceedings of irregular third country national citizens and asylum seekers and presents qualitative empirical research on decisions issued by the competent national authorities. The results have been analysed using a selection of theoretical tools, all referable to the general concept of the rule of law. The judicial decisions on pre-removal detention proceedings in two case studies are examined: the jurisprudence on detention of irregular migrants, in different offices of the Justice of the Peace in Italy; and the case law on detention of asylum seekers in the Ordinary Tribunal of Rome. The assumption underlying the research is that various conceptions of the rule of law may have different explanatory power when it comes to explaining the empirical results. To verify this hypothesis, the study proposes an overview of the main rule of law doctrines in the Western tradition of political and legal thought and applies the method of historical-conceptual analysis. As a result, the explanatory power of six theoretical models of the rule of law was verified against the data with the view to highlight the virtues and vices of the respective explanatory frameworks. This article reaches a two-fold conclusion. First, as far as the explanatory frameworks are concerned: the results of the two case studies cannot be fully explained by any of the models considered in this study. This fact alone casts doubts on the explanatory power of these theories and calls for further research on judicial decision-making more generally. Secondly, a key finding of the study regarding the notions of discretion and arbitrariness is that the judicial approach which assures the highest protection of rights is also the one that is most easily influenced by arbitrariness. The author argues that this paradox can be easily dissolved by paying attention to the plural dimensions of arbitrariness. If we consider arbitrariness from a legal point of view, i.e. as an illegal decision, it is unsurprising that the authority that most uses its discretionary powers is also the one most at risk of abusing these discretionary powers and hence of exercising arbitrary power. However, if we consider arbitrariness from the point of view of philosophical-political theory, i.e. as a form of domination characterised by the absence of sufficient justification, it is unsurprising that the judicial approach which assures the highest protection of rights is also the one that takes its own role as guarantor of these rights and of the constitutional democratic legal order as such most seriously. This judicial approach thus most often risks exercising its power in criticisable ways, as compared to an authority much more in line with the requirements of law enforcement agencies. Keywords: migration, discretion, justice, arbitrariness, civil rights, Rechtsstaat, expulsion, mixed constitution. (shrink)

Theory of Mind (ToM) or mentalization is the ability to understand and foresee the behavior referring to one's own and others' mental states (Premack & Woodruff, 1978; Wimmer & Perner, 1983). This capacity, which is considered the most representative mechanism of social cognition, is a multifaceted set of competences liable to influence--and be influenced by--a manifold of psychosocial aspects. Studies on typical and atypical/clinical development during life showed that ToM is frequently delayed (e.g. in deafness) or impaired in many clinical (...) conditions (e.g. Autism Spectrum Disorder, Attention Deficit Hyperactivity Disorder, Schizophrenia, Borderline Personality Disorder, Parkinson's Disease, Alzheimer's Disease) and, on the other hand, may not be unequivocally a positive experience. It is therefore possible to consider the existence of multiple kinds of Theory of Mind. In fact, ToM may vary along a quantitative and a qualitative continuum. As for the quantitative dimension, the continuum is constituted by the fluctuation between high and low levels of ToM ability in different clinical conditions. Along this continuum, impairment can mean "not enough" ToM (for example in Autism Spectrum Disorder) as well as "too much" ToM (for example in Schizophrenia and Borderline Personality Disorder). The qualitative dimension--highly interrelated with the quantitative one--regards the shift between adaptive (e.g. prosocial, nice ToM) vs. unadaptive (e.g. antisocial, nasty ToM) mental states content. The issue is discussed in light of recent evidence from outstanding researchers working on typical and atypical/clinical populations along the life-span. Findings from the fields of psychology, neuropsychology and neuroscience enrich the research topic argumentation"--Page 2. (shrink)

A cavallo tra i due concili di Costanza e Basilea, che hanno fortemente influito sul giudizio della Chiesa in relazione alle donne visionarie, si staglia la figura di Francesca Bussa dei Ponziani. Le visioni politiche di Francesca rappresentano un fulgido esempio di come i modelli brigidini e cateriniani siano stati ripresi e rimodellati su un nuovo, mutato contesto storico. La sua consolidata autorità le consentì di ammonire a più riprese papa Eugenio IV riguardo alla sua partecipazione al concilio (...) di Basilea, intervenendo attivamente nello scenario religioso e politico romano. (shrink)

It is well known that Hermann Cohen was one of the first philosophers who engaged in the debate about non-Euclidean geometries and the concept of space. His relation to Hermann von Helmholtz, who played a major role in the same debate, is an illuminating example of how some of the leading ideas of Marburg neo-Kantianism, although motivated independently of scientific debates, naturally led to the examination of scientific works and scientists’ epistemological views. This paper deals with Cohen’s view of magnitudes (...) and measurement and with his – less known – review of Helmholtz’s paper “Zählen und Messen, erkenntnistheoretisch betrachtet”, which contains one of the first attempts to formulate a theory of measurement in the modern sense. The first part provides a brief introduction to this debate in its connection with the earlier discussion on geometrical axioms and the concept of space. The main sections deal with Helmholtz’s and Cohen’s approaches to the foundations of measurement. Cohen’s criticism of some of Helmholtz’s assumptions notwithstanding, my emphasis is on some unexpected affinities between these two approaches. In the concluding section, I rely on the constructive side of Cohen’s criticisms to reconsider the philosophical aspects of Helmholtz’s theory and draw a few comparisons with contemporary measurement theory. (shrink)

This book offers a reconstruction of the debate on non-Euclidean geometry in neo-Kantianism between the second half of the nineteenth century and the first decades of the twentieth century. Kant famously characterized space and time as a priori forms of intuitions, which lie at the foundation of mathematical knowledge. The success of his philosophical account of space was due not least to the fact that Euclidean geometry was widely considered to be a model of certainty at his time. However, such (...) later scientific developments as non-Euclidean geometries and Einstein’s general theory of relativity called into question the certainty of Euclidean geometry and posed the problem of reconsidering space as an open question for empirical research. The transformation of the concept of space from a source of knowledge to an object of research can be traced back to a tradition, which includes such mathematicians as Carl Friedrich Gauss, Bernhard Riemann, Richard Dedekind, Felix Klein, and Henri Poincaré, and which finds one of its clearest expressions in Hermann von Helmholtz’s epistemological works. Although Helmholtz formulated compelling objections to Kant, the author reconsiders different strategies for a philosophical account of the same transformation from a neo-Kantian perspective, and especially Hermann Cohen’s account of the aprioricity of mathematics in terms of applicability and Ernst Cassirer’s reformulation of the a priori of space in terms of a system of hypotheses. This book is ideal for students, scholars and researchers who wish to broaden their knowledge of non-Euclidean geometry or neo-Kantianism. (shrink)

At Columbia University in 1906, William James gave a highly confrontational speech to the American Philosophical Association (APA). He ignored the technical philosophical questions the audience had gathered to discuss and instead addressed the topic of human energy. Tramping on the rules of academic decorum, James invoked the work of amateurs, read testimonials on the benefits of yoga and alcohol, and concluded by urging his listeners to take up this psychological and physiological problem. What was the goal of this unusual (...) speech? Rather than an oddity, Francesca Bordogna asserts that the APA address was emblematic—it was just one of many gestures that James employed as he plowed through the barriers between academic, popular, and pseudoscience, as well as the newly emergent borders between the study of philosophy, psychology, and the “science of man.” Bordogna reveals that James’s trespassing of boundaries was an essential element of a broader intellectual and social project. By crisscrossing divides, she argues, James imagined a new social configuration of knowledge, a better society, and a new vision of the human self. As the academy moves toward an increasingly interdisciplinary future, William James at the Boundaries reintroduces readers to a seminal influence on the way knowledge is pursued. (shrink)

Thomas E. Hill, Jr.; Servility and Self-Respect, The Monist, Volume 57, Issue 1, 1 January 1973, Pages 87–104, https://doi.org/10.5840/monist197357135.

Sociopolitical attitudes are often the root cause of conflicts between individuals, groups, and even nations, but little is known about the origin of individual differences in sociopolitical orientation. We test a combination of economic and evolutionary ideas about the degree to which the mating market, sex, age, and income affect sociopolitical orientation. We collected data online through Amazon’s Mechanical Turk from 1108 US participants who were between 18 and 60, fluent in English, and single. While ostensibly testing a new online (...) dating website, participants created an online dating profile and described people they would like to date. We manipulated the participants’ popularity in the mating market and the size of the market and then measured participants’ sociopolitical attitudes. The sociopolitical attitudes were reduced to five dimensions via Principal Components Analysis. Both manipulations affected attitudes toward wealth redistribution but were largely not significant predictors of the other dimensions. Men reported more unrestricted sociosexual attitudes, and more support for benevolent sexism and traditional family values, than women did, and women supported wealth redistribution more than men did. There was no sex difference in accepting nonconforming behaviors. Younger people and people with lower incomes were more liberal than older people and people with higher incomes, respectively, regardless of sex. Overall, effects were largely not interactive, suggesting that individual differences in sociopolitical orientation may reflect strategic self-interest and be more straightforward than previously predicted. (shrink)

Sidgwick argued that utilitarianism and egoism were in conflict, that neither theory was better justified than the other, and concluded that there was a and all that remained to him was. The dualism argument introduced by Sidgwick is an extremely powerful sceptical argument that no theory of ethics is rationally required: it cannot be shown that a moral sceptic or an egoist ought to accept the moral theory, otherwise she is unreasonable. I explain two ways in which the significance of (...) the dualism argument has been underestimated. First, I suggest that a hybrid theory such as utilitarianism with an egoist bias is not a solution to the dualism. Second, I argue that the dualism argument is not restricted to a conflict between hedonic egoism and utilitarianism, but applies to any attempt to show that a theory of ethics is rationally required. (shrink)

Ethnomethodology research has systematically investigated discursive practices of categorisation, looking at the various ways by which social actors ascribe both themselves and others to identity categories to accomplish various kinds of social actions. Drawing on a data corpus of oncological visits collected in an Italian hospital, involving both native and non-native patients, the present work analyses how participants in these intercultural medical encounters invoke and make relevant social identity categories by the marking of collective pronouns in their talk. Our results (...) showed that whilst institutional identities prevailed, categorial formulations related to cultural or linguistic identities were rarely displayed in interactions with non-native patients. Conversational participants made very little of their linguistical or cultural background and when they did so, their cultural and linguistic identities were deployed for rhetorical and pragmatical aims, such as testing and negotiating common knowledge and epistemic authority. This study shows how even speakers’ minimal lexical choices, such as marked pronouns, impact the negotiation of meanings and activities in life-saving sites such as oncological visits. (shrink)

The oblivion of the interval -- Being in place -- The aporia between envelope and things -- Dualism in Bergson -- Interval, sexual difference -- Beyond man: rethinking life and matter -- Conclusion: interval as relation, interval as becoming.

An inquiry drawing on the presence of Hellenistic philosophy in Philo provides a better knowledge of the diffusion of Hellenistic philosophy since the late ...

Objectives: To explore how subjects in a placebo-controlled vitamin A supplementation trial among Ghanaian women aged 15–45 years perceive the trial and whether they know that not all trial capsules are the same, and to identify factors associated with this knowledge.Methods: 60 semistructured interviews and 12 focus groups were conducted to explore subjects’ perceptions of the trial. Steps were taken to address areas of low comprehension, including retraining fieldworkers. 1971 trial subjects were randomly selected for a survey measuring their knowledge (...) that not all trial capsules are the same. The subjects’ fieldworkers were also interviewed about their characteristics and trial knowledge. Factors associated with knowledge were explored using multi-level modeling.Results: Although subjects knew they were taking part in research, most thought they were receiving an active and beneficial medication. Variables associated with knowledge were education and district of residence. Radio broadcasts benefited those with some schooling. Fieldworkers’ characteristics were not associated with subjects’ knowledge.Conclusions: Research and debate on new or improved consent procedures are urgently required, particularly for subjects with little education. (shrink)

Grammar as a discipline devoted to the study of language was greatly advanced by the Alexandrian philologists, and especially by Aristarchus, as demonstrated by Stephanos Matthaios. In order to edit Homer and other literary authors, whose texts were often written in archaic Greek and presented many linguistic problems, the Alexandrians had to recognize linguistic grammatical categories and declensional patterns. In particular, to determine the correct orthography or accentuation of debated morphological forms they often employed analogy, which is generally defined as (...) the doctrine that grammatical forms must follow strict rules of declension. Modern scholars have often opposed the Alexandrian doctrine of analogy to the Pergamene doctrine of ‘anomaly’, which favoured spoken usage to determine debated forms. Detlev Fehling and David Blank, however, have shown that this strong opposition never really existed and it is mostly due to Varro. More correctly, ancient grammarians identified inflectional rules as well as forms derived from spoken usage or otherwise aberrant forms—however, respect for spoken usage in the latter case was not labelled ‘anomaly’, which was never a technical term of ancient grammar. Rather, and especially in the Roman period, grammarians used the term ‘pathology’ to account for and explain irregular forms. (shrink)

The aim of this paper is to investigate Nishida Kitarō’s way of philosophizing in the light of the concept of “transition” in order to deepen our understanding of both Nishida’s philosophy and our thinking about and in transitions, using the concept of “boundary” or “border” (Grenze) as a catalyst. For that purpose, we focus on Nishida’s essay “Place” (「場所」), passing through different parts of the text as if through successive gates on a path of transition between one place and the (...) next, until we reach the final place of “absolute nothingness.” Dwelling on this place, we turn our attention to its internal structure and try to depict it along the outlines of a boundary, following the movements taking place in Nishida’s essay. The second part proposes an interpretation of the place of nothingness as an interminable practice of boundary-crossing that doesn’t come to a halt in a final, all-encompassing place, but dynamically situates itself on countless intersecting planes. After a more or less abstract analysis of the concept of “boundary,” we will apply and concretize this approach by using the example of the skin. To this end, we expose five main features of the skin as boundary: permeability, enclosure, excessiveness, interstitiality and reciprocal self-formation. (shrink)

Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key (...) neofregean advantage, while preserving the key structuralist advantage, which objects play the number role does not matter. (shrink)