The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper develops a novel solution to this problem. The basic idea is to connect ground to explanatory arguments. By developing a rigorous account of explanatory arguments we can equip operators for factive and non-factive ground with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the resulting logic: non- factive grounding (...) claims, if true, are zero-grounded in the sense of Fine. (shrink)

This book brings together several directions of work in model theory between the late 1950s and early 1980s.

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

In this paper, I link philosophical discussion of policies for trans inclusion or exclusion, to a method of policy making. I address the relationship between concerns about safety, fairness, and inclusion in policy making about the inclusion of transwomen athletes into women’s sport. I argue for an approach based on lexical priority rather than simple ‘balancing’, considering the different values in a specific order. I present justifying reasons for this approach and this lexical order, based on the special obligations of (...) International Federations such as World Rugby. As a result, I provide a justificatory framework for the WR Guidelines that exclude transwomen from the women’s game in WR competitions. Finally, I give an account of a maximally safe, maximally fair and maximally inclusive form of sex categorisation in sport. (shrink)

Preface This volume represents the proceedings of the Second Conference on Situation Theory and its Applications, held at Loch Rannoch, Scotland, ...

In this paper we address the question of how it can be possible for a non-expert to acquire justified true belief from expert testimony. We discuss reductionism and epistemic trust as theoretical approaches to answer this question and present a novel solution that avoids major problems of both theoretical options: Performative Expert Testimony (PET). PET draws on a functional account of expertise insofar as it takes the expert’s visibility as a good informant capable to satisfy informational needs as equally important (...) as her specific skills and knowledge. We explain how PET generates justification for testimonial belief, which is at once assessable for non-experts and maintains the division of epistemic labor between them and the experts. Thereafter we defend PET against two objections. First, we point out that the non-expert’s interest in acquiring widely assertable true beliefs and the expert’s interest in maintaining her status as a good informant counterbalances the relativist account of justification at work in PET. Second, we show that with regard to the interests at work in testimonial exchanges between experts and non-experts, PET yields a better explanation of knowledge-acquisition from expert testimony than externalist accounts of justification such as reliabilism. As our arguments ground in a conception of knowledge, which conceives of belief-justification as a declarative speech act, throughout the rearmost sections of this paper we also indicate to how such a conception is operationalized in PET. (shrink)

Neil Tennant and Joseph Salerno have recently attempted to rigorously formalize Michael Dummett's argument for logical revision. Surprisingly, both conclude that Dummett commits elementary logical errors, and hence fails to offer an argument that is even prima facie valid. After explicating the arguments Salerno and Tennant attribute to Dummett, I show how broader attention to Dummett's writings on the theory of meaning allows one to discern, and formalize, a valid argument for logical revision. Then, after correctly providing a rigorous statement (...) of the argument, I am able to delineate four possible anti-Dummettian responses. Following recent work by Stewart Shapiro and Crispin Wright, I conclude that progress in the anti-realist's dialectic requires greater clarity about the key modal notions used in Dummett's proof. (shrink)

In this paper I discuss a new conception that has arrived relatively recently on the scene, in the context of the debate over the inclusion of transwomen (hereafter TW) in female sport. That conception is ‘Meaningful Competition’ (hereafter MC) – a term used by some of those who advocate for the inclusion of TW in female sport if and only if they reduce their testosterone levels. I will argue that MC is not fair. I understand MC as a substitute concept, (...) as an attempt to substitute for the perfectly serviceable concept of fair competition. It is an attempt at conceptual engineering that should be resisted. This is important because some International Federations have accepted MC as good coin, and the underlying theory of MC, which I explicate for the first time, underpins the stance taken by the IOC (International Olympic Committee) in its Framework Document. To establish that the inclusion of TW in female sport meets the criteria of MC in the sense I explicate here, does not show that the inclusion of TW in female sport is fair. Such inclusion is not fair, and the proper currency of sport is fair competition. ‘Meaningful Competition’, on the other hand, is a snare and a delusion. (shrink)

The chapter explores whether, or to what extent, recent work in experimental philosophy puts pressure on the idea that the concept of causation is ‘egalitarian’. Causal selection – where experimental subjects tend to rate the causal strength of (for example) a norm-violator more strongly than a non-norm-violator – is a well established phenomenon, and is in prima facie tension with an egalitarian conception of causation; it also, indirectly, puts prima facie pressure on the idea that causation is a worldly phenomenon (...) whose obtaining is independent of facts about norms. The chapter explores both the various psychological mechanisms and the broadly pragmatic approaches to explaining causal selection. It argues that the answer to the question whether or not the concept of causation is egalitarian is currently significantly empirically underdetermined, and suggests some avenues for further investigation. (shrink)

The teratogenicity of the Zika virus was considered established in 2016, and is an interesting case because three different sets of causal criteria were used to assess teratogenicity. This paper appeals to the thesis of Russo and Williamson (2007) to devise an epistemological framework that can be used to compare and evaluate sets of causal criteria. The framework can also be used to decide when enough criteria are satisfied to establish causality. Arguably, the three sets of causal criteria considered here (...) offer only a rudimentary assessment of mechanistic studies, and some suggestions are made as to alternative ways to establish causality. (shrink)

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.

In recent years much effort has gone into the study of languages which strengthen the classical first-order predicate calculus in various ways. This effort has been motivated by the desire to find a language which is(I) strong enough to express interesting properties not expressible by the classical language, but(II) still simple enough to yield interesting general results. Languages investigated include second-order logic, weak second-order logic, ω-logic, languages with generalized quantifiers, and infinitary logic.

This article develops the Pure Logic of Iterated Full Ground (PLIFG), a logic of ground that can deal with claims of the form “ϕ grounds that (ψ grounds θ)”—what we call iterated grounding claims. The core idea is that some truths Γ ground a truth ϕ when there is an explanatory argument (of a certain sort) from premisses Γ to conclusion ϕ. By developing a deductive system that distinguishes between explanatory and nonexplanatory arguments we can give introduction rules for operators (...) for factive and nonfactive full ground, as well as for a propositional “identity” connective. Elimination rules are then found by using a proof-theoretic inversion principle. (shrink)

The study begins with the language employed in and the psychological basis of thought experiments as understood by certain medieval Arabic philosophers. It then provides a taxonomy of different kinds of thoughts experiments used in the medieval Islamic world. These include purely fictional thought experiments, idealizations and finally thought experiments using ingenious machines. The study concludes by suggesting that thought experiments provided a halfway house during this period between a staunch rationalism and an emerging empiricism.

One of the main objectives of psychotherapy is to address emotion dysregulation that causes pathological symptoms and distress in patients. Following psychodynamic theory, we propose that in humans, the combination of emotions plus conditioned anxiety due to traumatic attachment can lead to dysregulated affects. Likewise, defenses can generate and maintain dysregulated affects (altogether Dysregulated Affective States, DAS). We propose the Experiential-Dynamic Emotion Regulation methodology, a framework to understand emotion dysregulation by integrating scientific evidence coming from the fields of affective neuroscience (...) and Experiential-Dynamic Psychotherapy aimed at resolving DAS. This method and the techniques proposed can be integrated within other approaches. Similarities and differences with the Cognitive model of emotion regulation and cognitive-behavioral approaches are discussed within the paper. (shrink)

In this paper, I develop and respond to a novel objection to Conciliatory Views of disagreement. Having first explained Conciliationism and the problem of divine hiddenness, I develop an objection that Conciliationism exacerbates the problem of divine hiddenness. According to this objection, Conciliationism increases God’s hiddenness in both its scope and severity, and is thus incompatible with God’s existence (or at least make God’s existence quite improbable). I respond to this objection by showing that the problem of divine hiddenness is (...) not made any worse by Conciliationism. (shrink)

I present a corrective to the formalist and conventionalist down-playing of physical actions in the understanding of the value of sport. I give a necessarily brief account of the Causal Theory of Action (CTA) and its implications for the normativity of actions. I show that the CTA has limitations, particularly in the case of failed or incomplete actions, and I show that failed or incomplete actions are constitutive of sport. This allows me to open up the space for another model, (...) drawn from Aristotle, for failed or incomplete actions, conceived of as ‘doables.’ This avoids some of the problems of the CTA. I explain the importance of difficult but doable actions, at which athletes often fail, and suggest that this establishes pro tanto value. Finally, I claim that this account of the actions that are constitutive of sport deepens our understanding of the value of sport as a whole. (shrink)

This paper shows that, in Newtonian mechanics, unstable three-dimensional rigid bodies must exist. Laraudogoitia recently provided examples of one- and two-dimensional homogeneous unstable rigid bodies, conjecturing the instability would persist for three-dimensional bodies in four-dimensional space. My result proves that, if one admits non homogeneous balls or hollow spheres, then the conjecture is true without having to resort to tetra-dimensionality. Furthermore, I show that instability also holds for at least certain simple classes of elastic bodies. Altogether, the laws of classical (...) dynamics actually lead to the existence of unstable material bodies belonging to the three types of entities accepted therein: point particles, rigid bodies and continuous deformable bodies. A whole range of forms of indeterminism which, until now, has not been considered in the literature. I end with a new conjecture on the connection existing between all these forms of instability and the dimensionality of space. (shrink)

There is a widespread and largely unchallenged assumption within philosophy that the word ‘normal’ is ambiguous: i.e., that it can mean different things in different contexts. This assumption appears in work within topics as varied as the philosophy of biology, medicine, justification, causation, and more. In this paper I argue that we currently lack any independent reason for adopting such an assumption. The reason that would most likely be offered in its favour requires us to ignore an alternative and equally (...) plausible explanation for the seeming variety of different meanings that ‘normal’ is taken to have. Meanwhile, the well-known conjunction reduction test for ambiguity provides no evidence for the ambiguity of ‘normal’, and in fact suggests that maintaining this ambiguity claim is more difficult than has been initially supposed. Therefore, with the way things stand at present, it should not be assumed without argument that ‘normal’ is an ambiguous term. (shrink)

Literature and Understanding investigates the cognitive gain from literature by focussing on a reader's close analysis of a literary text. It examines the meaning of 'literature', outlines the most prominent positions in the literary cognitivism debate, explores the practice of close reading from a philosophical perspective, provides a fresh account of what we mean by 'understanding' and in so doing opens up a new area of research in the philosophy of literature. This book provides a different reply to the challenge (...) that we can't learn anything worthwhile from reading literary fiction. It makes the innovative case that reading literary fiction as literature rather than as fiction stimulates five relevant senses of understanding. The book uses examples of irony, metaphor, play with perspective and ambiguity to illustrate this contention. Before arguing that these five senses of understanding bridge the gap between our understanding of a literary text and our understanding of the world beyond that text. The book will be of great interest for researchers, scholars and post-graduate students in the fields of aesthetics, literary theory, literature in education and pedagogy. (shrink)

The purpose of our article is to investigate and report on a document analysis study of social studies education in Argentina. In particular, our focus is on the progression of citizenship education and the inclusion of global perspectives in social studies education within Argentina's elementary schools. Like many other countries in the world, Argentina has followed a growing trend to include global perspectives in their national curricula. We investigate the contours of what this entails for Argentina's elementary schools. We begin (...) the article by situating our purpose in the larger field of global citizenship education. Next, we review the literature and describe Argentina's socio-historical context and report on how that context informs Argentina's education system. We then move to the study's methodology, which is grounded in the following research questions: (1) How is social studies organized in Argentina and how has the purpose of social studies evolved over time? (2) To what degree, if any, are global perspectives represented in Argentina's elementary social studies curricula? To address these questions, we employ document analysis research design (Bowen, 2009). In this analysis, we review Argentina's education policy documents and social studies curricular documents. We follow Fereday and Muir-Cochrane's (2006) three-prong approach for data analysis of documents. We share the findings of the research based on the aforementioned questions. We conclude the article with a discussion of how environmental awareness, human rights, and global competencies are included in the initiative to increase global citizenship education within Argentina's social studies curricula. (shrink)

Based on an analysis of a fundamental distinction between metaphors of ’finding‘ versus ’making‘ for the obtaining of new knowledge, a number of constructivist positions in education are discussed and criticised, taking account of earlier criticism particularly by Suchting and by Matthews. Constructivist claims which are denied include the claim that we have no direct access to the world, and the claim that communication is inherently meaningless. What is valuable in constructivism, namely the insistence on active learning, on respect for (...) the pupil‘s own thinking, and on the high priority needed for ideas taught to make sense to pupils, together with the reminder that science is a human product, is important to retain without its additional and ill-founded philosophical baggage. (shrink)

This book explores key ideas in Hannah Arendt's work through a study of her friendships with contemporaries: Heidegger, Karl Jaspers, Heinrich Blucher and Mary McCarthy.

In this paper I argue that there is a significant but often overlooked metaphysical distinction to be made between contextualism and contrastivism. The orthodox view is that contrastivism is merely a form of contextualism. This is a mistake. The contextualist view is incompatible with certain naturalist claims about the metaphysical nature of concepts within whichever domain is being investigated, while the contrastivist view is compatible with these claims. So, choosing one view over the other will involve choosing to affirm or (...) deny a significant metaphysical claim. As such, a demarcation ought to be put in place between contextualism and contrastivism. (shrink)

In this paper, we reply to Eric Moore’s argument that Lance Armstrong did not cheat, at least according to one, standard account of cheating. If that is the case, we argue, so much the worse for th...

We show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.

Until approximately twenty years ago, advances in the study of human genetics had little influence on the practice of medicine. In the 1980s, this changed dramatically with the mapping of the altered genes that cause cystic fibrosis and Huntington disease. In just a few years, these discoveries led to DNA-based tests that enabled clinicians to determine whether prospective parents were carriers of CF or whether an individual carried the Huntington gene and, as a result, would almost certainly develop the disease.Observers (...) interested in the social and economic implications of genetic technology realized that such genetic tests could be used by insurance companies to predict which insurance applicants were likely to become ill or even die from these diseases. (shrink)

This paper considers the correspondence theory from modal logic and obtains correspondence results for models as opposed to frames. The key ideas are to consider infinitary modal logic, to phrase correspondence results in terms of substitution instances of a given modal formula, and to identify bisimilar model-world pairs.

This article provides an introduction to Johan Ludvig Heiberg’s “On the Principle of the Beginning of History” from 1843. The Danish poet, playwright and critic attended Hegel’s lectures in Berlin in 1824 and returned to Copenhagen a convinced Hegelian. He spent the next two decades pursuing a campaign to spread the word about Hegel’s philosophy in the Kingdom of Denmark. His little-known article on history draws substantially on Hegel’s Lectures on the Philosophy of History, which had been published by Heiberg’s (...) acquaintance Eduard Gans in 1837 as a part of the complete works edition of Hegel’s writings. Kierkegaard makes Heiberg’s article the object of criticism in The Concept of Anxiety and a draft of Prefaces. In the former he claims that Heiberg’s occupation with the beginning of world history trivializes the issue of sin. In the latter he charges Heiberg with plagiarism. The present article introduces Heiberg’s article and gives an account of Kierkegaard’s criticism. (shrink)

During his lifetime, he saw his works translated into German, Swedish, English, French, Hungarian and Dutch. These works were widely read and frequently reprinted in numerous editions throughout the second half of the century.