Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the (...) understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

Arthur Norman Prior (1914-69) was a logician and philosopher from New Zealand who contributed crucially to the development of ‘non-standard’ logics, especially of the modal variety. His greatest achievement was the invention of modern temporal logic, worked out in close connection with modal logic. However, his work in logic had a much broader scope. He was also the founder of hybrid logic, and he made important contributions to deontic logic, modal logic, the theory of quantification, the nature of propositions and (...) the history of logic. In addition, he discussed questions of ethics, free will, and general theology. Prior’s philosophical works comprise about 200 titles. His earliest articles center on philosophical theology and historical studies of Scottish Reformed Theology. This led on to the publication of his first influential work on ethics: Logic and The Basis of Ethics (1949). With the invention of tense-logic in the early 1950s, his focus shifted to investigations into the syntax of tempo-modal logic leading to his seminal Time and Modality (1957), a volume derived from his John Locke Lectures in Oxford in 1956. Furthermore Prior, together with the Irish mathematician and logician C.A. Meredith (1904-76), made important early contributions to the semantics of possible worlds. Prior’s tense-logic provided a strong conceptual framework for problems pertaining to the philosophy of time. In Time and Modality, Prior discussed the philosophical implications of Ruth Barcan’s famous formulae for tense-logic, and in the 1960s he worked on the notion of the present. The most persistent problem running through Prior’s work is his study of the questions surrounding human freedom and divine foreknowledge, and more general philosophical problems emerging from this classical theological question. His thorough analysis of this problem, with the conceptual tools of tense-logic, received a crucial impetus from his correspondence with the young Saul Kripke, when the latter suggested the semantic tool of branching time to Prior. Prior’s development of two solutions based on branching time for the problem of future contingency, the Peircean and the Ockham solution, was most thoroughly developed in Past, Present and Future (1967), the most important work published by Prior. Characteristically for Prior’s methodological approach, the development of these two solutions were at the same time a development of two new systems of tense logic, and vice versa. One of Prior’s significant contributions to logic was his work on world propositions and instant propositions. In the course of developing these notions he also made one of the earliest formulations of hybrid logic. In Papers on Time and Tense (1968), he presented this idea in a more detailed manner in the context of his four grades of tense-logical involvement. (shrink)

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the (...) understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

A. N. Prior’s writings should obviously be studied already for historical reasons. His inventions of modern temporal logic and hybrid logic are clearly important events in the history of logic. But the enduring importance of studying his works also rests on his methodological approach, which remains highly relevant also for systematical reasons. In this paper we argue that Prior’s formulation in the 1950s of a tense-logical paradigm for the study of time should be understood in the light of at least (...) three other principles or perspectives which were manifest already in his studies during the 1940s and further developed in the 1950s: his emphasis on the value of interdisciplinary studies, his reflections on formalisation and his view of the role of symbolic logic in conceptual studies and in the philosophy of science. Our investigation into Prior’s basic tenets and principles makes extensive use of Prior’s Nachlass. It is thereby also exemplified how his correspondence and unpublished papers contain important information for a deeper understanding of Prior’s paradigm for the study of time. (shrink)

Gennaro Chtjerchia, Dynamics of meaning: anaphora, presupposition, and the the of grammar. Chicago and London: The University of Chicago Press, 1995.xv+ 270 pp, £59.95, £31.95 G. Pr...

We take up the challenge of developing an international network with capacity to survey the world's scientists on an ongoing basis, providing rich datasets regarding the opinions of scientists and scientific sub-communities, both at a time and also over time. The novel methodology employed sees local coordinators, at each institution in the network, sending survey invitation emails internally to scientists at their home institution. The emails link to a ‘10 second survey’, where the participant is presented with a single statement (...) to consider, and a standard five point Likert scale. In June 2023, a group of 30 philosophers and social scientists invited 20,085 scientists across 30 institutions in 12 countries to participate, gathering 6,807 responses to the statement 'Science has put it beyond reasonable doubt that COVID-19 is caused by a virus'. The study demonstrates that it is possible to establish a global network to quickly ascertain scientific opinion on a large international scale, with high response rate, low opt-out rate, and in a way that allows for significant (perhaps indefinite) repeatability. Measuring scientific opinion in this new way would be a valuable complement to currently available approaches, potentially informing policy decisions and public understanding across diverse fields. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

Do perceptual states necessarily constitute evidence epistemically supporting corresponding perceptual beliefs? Susanna Schellenberg thinks so. She argues that perceptual states, veridical or not, necessarily provide (or constitute) a kind of evidence (for the existence of the truth-maker) supporting corresponding perceptual beliefs. She uses “phenomenal evidence” as a label for this kind of evidence and calls her argument “The Phenomenal Evidence Argument.” Having introduced her project, we offer a reconstruction of Schellenberg’s argument. A key premise has it that, necessarily, for items (...) with a function, fulfillment of the function (the good case) is explanatorily and metaphysically prior to function failure (the bad case). We suggest that the etiological theory of functions renders this key premise plausible. However, Schellenberg rejects the etiological theory of functions and likewise the idea that the epistemic or warranting force of perceptual states is grounded in their being reliably linked to veridical perception. But then what supports the key premise? Schellenberg argues that accurate perception is a part of the nature of perceptual capacities because the nature of perceptual capacities is explained in terms of their function, and their function is to represent accurately. We suggest that Schellenberg is committed to an understanding of priority which doesn’t require any actual good cases—just possible ones. This reading, we argue, is too weak to support the key premise. Given Schellenberg’s commitments, it is not necessarily the case that perceptual states are evidence for a corresponding perceptual belief. Before concluding we discuss an overgeneralization objection. (shrink)

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

Margaret Macdonald was at the institutional heart of analytic philosophy in Britain in the mid-twentieth century. However, her views on the nature of philosophical theories diverge quite considerably from those of many of her contemporaries. In this article, I focus on Macdonald’s provocative 1953 paper, “Linguistic Philosophy and Perception,” in which she argues that the value of philosophical theories is more akin to that of poetry or art than science or mathematics. I do so for two reasons. First, it reveals (...) just how far Macdonald’s metaphilosophical views diverged from those of many of her contemporaries. Second, the discussion in her article preempts recent literature on the nature of philosophical inquiry and the efficacy of philosophical arguments. Indeed, Macdonald’s paper is just as likely to provoke discussion today as it was in the 1950s. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Existing approaches to the relation of law and society have for a long time seen law as either autonomous or grounded in society. Drawing on untapped resources in social theory, Fitzpatrick finds law pivotally placed in and beyond modernity. Being itself of the modern, law takes impetus and identity from modern society and, through incorporating 'pre-modern' elements of savagery and the sacred, it comes to constitute that very society. When placing law in such a crucial position for modernity, Fitzpatrick ranges (...) widely from the colonizations of the Americas, through the thought of the European Enlightenment, and engages finally with contemporary arrogations of the 'global'. By extending his previous work on the origins of modernity, this book makes a significant contribution to continuing developments in law and society, legal philosophy, and jurisprudence. (shrink)

In this paper we argue that awareness comes in degrees, and we propose a novel multi-factor account that spans both subjective experiences and perceptual representations. At the subjective level, we argue that conscious experiences can be degraded by being fragmented, less salient, too generic, or flash-like. At the representational level, we identify corresponding features of perceptual representations—their availability for working memory, intensity, precision, and stability—and argue that the mechanisms that affect these features are what ultimately modulate the degree of awareness. (...) We conclude the paper by demonstrating why the original interpretations of certain empirical findings that apparently pose problems for our account are, in fact, flawed. (shrink)

This book presents the first integrated treatment of the philosophy of Robert Boyle, one of the leading English natural philosophers of the Scientific Revolution.

English continues to rise as the lingua franca of academic philosophy. Philosophers from all types of linguistic backgrounds use it to communicate with each other across the globe. In this paper, we identify how the rise of English leads to linguistic injustices. We argue that these injustices are similar in an important regard: they are all instances of distributive epistemic injustice. We then present six proposals for addressing unjust linguistic discrimination and evaluate them on how well they can mitigate the (...) specific types of distributive epistemic injustice that we identify. We accept that there is much more to be said. But we hope that what we say will motivate other philosophers to take these types of injustices more seriously and encourage them to make academic philosophy a more inclusive global community. (shrink)

AI companies are racing to create artificial general intelligence, or “AGI.” If they succeed, the result will be human-level AI systems that can independently pursue high-level goals by formulating and executing long-term plans in the real world. Leading AI researchers agree that some of these systems will likely be “misaligned”–pursuing goals that humans do not desire. This goal mismatch will put misaligned AIs and humans into strategic competition with one another. As with present-day strategic competition between nations with incompatible goals, (...) the result could be violent and catastrophic conflict. Existing legal institutions are unprepared for the AGI world. New foundations for AGI governance are needed, and the time to begin laying them is now, before the critical moment arrives. -/- This Article begins to lay those new legal foundations. It is the first to think systematically about the dynamics of strategic competition between humans and misaligned AGI. The Article begins by showing, using formal game-theoretic models, that, by default, humans and AIs will be trapped in a prisoner’s dilemma. Both parties’ dominant strategy will be to permanently disempower or destroy the other, even though the costs of such conflict would be high. -/- The Article then argues that a surprising legal intervention could transform the game theoretic equilibrium and avoid conflict: AI rights. Not just any AI rights would promote human safety. Granting AIs the right not to be needlessly harmed–as humans have granted to certain non-human animals–would, for example, have little effect. Instead, to promote human safety, AIs should be given those basic private law rights–to make contracts, hold property, and bring tort claims–that law already extends to non-human corporations. Granting AIs these economic rights would enable long-run, small-scale, mutually-beneficial transactions between humans and AIs. This would, we show, facilitate a peaceful strategic equilibrium between humans and AIs for the same reasons economic interdependence tends to promote peace in international relations. Namely, the gains from trade far exceed those from war. Throughout, we argue that human safety, rather than AI welfare, provides the right framework for developing AI rights. This Article explores both the promise and the limits of AI rights as a legal tool for promoting human safety in an AGI world. (shrink)

We argue that, while Cavendish did express orthodox piety, she is likely to have been read by her contemporaries as heterodox and deistic at best, atheistic at worst. Furthermore, they would have been right: it is seemingly impossible to reconcile her metaphysical and epistemological views with particular providence, miracles, the incarnation and revelation. We proceed by outlining her general metaphysical position (section 1) before looking in some detail at her discussion of immaterial beings (section 2). We then consider the implications (...) of these views for certain orthodox Christian doctrines (section 3). (shrink)

Children from various countries have been acknowledged and studied for their ability to philosophize, while, unfortunately, Filipino children have not received similar recognition. In this paper, I make a rather unpopular claim that Filipino children can and already are doing philosophy in their efforts to make sense of their existential conditions. “Doing philosophy” here refers to the act of being perplexed by one's own or other people's experiences and making an effort to comprehend them. Filipino children, are a vast and (...) diverse group, coming from various backgrounds, speaking different or even multiple languages, and representing rich cultures and unique circumstances. This diversity adds richness to the wide array of experiences from which existential questions can emerge. However, to truly comprehend the philosophical thinking of Filipino children, they need opportunities and guidance to explore their existential questions and solutions, regardless of how tentative or rudimentary these may seem to adults. Without such opportunities, it remains unclear to what extent their thinking engages with philosophical themes and issues. This not only offers Filipino adults a view of children’s inner worlds but also brings fresh perspectives to commonly held assumptions. (shrink)

Inferentialism is the view that representational content is explained by lingual or mental states interacting according to inferential rules. Mendelovici and Bourget have argued against inferentialism that rules of inference do not sufficiently constrain content. This paper argues that their argument can be further strengthened such that its conclusion yields that content and inferential roles are strictly independent. It will then be argued that this conclusion is untenable and that the argument, rather than undermining inferentialism, corrodes the model theoretic foundations (...) of standard philosophical semantics. The paper concludes with some hints towards an alternative semantic paradigm. (shrink)

The literature on conditionals is rife with alternate formulations of the abstract semantics of conditional logic. Each formulation has its own advantages in terms of applications and generalizations; nevertheless, they are for the most part equivalent, in the sense that they underwrite the same range of logical systems. The purpose of the present note is to bring under this umbrella the partition semantics introduced by Brian Skyrms in (Skyrms, 1984).

In this remarkably clear and original study of the Tractatus Peter Carruthers has two principal aims. He seeks to make sense of Wittgenstein's metaphysical doctrines, showing how powerful arguments may be deployed in their support. He also aims to locate the crux of the conflict between Wittgenstein's early and late philosophies. This is shown to arise from his earlier commitment to the objectivity of logic and logical relations, which is the true target of attack of his later discussion of (...) rule-following. Within this general framework Dr Carruthers explores a number of themes, including the early Wittgenstein's doctrine of the priority of logic over metaphysics, the nature and purpose of his programme of analysis for ordinary language and the various possible arguments supporting the existence of Simples. He offers many original interpretations and defends them with considerable attention to textual detail, yet the book's clarity and directness will make it accessible to anyone acquainted with the Tractatus. It will be required reading for all serious students of Wittgenstein's philosophy. (shrink)

This volume engages in conversation with the thinking and work of Max Charlesworth as well as the many questions, tasks and challenges in academic and public life that he posed. It addresses philosophical, religious and cultural issues, ranging from bioethics to Australian Songlines, and from consultation in a liberal society to intentionality. The volume honours Max Charlesworth, a renowned and celebrated Australian public intellectual, who founded the journal Sophia, and trained a number of the present heirs to both Sophia and (...) academic disciplines as they were further developed and enhanced in Australia: Indigenous Australian studies, philosophy of religion, the study of the tension between tradition and modernity, phenomenology and existentialism, hermeneutics, feminist philosophy, and philosophy of science that is responsive to environmental issues. (shrink)

This entry provides an opinionated overview of central debates surrounding doxastic disagreement, focusing on doxastic states or attitudes such as beliefs and credences. It differentiates between various types of epistemologically significant disagreement based on the agents involved and the source of the disagreement. It also examines and evaluates current accounts of how peers should (rationally) address disagreement and highlights the fundamental principles that support these accounts.

Generic statements play a crucial role in concept learning, communication and education. Despite many efforts, the semantics of generics remain a controversial issue, as they do not seem to fit our standard theories of meaning. In this article, we attempt to shed light on this problem by focusing on how these sentences function in reasoning. Drawing on a distinction between property and diagnostic generics, we defend three theses: First, property generics are not about facts but express relations between concepts. Second, (...) generics play an important role in everyday reasoning by interacting with our expectations about the world. Third, diagnostic generics emphasise properties that separate the category in the generics from other categories in the same contrast class. We use the theory of conceptual spaces to advance measures of typicality and diagnosticity capable of modelling different aspects of generics and apply them to the modifier effect and the inverse conjunction fallacy. Finally, we discuss the pragmatics of generics. (shrink)

Desire-based accounts of practical argument about incompatible ends seem limited either to advice about means or to coercive threats. This paper argues that this can be avoided if the parties to the dispute desire its resolution by means other than force more than they desire the satisfaction of any particular ends. In effect, this means they must argue as if in a position of equal power. This leads to an explanation of the apparent objectivity of moral claims and of why (...) moral reasons appear to be categorical and external. It also explains how notions such as reciprocal altruism and TIT-FOR-TAT can play a role in an evolutionary account of morality. The paper concludes with an argument to the effect that a desire-based metaethic must accept the is-ought gap and explains why there may appear to be no is-ought gap from within a given normative perspective. (shrink)

This title is written to match GCSE Religious Studies AQA B, option 2 and can be used as part of a full course or short course. It contains summaries and practise exam questions at the end of each section to help prepare for exams.