Non-normal modalities in variants of Linear Logic

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic Linear Logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatization and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the logical framework to use by instantiating it as logics of agency. In particular, we propose a logic to reason about the resource-sensitive use of artefacts and illustrate it with a variety of examples

Logics for modelling collective attitudes

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal modalities to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained

Logical operators for ontological modeling

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and even simplify their logical formulation

The Emergent Logic of Health Law

The American health care system is on a glide path toward ruin. Health spending has become the fiscal equivalent of global warming, and the number of uninsured Americans is approaching fifty million. Can law help to divert our country from this path? There are reasons for deep skepticism. Law governs the provision and financing of medical care in fragmented and incoherent fashion. Commentators from diverse perspectives bemoan this chaos, casting it as an obstacle to change. I contend in this Article that pessimism about health law’s prospects is unjustified, but that a new understanding of health law’s disarray is urgently needed to guide reform. My core proposition is that the law of health care provision is best understood as an emergent system. Its contradictions and dysfunctions cannot be repaired by some master design. No one actor has a grand overview—or the power to impose a unifying vision. Countless market players, public planners, and legal and regulatory decisionmakers interact in oft-chaotic ways, clashing with, reinforcing, and adjusting to each other. Out of these interactions, a larger scheme emerges—one that incorporates the health sphere’s competing interests and values. Change in this system, for worse and for better, arises from the interplay between its myriad actors. By quitting the quest for a single, master design, we can better focus our efforts on possibilities for legal and policy change. We can and should continuously survey the landscape of stakeholders and expectations with an eye toward potential launching points for evolutionary processes—processes that leverage current institutions and incentives. What we cannot do is plan or predict these evolutionary pathways in precise detail; the complexity of interactions among market and government actors precludes fine-grained foresight of this sort. But we can determine the general direction of needed change, identify seemingly intractable obstacles, and envision ways to diminish or finesse them over time. Dysfunctional legal doctrines, interest group expectations, consumers’ anxieties, and embedded institutional and cultural barriers can all be dealt with in this way, in iterative fashion. This Article sets out a strategy for doing so. To illustrate this strategy, I suggest emergent approaches to the most urgent challenges in health care policy and law—the crises of access, value, and cost

Race, Gender, Age, and Disproportionate Impact: What Can We Do About the Failure to Protect the Most Vulnerable?

Hard economic times and social conditions are driving a reordering of environmental protection priorities that threatens to sacrifice the most vulnerable groups. Environmental regulatory agencies acknowledge that vulnerable populations face the greatest risk of harm from environmental insult and that these groups are not adequately protected. Although a risk-based prioritization of resources benefits the greatest number of people, such allocation would disadvantage minority communities, which contain disproportionate numbers of sensitive subgroups. Our regulatory bodies must therefore develop new strategies to adequately protect sensitive subgroups identified in minority communities. Part II of this Article looks at some of the considerations that influence the health protection priorities and resource allocations that environmental regulatory agencies make. Part III examines the importance of variation in susceptibility to environmental insult and how minorities, women, and the young are particularly affected. Part IV discusses the economic rationale and available mechanisms for protecting vulnerable subgroups

Animating archaeology: local theories and conceptually open-ended methodologies

Animists’ theories of matter must be given equivalence at the level of theory if we are to understand adequately the nature of ontological difference in the past. The current model is of a natural ontological continuum that connects all cultures, grounding our culturally relativist worldviews in a common world. Indigenous peoples’ worlds are thought of as fascinating but ultimately mistaken ways of knowing the world. We demonstrate how ontologically oriented theorists Eduardo Viveiros de Castro, Karen Barad and Tim Ingold in conjuncture with an anti-representationalist methodology can provide the necessary conditions for alternative ontologies to emerge in archaeology. Anthropo-zoomorphic ‘body-pots’ from first-millennium ad northwest Argentina anticipate the possibility that matter was conceptualized as chronically unstable, inherently undifferentiated, and ultimately practice dependent

Mainstreaming Gender Into Project Cycle Management in the Fisheries Sector

This manual has been prepared to facilitate gender analysis and project planning in fisheries development projects. It is intended to be a toolkit to help project managers and implementing counterparts (such as extensionists, government and non-government field workers, and private- and public-sector development consultants, community organizers and leaders of local groups), to facilitate the integration of gender issues into the project cycle

Nature as a Network of Morphological Infocomputational Processes for Cognitive Agents

This paper presents a view of nature as a network of infocomputational agents organized in a dynamical hierarchy of levels. It provides a framework for unification of currently disparate understandings of natural, formal, technical, behavioral and social phenomena based on information as a structure, differences in one system that cause the differences in another system, and computation as its dynamics, i.e. physical process of morphological change in the informational structure. We address some of the frequent misunderstandings regarding the natural/morphological computational models and their relationships to physical systems, especially cognitive systems such as living beings. Natural morphological infocomputation as a conceptual framework necessitates generalization of models of computation beyond the traditional Turing machine model presenting symbol manipulation, and requires agent-based concurrent resource-sensitive models of computation in order to be able to cover the whole range of phenomena from physics to cognition. The central role of agency, particularly material vs. cognitive agency is highlighted