We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.

There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in (...) the analysis and representation of law.The essential point for which we argue is that deontic logic — in some form or other —needs to be taken seriously whenever it is necessary to make explicit, and then reason about, the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. We take the library regulations at Imperial College as the main illustration, and small examples from genuinely legal domains to introduce specific points. In conclusion, we touch on the role of deontic logic in the development of the theory of normative positions. (shrink)

The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations (...) of the proposed logic and possible modifications and extensions of it are analysed. (shrink)

. The current literature in the Artificial Intelligence and Law field reveals uncertainty concerning the potential role of deontic logic in legal knowledge representation. For instance, the Logic Programming Group at Imperial College has shown that a good deal can be achieved in this area in the absence of explicit representation of the deontic notions. This paper argues that some rather ordinary parts of the law contain structures which, if they are to be represented in logic, will call for use (...) of a reasonably sophisticated deontic logic. (shrink)

Is archaeology an art or a science? This question has been hotly debated over the last few decades with the rise of archaeological science. At the same time, archaeologists have seen a change in the intellectual character of their discipline, as many writers have adopted approaches influenced by social theory. The discipline now encompasses both archaeological scientists and archaeological theorists, and discussion regarding the status of archaeology remains polarised. Andrew Jones argues that we need to analyse the practice of archaeology. (...) Through an analysis of archaeological practice, influenced by recent developments in the field of science studies, and with the aid of extensive case studies, he develops a new framework which allows the interpretative and methodological components of the discipline to work in tandem. His reassessment of the status and character of archaeology will be of interest to students, scholars and professionals. (shrink)

The key to understanding the Alt-Right is understanding the theories that comprise it, and no theory is more significant than the NeoReactionary movement. The use of affect theory, postmodern critiques of modernity, and a fixation on critiquing regimes of truth are fundamental to NeoReaction and what separates it from other Far-Right theory. The project of NRx is to usher in a dark enlightenment with a dogmatic anti-humanities and anti-liberal ideology. An investigation of NRx requires a cross-disciplinary understanding of politics that (...) draws less upon social scientific empirical facts and more upon a historical, aesthetic, and philosophical approach. The NeoReactionaries argue for a reversal of the liberal enlightenment project, stressing that the most significant political freedom is the freedom to opt out of a system. The movement opposes the “Cathedral”, the superstructure of cultural capital within universities, the media, and bureaucracy, which it views as not only hegemonic and inefficient, but also the primary reason for the decline of Western civilization, as it has embraced liberal humanism. (shrink)

Previous research suggests that exposure to nature may reduce delay discounting and thereby facilitate healthier dietary intake. This pre-registered study examined the impact of online exposure to images of natural scenes on delay discounting and food preferences. It was predicted that exposure to images of natural scenes would be associated with: lower delay discounting; higher desirability for fruits and vegetables ; and delay discounting would mediate the effect of nature-image exposure on food desirability. Adult participants were recruited to an online (...) between-subjects experiment in which they viewed a timed sequence of six images either showing natural landscape scenes or urban scenes. They then completed measures of mood, delay discounting and rated their momentary desire to eat four fruits and vegetables, and four energy-dense foods. There was no statistically significant effect of experimental condition on delay discounting or food desirability. Bayes factors supported the null hypothesis for discounting, and energy-dense food desirability, but provided no strong evidence for either hypothesis for F&V desirability. These findings indicate that brief online exposure to images of nature does not affect momentary impulsivity or energy-dense food preference, whereas for preference for less-energy dense foods, the evidence was inconclusive. (shrink)

This chapter contains sections titled: An Approach to the Logic of Action Normative Act Positions.

Previous discussions of Kant’s influence on German biology have resulted in contradictory accounts. Zammito argues both that Kant could not have influenced German biology because his account is fundamentally incompatible with the presuppositions of biological naturalism, and biology only emerged because biologists misunderstood Kant’s philosophy. I argue that his account exposes an important difficulty when considering Kant’s influence on the development of biology, since it correctly identifies a fundamental incompatibility between biological naturalism and Kant. However, this does not demonstrate that (...) Kant could not have been influential on the development of biology. Instead, I propose a broader conception of influence that includes both intentional and non-intentional forms of misunderstanding. I examine Kant’s influence on the development of biology in the British Isles. Both in the history of science and contemporary research, the literature tends to focus on Kant’s ‘Critique of Teleological Judgment’ as this is where Kant discusses how biological entities require us to judge them as if they possessed the properties of self-organization, growth and reproduction. I argue that Kant’s influence on biology in the British Isles originates from his account of scientific methodology in his earlier work, the Critique of Pure Reason. Kant’s account was influential on William Whewell. Kant argued that the unity of science was merely a presupposition for scientific enquiry, whereas Whewell argued this unity was an inherent property of the world that science was discovering. I argue that Whewell intentionally misinterpreted aspects of Kant’s philosophy to develop a more naturalistic theory of science. Whewell was influential on the development of Darwin’s scientific methodology in the Origin as he argues for the correctness of his theory on the basis that it displays consilience. Whewell’s account of science was not only influential for the development of biology but also for more recent accounts of scientific methodology and reductivist accounts of science. I argue that this dual philosophical-historical approach provides the basis for a richer, more adequate understanding of how Kant’s philosophy has continued to exert a strong though often unrecognised influence on developments in biological theory such as immunology and contemporary accounts of biological autonomy. All the same that influence is highly problematic because of the original incompatibility between transcendental idealism and biological naturalism. Understanding how aspects of Kant’s philosophy are intertwined with both the development of biology and contemporary philosophy of biology allows us to assess the conjoint costs and benefits of the synthesis between Kant’s philosophy and philosophy of biology. (shrink)

Developed in the mid‐twentieth century, game theory is a mathematical discipline that now drives fields as diverse as warfare, economics, evolutionary theory, and foreign policy. This chapter explores the importance of understanding others to Ender's military brilliance. For Ender, this understanding was not merely intellectual, but also emotional. The chapter also shows how Ender's instinctive ability to understand his enemies places him in a prime position, according to game theory, to redefine the game to create a path to victory. This (...) is the lesson that Ender's Game teaches about how to find a path to victory even when one doesn't seem to exist. For Ender, at least, it seems that sympathy, empathy, and love are not fundamentally different. Instead, they lie on a continuum. Love and sympathy, experienced simultaneously, allow empathy. (shrink)

Of all the crew to serve on a starship Enterprise, none has had such a convoluted line of existence as the venerable Mr. Spock. This chapter explores what the various incarnations of Mr. Spock can tell us about the nature of reality, existence, and personal identity. Lewis argues for the metaphysical theory of modal realism: all possible worlds are as real as the actual world. In science fiction parlance, this philosophical concept of world is more often called a universe. Thus, (...) Earth and Vulcan are both part of the same world depicted in Star Trek. The central question Lewis addresses is whether our world is the only real world, or whether other possible worlds could also be considered real. Lewis argues for the metaphysical theory of modal realism, all possible worlds are as real as the actual world. (shrink)

Introduction: thinking about globalization -- Systemic thinking: Immanuel Wallerstein -- Conceptual thinking: Anthony Giddens -- Sociological thinking: Manuel Castells -- Transformational thinking: David Held and Anthony McGrew -- Sceptical thinking: Paul Hirst and Grahame Thompson -- Spatial thinking: Peter Dicken and Saskia Sassen -- Positive thinking: Thomas Friedman and Martin Wolf -- Reformist thinking: Joseph Stiglitz -- Radical thinking: Naomi Klein, George Monbiot and Subcommandante Marcos -- Revolutinary thinking: Michael Hardt and Antonio Negri -- Cultural thinking: Arjun Appadurai -- Conclusion: (...) rethinking globalization again. (shrink)

The hacker culture is neither good nor evil, but instead focuses on getting results. It is self-reliant and rooted in an anti-authoritarian embrace of individuality. No citizen is beholden to any single person, only to the quality of work being done.

Someone can be forgiven for assuming that a person who confesses to a crime is probably the person who committed it. One need not be as incurious as Sheriff Lamb, in Veronica Mars, to recognize that the probability of a person falsely confessing to a murder is pretty low. One can arrive at this conclusion through a process known to philosophers as inductive reasoning. Inductive reasoning is contrasted with deductive reasoning, which typically begins from a general statement of principle and (...) moves to a more specific conclusion. Despite Veronica's expertise in the use of Occam's razor and avoidance of Occam's broom, there are occasions when Veronica is wrong, not just because she doesn't have all the facts, but because she's the victim of her own cognitive biases. Her brain leads her astray, causing her to apply reasoning that is clearly flawed. (shrink)

The key to understanding the Alt-Right is understanding the theories that comprise it, and no theory is more significant than the NeoReactionary movement. The use of affect theory, postmodern critiques of modernity, and a fixation on critiquing regimes of truth are fundamental to NeoReaction and what separates it from other Far-Right theory. The project of NRx is to usher in a dark enlightenment with a dogmatic anti-humanities and anti-liberal ideology. An investigation of NRx requires a cross-disciplinary understanding of politics that (...) draws less upon social scientific empirical facts and more upon a historical, aesthetic, and philosophical approach. The NeoReactionaries argue for a reversal of the liberal enlightenment project, stressing that the most significant political freedom is the freedom to opt out of a system. The movement opposes the “Cathedral”, the superstructure of cultural capital within universities, the media, and bureaucracy, which it views as not only hegemonic and inefficient, but also the primary reason for the decline of Western civilization, as it has embraced liberal humanism. (shrink)

Introduction: Screen-based and mobile technology has grown at an unprecedented rate. However, little is understood about whether increased screen-use affects executive functioning, the range of mental processes that aid goal attainment and facilitate the selection of appropriate behaviors. To examine this, a systematic review was conducted.Method: This systematic review is reported in accordance with the Preferred Reporting Items for Systematic Reviews and Meta-Analyses statement. A comprehensive literature search was conducted using Web of Science, MEDLINE, PsycINFO and Scopus databases to identify (...) articles published between 2007 and March 2020, examining the use of mobile technologies on aspects of EF in healthy adults aged 18–35 years. In total 6079 articles were screened by title, and 39 screened by full text. Eight eligible papers were identified for inclusion. Our methods were pre-registered on the PROSPERO international prospective register of systematic reviews.Results: A total of 438 participants were included across the eight studies. Five of the eight studies examined more than one EF. Five studies measured inhibition, and four studies measured decision-making. Smartphone use was negatively associated with inhibition and decision-making. Working memory performance was found to be improved by increased time engaging in video games and by refraining from smartphone use prior to bedtime. Quality assessments indicated high risk of methodological biases across the studies and a low quality of evidence for determining the relationship between technology use and executive functioning.Conclusions: This review highlights the scarcity of the literature in this area. It presents a call for rigorous and objective research to further our understanding of the impact of mobile technology on different aspects of executive function. (shrink)

This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of normative-informational positions, pertaining to rules that are meant to regulate the supply of information. First, we present the proposed framework. Next, we identify the kinds of nuances and distinctions that can be articulated in such a logical framework. Finally, we show how such nuances can arise in specific regulations. Reference is made to Data Protection Law and Contract Law, among others. (...) The proposed approach is articulated around two essential steps. The first involves identifying the set of possible interpretations that can be given to a particular norm. This is done by using formal methods. The second involves picking out one of these interpretations as the most likely one. This second step can be resolved only by using further information (e.g., the context or other parts of the regulation). (shrink)

In this paper we attempt to supply answers to questions of the following kinds: How are database Integrity Constraints to be characterised formally? How is the concept of violation of an IC to be understood? What is the epistemic status of an IC? Following an analysis of the standard treatment of ICs, based on a simple example, we recall how Reiter provided a clear definition of the epistemic status of ICs. On Reiter's approach, ICs are implicitly supported by statements that (...) are guaranteed to be true; this property is explicit in the standard view of ICs, and we proceed to show how the standard view of ICs may be refined in the light of Reiter's work. We then supply formal definitions of the properties of Validity and Completeness which have to be enforced using ICs, and we give general formal results concerning techniques which can be used to check these properties. We propose to split the overall information involved in Integrity Checking into three components called DB, SAF and IC. DB represents a description of the world that is not necessarily guaranteed to be correct; SAF represents the information about the world that is guaranteed to be true, and which is used to check violations of Validity or Completeness; and IC defines the parts of DB for which the properties of Validity or Completeness must be enforced. (shrink)

BackgroundThere has been media coverage surrounding the dangers of heavy drinking and benefits of moderation, with TV and radio presenter, Adrian Chiles, documenting his experience of moderating alcohol consumption in an online article for the Guardian. By analysing the comments in response to Chiles’ article, this study aimed to explore posters’ attitudes or beliefs toward moderating alcohol and posters’ experiences of moderating or abstaining from alcohol.MethodA secondary qualitative analysis of online comments in response to an article about moderating alcohol consumption. (...) Main outcome measures: Comments in response to a United Kingdom online news article about moderating alcohol consumption were extracted and inductive thematic analysis was used.ResultsFor aim one, two themes were developed; “general attitudes toward drinking” and “general attitudes toward reducing consumption”. These themes reflect negative perceptions of alcohol and issues around changing attitudes. For aim two, three themes were developed: “moderation vs. abstention”, “reflection on past drinking behaviours”, and “current drinking behaviours”. These themes represent posters’ experiences and implications changing their drinking habits.ConclusionOur analysis provides a novel insight into perceptions and experiences of moderating or abstaining from alcohol. Alcohol is embedded within United Kingdom culture, creating difficulties for those who choose to moderate or abstain from alcohol. Our analysis highlights the need for public health to focus on shifting the current drinking culture, through clearer drinking guidelines and a wider availability of alcohol-free alternatives. (shrink)