We present an analysis of the game semantics of general references introduced by Abramsky, Honda and McCusker which exposes the algebraic structure of the model. Using the notion of sequoidal category, we give a coalgebraic definition of the denotational semantics of storage cells of arbitrary type. We identify further conditions on the model which allow an axiomatic presentation of the proof that finite elements of the model are definable by programs, in the style of Abramsky’s Axioms for Definability.

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

'IRS' is our term for the logical empiricist idea that the best way to understand the epistemic bearing of observational evidence on scientific theories is to model it in terms of Inferential Relations among Sentences representing the evidence, and sentences representing hypotheses the evidence is used to evaluate. Developing ideas from our earlier work, including 'Saving the Phenomena'(Phil Review 97, 1988, p.303-52 )we argue that the bearing of observational evidence on theory depends upon causal connections and error characteristics of the (...) processes by which data is produced and used to detect features of phenomena. Neither of these depends upon, or is greatly illuminated by a consideration of, formal relations among observation and theoretical sentences or propositions. By taking causal structures and error characteristics, you too can evade the IRS. In doing so, you can gain insight into Hempel’s raven paradox, theory loading, and other issues from the standard philosophical literature on confirmation theory. (shrink)

Microdevelopment is the process of change in abilities, knowledge and understanding during short time-spans. This book presents a new process-orientated view of development and learning based on recent innovations in psychology research. Instead of characterising abilities at different ages, researchers investigate processes of development and learning that evolve through time and explain what enables progress in them. Four themes are highlighted: variability, mechanisms that create transitions to higher levels of knowledge, interrelations between changes in the short-term scale of microdevelopment and (...) the crucial effect of context. Learning and development are analysed in and out of school, in the individual's activities and through social interaction, in relation to simple and complex problems and in everyday behaviour and novel tasks. With contributions from the foremost researchers in the field Microdevelopment will be essential reading for all interested in cognitive and developmental science. (shrink)

This paper summarizes paired courses, a technique that is being used to incorporate the benefits of liberal arts into the business curriculum. This technique pairs a required business course with a liberal arts course that students take concurrently during a semester. The courses have overlapping themes and activities to build specific competencies that are desired by organizations, such as communication, critical thinking and problem solving, emotional intelligence, and organizational professionalism. These competencies are identified by exploring national surveys and conducting a (...) local survey of business professionals. The paired courses utilize a variety of exercises with the ultimate goals of building desired workplace-related skills in students and improving their practical reasoning ability. The exercises do this by strengthening students’ analytical thinking, understanding of multiple framing, and reflective exploration of meaning through various techniques. Many of the activities are explained in detail with some additional resources provided. Teachers can utilize the same activities or adapt them to their classroom. (shrink)

Drawing on John Dewey and the later Ludwig Wittgenstein, this book employs philosophy as a conceptual resource to develop new methodological and analytical tools for conducting in situ empirical investigations. Chapter one explores the philosophies of Wittgenstein and Dewey. Chapter two exposits Deweyan ideas of embodiment, the primacy of the aesthetic encounter, and aesthetically expressive meaning underdeveloped in Wittgenstein. Chapter three introduces the method of practical epistemological analysis and a model of situated epistemic relations to investigate the learning of body (...) techniques in dinghy sailing. The concluding chapter introduces a model of situated artistic relations to investigate the learning of artistic techniques of self-expression in the Swedish sloyd classroom. (shrink)

As we face an uncertain future for our country, philosophers – the so-called lovers of wisdom - are tasked to revisit our role in shaping our country's future and molding the consciousness of our people, especially the young. In this paper, I focus on the evolution of philosophy in the Philippines, what we have done as teachers and philosophers in and for the academe, and what else we need to do not only for the future of philosophy in our country (...) but for the future of our country as well. In this last point, I stress that we need to contribute to shaping the critical consciousness of our people as our contribution to nation-building. That must be the future of philosophy in the Philippines and its critical role in the future of our beloved country. (shrink)

Stunning photographs by the popular Ohman and short tales by award-winning storyteller Heynen combine in this rich showcase of Minnesota's vintage schoolhouses.

In Beyond Disruption: Technology's Challenge to Governance, experts from academia, media, government, and the military wrestle with understanding the nature of these technologies' threats to our societies and their great potential for our economies. In a series of vivid analyses and colorful commentary from a conference as Stanford University's Hoover Institution, the authors expand upon their first-hand interpretations of what's at stake for the global operating system in the midst of turbulent change. In the dynamic game of world order, it's (...) a primer for decision makers on where the puck is headed. (shrink)

This book collects the work of leading scholars on Alain Badiou and G.W.F. Hegel, creating a dialogue between, and a critical appraisal of, these two central figures in European philosophy.

The demanding frontier life of My Ántonia or Little House on the Prairie may be long gone, but the idyllic small town still exists as a cherished icon of American community life. Yet sprawl and urban density, rather than small towns and farms, are the predominant features of our modern society, agribusiness and other commercial forces have rapidly taken over family farms and ranches, and even the open spaces we think of as natural retreats only retain the barest façade of (...) their former frontier austerity. The fading communities, social upheaval, and enduring heritage of the Northern Plains are the subject of Jim Dow’s Marking the Land, a stirring photographic tribute to the complex and unyielding landscape of North Dakota. Jim Dow began making pilgrimages to this remote territory in 1981 and, with a commission from the North Dakota Museum of Art, he took photographs of the passing human presence on the land. The simple, stolid pieces of architecture carved out against the Dakota skies—whether the local schoolhouse, car wash, prison, homes, hunting lodge, or churches—evoke in their spare lines and weather-battered frames the stoic and toughened spirit of the people within their walls. Folk art is also an integral part of the landscape in Dow’s visual study, and he examines the subtle evolution of local craftsmanship from homemade sculptures, murals, and carvings to carefully crafted pieces aimed at tourists. Anchoring all of these explorations is the raw and striking landscape of the North Dakota plains. Marking the Land is a moving reflection by a leading American photographer on the state of the Northern Plains today, forcing us all to rethink our conceptions of America’s forgotten frontier. (shrink)

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)

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)

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)

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)

This paper presents a counterfactual account of what a mechanism is. Mechanisms consist of parts, the behavior of which conforms to generalizations that are invariant under interventions, and which are modular in the sense that it is possible in principle to change the behavior of one part independently of the others. Each of these features can be captured by the truth of certain counterfactuals.

The conclusion of this paper will be that e-sports are not sports. I begin by offering a stipulation and a definition. I stipulate that what I have in mind, when thinking about the concept of sport, is ‘Olympic’ sport. And I define an Olympic Sport as an institutionalised, rule-governed contest of human physical skill. The justification for the stipulation lies partly in that it is uncontroversial. Whatever else people might think of as sport, no-one denies that Olympic Sport is sport. (...) This seeks to ensure that those who might wish to dispute my conclusion might stay with the argument at least for as long as possible. Secondly, the justification for the stipulation lies partly in its normativity—I have chosen an Olympic conception of sport just because it seems to me to offer some kind of desirable version of what sport is and might become. Thirdly, I give examples which show how prominent promoters of e-sports agree with my stipulation, as evidenced by their strenuous attempts to comply with it i... (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)

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 ….

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)

Presenting portraits of many central figures in modern physics, including Stephen Hawking and Leonard Susskind, this critique of modern theoretical physics provides the latest ideas about the nature of physical reality while clearly distinguishing between fact and fantasy.

Using Jim Woodward's Counterfactual Dependency account as an example, I argue that causal claims about indeterministic systems cannot be satisfactorily analysed as including counterfactual conditionals among their truth conditions because the counterfactuals such accounts must appeal to need not have truth values. Where this happens, counterfactual analyses transform true causal claims into expressions which are not true.

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.

Donald Davidson finds folk-psychological explanations anomalous due to the open-ended and constitutive conception of rationality which they employ, and yet monist because they invoke an ontology of only physical events. An eliminative materialist who thinks that the beliefs and desires of folk-psychology are mere pre-scientific fictions cannot accept these claims, but he could accept anomalous monism construed as an analysis, merely, of the ideological and ontological presumptions of folk-psychology. Of course, eliminative materialism is itself only a guess, a marker for (...) material explanations we do not have, but it is made plausible by, inter alia, whatever difficulties we have in interpreting intentional folk-explanations realistically. And surely anomalous monism does require further explanation if it is to be accepted realistically and not dismissed as an analysis of a folk-idiom which is to be construed instrumentally at best. Some further explanation is needed of how beliefs, desires, etc. can form rational patterns which have ‘no echo in physical theory’ and yet those beliefs, desires etc. be physical events. To this end I propose to graft on to anomalous monism a modest version of functionalism. (shrink)

The main concepts of the free energy (FE) neuroscience developed by Karl Friston and colleagues parallel those of Freud's Project for a Scientific Psychology. In Hobson et al. ( 2014 ) these include an innate virtual reality generator that produces the fictive prior beliefs that Freud described as the primary process. This enables Friston's account to encompass a unified treatment—a complexity theory—of the role of virtual reality in both dreaming and mental disorder. In both accounts the brain operates to minimize (...) FE aroused by sensory impingements—including interoceptive impingements that report compliance with biological imperatives—and constructs a representation/model of the causes of impingement that enables this minimization. In Friston's account (variational) FE equals complexity minus accuracy, and is minimized by increasing accuracy and decreasing complexity. Roughly the brain (or model) increases accuracy together with complexity in waking. This is mediated by consciousness-creating active inference—by which it explains sensory impingements in terms of perceptual experiences of their causes. In sleep it reduces complexity by processes that include both synaptic pruning and consciousness/virtual reality/dreaming in REM. The consciousness-creating active inference that effects complexity-reduction in REM dreaming must operate on FE-arousing data distinct from sensory impingement. The most relevant source is remembered arousals of emotion, both recent and remote, as processed in SWS and REM on “active systems” accounts of memory consolidation/reconsolidation. Freud describes these remembered arousals as condensed in the dreamwork for use in the conscious contents of dreams, and similar condensation can be seen in symptoms. Complexity partly reflects emotional conflict and trauma. This indicates that dreams and symptoms are both produced to reduce complexity in the form of potentially adverse (traumatic or conflicting) arousals of amygdala-related emotions. Mental disorder is thus caused by computational complexity together with mechanisms like synaptic pruning that have evolved for complexity-reduction; and important features of disorder can be understood in these terms. Details of the consilience among Freudian, systems consolidation, and complexity-reduction accounts appear clearly in the analysis of a single fragment of a dream, indicating also how complexity reduction proceeds by a process resembling Bayesian model selection. (shrink)

The paper describes four dialogue systems, developed in the tradition of Charles Hamblin. The first system provides an answer for Achilles in Lewis Carroll's parable, the second an analysis of the fallacy of begging the question, the third a non-psychologistic account of conversational implicature, and the fourth an analysis of equivocation and of objections to it. Each avoids combinatorial explosions, and is intended for real-time operation.

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)

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)

In light of recent technological innovations and discourses around data and algorithmic analytics, scholars of many stripes are attempting to develop critical agendas and responses to these developments. In this mutual interview, three scholars discuss the stakes, ideas, responsibilities, and possibilities of critical data studies. The resulting dialog seeks to explore what kinds of critical approaches to these topics, in theory and practice, could open and make available such approaches to a broader audience.

Assuming the existence of a monster model, tameness, and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>\operatorname {LS}(\mathbf {K})$ be a regular stability cardinal and let $\chi $ be the local character of $\mu $ -nonsplitting. The following holds: 1.When $\mu $ -nonforking is restricted to $(\mu,\geq \chi )$ -limit models ordered by universal extensions, it enjoys invariance, monotonicity, uniqueness, existence, extension, and continuity. It also has local character $\chi $. This generalizes (...) Vasey’s result [37, Corollary 13.16] which assumed $\mu $ -superstability to obtain same properties but with local character $\aleph _0$.2.There is $\lambda \in [\mu,h(\mu ))$ such that if $\mathbf {K}$ is stable in every cardinal between $\mu $ and $\lambda $, then $\mathbf {K}$ has $\mu $ -symmetry while $\mu $ -nonforking in (1) has symmetry. In this case:(a) $\mathbf {K}$ has the uniqueness of $(\mu,\geq \chi )$ -limit models: if $M_1,M_2$ are both $(\mu,\geq \chi )$ -limit over some $M_0\in K_{\mu }$, then $M_1\cong _{M_0}M_2$ ;(b)any increasing chain of $\mu ^+$ -saturated models of length $\geq \chi $ has a $\mu ^+$ -saturated union. These generalize [31] and remove the symmetry assumption in [10, 38].Under $(<\mu )$ -tameness, the conclusions of (1), (2)(a)(b) are equivalent to $\mathbf {K}$ having the $\chi $ -local character of $\mu $ -nonsplitting.Grossberg and Vasey [18, 38] gave eventual superstability criteria for tame AECs with a monster model. We remove the high cardinal threshold and reduce the cardinal jump between equivalent superstability criteria. We also add two new superstability criteria to the list: a weaker version of solvability and the boundedness of the U-rank. (shrink)

Nurses working in forensic psychiatric settings face unique challenges in practice, where they take on a dual role of custody and caring. Patient resistance is widespread within these restrictive settings and can take many forms. Perhaps the most disturbing form of resistance entails a patient's weaponization of their bodily fluids, with nurses as their target. The tendency in assigning motive for this act is to relegate to the psychopathology of the patient. This paper will adopt a poststructuralist perspective to reexamine (...) this phenomenon as an act of resistance through the lens of Kristeva's concept of abjection. Patients confined in these settings have little sense of control, and in resistance may resort to the only thing available: their bodily fluids. By weaponizing the abject, patients actively violate and permeate the physical and psychological boundaries of nurses—the very boundaries considered crucial to safe and professional forensic psychiatric nursing practice. By recognizing this phenomenon as an act of resistance to confinement and loss of control, nurses may reorient their approach to care in forensic psychiatric settings. (shrink)