In a published debate between Law and Economics avatar Judge Richard Posner and Professor Robin Malloy entitled ‘Is Law and Economics Moral?’, Malloy argued that the dominant methodology of Law and Economics is immoral. Malloy likened it to the Frankenstein Monster – an unholy, undead abomination that can go berserk despite its ostensibly benign provenience. Malloy claimed that wealth maximization applied to social discourse ‘reduces people to an human existence to imaginary variables for calculation’.

We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy; strong connections are made between history-free strategies and the Geometry of Interaction. Our semantics incorporates a (...) natural notion of polarity, leading to a refined treatment of the additives. We make comparisons with related work by Joyal, Blass, et al. (shrink)

We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.

We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics (...) is the logic of Bunched Implications due to Pym and O’Hearn, which combines intuitionistic and multiplicative connectives. This introduces several new connectives not previously considered in logics of informational dependence, but which we show play a very natural rôle, most notably intuitionistic implication. As regards the quantifiers, we show that their interpretation in the Hodges semantics is forced, in that they are the image under the general construction of the usual Tarski semantics; this implies that they are adjoints to substitution, and hence uniquely determined. As for the dependence predicate, we show that this is definable from a simpler predicate, of constancy or dependence on nothing. This makes essential use of the intuitionistic implication. The Armstrong axioms for functional dependence are then recovered as a standard set of axioms for intuitionistic implication. We also prove a full abstraction result in the style of Hodges, in which the intuitionistic implication plays a very natural rôle. (shrink)

In the era of increasingly defined ontological insecurity and uncertainty driven by the ravages of COVID-19, urban informal settlement has emerged as a source of resilience. Indeed, the effects of a pandemic transcends its epidemiological characteristics to political economy and societal resilience. If resilience is the capacity of a system to adapt successfully to significant challenges that threaten the function or development of the human society, then ontological insecurity is about the lack of such capacity. Drawing on Keith Hartian’s understanding (...) of ‘informality’ of spaces, this policy brief attempts to identify and frame a research agenda for the future. The agenda would assist future researchers and policymakers provide responses that appropriately recognize groups and actors that define the urban informal space. (shrink)

Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 1–77. The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science.• Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics• The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.• Logics of programsStone duality provides a junction between semantics and logics . Moreover, the underlying (...) logic is geometric, which can be computationally interpreted as the logic of observable properties—i.e., properties which can be determined to hold of a process on the basis of a finite amount of information about its execution.These ideas lead to the following programme. A metalanguage is introduced, comprising• types = universes of discourse for various computational situations;• terms = PROGRAMS = syntactic intensions for models or points. A standard denotational interpretation of the metalanguage is given, assigning domains to types and domain elements to terms. The metalanguage is also given a logical interpretation, in which types are interpreted as propositional theories and terms are interpreted via a program logic, which axiomatises the properties they satisfy. The two interpretations are related by showing that they are Stone duals of each other. Hence, semantics and logic are guaranteed to be in harmony with each other, and in fact each determines the other up to isomorphism. This opens the way to a whole range of applications. Given a denotational description of a computational situation in our metalanguage, we can turn the handle to obtain a logic for that situation. (shrink)

Synthesizing self‐regulatory theories, we provide new insights into the antecedents of abusive supervision. We, from the perspective of supervisor's self‐regulatory resources depletion or impairment, introduce supervisor hindrance stress as an underlying mechanism of the subordinate deviance–abusive supervision relationship: this mediated relationship will be intensified at the level of high subordinate job performance. In addition, we develop a complex contingency model and propose a three‐way interaction (i.e., subordinate deviance, job performance, supervisor outcome dependence) to obtain the complete understanding of the subordinate (...) deviance–abusive supervision relationship facilitated through the supervisors’ hindrance stress. To test our moderated moderated mediation model, we gathered time‐lagged and multisource data from a large food service company located in southern China. We collected data at two different points (i.e., Time 1 and Time 2) from supervisors and their direct reports (N = 298 responses from 68 supervisors and 298 direct reports), and findings provide support for the hypothesized moderated moderated mediation model of our study. We highlight the implications of our study for theory, research, and practice. (shrink)

This insightful book explores the experiences of African students in the U.S. Using the personal stories of eleven African students, the book confronts the question, what is it like for Africans to leave their heritage and home, and become students in the U.S.? Being an African Student will promote curricula that is more effective and attentive to the needs of international students.

Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of (...) situations. There is a single clear conceptual principle, based on purely logical consistency conditions, which underlies our notion of logical Bell inequalities. We show that in a precise sense, all Bell inequalities can be taken to be of this form. Our approach is very general. It applies directly to any family of sets of commuting observables. Thus it covers not only the n-partite scenarios to which Bell inequalities are standardly applied, but also Kochen-Specker configurations, and many other examples. There is much current work on experimental tests for contextuality. Our approach directly yields, in a systematic fashion, testable inequalities for a very general notion of contextuality. There has been much work on obtaining proofs of Bell's theorem “without inequalities” or “without probabilities.” These proofs are seen as being in a sense more definitive and logically robust than the inequality-based proofs. On the hand, they lack the fault-tolerant aspect of inequalities. Our approach reconciles these aspects, and in fact shows how the logical robustness can be converted into systematic, general derivations of inequalities with provable violations. Moreover, the kind of strong non-locality or contextuality exhibited by the GHZ argument or by Kochen-Specker configurations can be shown to lead to maximal violations of the corresponding logical Bell inequalities. Thus the qualitative and the quantitative aspects are combined harmoniously. (shrink)

We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by indexing. (...) We use this structure to give a universal semantics for quantum systems based on a final coalgebra construction. We characterize equality in this semantics as projective equivalence. We also define an analogous indexed structure for Chu spaces, and use this to obtain a novel categorical description of the category of Chu spaces. We use the indexed structures of Chu spaces and coalgebras over a common base to define a truncation functor from coalgebras to Chu spaces. This truncation functor is used to lift the full and faithful representation of the groupoid of physical symmetries on Hilbert spaces into Chu spaces, obtained in our previous work, to the coalgebraic semantics. (shrink)

This article presents a structured and systematic approach for identifying and modelling compliance risks. The sophistication with which modern business is carried out and the unprecedented access to a global market means that businesses are exposed to increasing and diverse regulatory requirements in and across jurisdictions. Compliance with such requirements is practically challenging, partly due to the complexity of regulatory environments. One possibility in this regard is a risk-based approach to compliance, where resources are allocated to those compliance issues that (...) are most risky. Despite the need for risk-based compliance, few specific methods and techniques for identifying and modelling compliance risks have been developed. Due to the lack of methodological and tool support, compliance risk identification often involves unstructured brainstorming, with uncertain outcomes. The proposed approach consists of a five-step process for the structured identification and assessment of compliance risks. This process aims at facilitating the identification of compliance risks and their documentation in a consistent and reusable fashion. As part of the process, the article provides a systematic approach for a graphical modelling of compliance risks, which aims at facilitating communication among experts from different backgrounds. The creation of graphical models can be partly automated based on natural language patterns for regulatory requirements. Furthermore, the structuring of the compliance requirement in a template aims at simplifying the modelling of compliance risks and facilitating a potential future automated model. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Drama in Aesthetic Education:An Invitation to Imagine the World as if It Could Be OtherwiseFlorence Samson (bio)Maxine Greene, philosopher-in-residence for the Lincoln Center Institute (LCI), suggests that through aesthetic education "new connections are made in experience: new patterns are formed, new vistas are opened. Persons see differently, resonate differently." As Rilke wrote in one of his poems, and as quoted by Greene, "they are enabled to pay heed (...) when a work of art tells them, 'You must change your life.'"1 Greene interprets Rilke's words to mean that "a work [of art], when fully perceived and carefully attended to, makes a demand upon beholders—a demand that they change, look with new eyes, hear with new ears, become something they have not been before."2 Greene believes that "the perceiving, the noticing [about which Rilke spoke] are enhanced," for in the process of "[o]pening ourselves as perceivers to the work, entering into it kinaesthetically, we free ourselves to grasp it in its vital fullness and complexity."3This life change, to which Rilke refers, occurs as we take into our own being the experiences of others and realize that not everyone sees the world as we do. As we look critically at ourselves and our complicity in situations that position people as "other," we are moved to imagine that the world could be otherwise.Curriculum, Change, and Aesthetic EducationAesthetic education, an inquiry-driven engagement with a work of art, can be a catalyst to bringing about change. The aesthetic education experience consists of a number of components. LCI agrees upon a repertoire of "works of art" deemed likely to fulfill the requirements of engagement and inquiry. These may include, but are not limited to, music, drama, and opera performances, and mask, photo, and art exhibits. For each work of art, the LCI [End Page 70] researchers and other staff prepare a resource binder, entitled Windows on the Work. The teacher educator has several meetings with the teaching artist assigned to that work to develop the questions that will power the inquiry process, determine the structure and activities of the pre- and sometimes post-performance classes, and guide the students in their engagement with the work of art.I have included an aesthetic education experience program each term in my graduate and undergraduate elementary and early childhood education courses. My course outlines describe this component and the related student assignments. For the fall 2004 course, I chose Ping Chong's Secret History: Journeys Abroad, Journeys Within.4 This drama documentary, written and directed by Ping Chong and Leyla Mordirzadeh in collaboration with Sara Zatz, was directly related to one of my course goals—teaching for equity and social justice. This involves providing teachers with opportunities to "engage in productive dialogues about both inequities and possibilities for social reconstruction in the communities within which they and their students are developing."5Ping Chong & Company was founded thirty years ago "to create innovative works of theatre and art that explore the intersection of race, history, culture, and technology in the modern world."6Ping Chong, Insider/Outsider, and His Approach to TheatreCanadian-born and New York-reared Chong—theatre director, choreographer, and video and installation artist—is "fascinated and disturbed by the position of the outsider, the person made to feel 'other' in a society" and "probe[s] the drama of those pushed from one culture to another."7 He has done extensive research on both immigrants and refugees and recognizes that there is a psychological difference in the trauma experienced by members of both groups in the transition from one culture to the other.Chong's unique "talk, reveal, and seek to understand" approach to theatre "moves us toward unification, toward diminishing the barriers between peoples, and thus toward embracing all that is good in civilization."8 His work is grounded in his experience of sharing a common ethnicity and language with his community in Chinatown and occupying the position of "other" as the only Chinese student in his high school. Because of his experience of being "other," Chong has "a real kind of empathy and connection" with his projects.9 He considers... (shrink)

This study utilises philosophical deliberation to analyse the psycho-social and emotional conflicts that arise out of widowhood practices in the Luo community ofKenya. Towards this end, it explores the attendant effects of Luo widowhood practices on family, power and gender relations, and suggests resolutions to thechallenges they generate.

Samson Liberman ABSTRACT: The aim of this paper is a socio-philosophical analysis of attention deficit phenomenon, which is being detected at the intersection of several subject areas. The main methodological instrument of the study is a Marxist principle of alienation. Alienation of attention, which, on the one hand, is being ….

We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how Chu spaces can (...) be used to represent physical systems of various kinds. In particular, we show how quantum systems can be represented as Chu spaces over the unit interval in such a way that the Chu morphisms correspond exactly to the physically meaningful symmetries of the systems—the unitaries and antiunitaries. In this way we obtain a full and faithful functor from the groupoid of Hubert spaces and their symmetries to Chu spaces. We also consider whether it is possible to use a finite value set rather than the unit interval; we show that three values suffice, while the two standard possibilistic reductions to two values both fail to preserve fullness. (shrink)

A short scientific biography emphasising the main phases of Abramsky’s research: duality theory and domains in logical form, game semantics, categorical quantum mechanics, the sheaf-theoretic approach to contextuality, and game comonads and a structural view of resources and descriptive complexity.

Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the structure of their instances by the following equational principle: if two generic programs, viewed as terms of type , are equal at any given instance A[T], then they are equal at all instances. They proved that this rule is admissible in a certain extension of System F, but finding a semantically (...) motivated model satisfying this principle remained an open problem.In the present paper, we construct a categorical model of polymorphism, based on game semantics, which contains a large collection of generic types. This model builds on two novel constructions:•A direct interpretation of variable types as games, with a natural notion of substitution of games. This allows moves in games A[T] to be decomposed into the generic part from A, and the part pertaining to the instance T. This leads to a simple and natural notion of generic strategy.•A “relative polymorphic product” which expresses quantification over the type variable Xi in the variable type A with respect to a “universe” which is explicitly given as an additional parameter B. We then solve a recursive equation involving this relative product to obtain a universe in a suitably “absolute” sense.Full Completeness for ML types is proved for this model. (shrink)

This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.

This article contributes to debates on the relationship between waste and value by exploring how the revaluation of waste at a dump in Soweto, South Africa, was transformed during the 2008 economic crisis. It critically engages Herod, Pickren, Rainnie & McGrath-Champ’s differentiation between ‘devalorisation’ due to material degradation and ‘devaluation’ due to prices being too low for recycling to be profitable, in order to develop three arguments. First, it is necessary to recognise how political mobilisation by reclaimers shapes the conditions (...) for devaluation by affecting local prices for recyclables. Second, reclaimers’ struggles to monopolise control over waste as they govern their labour process may lead to materials that could be profitably reclaimed remaining wasted. Third, waste is not only revalued through global production networks. Analysing why reclaimers choose to revalue waste through either formal or informal circuits provides insights into how the economy is constituted and affected by crisis in postcolonial contexts. (shrink)

We present the model construction technique called Linear Realizability. It consists in building a category of Partial Equivalence Relations over a Linear Combinatory Algebra. We illustrate how it can be used to provide models, which are fully complete for various typed λ-calculi. In particular, we focus on special Linear Combinatory Algebras of partial involutions, and we present PER models over them which are fully complete, inter alia, w.r.t. the following languages and theories: the fragment of System F consisting of ML-types, (...) the maximal theory on the simply typed λ-calculus with finitely many ground constants, and the maximal theory on an infinitary version of this latter calculus. (shrink)