The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one—a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are analysed and formalised using labelled transition systems in the \ framework. Rights are introduced to the system as procedures allowing for their fulfilment. Obligations are (...) based on the requirement of cooperation in the realisation of the goals of the agent that has a right. If the right of an agent cannot be fulfilled without an action of another agent, then that action is obligatory for that agent. If there are many potential contributors who are individually allowed to refuse, then the last of them is obliged to help when all the others have already refused. By means of formalisation this account of the relation under consideration is precisely expressed and shown consistent. (shrink)

In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” :2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a Hilbert space. The other approach considers a “Piron lattice”, which characterizes the algebra of closed linear subspaces of a Hilbert space. We define categories of these two sorts (...) of structures and show a duality between them. This result establishes, on one direction of the duality, that quantum dynamic frames represent quantum structures correctly; on the other direction, it gives rise to a representation of dynamics on a Piron lattice. (shrink)

Kant's Transition Project and Late Philosophy is the first study to provide a close reading of the connection between texts written by Kant during 1796 and 1798. Connecting Kant's unfinished book project, the Opus postumum, with the Metaphysics of Morals, it identifies and clarifies issues at the forefront of Kant's focus towards the end of his life. Labelled by Kant as the “Transition Project”, the Opus postumum generates debate among commentators as to why Kant describes the project (...) as filling a “gap” within his system of critical philosophy. This study argues for a pervasive transition project that can be traced through Kant's entire critical philosophy and is the key to addressing current debates in the scholarship. By showing that there is not only a Transition Project in Kant's theoretical philosophy but also a Transition Project in his practical philosophy, it reveals why an accurate assessment of Kant's critical philosophy requires a new understanding of the Opus postumum and Kant's parallel late writings on practical philosophy. Rather than seeing Kant's late thoughts on a Transition as afterthoughts, they must be seen at the centre of his critical philosophy. (shrink)

This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining (...) and computing with a (coloured) LTS, and another, separate formalism, a modal language interpreted on a (coloured) LTS used to express its properties. We consolidate these two strands. Instead of specifying the obligatory and prohibited states and transitions as part of the construction of a coloured LTS as in nC+, we represent norms in the modal language and use those to construct a coloured LTS from a given regular (uncoloured) one. We also show how connections between norms on states and norms on transitions previously treated as fixed constraints of a coloured LTS can instead be defined within the modal language used for representing norms. (shrink)

Food safety and food quality are two closely related aspects of the food management system. The difference between the two is that one keeps consumers safe while the other keeps consumers satisfied. This study examined the differences in how consumers value food safety and food quality with a focus on the influence of loss aversion on one’s psychological level and of income effect on one’s socio-demographic level. Our findings indicate that loss aversion and income effect significantly influence the way (...) consumers value food safety vs. quality labels when considering potential health risks and food price. High risk-averse and low-income consumers with strong loss aversion and a weak income effect show a higher demand for food safety labels as a way to ensure easy access to safety indications. Low risk-averse and high-income consumers with weak loss aversion and a strong income effect show a higher demand for food quality labels because they hope to gain more health benefits from high-quality food at good prices. This study provides insights that will assist public authorities and food industry in balancing food safety control and food quality improvement in order to meet the heterogeneous market demand changing alongside the transition of China’s food consumption and production. (shrink)

Model checking techniques for communication protocols usually are phrased in terms of processes, basically labelled arcs in a labelled transition system. We propose to lift checking for such protocols to a more abstract level by analysing the protocols as composite communicative actions, with a communicative action viewed as a mapping on an appropriate class of epistemic models. As an example, we analyse an anonymous broadcast protocol (Chaum’s well-known dining cryptographers protocol) and an electronic voting protocol.

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the (...) material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided. (shrink)

From birth to 15 months infants and caregivers form a fundamentally intersubjective, dyadic unit within which the infant’s ability to recognize gender/sex in the world develops. Between about 18 and 36 months the infant accumulates an increasingly clear and subjective sense of self as female or male. We know little about how the precursors to gender/sex identity form during the intersubjective period, nor how they transform into an independent sense of self by 3 years of age. In this Theory and (...) Hypothesis article I offer a general framework for thinking about this problem. I propose that through repetition and patterning, the dyadic interactions in which infants and caregivers engage imbue the infant with an embodied, i.e., sensori-motor understanding of gender/sex. During this developmental period (which I label Phase 1) gender/sex is primarily an intersubjective project. From 15 to 18 months (which I label Phase 2) there are few reports of newly appearing gender/sex behavioral differences, and I hypothesize that this absence reflects a period of developmental instability during which there is a transition from gender/sex as primarily inter-subjective to gender/sex as primarily subjective. Beginning at 18 months (i.e., the start of Phase 3), a toddler’s subjective sense of self as having a gender/sex emerges, and it solidifies by 3 years of age. I propose a dynamic systems perspective to track how infants first assimilate gender/sex information during the intersubjective period (birth to 15 months); then explore what changes might occur during a hypothesized phase transition (15 to 18 months), and finally, review the emergence and initial stabilization of individual subjectivity-the period from 18 to 36 months. The critical questions explored focus on how to model and translate data from very different experimental disciplines, especially neuroscience, physiology, developmental psychology and cognitive development. I close by proposing the formation of a research consortium on gender/sex development during the first 3 years after birth. (shrink)

La 4e de couverture indique : "Avec l'accélération de la mondialisation, une opinion qui aurait, jusqu'il y a peu, été taxée d'incongruité, semble avoir gagné le statut d'évidence : le système étatique mondial serait menacé et appellerait à une profonde redéfinition des attributs, des structures et du rôle traditionnellement dévolus aux Etats. Malgré un échiquier géopolitique modifié, où les frontières s'évanouissent et où les cultures et les traditions nationales s'amalgament jusqu'à l'extinction, il faut cependant reconnaître que la mondialisation n'est pas (...) venue à bout des Etats, des sociétés qui les composent et des divers problèmes que crée la cohabitation au sein de leurs institutions traditionnelles. Bien au contraire, la mondialisation a souvent contribué à enclencher en série des situations qui se répercutent sur les plans social et étatique. Dans toutes ces situations, c'est aux Etats, à leur gouvernement et à la société entière qu'il appartient de restaurer, voire de réinventer, la trame des communautés politiques. Non pas en érigeant des barrages à la mondialisation, mais en contribuant à la création des institutions d'une gouvernance globale juste et efficace. Rassemblant des collaborateurs de l'Europe, du Québec, du Canada anglais et des Etats-Unis, ce livre questionne, sous des angles différents, la pertinence théorique de la notion de communauté politique lorsqu'il s'agit de penser le pluralisme résultant de l'immigration internationale. II pose aussi un regard critique sur le rôle que cette notion joue dans les approches courantes des phénomènes liés à la diversité. Car plusieurs questions se posent maintenant, dont celle, au premier chef, de la capacité des appareils d'Etats contemporains de cimenter des communautés politiques dans un contexte de mobilité spatiale accrue et de transnationalisme croissant.". (shrink)

Dans l’opinion publique, la mondialisation a ouvert les vannes de l’immigration internationale, les migrants circulant désormais aussi facilement que les capitaux et les marchandises. En phase avec cette représentation relevant du sens commun, le domaine de la migration internationale tend à subir l’influence des théories de la mobilité qui jouissent d’un véritable effet de mode. Cette pensée emprunte à des courants d’idées privilégiant l’effacement des frontières. Le concept de « mobilité » repose sur deux visions contradictoires. La première suppose que (...) les populations se déplacent à travers les frontières pour vendre et négocier leurs « capital social », là où les avantages économiques et sociaux sont les plus grands. La seconde considère que les obstacles à la mobilité sont la cause de nouvelles inégalités et de nouvelles hiérarchies dans le système mondial. Critiques de ces visions, certains spécialistes de l’immigration internationale estiment que les facteurs historico-structurels à l’œuvre dans les pays d’émigration et d’immigration ont une plus grande pertinence explicative que le recours à la question de la circulation. (shrink)

Labelled tableau systems are developed for subintuitionistic logics \, \ and \. These subintuitionistic logics are embedded into corresponding normal modal logics. Hintikka’s model systems are applied to prove the completeness of labelled tableau systems. The finite model property, decidability and disjunction property are obtained by labelled tableau method.

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

This article examines whether and how the participation of women in the firm’s board of directors and senior management enhances financial performance. We use the Fama and French (1992, 1993) valuation framework to take the level of risk into consideration, when comparing firm performances, whereas previous studies used either raw stock returns or accounting ratios. Our results indicate that firms operating in complex environments do generate positive and significant abnormal returns when they have a high proportion of women officers. Although (...) the participation of women as directors does not seem to make a difference in this regard, firms with a high proportion of women in both their management and governance systems generate enough value to keep up with normal stock-market returns. These findings tend to support the policies currently being discussed or implemented in some countries and organizations to foster the advancement of women in business. (shrink)

Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to (...) this general theory when one restricts attention to special classes of transition systems (in particular, finite ones), as well as extended logical languages (in particular, infinitary first-order logic). We hope that this puts standard logical formalisms on the map as a serious option for a theory of computational processes. As a side benefit, our approach increases comparability with several other existing formalisms over labeled transition systems (such as Process Algebra or Modal Logic). We provide some pointers to this effect, too. (shrink)

Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to (...) this general theory when one restricts attention to special classes of transition systems (in particular, finite ones), as well as extended logical languages (in particular, infinitary first-order logic). We hope that this puts standard logical formalisms on the map as a serious option for a theory of computational processes. As a side benefit, our approach increases comparability with several other existing formalisms over labeled transition systems (such as Process Algebra or Modal Logic). We provide some pointers to this effect, too. (shrink)

This work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. (...) Both these structures are here perceived as formal translations of the fundamental twofold role of properties in Mechanics: they are at the same time quantities and transformations. The question becomes then to understand the precise articulation between these two roles. The analysis will show that Quantum Mechanics can be thought as distinguishing itself from Classical Mechanics by a compatibility condition between properties-as-quantities and properties-as-transformations. -/- Moreover, this dissertation shows the existence of a tension between a certain "abstract way" of conceiving mathematical structures, used in the practice of mathematical physics, and the necessary capacity to specify particular states or observables. It then becomes important to understand how, within the formalism, one can construct a labelling scheme. The “Chase for Individuation” is the analysis of different mathematical techniques which attempt to overcome this tension. In particular, we discuss how group theory furnishes a partial solution. (shrink)

Usually in logic, proof systems are defined having in mind proving properties like validity and semantic consequence. It seems worthwhile to address the problem of having proof systems where satisfiability is a primitive notion in the sense that a formal derivation means that a finite set of formulas is satisfiable. Moreover, it would be useful to cover within the same framework as many logics as possible. We consider Kripke semantics where the properties of the constructors are provided by valuation constraints (...) as the common ground of those logics. This includes for instance intuitionistic logic, paraconsistent Nelson’s logic ${\textsf{N4}}$, paraconsistent logic ${\textsf{imbC}}$ and modal logics among others. After specifying a logic by those valuation constraints, we show how to induce automatically and from scratch an existential proof system for that logic. The rules of the proof system are shown to be invertible. General results of soundness and completeness are proved and then applied to the logics at hand. (shrink)

Vedānta is one of the oldest philosophical systems. While there are many detailed commentaries on Vedānta, there are very few mathematical descriptions of the different concepts developed there. This article shows how ideas from theoretical computer science can be used to explain Vedānta. The standard ideas of transition systems and modal logic are used to develop a formal description for the different ideas in Vedānta. The generality of the formalism is illustrated via a number of examples including saṃsāra, Patañjali’s (...) Yogasūtras, karma, the three avasthās from the Māṇḍūkya Upaniṣad and the key difference between advaita and dvaita in relation to mokṣa. (shrink)

Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of modal formalisms. To show that the equational view of processes from process algebra is (...) closely related to modal logic, we consider various ways of looking at the relation between the calculus of basic process algebra and propositional dynamic logic. More concretely, the paper contains preservation results for various bisimulation notions, a result on the expressive power of propositional dynamic logic, and a de nition of bisimulation which is the proper notion of invariance for concurrent propositional dynamic logic. (shrink)

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.

Dominant food systems, based on industrial methods and corporate control, are in a state of flux. To enable the transition towards more sustainable and just food systems, food movements are claiming new roles in governance. These movements, and the initiatives they spearhead, are associated with a range of labels (e.g., food sovereignty, food justice, and community food security) and use a variety of strategies to enact change. In this paper, we use the concept of relational fields to conduct a (...) post-hoc analysis of nine cases, examining how social movement organizations and other actors actively create new deliberative governance spaces. We argue that successes are related to the “power to convene,” a process-oriented approach that increases movements’ capacity to mobilize; leverage different types of power; and integrate, coordinate, and build a systems-oriented vision. The power to convene and create deliberative spaces is demonstrated in a variety of contexts and often results in outcomes that further movement aims, including policy change and repositioning food movement actors vis-à-vis others in the field. Our findings suggest that success is not only measured as policy outcomes, but as an advantageous repositioning of social movement actors that enables them to be part of governance processes beyond simple policy advocacy. (shrink)

The design and analysis of norms is a somewhat neglected topic in AI and Law, but this is not so in other areas of Computer Science. In recent years powerful techniques to model and analyse norms have been developed in the Multi-Agent Systems community, driven both by the practical need to regulate electronic institutions and open agent systems, and by a theoretical interest in mechanism design and normative systems. Agent based techniques often rely heavily on enforcing norms using the software (...) to prevent violation, but I will also discuss the use of sanctions and rewards, and the conditions under which compliance by autonomous agents (including humans) can be expected or encouraged without sanctions or rewards. In the course of the paper a suggested framework for the exploration of these issues is developed. (shrink)

Black-white, male-female — these and other markers, applied maliciously or not, enable the social dominance of one group.

This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.

Using the LDSNL model of utterance interpretation being developed by Gabbay and Kempson , this paper demonstrates how the dynamics of the proof process adopted explains configurational restrictions imposed on the interpretation of elliptical fragments. The blurring of traditional semantic and syntactic dichotomies in the LDSNL proof-theoretic reconstruction of interpretation successfully provides a basis for predicting the array of variation displayed by different elliptical forms. The logic adopted is a composite system of a type logic nested within a database (...) logic. Two resource-sensitive sub-types of Conditional Introduction form the basis for explaining the ellipsis data. The result is a demonstration of how the simple device of adding labels to an inference system can provide a useful tool not only at the meta-logic level of comparing alternative logic and grammar formalisms, but also at the level of explaining natural language data. (shrink)

In this paper, we give a step by step introduction to the theory of well quasi-ordered transition systems. The framework combines two concepts, namely (i) transition systems which are monotonic wrt. a well-quasi ordering ; and (ii) a scheme for symbolic backward reachability analysis. We describe several models with infinite-state spaces, which can be analyzed within the framework, e.g., Petri nets, lossy channel systems, timed automata, timed Petri nets, and multiset rewriting systems. We will also present better quasi-ordered (...) transition systems which allow the design of efficient symbolic representations of infinite sets of states. (shrink)

In this paper we describe an approach to practical reasoning, reasoning about what it is best for a particular agent to do in a given situation, based on presumptive justifications of action through the instantiation of an argument scheme, which is then subject to examination through a series of critical questions. We identify three particular aspects of practical reasoning which distinguish it from theoretical reasoning. We next provide an argument scheme and an associated set of critical questions which is able (...) to capture these features. In order that both the argument scheme and the critical questions can be given precise interpretations we use the semantic structure of an Action-Based Alternating Transition System as the basis for their definition. We then work through a detailed example to show how this approach to practical reasoning can be applied to a problem solving situation, and briefly describe some other previous applications of the general approach. In a second example we relate our account to the social laws paradigm for co-ordinating multi-agent systems. The contribution of the paper is to provide firm foundations for an approach to practical reasoning based on presumptive argument in terms of a well-known model for representing the effects of actions of a group of agents. (shrink)

Although it might be argued that the social drama is a story in [Hayden] White's sense, in that it has discernible inaugural, transitional, and terminal motifs, that is, a beginning, a middle, and an end, my observations convince me that it is, indeed, a spontaneous unit of social process and a fact of everyone's experience in every human society. My hypothesis, based on repeated observations of such processual units in a range of sociocultural systems and in my reading in ethnography (...) and history, is that social dramas, "dramas of living," as Kenneth Burke calls them, can be aptly studied as having four phases. These I label breach, crisis, redress, and either reintegration or recognition of schism. Social dramas occur within groups of persons who share values and interests and who have a real or alleged common history. The main actors are persons for whom the group has a high value priority. Most of us have what I call our "star" group or groups to which we owe our deepest loyalty and whose fate is for us of the greatest personal concern. It is the one with which a person identifies most deeply and in which he finds fulfillment of his major social and personal desires. We are all members of many groups, formal or informal, from the family to the nation or some international religion or political institution. Each person makes his/her own subjective evaluation of the group's respective worth: some are "dear" to one, others it is one's "duty to defend," and so on. Some tragic situations arise from conflicts of loyalty to different star groups. Victor Turner is professor of anthropology and a member of the Center for Advanced Studies at the University of Virginia. His many publications include Schism and Continuity in an African Society, The Forest of Symbols, The Ritual Process, and, with Edith Turner, Image and Pilgrimage in Christian Culture. (shrink)

We explore the finite model theory of the characterisation theorems for modal and guarded fragments of first-order logic over transition systems and relational structures of width two. A new construction of locally acyclic bisimilar covers provides a useful analogue of the well known tree-like unravellings that can be used for the purposes of finite model theory. Together with various other finitary bisimulation respecting model transformations, and Ehrenfeucht–Fraïssé game arguments, these covers allow us to upgrade finite approximations for full bisimulation (...) equivalence towards approximations for elementary equivalence. These techniques are used to prove several ramifications of the van Benthem–Rosen characterisation theorem of basic modal logic for refinements of ordinary bisimulation equivalence, both in the sense of classical and of finite model theory. (shrink)

This paper describes a set of ideal type organizations in a developmental sequence. As these descriptions are based on Spiral Dynamics (or Emerging Cyclical Levels of Existence Theory – ECLET), the types are labeled as Order, Success, Community and Synergy. Per type the author elaborated on the underlying value system and relating institutional structures, such as leadership role, governance and measurement format. As a summary, a Transition Matrix is presented which indicate the paradigm shifts per discipline/department, as manifested (...) in the subsequent ideal type organizations. As Order and Success generally describe the majority of corporations in Western Economies, the latter two types introduce new approaches to more innovative – and more sustainable/responsible – ways to doing business. Based on Community Values, the author introduces a new measurement format which is the foundation for a systemic and coherent set of management tools to be used in a stakeholder approach. These tools relate to the strategic, tactical and operational tasks of management and have been developed by researchers of the European Corporate Sustainability Framework (ECSF) consortium. The set includes two tools which are generic: the Strategic Sustainability Scan (Strategy) and the Sustainability Matrix, which is a self-assessment tool (tactics). Three operational tools are context and industry specific: These are the Community related Responsive Business Scorecard (RBS) and Benchmark Format for measuring and monitoring sustainability performance and a methodology – a Management Information System – to generate information on people, planet and profit in order to provide data for the set of key performance indicators. (shrink)

We study the strictness of the modal μ-calculus hierarchy over some restricted classes of transition systems. First, we prove that over transitive systems the hierarchy collapses to the alternationfree fragment. In order to do this the finite model theorem for transitive transition systems is proved. Further, we verify that if symmetry is added to transitivity the hierarchy collapses to the purely modal fragment. Finally, we show that the hierarchy is strict over reflexive frames. By proving the finite model (...) theorem for reflexive systems the same results holds for finite models. (shrink)

We prove that every monadic second-order property of the unfolding of a transition system is a monadic second-order property of the system itself. An unfolding is an instance of the general notion of graph covering. We consider two more instances of this notion. A similar result is possible for one of them but not for the other.

© The Author, 2017. Published by Oxford University Press. All rights reserved. In this article, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We generalize the standard conformant planning problem in AI in two crucial aspects: first, the planning goal can be any formula expressed in an epistemic propositional dynamic logic ; second, procedural constraints of the desired plan specified by regular expressions can be imposed. We then reduce the problem of generalized conformant planning (...) to the model checking problem of our logic. Although our conformant planning problem is much more general than the standard one with Boolean goals and no procedural constraints, the complexity is still PSPACE-complete which is equally hard as standard conformant planning over explicit transition systems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Extractivist OntologiesLithium Mining and Anthropocene Imaginaries in Chile's Atacama DesertMauricio F. Collao Quevedo (bio)The term energy transition generally refers to efforts to switch from one energy system to another. In light of the current climate crisis, energy transition projects have sought to move societies away from their reliance on fossil fuels and toward a renewables-based energy system. Yet such projects have not been easy to (...) undertake. As Marie Forget and Vincent Bos point out, an energy system based on renewables requires a transformation of energy "regulatory frameworks, technical and organizational structures, geographic forms and network practices" (1). More specifically, current energy transition models rely on the expansion of lithium production, accompanying systems of private property rights, and complex logistical and technical strategies. This article examines the interplay between lithium extraction, national development, and Anthropocene imaginaries in Chile's Atacama Desert, arguing that the green brand of extractivism that characterizes the industry relies on elaborate institutional arrangements aimed at expanding and protecting extractivist ontological and epistemological regimes in the politically contested region. As such, struggles over lithium in Chile's Atacama region demonstrate the extent to which efforts to decolonize the Anthropocene and make possible non-extractive futures of collective survival must unfold on ontological grounds, against the consolidation of the Age of Man.Mining, Water Rights, and Indigenous Communities in the Atacama DesertAmong today's most promising energy sources and materials are sodium, copper, sulfur, nickel, cobalt, rare earth metals, and lithium. These [End Page 78] have become central to energy transition strategies and states seeking to attract investors for development (Lunde Seefeldt). As a report by the World Bank points out, demand for transition minerals like lithium, cobalt, and graphite could increase by 500% by 2050 ("Climate-Smart Mining"), highlighting the extent to which global energy transition efforts are counting on greater extraction of transition minerals and the expansion of extractive frontiers to previously unexplored or unexploited regions (Moore, Capitalism; World Bank Group). Lithium is at the center of this economic and technological shift toward green economies.Global lithium demand is growing rapidly, with investment and production rates growing significantly in recent years (Narins) and catching the attention of states (e.g., China) and corporate tech giants (e.g., Tesla) that are already trying to secure greater shares of the global market. The light metal's popularity is largely due to its internal chemistry, which meets many of the technical and practical requirements associated with green energy transition. Lithium is light, conducive, and energy-dense, which in the context of batteries means faster recharge, lower costs, and charge-holding abilities that make lithium-ion batteries more efficient than a nickel-metal hybrid equivalent (Perotti and Coviello). Because of this, lithium is increasingly being considered as promising for human development and survival as its energy predecessors, inspiring labels such as "white gold," "white petroleum," "the new copper," "the 21st century's petroleum," or the "new gasoline" of sustainability (Acuña and Tironi; Lunde Seefeldt; Voskoboynik and Andreucci).But the industry is not without its downsides. The negative impacts of lithium extraction in Chile's Atacama Desert have been challenged by local communities for whom the metal does not exist as a discrete entity that can be easily extracted from its socioecological context. For many of these communities, lithium is more than a transition metal found in an appropriable and materially heterogenous underground brine: it is an ontologically contested, socioecological entity that sustains and participates in complex webs of life-supporting, place-based, and more-than-human relations. Such accounts of the brine are radically incompatible with "official" state accounts of it, which are maintained through an institutional architecture that allows the ontological basis of the brine to be manipulated for extractive purposes by both corporate and state actors.In the following pages, I examine the ways in which Chile's legal and institutional arrangements, informed by imaginaries of green modernization, [End Page 79] create conditions under which extralocal actors can manipulate along extractivist lines the ontological ambiguity and material heterogeneity of lithium-containing brines in the salt flats of the Atacama Desert. Through an analysis of the ways in which lithium industries in the... (shrink)

Regardless of unpredictable and contingent geopolitical events such as last year’s surprising rejection of the European Constitution in France and the Netherlands, this coming year will certainly witness a large surge in patriotism. The Winter Olympics in February, and the World Cup in the summer, both promise to whip national sentiments into a fever pitch. One other thing is certain, though: journals of philosophy and ethics will continue to debate the virtues of cosmopolitanism, as this number of Ethical Perspectives does (...) through its contributions below.Why is this? Why do philosophers and academics hold on to this idea of cosmopolitanism, an idea utterly lacking in the convictions of the general public? Is it perhaps because the first cosmopolitans were in fact philosophers? The first to identify himself as a cosmopolitan was Diogenes the Cynic, and Plato’s dialogues paint many of the Sophists in cosmopolitan hues. Although people generally support the idea of internationalism as far as it promotes trade, travel, and football tournaments, once it begins to meddle in internal affairs, as it does with outsourcing and transnational constitutions, they tend to fall back upon the patria. They killed Socrates for corrupting the youth of Athens, not the youth of the world.Whether it is the service and manufacturing industries of Asia and India ‘stealing’ American jobs, or widespread fears of Brussels’ legendary bureaucrats, the non-academic public consistently turns from its tepid embrace of cosmopolitanism to patriotism whenever threatened. Are we too quick to label this as self-interest or even selfishness? Or is there something else at work in the debate between cosmopolitanism and patriotism? Some approaches to cosmopolitanism are certainly guilty of an absolute removal of difference, of wishing away the nation state, of replacing it with an international body based on purely universal principles, and of wiping away the competencies of nations on many levels. The call for the world state can come across as an appeal for an anodyne and internationalist homogeneity based on a clinical morality that, for all its sensitivity, runs roughshod over the well-engrained cultural, legal, and social beliefs of many peoples.Clearly, this is what many Europeans fear, and to a large degree, Americans as well in their dislike for the International Court of Justice. Even the economic hegemony of outsourcing removes national power, and replaces it with pure economic rationality.Our contributors below do not advocate these reductions, although some may point to them. Key to each contribution below is sensitivity to the world as it is, to its need for difference even in the face of an ever-increasing globalisation that sometimes is connected with cosmopolitanism. Yet, every proponent of cosmopolitanism must sketch how it is possible in practice. Of course, an obvious problem is how to dwell consequently as a cosmopolitan. Not many contemporary cosmopolitans would be prepared to follow Diogenes’ commitment to rootlessness: living in exile after having been included in a forgery conviction aimed at his father, the ascetic Diogenes called a barrel his home. Such was his drive to live a levelled life that he cast away his only bowl upon seeing a poor peasant boy drinking from cupped hands. Today’s cosmopolitan leads a much more prosaic life, and hence the problem with cosmopolitanism begins as something mundane. Does not a cosmopolitan still pay national taxes? Does not a cosmopolitan still need a national passport and second country visas? But, the questions quickly turn ontological: how can one shed oneself of one’s nationality, of one’s belonging, as if it is just an accident of one’s own constitution, instead of as an important property of one’s own constitution? In other words, belonging is important: a citizen of the world still values citizenship. Clearly, the absolute cosmopolitan reduction is an absurdity: one is always rooted, in some sense. Even cosmopolitanism is rooted in a specific Western mindset, and is no self-evident preference of human existence.As Rudi Visker’s contribution so clearly shows through an investigation of the narcissism of minor differences, these questions revolve around the question of confrontation with alterity. What I am, in no small way plays off what I am not. I cannot be everything, if I am something. Freud’s analysis of minor differences reveals that members of a group identify with that group on the basis these minor differences. What is self-evident to a particular culture marks that culture off from another culture, a culture that by definition does not share the same set of the self-evident. To be a foreigner, as any ex-patriot can attest, is to stand outside of the self-evident, whether this means interpreting gestures, understanding commercial practices, or, as Freud would have it, staying on the correct side of national taboos. There is thus a dialectic of inner and outer, a dialectic which refuses a reduction of one to the other. As Visker puts it, recognising the stranger within oneself is quite different than recognising the stranger outside of oneself, and to confuse these as being the same is not only to misunderstand the very issue at stake, it is also a dangerous trivialisation of difference.But clearly, there is something viable and laudable in the idea of cosmopolitanism, since it stresses the universal moral community of humanity. Cosmopolitanism is an attempt to see all human subjects as subject to the same moral law. Indeed, the sort of federation to which cosmopolitanism leads, at least in a modified Kantian expression as Bert van Roermund tells us, even gives us good grounds to recognise the legitimacy and moral equivalence of states. Importantly, the international legal order does not draw its power from any supranational force, but from the choice of independent national actors to recognise it. Hence, this cosmopolitan order depends on nationhood, and good standing within this order depends on the degree to which a country decides to participate. Again, the universal here depends on well-rooted particularity, a particularity able to choose for the universal.What do we do, then, with outlaw nations, those nations that are hostile to the choice for the universal? Through a clear reading of Hegel, Paul Cobben proposes that the metric for a state’s legality is the measure to which it permits the moral freedom of its citizens to bloom. A free person requires a free legal order; only in such can a person obtain the full measure of human rights due. States that do not permit this blooming are illegitimate; they contradict the nature of the human person, and citizens dwelling under the yoke of these have the right to ask for outside assistance in removing this illegitimate power above them. However, for this plea to be met, two conditions must obtain: the oppressed people must have the wherewithal to form a political order after the removal of the illegitimate state, and the action must be grounded in the principles and support of a legal community, which in essence would be a world federation of states. In fact, it is morally incumbent upon all legal states to aim at such a world federation, upon pain of contradiction.Our duty to others does not end with the politically oppressed; the economically oppressed also lay a moral claim upon us. So, as Toon Vandevelde asks in his contribution, what about the global poor? The poor are hungry and in need of shelter and a future, but to address these issues at the level of rights is in a way heartless: what good does it do to legislate that everyone has the right to food, when this right can never be called upon, or enforced, in any meaningful sense? Moreover, approaches that demand non-prioritised generosity not only ignore the fundamental economic fact of scarcity, they also run the risk of creating the moral hazard of dependence on charity. The true cosmopolitan approach is the recognition of our common humanity and of our concomitant duty to help others as far as this help does not endanger us. This duty is compounded by the marginalisation of the poor through globalisation, a globalisation that they did not ask for. The extent of our help is indeterminate, but its direction is clear: it must aim to integrate those poor who wish it within our international systems, and so to ease their own transitions from poverty.Both Gil Anidjar and Maria Bonnafous-Boucher continue this theme of economy, but each from a highly specific viewpoint. Indeed, their contributions are perhaps somewhat darker, delving into an aspect of the unspoken underneath the choice for the universal. Anidjar begins with the relation between religion and economy within the interplay of Judaism and Christianity, whereas Bonnafous-Boucher focuses on the development of political economy through a Foucaultian lens. Although highly distinct contributions, both share the insight that the economy is now the central theme of our power structures, and that economy, isolated from questions of morality or justice, must likewise play a decisive role within the structure of cosmopolitanism, or, at minimum, the political unity of peoples. For, national government long ago ceded to a promiscuous mix of governance, and religion to economy. This nexus enthrones governance as an economic rationale stripped of all other trappings, and inscribes any possible cosmopolitanism within a framework of an aggressive capitalism, a kind of economic theology, a kind of hegemony in which state boundaries are essentially liquefied. Capital, after all, knows no boundaries. (shrink)

Failings of a categorical systemFor decades, standardized classification systems have attempted to define psychiatric disorders in our mental health care system, with the Diagnostic and Statistical Manual of Mental Disorders (5th ed.; DSM-5; American Psychiatric Association (APA), 2013) and International Statistical Classification of Diseases and Related Health Problems 10th revision (ICD-10; World Health Organization, 2010) being internationally best-known. One of the major advantages of the DSM must be that it has seriously diminished the international linguistic confusion regarding psychiatric disorders. (...) Since its introduction, it contributed extensively towards one common international language for defining and conceptualizing psychiatric disorders. Strikingly, within the field of psychological testing a similar step forward seems to have not yet been taken. At present, there exists no international standard for the use of psychological tests that takes the definition of a specific symptom as listed in DSM-5 as its starting point, and reliably and validly measures this symptom. Rather, the majority of tests are measuring constructs consisting of a multitude of symptoms. For example, the Beck’s Depression Inventory (Beck et al., 1996) measures core symptoms of depression summing up to a depression score. Accordingly, we believe it is time for a change. The diagnostics of psychiatric disorders, where disorders are defined as nosological units with a single cause, a single organic substrate, and a single time course, has been problematic for centuries. The field of psychiatry has always been ambivalent about its desire to follow a medical model (Blaney, 2015), but afflicted due to its definitions of pathology. The definition of a psychiatric disorder in DSM-5 offers little room for a clear cut pathogenesis and harsh demarcation of syndromes. This is reflected in the DSM-5, where it states: “A mental disorder is a syndrome characterized by clinically significant disturbance in an individual’s cognition, emotion regulation, or behavior that reflects a dysfunction in the psychological, biological, or developmental processes underlying mental functioning” (APA, 2013, p.20). An unfortunate and recognized consequence of this definition within the current system is that many symptoms overlap within categories of psychiatric disorders and patients end up diagnosed with many co-morbid disorders.Two fundamental problemsRegardless of new attempts to improve the diagnostics of psychiatric disorders, the DSM-5 represents the status quo. Consequently, the distinction between diagnosis and classification remains substantial and more than a discussion on semantics. We identify two fundamental problems within the current framework. Generally, a psychiatric diagnosis is considered to be descriptive (Hengeveld and Schudel, 2003). The clinician will describe a syndrome (its nature, timespan, and severity) within the framework of a disorder, and often include a differential diagnosis, predisposing protective or vulnerability factors, and provoking or maintaining factors. Within the DSM-5 framework, a similar ‘approach to clinical case formulation’ is taken (APA, 2013, p. 19). Evidently, a descriptive diagnosis has a hypothetical character. It consists of the clinician’s hypothesis and is based on his or hers professional considerations according to the abovementioned factors. Once the clinician has formulated a descriptive diagnosis, it is then complementary ‘translated’ into a DSM-5 classification. Herein lies the problem. For the layman, the existence of this distinction between diagnosis and classification is usually unknown. Preceding treatment, the clinician will give the client a classification of the existing psychiatric problems and the client may attribute more meaning to it than appropriate, thereby fostering the risk of reification. Second, the DSM-5 is a categorical system. Thus, individual disorders are regarded as discrete units – ‘you either have it, or you don’t’. DSM-5 states about this: “(…) scientific evidence places many, if not most, disorders on a spectrum with closely related disorders that have shared symptoms, shared genetic and environmental risk factors (…)”. And “(…) we have come to recognize that the boundaries between disorders are more porous than originally perceived.” (APA, 2013, p. 6). This leads to a fundamental problem. Because the overwhelming majority of psychiatric disorders examined thus far using taxometric methods appear to be dimensional in nature (Haslam, 2003; Widiger and Samuel, 2005), consequently all of their categorizations become artificial and debatable. Even though DSM-5 took a modest step towards a more dimensional approach, its core remains categorical. To illustrate, consider the Borderline Personality Disorder (BPD). This classification consists of nine diagnostic criteria of which a minimum of five need to be present for the diagnosis of BPD. A simple numerical combination algorithm leads to a staggering number of 256 distinct presentations of BPD (Albion et al., 2013). Due to this chameleon-like nature, the disorder’s diagnostic validity becomes questionable. Strikingly, this number is relatively small when compared to other conditions, e.g., there are 636,120 ways to have posttraumatic stress disorder (Galatzer-Levy and Bryant, 2013).DSM-5 does propose an alternative model for personality disorders based on personality functioning and traits (APA, 2013, p. 761), as a possible answer to the problem that most patients fit with multiple co-morbid personality disorders or to the category of personality disorder not otherwise specified. In November 2012, the chair committee of APA decided to move this alternative model to section III of DSM-5 and to sustain the categorical system in section II. A potential solutionDSM-5 and its predecessors have brought about an invaluable improvement regarding the formulation of a common international language for psychiatric disorders. However, the individual disorders fit poorly with its starting point of discrete units and strict boundaries. Van Os (2014) has argued for a better balance between the categorical and personalized aspects of psychiatric disorders. We argue for a two-step approach.Particularly due to the ‘weak boundaries’ between disorders, it might be beneficial to limit ourselves by merely categorizing clients into the main categories of the DSM-5 according to their most prominent symptoms (Van Os, 2014), i.e. their main complaint. In other words, clinicians could first ask themselves whether the symptomatology is concerning a neurodevelopmental disorder, or a bipolar and related disorder, or a depressive disorder, and so on. It will drastically reduce the over 400 classifications in DSM-5 down to 20 categories. Van Os (2014) even argues to combine some of the main categories, reducing this number even further to 15 categories. The advantages of reducing the over 400 classifications are fivefold: 1) a syndrome, being an aggregation of symptoms, creates a false relation between symptoms that are that are already heterogeneous themselves; 2) 15 broad categories are functional: it results into a very heterogeneous group of clients within a category and thus prevents stereotypes and invites further personalizing of complaints; and 3) a dimensional measure of a symptom rather than a syndrome will correspond better with the client regardless of it not providing the complete picture. Focusing on the main complaint will indicate where there is an immediate need for care (Van Os, 2014); 4) it will allow clinicians to recognise subthreshold conditions more easily (Magruder and Calderone, 2000); and 5) it might facilitate the development of clear demarcations between normal and abnormal functioning (Kessler, 2002; Widiger and Samuel, 2005). Please, see also Table 1.This also fits well within scientific advances, as thus far strongest evidence has been found for a distinction between internalizing and externalizing disorders, even superseding these 15 main categories (DSM-5; APA, 2013, p.13, but see Weiss et al., 1998). The second step would concern the personalized aspect, which we argue to define on a level of core symptoms of the specific main category, to be agreed upon later. To assess these core symptoms, the field of psychological testing could develop an internationally applicable instrument to reliably and validly measure each (core) symptom on a dimensional scale. Many of these instruments are readily available and have proven its psychometric properties within scientific research. Elements from these instruments could be easily transformed to work within the new system. Within the field of psychology, this approach could aid development of a common international language to define symptoms, analogous to the field of psychiatry. Importantly, current psychological testing mainly implies the use of self-report measures. This leads to an abundance of auto-amnestic information. To increase the reliability and validity of psychological tests to assess DSM-5 symptoms, it may be important to add two additional information resources. This would entail psychological tests where a next of kin answers questions about the symptom of the client, and psychological tests that include the clinicians’ judgment, such as structured clinician-based interviews. Conversely, we also need to acknowledge the well-known limitations of clinical judgment (e.g., Faust, 1986; Garb, 1998). Advantages of a new frameworkThe changes we suggest have big implications and are not easily implemented in the current framework. Clients may prefer the comfort of a single clear label, similar to what they are used to in other areas of medicine. Health insurance providers and policy makers may argue for single labels as well. Therefore, it would require a lot of explanation from our clinicians to promote a change. Our suggestions for broader categories may not disambiguate the current situation better than the existing approach, but it will promote personalisation of health care. Difficulties in diagnostic reliability will remain in disorders that fall on the boundaries of the taxons, e.g., schizoaffective disorder versus bipolar disorder with psychotic characteristics, which may benefit from further study. There are also some politically tinged questions to keep in mind: How will we finance our health care, and how will we ensure a gradual transition from the current financing system, including clients who already have their labels? What about visitations from insurers and health inspection? How can they control for a good standard of quality in health care when considering the increasing heterogeneity? Nevertheless, we argue that the benefits outweigh the disadvantages. We will see a shift from a categorical to a personalized approach, which will lead to less (self) stigmatizing, less estrangement, and it will challenge reification thinking. DSM-V states that “a reformulation of research goals should also keep DSM-5 central to the development of dimensional approaches to diagnosis that will likely supplement or supersede current categorical approaches to diagnosis in coming years” (APA, 2013, p. 13). Our proposition for psychological testing on symptom level could contribute to this development. Furthermore, this new approach will do more justice to the heterogeneity of symptoms within and outside of classification categories, see also Table 1. Moreover, in this new approach we join forces of expert knowledge from the fields of psychiatry and psychological science. Finally, it offers new and potentially better opportunities to map health care needs. This in turn will lead to a better interface for allocation of appropriate treatment. It will present a clearer picture of when preventative care is preferred over treatment and vice versa. Importantly, health care needs will be more closely attuned to the ‘own story’ of the client.We argue for the national and international psychological associations in Europe and the United States of America to support the idea of a collective approach to develop an internationally standardized psychological testing battery to reliably assess all the core symptoms of the main categories in DSM-5. (shrink)

The unprecedented 2019/20 Australian bushfires prompted this paper to conduct a transitivity analysis on the top three processes (material, relational, and verbal) in selected BBC news reports. Guided by the ecological philosophical view of “harmony with diversity, interaction, and coexistence,” the research aims to interpret ecological meanings in the text and enhance people’s awareness of environment conservation. The findings reveal that these news reports predominantly utilized material and relational processes to depict the devastating impact of the Australian bushfires on wildlife, (...) the efforts of firefighters, volunteer rescue missions for wildlife, and the roles of individuals involved. These reports also conveyed extensive ecological information, highlighting the ecological crisis arising from the fires, the threat to species diversity, and the active social responsibility of various stakeholders. This research contributes to a deeper understanding of the ecological implications of the Australian bushfires and encourages proactive ecological protection measures. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax (...) that explicitly incorporates the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Optimal strategy, one of the main transit assignment models, can better demonstrate the flexibility for passengers using routes in a transit network. According to the basic optimal strategy model, passengers can board trains based on their frequency without any capacity limitation. In the metropolitan cities such as Beijing, Shanghai, and Hong Kong, morning commuters face huge transit problems. Especially for the metro system, there is heavy rush in metro stations. Owing to the limited train capacity, some passengers cannot board (...) the first coming train and need to wait for the next one. To better demonstrate the behavior of passengers pertaining to the limited train capacity, we consider capacity constraints for the basic optimal strategy model to represent the real situation. We have proposed a simulation-based algorithm to solve the model and apply it to the Beijing Subway to demonstrate the feasibility of the model. The application of the proposed approach has been demonstrated using the computational results for transit networks originating from practice. (shrink)

The paper is devoted to the concise description of some Natural Deduction System (ND for short) for Linear Temporal Logic. The system's distinctive feature is that it is labelled and analytical. Labels convey necessary semantic information connected with the rules for temporal functors while the analytical character of the rules lets the system work as a decision procedure. It makes it more similar to Labelled Tableau Systems than to standard Natural Deduction. In fact, our solution (...) of linearity representation is rather independent of the underlying proof method, provided that some form of (analytic) cut is admissible. We will also discuss some generalisations of the system and compare it with other formalizations of linearity. (shrink)

In the present context of intertwined and intensifying economic, environmental and climate challenges and crisis, we need to enlarge our thinking about food systems change. One way to do so is by considering intersections between our longstanding interdisciplinary interest in food and agriculture and new scholarship and practice centered on transitions to sustainability. The general idea of transition references change in a wide range of fields and contexts, and has gained prominence most recently as a way to discuss and (...) address sustainability challenges. To explore connections to food systems change, I highlight two broad approaches in the sustainability transitions research field. First is a multi-level perspective that examines sustainability innovation pathways and second is a social practices approach that illuminates the possibilities for shifts in normal everyday routines and practices. Taken together, these approaches offer different and useful ways to think about the dynamics, durability and significance of innovations in food and agriculture, and the part they play in transitions to sustainability. Numerous opportunities exist to forge more productive links between work on food systems change and the broad and growing sustainability transitions field. First, our research and practice insights about the importance of politics, governance, values and ethics in food and agriculture could help to strengthen the sustainability transitions field, which initially underplayed such questions. Second, the sustainability transitions field’s implicit systems sensibility and its futures orientation could help to widen the scope of inquiry and the contribution to policy and planning of research and practice on food systems change. (shrink)

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not (...) only to establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics. (shrink)

Da Costa's paraconsistent systems of the series Cm (for finite m) (see [C1], [C2], and esp. [C3], pp. 237ff.) share important features with transitive logic, TL (which has been gone into in [P1] and [P2]), namely, they all coincide in that: (c1) they possess a strong negation, `¬', a conditional, `⊃', a conjunction, `∧', and a disjunction, `∨', with respect to which they are conservative extensions of CL or Classical Logic; (c2) they possess a non strong negation, `N' (notations are (...) different for systems C) which does not possess all properties of classical negation, but for which the following schemata are theorematic (I use the letters `p', `q', etc as schematic letters; my notational conventions are basically Church's: associativity leftwards; a dot stands for.. (shrink)

Political decision-makers in the European Union are currently discussing the introduction of a mandatory uniform labelling scheme for meat and milk that provides information on husbandry systems similar to the already existent labelling scheme in the EU egg market. The objective of this paper was to assess whether such information is relevant to consumers when buying meat and milk. The paper was based on a systematic synthesis of 53 scientific journal articles on empirical consumer studies. The review revealed that consumers (...) perceived the aspects of outdoor access, stocking density and floor type as important factors influencing animal welfare. On average, consumers not only had a positive attitude towards more animal welfare-friendly husbandry systems with outdoor access and space allowance but were also willing to pay a price premium for products from such systems. All studies on consumer segmentation identified at least one consumer segment that placed great importance on animal welfare-friendly husbandry systems. Interestingly, many studies identified one or more other segments who still had a significant preference for animal welfare-friendly products even though other product attributes were more important to them. Based on the findings, the paper presents conclusions regarding the labelling of husbandry systems for meat and milk. (shrink)

Transition Probability (fidelity) for pairs of density operators can be defined as a “functor” in the hierarchy of “all” quantum systems and also within any quantum system. The Introduction of “amplitudes” for density operators allows for a more intuitive treatment of these quantities, also pointing to a natural parallel transport. The latter is governed by a remarkable gauge theory with strong relations to the Riemann-Bures metric.