Aggregation, Partiality, and the Strong Beneficence Principle Dale Dorsey Department of Philosophy University of Alberta 4-115 Humanities Centre Edmonton, Alberta Canada T6G 2E5 [email protected] The moral philosophy literature has, of late, been flush with discussion pro and con of the Strong Beneficence Principle: Strong Beneficence Principle (SBP): Persons of affluent means ought to give to...

We investigate monads of partiality in Martin-Löf type theory, following Moggi’s general monad-based method for modelling effectful computations. These monads are often called lifting monads and appear in category theory with different but related definitions. In this paper, we unveil the relationship between containers and lifting monads. We show that the lifting monads usually employed in typ...

Even though it is not very often admitted, partial functions do play a signiicant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanisation. Based on this, we have developed resolution and tableau calculi for automated theorem proving. The ...

2 Static Accounts: Multivalence and Partiality 6 2.1 Trivalent Accounts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Supervaluations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.3 Two Dimensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Pragmatic Extensions . . . . . . . . . . . . . . . ....

Abstract Over a year since the outbreak of war in Ethiopia’s northern Tigray region, fighting continues. Indeed, conflict theatre has now expanded considerably, with devastating consequences for many Ethiopians. With atrocities committed by all sides and profound humanitarian crisis underway, currently stands as testament to emptiness Responsibility Protect (R2P) commitments made states organis...

We revisit the standard axioms of domain theory with emphasis on their relation to the concept of partiality, explain how this idea arises naturally in probability theory and quantum mechanics, and then search for a mathematical setting capable of providing a satisfactory unification of the two.