We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.

Ackermann’s function can be expressed using an iterative algorithm, which essentially takes the form of a term rewriting system. Although the termination of this algorithm is far from obvious, its equivalence to the traditional recursive formulation—and therefore its totality—has a simple proof in Isabelle/HOL. This is a small example of formalising mathematics using a proof assistant, with a focus on the treatment of difficult recursions.

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references (...) to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. (shrink)

We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics. We report some experiments using the higher-order automated theorem prover LEO-II.

The essays in this collection examine the moral import of emotion, motivation, judgment, perception, and group identifications, and explore how all these psychic capacities contribute to a morally good life. They examine moral exemplars and the "moral saints" debate, the morality of rescue during the Holocaust, role morality as lying between "personal" and "impersonal" perspectives, Carol Gilligan's theory of women and morality, Iris Murdoch's moral philosophy, and moral responsiveness in young children.

In recent years consciousness has become a significant area of study in the cognitive sciences. The Frontiers of Consciousness is a major interdisciplinary exploration of consciousness. The book stems from the Chichele lectures held at All Souls College in Oxford, and features contributions from a 'who's who' of authorities from both philosophy and psychology. The result is a truly interdisciplinary volume, which tackles some of the biggest and most impenetrable problems in consciousness. The book includes chapters considering the apparent explanatory (...) gap between science and consciousness, our conscious experience of emotions such as fear, and of willed actions by ourselves and others. It looks at subjective differences between two ways in which visual information guides behaviour, and scientific investigation of consciousness in non-human animals. It looks at the challenges that the mind-brain relation presents for clinical practice as well as for theories of consciousness. The book draws on leading research from philosophy, experimental psychology, functional imaging of the brain, neuropsychology, neuroscience, and clinical neurology. Distinctive in its accessibility, authority, and its depth of coverage, Frontiers of Consciousness will be a groundbreaking and influential addition to the consciousness literature. (shrink)

Neoliberalism is an approach to social policy, now globally influential, that applies market approaches to all aspects of social life, including education. Charter schools, privately operated but publicly funded, are its most prominent manifestation in the U.S. The neoliberal principles of competition, consumerism, and choice cannot serve as foundations of a sound and equitable public education system. Neoliberalism embraces socio-economic inequality overall and in doing so constricts any justice mission its adherents espouse in virtue of serving a relatively disadvantaged student (...) population, as charter schools often (by no means always) do. It constricts educational justice by (1) embracing a “human capital” approach as the primary good of education, (2) creating educational inequality through (unofficially) selecting a relatively advantaged segment of the disadvantaged demographic it serves, (3) denying the effect of poverty on educational performance, and (4) devaluing its students’ familial ethnic cultures. (shrink)

Authority qua empowerment is theweak reading of authority in Hans Kelsen's writings.On the one hand, this reading appears to beunresponsive to the problem of authority as we know itfrom the tradition. On the other hand, it squares withlegal positivism. Is Kelsen a legal positivist?Not without qualification. For he defends anormativity thesis along with the separation thesis,and it is at any rate arguable that the normativitythesis mandates a stronger reading of authority thanthat modelled on empowerment. I offer, in the paper,a prima (...) facie case on behalf of a stronger reading ofauthority in Kelsen. I go on to argue, however, thatthe textual evidence weighs heavily in favour of theweak reading. Both nomostatics and nomodynamics arepervasive points of view in the Pure Theory of Law,and both reflect species of empowerment as theendpoint of Kelsen's reconstructions. (shrink)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

I will discuss a variety of cases such that the subject's believing truly is somewhat of an accident, but less so than in a Gettier case. In each case, this is because her reasons are not ultimately undefeated full stop, but they are ultimately undefeated with certain qualifications. For example, the subject's reasons might be ultimately defeated considered in themselves but ultimately undefeated considered as a proper part of an inference to the best explanation that is undefeated without qualification. In (...) each section of the paper, I consider different qualifications and show how in each case we get an epistemic standing I call “coach-class knowledge”. First-class knowledge requires justifying reasons that are undefeated without qualification. Coach-class knowledge only requires qualified lack of defeat. I will use this distinction to bring debates over knowledge from falsehood and fake barns to an ecumenical resolution. In both cases, the subject enjoys coach-class rather than first-class knowledge. I will also show that the defeasible reasoning tradition can better account for graded accidental truth than safety theories. (shrink)

Reasons rationalize beliefs. Reasons, when all goes well, turn true beliefs into knowledge. I am interested in the relationship between these aspects of reasons. Without a proper understanding of their relationship, the theory of knowledge will be less illuminating than it ought to be. I hope to show that previous accounts have failed to account for this relationship. This has resulted in a tendency to focus on justification rather than knowledge. It has also resulted in many becoming skeptical about the (...) prospects for an analysis of knowledge. The skepticism is misplaced and the tendency can be fixed without sacrificing any insights. The solution is to see how good reasons (in a sense to be articulated) are apparent (in a sense to be articulated) to the knowing subject. Once this claim is unpacked, we see that it is an illuminating analysis of knowledge in terms of distinct but intimately related aspects of epistemic assessment. It helps us see the value of knowledge (over and above true belief) and it affords us a unified, “reasons-first” metaepistemology. The resulting picture is neither a familiar kind of internalism or externalism. (shrink)

As the prevalence of conflict and fragility continue to rise around the world, research is increasingly heralded as a solution. However, current ethical guidelines for working in areas suffering from institutional and social fragility, insecurity or violent conflict have been heavily critiqued as highly abstract; focussed only on data collection; detached from the realities of academia in the Global South; and potentially extractive. This article seeks to respond to that assessment by spotlighting some of the most prevalent challenges researchers face (...) in the pursuit of ethical working practices. It explores the material and epistemic injustices that often shape and underpin research structures and relationships in these contexts. The paper draws on the authors’ experiences of research in conflict-affected and fragile contexts over the last fifteen years and on workshop discussions with researchers based in fragile and conflict-affected contexts conducted in Amman, Bogotá and Dhaka in 2019-2020. The paper works from the premise that achieving ethical research in fragile spaces is not dependent solely on activity at the site of research, but also on decisions made across the entire ecosystem of a research project. It therefore interrogates the full research landscape, from funding models, to research design, to dissemination plans and ethical gatekeeping. The paper critically reflects on inequities in the processes of knowledge production about conflict and fragility and the key ethical challenges that researchers encounter. It highlights the need for further guidance, support and accountability to ensure ethical research practices. (shrink)

Introduction: Fundamental Ontology as a "Fundamental Ethics" In his "Letter on Humanism" Martin Heidegger claims that the fundamental ontology he works out ...

I propose that primary conscious awareness arises from synchronized activity in dendrites of neurons in dorsal thalamic nuclei, mediated particularly by inhibitory interactions with thalamic reticular neurons. In support, I offer four evidential pillars: consciousness is restricted to the results of cortical computations; thalamus is the common locus of action of brain injury in vegetative state and of general anesthetics; the anatomy and physiology of the thalamus imply a central role in consciousness; neural synchronization is a neural correlate of consciousness.

The aim of this paper is to give an account of what it is to internalize a rule. I claim that internalization is the process of redistributing the burden of instruction from the teacher to the student. The process is complete when instruction is no longer needed, and the rule has reshaped perceptual classification of the circumstances in which it applies. Teaching a rule is the initiation of this process. We internalize rules by simulating instruction coming from someone else. Running (...) these simulations enables us to toggle between the perspective of the instructor and our own perspective. By doing this we coordinate our perspectives with that of the teacher. The account given here provides a deeper explanation of why internalizing a rule involves the dispositions and reactive attitudes proponents of Rule Consequentialism often say it does, why moral reflection is variably demanding, how intergenerational moral progress is made possible by our cognitive architectures, and why the adoption of a rule should be understood in terms of teaching that rule. (shrink)

In Section I, Kelsen introduces the legal order as an aggregate of norms and considers the question of the basis of the validity of a norm. He then turns, in Section II, to a series of questions that arise in connection with “unconstitutional” statutes. Finally, in Section III, Kelsen defends at length a monistic interpretation of the relation between the international and domestic legal orders. (Translator's summary.).

This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is to (...) develop a general model-construction method based on this definition. We do this and thereby obtain the completeness of most of the standard modal systems, and in addition apply the method to some other systems of interest. None of the results use filtration, but in our final section we explore the connection. (shrink)

Traditionally legal theorists, whenever engaged in controversy, have agreed on one point: legal norms are par excellence rules which impose obligations. The author examines this assumption, which from another perspective (that of constitutional law, for instance) appears less obvious. In fact, constitutional rules are commoniy empowering norms, norms which do not create duties but powers. To this objection many theorists would reply that empowering rules are incomplete and that they are to be understood as parts of duty‐creating rules. A different (...) position from this traditional stance is that defended in Kelsen's later writings, according to which the fundamental type of norm is the empowering norm. The author discusses Kelsen's three theories on the “ideal form” or structure of the legal norm, with special attention to the third of these, the empowerment theory. (shrink)

Originally published in 1986. The theory of events presented is one that construes events to be concrete particulars; and it embodies an attempt to take seriously the idea that events are the changes that objects undergo when they change. The theory is about what an event really is, about when events are identical, about what properties events have essentially, and about what relations events bear to entities of other kinds. In addition, this book contains an account of what philosophers are (...) up to when they provide reasons for thinking that objects belonging to metaphysically interesting kinds exist. It also gives an account of the role of criteria of identity in such reasons, and an account of what criteria of identity must be like in order for them to be able to play such a role. (shrink)

Jaegwon Kim’s causal exclusion argument has rarely been evaluated from an empirical perspective. This is puzzling because its conclusion seems to be making a testable claim about the world: supervenient properties are causally inefficacious. An empirical perspective, however, reveals Kim’s argument to rest on a mistaken conception about how to test whether a property is causally efficacious. Moreover, the empirical perspective makes visible a metaphysical bias that Kim brings to his argument that involves a principle of non‐inclusion.

Here I will re-purpose Nozick’s (1974) “Experience Machine” thought experiment against hedonism into an argument against Veritic Epistemic Consequentialism. According to VEC, the right action, epistemically speaking, is the one that results in at least as favorable a ratio of true to false belief as any other action available. A consequence of VEC is that it would be epistemically right to outsource all your cognitive endeavors to a matrix-like “True Belief Machine” that uploads true beliefs through artificial stimulation. Rather than (...) reflecting, inferring or inquiring, all of your beliefs would be the product of updates coming from the machine. This implication of VEC is counter intuitive. I will spend much of the paper considering defensive maneuvers and showing them to be lacking. The problem with going in for the True Belief Machine seems to be that the subject forfeits her autonomy. There has been much work lately on the virtue of intellectual autonomy and some of it has the potential to explain what is epistemically amiss about plugging into the machine. However, I will argue that the proponent of VEC cannot appeal to it without abandoning her preferred order of explanation. (shrink)