A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.

This valuable book will give educators solution-based methods and research-based resources to improve classroom culture, as well as enabling schools to elevate students' engagement and academic achievement.

Thought: A Journal of Philosophy, Volume 10, Issue 3, Page 188-198, September 2021.

A brief article introducing *One True Logic*. The book argues that there is one correct foundational logic and that it is highly infinitary.

The phenomenological starting point of this paper is the world of the bioethical subject, the person engaged in moral deliberation about practices of intervention on living bodies. This paper develops a perspective informed by the hermeneutic tradition in phenomenology, approaching bioethical thinking as situated within specific contexts of meaning and conceptuality, frameworks through which the phenomena of the world are interpreted and made sense of by the reasoning subject. It focuses on one dimension of the hermeneutic world of contemporary bioethics, (...) that of the relation between bioethics and biological science. This paper shows how taking a phenomenological-hermeneutic perspective can highlight an important but often overlooked way in which biology helps to structure spaces of bioethical sense-making, with substantive consequences for moral judgement. Bioscientific discourse provides us with interpretive resources for making sense of the living world around us and within us. Different interpretive resources reflect different assumptions about the ontology of living beings, humans included. Since, as is argued here, judgements about moral significance in bioethics can depend upon suppositions about the ontology of life, the way that scientific discourse interpretively constitutes the phenomena of life as intentional objects can thereby channel moral thinking in particular ways. The central thesis of this paper is that critical engagement with this ‘hermeneutics of biology’ is vital for contemporary bioethics. To illustrate, the paper explores the hermeneutic constitution of the genome and its relationship to issues of human identity in the context of genetic technology. Alternative interpretations of the genome—as ‘programme’ or as ‘developmental resource’—differently shape bioethical reasoning in this context. Choices of description in bioscience are in this way partly ethical questions, questions about how we ought to comport ourselves towards each other and the living world beyond. (shrink)

I argue that Beall and Restall's logical pluralism fails. Beall–Restall pluralism is the claim that there are different, equally correct logical consequence relations in a single language. Their position fails for two, related, reasons: first, it relies on an unmotivated conception of the ‘settled core’ of consequence: they believe that truth-preservation, necessity, formality and normativity are ‘settled’ features of logical consequence and that any relation satisfying these criteria is a logical consequence relation. I consider historical evidence and argue that their (...) position relies on an unmotivated conception of the settled features of logical consequence. There are many features that are just as settled but which are inconsistent with pluralism. Second, I argue that Beall–Restall pluralism fails to hold in a single language with a single selection of logical constants, which they require for the position to be distinct from Carnap's. I consider various ways in which Beall and Restall can resist this meaning variance, particularly for negation, but argue that the strongest way relies on an unmotivated conception of the settled features of the logical constants. (shrink)

The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider five (...) possible precisifications of the overgeneration argument and find them all unconvincing. (shrink)

Ontological monists hold that there is only one way of being, while ontological pluralists hold that there are many; for example, concrete objects like tables and chairs exist in a different way from abstract objects like numbers and sets. Correspondingly, the monist will want the familiar existential quantifier as a primitive logical constant, whereas the pluralist will want distinct ones, such as for abstract and concrete existence. In this paper, we consider how the debate between the monist and pluralist relates (...) to the standard test for logicality. We deploy this test and show that it favors the monist. (shrink)

The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to achieve more than (...) he ever intended. This suggests that the model-theoretic definition should be viewed quite differently as an explication of our intuitions about logical consequence. I introduce Kreisel's squeezing argument in Section 1. Then in Section 2, I show how it is adapted by two prominent writers on logical consequence, Etchemendy (1990) and Shapiro (2005). Finally, in Section 3, I argue that these adaptations fail. (shrink)

Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of proof theory and model theory, we can be (...) deflationists about truth but not logical consequence. (shrink)

Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of proof theory and model theory, we can be (...) deflationists about truth but not logical consequence. (shrink)

The best-known syntactic account of the logical constants is inferentialism. Following Wittgenstein’s thought that meaning is use, inferentialists argue that meanings of expressions are given by introduction and elimination rules. This is especially plausible for the logical constants, where standard presentations divide inference rules in just this way. But not just any rules will do, as we’ve learnt from Prior’s famous example of tonk, and the usual extra constraint is harmony. Where does this leave identity? It’s usually taken as a (...) logical constant but it doesn’t seem harmonious: standardly, the introduction rule only concerns a subset of the formulas canvassed by the elimination rule. In response, Read [5, 8] and Klev [3] amend the standard approach. We argue that both attempts fail, in part because of a misconception regarding inferentialism and identity that we aim to identify and clear up. (shrink)

Logical inferentialists contend that the meanings of the logical constants are given by their inference rules. Not just any rules are acceptable, however: inferentialists should demand that inference rules must reflect reasoning in natural language. By this standard, I argue, the inferentialist treatment of quantification fails. In particular, the inference rules for the universal quantifier contain free variables, which find no answer in natural language. I consider the most plausible natural language correlate to free variables—the use of variables in the (...) language of informal mathematics—and argue that it lends inferentialism no support. (shrink)

Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to believe that there aredeterminate facts about the validity of arguments. Despite its evident appeal, however, logical monism must meet two challenges. The first is the challenge from logical pluralism, according to which (...) there is more than one correct logic. The second challenge is to determine which form of logicalmonism is the correct one. One True Logic is the first monograph to explicitly articulate a version of logical monism and defend it against the first challenge. It provides a critical overview of the monism vs pluralism debate and argues for the former. It also responds to the second challenge by defending a particularmonism, based on a highly infinitary logic. It breaks new ground on a number of fronts and unifies disparate discussions in the philosophical and logical literature. In particular, it generalises the Tarski-Sher criterion of logicality, provides a novel defence of this generalisation, offers a clearnew argument for the logicality of infinitary logic and replies to recent pluralist arguments. (shrink)

One True Logic is a rare contribution to the most fundamental issues in the philosophy of logic. The book pushes a remarkably clear and uncompromising monistic.

Owen Griffiths has recently argued that Etchemendy’s account of logical consequence faces a dilemma. Etchemendy claims that we can be sure that his account does not overgenerate, but that we should expect it to undergenerate. Griffiths argues that if we define the relationship between formal and natural language as being dependent on logical consequence, then Etchemendy’s claims are not true; and if we define the relationship as being independent of logical consequence, then we cannot assess the truth (...) of the claims without further information. I argue that Griffiths misconstrues Etchemendy’s theory and overstates the first horn of the dilemma: Etchemendy does see the relationship as being dependent on logical consequence, but that does not mean that his claims are not true. (shrink)

Owen Flanagan argues in this book for a more psychologically realistic ethical reflection and spells out the ways in which psychology can enrich moral philosophy. Beginning with a discussion of such "moral saints" as Gandhi, Mother Teresa, and Oskar Shindler, Flanagan charts a middle course between an ethics that is too realistic and socially parochial and one that is too idealistic, giving no weight to our natures.

Griffiths and Russell D. Gray (1994, 1997, 2001) have argued that the fundamental unit of analysis in developmental systems theory should be a process – the life cycle – and not a set of developmental resources and interactions between those resources. The key concepts of developmental systems theory, epigenesis and developmental dynamics, both also suggest a process view of the units of development. This chapter explores in more depth the features of developmental systems theory that favour treating processes as (...) fundamental in biology and examines the continuity between developmental systems theory and ideas about process in the work of several major figures in early 20th century biology, most notable C.H Waddington. (shrink)

According to the distinguished philosopher Richard Wollheim, an emotion is an extended mental episode that originates when events in the world frustrate or satisfy a pre-existing desire (Wollheim, 1999). This leads the subject to form an attitude to the world which colours their future experience, leading them to attend to one aspect of things rather than another, and to view the things they attend to in one light rather than another. The idea that emotions arise from the satisfaction or frustration (...) of desires—the ‘match-mismatch’ view of emotion aetiology—has had several earlier incarnations in the psychology of emotion. Early versions of this proposal were associated with the attempt to replace the typology of emotion found in ordinary language with a simpler theory of drives and to define new emotion types in terms of general properties such as the frustration of a drive. The match-mismatch view survived the demise of that revisionist project and is found today in theories that accept a folk-psychological-style taxonomy of emotion types based on the meaning ascribed by the subject to the stimulus situation. For example, the match-mismatch view forms part of the subtle and complex model of emotion episodes developed over many years by Nico Frijda (Frijda, 1986). According to Frijda, information about the ‘situational antecedents’ of an emotion—the stimulus in its context, including the ongoing goals of the organism—is evaluated for its relevance to the multiple concerns of the organism. Evaluation of match-mismatch—the degree of compatibility between the situation and the subject's goals—forms part of this process. (shrink)

People are adept at inferring novel causal relations, even from only a few observations. Prior knowledge about the probability of encountering causal relations of various types and the nature of the mechanisms relating causes and effects plays a crucial role in these inferences. We test a formal account of how this knowledge can be used and acquired, based on analyzing causal induction as Bayesian inference. Five studies explored the predictions of this account with adults and 4-year-olds, using tasks in which (...) participants learned about the causal properties of a set of objects. The studies varied the two factors that our Bayesian approach predicted should be relevant to causal induction: the prior probability with which causal relations exist, and the assumption of a deterministic or a probabilistic relation between cause and effect. Adults’ judgments (Experiments 1, 2, and 4) were in close correspondence with the quantitative predictions of the model, and children’s judgments (Experiments 3 and 5) agreed qualitatively with this account. (shrink)

In the years leading up to the Second World War the ethologists Konrad Lorenz and Nikolaas Tinbergen, created the tradition of rigorous, Darwinian research on animal behavior that developed into modern behavioral ecology. At first glance, research on specifically human behavior seems to exhibit greater discontinuity that research on animal behavior in general. The 'human ethology' of the 1960s appears to have been replaced in the early 1970s by a new approach called ‘sociobiology’. Sociobiology in its turn appears to have (...) been replaced by an approach calling itself Evolutionary Psychology. Closer examination, however, reveals a great deal of continuity between these schools. At present, whilst Evolutionary Psychology is the most visible form of evolutionary psychology, empirical and theoretical research on the evolution of mind and behavior is marked by a diversity of ideas and approaches and it is far from clear which direction(s) the field will take in future. (shrink)

Two models of assertion are described and their epistemological implications considered. The assurance model draws a parallel between the ethical norms surrounding promising and the epistemic norms which facilitate the transmission of testimonial knowledge. This model is rejected in favour of the view that assertion transmits knowledge by expressing belief. I go on to compare the epistemology of testimony with the epistemology of memory.

In Measuring the Immeasurable Mind: Where Contemporary Neuroscience Meets the Aristotelian Tradition, Matthew Owen argues that despite its nonphysical character, it is possible to empirically detect and measure consciousness. -/- Toward the end of the previous century, the neuroscience of consciousness set its roots and sprouted within a materialist milieu that reduced the mind to matter. Several decades later, dualism is being dusted off and reconsidered. Although some may see this revival as a threat to consciousness science aimed at (...) measuring the conscious mind, Owen argues that measuring consciousness, along with the medical benefits of such measurements, is not ruled out by consciousness being nonphysical. Owen proposes the Mind-Body Powers model of neural correlates of consciousness, which is informed by Aristotelian causation and a substance dualist view of human nature inspired by Thomas Aquinas, who often followed Aristotle. In addition to explaining why there are neural correlates of consciousness, the model provides a philosophical foundation for empirically discerning and quantifying consciousness. En route to presenting and applying the Mind-Body Powers model to neurobiology, Owen rebuts longstanding objections to dualism related to the mind-body problem. With scholarly precision and readable clarity, Owen applies an oft forgotten yet richly developed historical vantage point to contemporary cognitive neuroscience. (shrink)

The history of religion, philosophy, and nationalism across the Middle East -- Modern-day religion, philosophy, and nationalism in the Gulf region of the Middle East -- Modern-day religion, philosophy, and nationalism in the levant region of the Middle East -- Modern-day religion, philosophy, and nationalism in north Africa -- Important figures in religion, philosophy, and nationalism across the Middle East.

Bayesian Rationality (Oaksford & Chater 2007) illustrates the strengths of Bayesian models of cognition: the systematicity of rational explanations, transparent assumptions about human learners, and combining structured symbolic representation with statistics. However, the book also highlights some of the challenges this approach faces: of providing psychological mechanisms, explaining the origins of the knowledge that guides human learning, and accounting for how people make genuinely new discoveries.

Unlike many other animals, human beings enjoy freedom of action. They are capable of acting freely because they have certain psychological capacities which other animals lack. In this paper, I argue that the crucial capacity here is our ability to make practical judgements; to make judgements about what we ought to do. A number of other writers share this view but they treat practical judgement as a form of belief. Since, as I argue, we don't control our beliefs, that undermines (...) this model of human freedom. I suggest a different account of practical judgement, according to which they are cognitive states but not beliefs and I show how this provides us with a better model of practical freedom. (shrink)

The first book-length treatment in English of Habermas’s theory of social evolution and progress.

This chapter considers educational relationships as found in Rousseau's Émile (and elsewhere in his writing) and the critique of his views in Wollstonecraft's A Vindication of the Rights of Women. Rousseau and Wollstonecraft discuss educational relationships which contribute to a more socially just world: between human beings now and in the future, between teacher and students, and between human beings and the rest of the natural world, the more‐than‐human. Both of them wanted education to produce social justice in the future. (...) The chapter begins by placing the two authors in their historical contexts and then outlines how their views of educational relationships differ, starting with how they see education as contributing to a more just future and moving on to a consideration of relationships between teacher and students with regard to freedom and to individualised learning. Finally, it considers relationships between human beings and the more‐than‐human. (shrink)

The varied chapters of this book seek to capture the complexities of teaching and learning in today's schools, and they share an interest in exploring the influences of knowledge construction in the moment and over time. Teaching and learning are human processes, interrelated and dynamic. We assembled this collection to unpack what it means to teach and to learn, teasing out some of the implications and challenges of such complicated educational processes that are often misconstrued as causal or linear. As (...) educators currently residing in the United States, we find this a particularly pressing agenda, given the current focus on common core standards and reducing teaching and learning to conceptual and pedagogical stepby-step procedures. Our primary concern in putting together this book was to provide a conceptual and political foundation from which to construct and defend understandings and practices of teaching and learning that embody the complexity of educational endeavors and relationships. The isolation of teaching from learning, and the othering of both teachers and students, one from the other, suggests that knowledge is synonymous with information. This book challenges such assumptions. The project underlying this text can be seen as a means of rethinking how teachers' and students' perspectives of practice and curriculum influence what learning opportunities are provided to students. Chapters written by established and new thinkers in the field of education demonstrate the ways in which teachers reformulate relationships between teaching and learning in school settings. Our second objective is to examine local constructions of knowledge over time and how those constructions are consequential for teacher and student learning. By examining patterns of practice and processes of knowledge construction in elementary, secondary, and undergraduate classrooms, the authors of these chapters lay a foundation for examining commonalities and differences in the construction of knowledge and practices across educational levels, disciplines, and in-school and outof-school settings. (shrink)

This brief but comprehensive introduction to French author Blaise Pascal provides an overview of his life and works and examines the major themes in his writings.

We argue that there are three coherent, nontrivial notions of basic-ness: conceptual basic-ness, biological basic-ness, and psychological basic-ness. There is considerable evidence for conceptually basic emotion categories (e.g., “anger,” “fear”). These categories do not designate biologically basic emotions, but some forms of anger, fear, and so on that are biologically basic in a sense we will specify. Finally, two notions of psychological basic-ness are distinguished, and the evidence for them is evaluated. The framework we offer acknowledges the force of some (...) of the objections to basic emotion theory whilst demonstrating that the notion of a basic emotion, once properly reformulated, is still of scientific value. (shrink)

This is the first critical edition of a fascinating medieval work on music, written in Iraq in the tenth century. It is accompanied by an English translation and full annotation. The Epistle examines not just the technical, scientific, and mathematical aspects of music, but its cosmic, psychological, and spiritual dimensions.

Nick Bostrom and others have suggested treating decision-making under moral uncertainty as analogous to parliamentary decision-making. The core suggestion of this “parliamentary approach” is that the competing moral theories function like delegates to the parliament, and that these delegates then make decisions by some combination of bargaining and voting. There seems some reason to hope that such an approach might avoid standard objections to existing approaches (for example, the “maximise expected choiceworthiness” (MEC) and “my favourite theory” approaches). However, the parliamentary (...) approach is so far extremely underspecified, making it largely indeterminate how such a model will in fact behave in the respects that those concerned with moral uncertainty care about. This paper explores one way of making it precise. We treat predicaments of moral uncertainty as analogous to bargaining situations alone (setting aside voting), and apply a version of the Nash solution that is standard in bargaining theory. The resulting model does indeed perform in many of the hoped-for ways. However, so also does a version of MEC that employs a structural approach to intertheoretic comparisons. It seems to us an open question which, regarding this version of MEC and the bargaining-theoretic approach, is superior to the other. We identify the key points on which the two differ. (shrink)

It is unreasonable to assume that our pre-scientific emotion vocabulary embodies all and only those distinctions required for a scientific psychology of emotion. The psychoevolutionary approach to emotion yields an alternative classification of certain emotion phenomena. The new categories are based on a set of evolved adaptive responses, or affect-programs, which are found in all cultures. The triggering of these responses involves a modular system of stimulus appraisal, whose evoluations may conflict with those of higher-level cognitive processes. Whilst the structure (...) of the adaptive responses is innate, the contents of the system which triggers them are largely learnt. The circuits subserving the adaptive responses are probably located in the limbic system. This theory of emotion is directly applicable only to a small sub-domain of the traditional realm of emotion. It can be used, however, to explain the grouping of various other phenomena under the heading of emotion, and to explain various characteristic failings of the pre-scientific conception of emotion. (shrink)

This chapter contains sections titled: The Problem of Normative Power Consent and Choice Promise, Consent and Normative Interests Permissive Interests.