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.

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)

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.

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.

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

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)

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)

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies the axioms iff it embeds into a first order algebra. Importantly, our argument is modular and also works for, e.g., the positive existential algebras and the quantifier-free algebras. We also explain the relationship to theories, and indicate how to add in function symbols.

Examines the theories of Socrates, Kant, Dewey, Piaget, and others to explore the implications of Socrates' question "what is a virtuous man, and what is a virtuous school and society which educates virtuous men.".

The thesis is examined that medical schools tend to recruit those who, because of a single-minded pursuit of admission, lack the breadth of interest and the social experience necessary for the development of a socially sensitive and emotionally mature personality. This negative characterization, labeled “the premed syndrome,” has been linked to a perceived lack of physician concern for patients, interpersonal warmth, and humanitarian care. This paper reviews the various published arguments advanced by proponents and opponents of this view, analyzing the (...) presumed roots and implications and proposed remedies. (shrink)

The volume brings together a collection of original papers on some of the main tenets of Joseph Raz's legal and political philosophy: Legal positivism and the nature of law, practical reason, authority, the value of equality, incommensurability, harm, group rights, and multiculturalism. James Griffin and Yael Tamir raise questions concerning Raz's notion of group rights and its application to claims of cultural and political autonomy, while Will Kymlicka and Bernhard Peters examine Raz's theory of multicultural society. Lukas Meyer investigates the (...) applicability of the notion of harm in the intergenerational context. Other papers are devoted to fundamental theoretical tenets of Raz's work. Hillel Steiner and Andrei Marmor examine Raz's account of value pluralism and incommensurability in light of what these authors consider to be goods whose equal distribution must be valued for its own sake. Robert Alexy and Timothy Endicott discuss traditional issues of jurisprudence and legal philosphy with special attention to Raz's contribution. Rüdiger Bittner, Bruno Celano, and J. E. Penner discuss and criticize aspects of Raz's theory of practical reason. Jeremy Waldron presents a critique of Raz's interpretation of authority.This volume concludes with a chapter by Joseph Raz in which he responds to arguments in the foregoing essays. (shrink)

It is well-acknowledged that teachers play a significant role in enhancing student learning and that investigating teachers’ cognitions about teaching is a first and important step to understanding the phenomenon. Although much research into teachers’ cognitions about grammar teaching has been conducted in various socio-cultural contexts, little has been reported on cognitions of Chinese teachers of English as a foreign language so far. Such understanding is of primary importance to student success in language learning given the sociocultural context where grammar (...) takes a lion’s share in high-stakes examinations. In order to address this research gap, we developed and validated the Chinese EFL Teachers’ Cognitions about Grammar Teaching Questionnaire. Two subsamples were randomly invited to respond to the TCAGTQ and the data were then subjected to exploratory factor analysis and confirmatory factor analysis to test the validity and reliability of the instrument. The EFA excluded eight items from the TCAGTQ and generated six factors with 27 items. The CFA result from the other subsample supported a six-factor model with a good model fit. Moderate correlations between the six factors also supported the predictive validity of the questionnaire, showing that the TCAGTQ is a valid and reliable inventory for measuring Chinese university EFL teachers’ cognitions about grammar teaching. Our findings suggest that the TCAGTQ can be used as a useful tool for teachers to self-assess their professional practice for improving teaching. (shrink)

The volume brings together a collection of original papers on some of the main tenets of Joseph Raz's legal and political philosophy: Legal positivism and the nature of law, practical reason, authority, the value of equality, incommensurability, harm, group rights, and multiculturalism.

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)

Since the publication of Andrews Reath's “Two Conceptions of the Highest Good in Kant” (Journal of the History of Philosophy 26:4 (1988)), most scholars have come to accept the view that Kant migrated away from an earlier “theological” version to one that is more “secular.” The purpose of this paper is to explore the roots of this interpretative trend, re-assess its merits, and then examine how the Highest Good is portrayed in Kant’s Religion within the Boundaries of Mere Reason. As (...) will be argued, it is in this text more so than any other where Kant develops his most philosophically sophisticated account of the Highest Good. Because of the central significance of Kant’s doctrine of the Highest Good for both his ethical theory and philosophy of religion, this paper therefore seeks to provide an important corrective to the current received views. (shrink)

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)

Critics have charged that Heidegger's account of authenticity is morally nihilistic, that his fundamental ontology is either egocentric or chauvinistic; and many see Heidegger's turn to Nazism in 1933 as following logically from an indifference, and even hostility, to "otherness" in the premises of his early philosophy. In_ The Fragile "We": Ethical Implications of Heidegger's "Being and Time,"_ Lawrence Vogel presents three interpretations of authentic existence--the existentialist, the historicist, and the cosmopolitan--each of which is a plausible version of the (...) personal ideal depicted in _Being and Time._ He then draws parallels between these interpretations and three moments in the contemporary liberal-communitarian debate over the relationship of the "I" and the "We." His book contributes both to a diagnosis of what there is about _Being and Time_ that invites moral nihilism and to a sense of how fundamental ontology might be recast so that "the other" is accorded an appropriate place in an account of human existence. (shrink)

Gustav Radbruch war Deutschlands beruhmtester Rechtsphilosoph im 20. Jahrhundert. Seine gehaltvollen, aber auch spannungsreichen Schriften pragen die deutschsprachige Rechtsphilosophie bis heute. Im Zentrum von Radbruchs Lehre steht sein neukantianisch gepragter Rechtsbegriff, der im Laufe der Zeit eine Reihe von Veranderungen erfahren hat. Die Beitrage in diesem Band sind Radbruchs Rechtsbegriff im Allgemeinen und den Wandlungen dieses Rechtsbregriffs im Besonderen gewidmet. Nach der orthodoxen Lesart vertrat Radbruch vor dem Kriege eine rechtspositivistische Lehre, wurde unter dem Eindruck der nationalsozialistischen Grauel jedoch zum (...) Naturrecht bekehrt. Zunehmend wird gesehen, dass diese 'Bekehrungsthese' zu Ungereimtheiten fuhrt. Verschiedene Beitrage dieses Bandes betonen demgegenuber die Kontinuitat nichtpositivistischer Elemente in der Entwicklung von Radbruchs Rechtsbegriff. Mit Beitragen von: Hidehiko Adachi, Martin Borowski, Horst Dreier, Ralf Dreier, An dreas Funke, Ulfrid Neumann, Stanley L. Paulson, Joachim Renzikowski, Hubert Rottleuthner, Marc Andre Wiegand. (shrink)

Hans Kelsen est, sans conteste, le juriste le plus important de ce siècle. Il n'y a pas une seule question de théorie juridique qu'on puisse traiter aujourd'hui sans examiner d'abord l'analyse qu'il en fait, mais son œuvre ne concerne pas seulement le droit et la philosophie du droit ; elle touche aussi la philosophie politique, l'épistémologie, l'éthique ou la logique. Sa théorie du droit représente, à côté du réalisme, l'une des deux branches du juspositivisme moderne, connue sous le nom de (...) normativisme et que lui-même appelait " Théorie pure du droit ". Elle se donne comme une théorie scientifique qui se borne à décrire son objet, le droit positif, et qui donc est " pure " de tout jugement de valeur. La pureté ne concerne toutefois que la méthodologie. Le droit, lui, n'est nullement pur, car il exprime des choix moraux et politiques. La doctrine kelsenienne pure apparaît ainsi doublement politique : d'une part, elle se donne pour tâche de mettre en évidence la fonction idéologique du droit ; d'autre part, dans la mesure où elle analyse les dispositifs juridiques comme des moyens au service de certaines fins, elle peut servir de fondement à une véritable technologie juridique. C'est cette technologie que Kelsen prétendait appliquer à la politique et qui fonde aussi bien son travail de constituant - il est le père de la Constitution autrichienne et de la première Cour constitutionnelle - que ses écrits sur la démocratie. La Théorie générale du droit et de l'Etat présente à cet égard un intérêt exceptionnel. Elle a été écrite aux Etats-Unis, où Kelsen s'était réfugié au début de la Seconde Guerre mondiale. Comme le souligne Stanley L. Paulson dans son introduction, elle constitue une étape marquante dans l'évolution de sa pensée entre le néokantisme des origines et l'empirisme des derniers écrits. C'est aussi une présentation claire, systématique et concentrée de l'ensemble de sa doctrine et c'est le seul ouvrage de Kelsen qui porte à la fois sur les conditions de possibilité d'une science empirique du droit, sur la théorie générale du droit au sens strict - l'analyse structurale de tous les ordres juridiques possibles - et sur la théorie générale de l'Etat - l'analyse des concepts constitutifs de tout Etat possible. (shrink)

The relationship between knowledge, belief, and ethics is an inaugural theme in philosophy; more recently, under the title “ethics of belief” philosophers have worked to develop the appropriate methodology for studying the nexus of epistemology, ethics, and psychology. The title “ethics of belief” comes from a 19th-century paper written by British philosopher and mathematician W.K. Clifford. Clifford argues that we are morally responsible for our beliefs because each belief that we form creates the cognitive circumstances for related beliefs to follow, (...) and we inevitably influence each other through those beliefs. This study argues that recent cognitive research supports Cliffordian insights regarding patterns of belief formation and social influence. From the confirmation offered by such research, it follows that informational accuracy holds serious ethical significance in public discourse. Although scientific and epistemological matters are not always thought to be linked to normative morality, this study builds on Clifford's initial insights to show their linkage is fundamental to inquiry itself. In turn, Clifford's ethical and epistemic outline can inform a framework grounded in “public reason” under which seemingly opposed science communication strategies are philosophically united. With public discourse on climate change as the key example, empirically informed and grounded strategies for science communication in the public sphere are considered. (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)