As moral injury is a still-emerging concept within the area of military mental health, prevalence estimates for moral injury and its precursor, potentially morally injurious events (PMIEs), remain unknown for many of the world’s militaries. The present study sought to estimate the prevalence of PMIEs in the Canadian Armed Forces (CAF), using data collected from CAF personnel deployed to Afghanistan, via logistic regressions controlling for relevant sociodemographic, military, and deployment characteristics. Analyses revealed that over 65% of CAF members reported exposure (...) to at least one event that would be considered a PMIE. The most commonly PMIEs individuals reported included seeing ill or injured women and children they were unable to help (48.4%), being unable to distinguish between combatants and non-combatants (43.6%), and finding themselves in a threatening situation where they were unable to respond due to the rules of engagement under which they were required to operate (35.4%). These findings provide support for both the presence of exposure to PMIEs in CAF members and the need for formal longitudinal data collection regarding PMIE exposure and moral injury development. (shrink)

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that mathematics reduces (...) to logic. (shrink)

Assertions are the centre of gravity in social epistemology. They are the vehicles we use to exchange information within scientific groups and society as a whole. It is therefore essential to determine under which conditions we are permitted to make an assertion. In this paper we argue and provide empirical evidence for the view that the norm of assertion is justified belief: truth or even knowledge are not required. Our results challenge the knowledge account advocated by, e.g. Williamson (1996), in (...) general, and more specifically, put into question several studies conducted by Turri (2013, 2016) that support a knowledge norm of assertion. Instead, the justified belief account championed by, e.g. Douven (2006), seems to prevail. (shrink)

A classic debate concerns whether reasonableness should be understood statistically (e.g., reasonableness is what is common) or prescriptively (e.g., reasonableness is what is good). This Article elaborates and defends a third possibility. Reasonableness is a partly statistical and partly prescriptive “hybrid,” reflecting both statistical and prescriptive considerations. Experiments reveal that people apply reasonableness as a hybrid concept, and the Article argues that a hybrid account offers the best general theory of reasonableness. -/- First, the Article investigates how ordinary people judge (...) what is reasonable. Reasonableness sits at the core of countless legal standards, yet little work has investigated how ordinary people (i.e., potential jurors) actually make reasonableness judgments. Experiments reveal that judgments of reasonableness are systematically intermediate between judgments of the relevant average and ideal across numerous legal domains. For example, participants’ mean judgment of the legally reasonable number of weeks’ delay before a criminal trial (ten weeks) falls between the judged average (seventeen weeks) and ideal (seven weeks). So too for the reasonable num- ber of days to accept a contract offer, the reasonable rate of attorneys’ fees, the reasonable loan interest rate, and the reasonable annual number of loud events on a football field in a residential neighborhood. Judgment of reasonableness is better predicted by both statistical and prescriptive factors than by either factor alone. -/- This Article uses this experimental discovery to develop a normative view of reasonableness. It elaborates an account of reasonableness as a hybrid standard, arguing that this view offers the best general theory of reasonableness, one that applies correctly across multiple legal domains. Moreover, this hybrid feature is the historical essence of legal reasonableness: the original use of the “reasonable person” and the “man on the Clapham omnibus” aimed to reflect both statistical and prescriptive considerations. Empirically, reasonableness is a hybrid judgment. And normatively, reasonableness should be applied as a hybrid standard. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical (...) concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

This paper develops an account of the distinctive epistemic authority of avowals of propositional attitude, focusing on the case of belief. It is argued that such avowals are expressive of the very mental states they self-ascribe. This confers upon them a limited self-warranting status, and renders them immune to an important class of errors to which paradigm empirical (e.g., perceptual) judgments are liable.

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

We develop a reading of Moore’s “Proof of an External World” that emphasizes the connections between this paper and Moore’s earlier concerns and strategies. Our reading has the benefit of explaining why the claims that Moore advances in “Proof of an External World” would have been of interest to him, and avoids attributing to him arguments that are either trivial or wildly unsuccessful. Part of the evidence for our view comes from unpublished drafts which, we believe, contain important clues concerning (...) Moore’s aims and intent. While our approach to PEW may be classified alongside other broadly "metaphysical" readings, we believe that a proper recognition of the continuity in Moore’s philosophical concerns and strategies across his philosophical career shows that the customary distinction between "epistemological" and "metaphysical" interpretative approaches to PEW is at best superficial. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

Our focus in this chapter will be the role the pride has played, both historically and contemporarily, in Christian theology and philosophical theology. We begin by delineating a number of different types of pride, since some types are positive (e.g., when a parent tells a daughter “I’m proud of you for being brave”), and others are negative (e.g., “Pride goes before a fall”) or even vicious. We then explore the role that the negative emotion and vice play in the history (...) of Christianity, with particular attention to a number of influential figures. We conclude by exploring how pride connects with a number of other central issues in Christian theology. (shrink)

Despite pervasive variation in the content of laws, legal theorists and anthropologists have argued that laws share certain abstract features and even speculated that law may be a human universal. In the present report, we evaluate this thesis through an experiment administered in 11 different countries. Are there cross‐cultural principles of law? In a between‐subjects design, participants (N = 3,054) were asked whether there could be laws that violate certain procedural principles (e.g., laws applied retrospectively or unintelligible laws), and also (...) whether there are any such laws. Confirming our preregistered prediction, people reported that such laws cannot exist, but also (paradoxically) that there are such laws. These results document cross‐culturally and –linguistically robust beliefs about the concept of law which defy people's grasp of how legal systems function in practice. (shrink)

Many epistemologists have argued that there is some degree of independence between individual and collective reliability (e.g., Kitcher 1990; Mayo-Wilson, Zollman, and Danks 2011; Dunn 2018). The question, then, is: To what extent are the two independent of each other? And in which contexts do they come apart? In this paper, I present a new case confirming the independence between individual and collective reliability optimization. I argue that, in voting groups, optimizing individual reliability can conflict with optimizing collective reliability. This (...) can happen even if various conditions are held constant, such as: the evidence jurors have access to, the voting system, the number of jurors, some independence conditions between voters, and so forth. This observation matters in many active debates on, e.g., epistemic dilemmas, the wisdom of crowds, independence theses, epistemic democracy, and the division of epistemic labour. (shrink)

Envy is, roughly, the disposition to desire that another lose a perceived good so that one can, by comparison, feel better about one’s self. The divisiveness of envy follows not just from one’s willing against the good of the other, but also from the other vices that spring from it. It is for this second reason that envy is a capital vice. This chapter begins by arguing for a definition of envy similar to that given by Aquinas and then considers (...) its relationship to other vices (e.g. jealousy, schadenfreude, and hate). At the heart of envy is a disposition to make relative comparisons which lead to a sense of inferiority. This is turn can lead a person to feel and act in ways destructive of community and the self. The present chapter also addresses recent work in both psychology and economics related to envy. (shrink)

Legal theorists seek to persuade other jurists of certain theories: Textualism or purposivism; formalism or realism; natural law theory or positivism; prison reform or abolition; universal or particular human rights? Despite voluminous literature about these debates, tremendous uncertainty remains about which views experts endorse. This Article presents the first-ever empirical study of American law professors about legal theory questions. A novel dataset of over six hundred law professors reveals expert consensus and dissensus about dozens of longstanding legal theory debates. -/- (...) Law professors also debate questions about the nature of the legal academy. Descriptively, which subjects (e.g. constitutional law) and methods (e.g. law & economics) are most central within the legal academy today? And prescriptively, should today’s legal academy prioritize additional areas (e.g. legislation) or methods (e.g. critical race theory)? There is great interest in these questions but no empirical dataset of experts’ views; this results in uncertainty about which views experts endorse. This Article’s empirical study also clarifies these questions, documenting law professors’ evaluation of over one-hundred areas of law. -/- The legal theory and legal academy findings support implications for legal scholarship, education, and practice. Clearly, debates about law and the legal academy’s evolution should not be settled by a survey. Nevertheless, insofar as law professors are experts about these issues, it is instructive to discover and carefully examine what views those experts hold, so as to help determine which views are most likely to be true and how the legal academy ought to develop. (shrink)

ABSTRACTWhat does it take for lawyers and others to think or talk about the same legal topic—e.g., defamation, culpability? We argue that people are able to think or talk about the same topic not when they possess a matching substantive understanding of the topic, as traditional metasemantics says, but instead when their thoughts or utterances are related to each other in certain ways. And what determines the content of thoughts and utterances is what would best serve the core purposes of (...) the representational practice within which the thought or utterance is located. In thus favoring a “relational model” in metasemantics, we share Ronald Dworkin's goal of explaining fundamental legal disagreements, and also his reliance on constructive interpretation. But what we delineate is a far more general and explanatorily resourceful metasemantics than what Dworkin articulated, which also bypasses some controversial implications for the nature of law that Dworkin alleged. (shrink)

It is sometimes alleged that the study of emotion and the study of value are currently pursued as relatively autonomous disciplines. As Kevin Mulligan notes, “the philosophy and psychology of emotions pays little attention to the philosophy of value and the latter pays only a little more attention to the former.” (2010b, 475). Arguably, the last decade has seen more of a rapprochement between these two domains than used to be the norm (cf. e.g. Roeser & Todd 2014). But (...) there still seems to be considerable potential for exchange and dialogue if the situation is compared with their intimate relationship in central strands of early realist phenomenology. The philosopher perhaps most representative of this ecumenical approach is Husserl’s early student Dietrich von Hildebrand (1889-1977). From the very early stages of his philosophical career, Hildebrand has developed one of the most original, comprehensive and nuanced accounts of emotions at whose core is a detailed examination of their connection to value. While his central concern with the ethical significance of our affective life is in many ways continuous with Scheler’s work and draws crucially on Reinach’s philosophy of mind, Hildebrand’s own reflections considerably expand on and substantially modify the picture of the ontology and normative role of emotions defended by these authors. In this article, I reconstruct Hildebrand’s view of emotions with a particular focus on those aspects which represent his most distinctive contribution to this subject. (shrink)

With An Answer to the Question: What Is Enlightenment? (1784) and What Does It Mean to Orient Oneself in Thinking? (1786), Kant presents the concept of public use of reason and defines its requirements, scope, and function. In outline, the public use of reason consists in sharing one’s thoughts with “the entire public of the world of readers” (8:37). As for its requirements, to the extent that someone communicates in their own person, i.e. not in the exercise of their function (...) as a public official, and bases their reasoning on universalizable grounds, their use of reason qualifies as public and shall be free from state censorship. Therefore, Kant’s concept of public use reason aims to establish a public debate that is free and includes in its scope, both as subjects and recipients, potentially all adult men. The ultimate function of the public use of reason is to foster moral progress and, with it, the reform of the political community according to the republican ideal. However, it is commonly held that Kant, with his 1798 essay The Conflict of the Faculties, deprives his notion of public use of reason of its progressive core and adjusts it to the absolutist conception of speech and civil service. Characterizations of state officials as “not free to make public use of their learning” (7:18) and “bound to uphold whatever […] the crown sanctions for them to expound publicly” (7:8), as well as the depiction of laypeople as “incompetent” (7:18) and “resigned to understanding nothing about [the sciences]” (7:34), have led influential interpreters to read Kant as redefining his notion of public use of reason by restricting its subjects to university professors and its recipients to government members (e.g. John Christian Laursen 1986, rpt. 1992 and 1996; Kevin Davis 1992; Steven Lestition 1993; Jay Franzel 2013). On my reading, with The Conflict of the Faculties, Kant does indeed redefine the concept of public use of reason making concessions to the absolutist notion of speech and civil service. However, a close reading of the text reveals that the public use of reason ends up being reaffirmed in its progressive core and extended in its scope. To substantiate my interpretation, I will systematically analyse and classify each of the 68 occurrences of the adjective ‘public’ in The Conflict of the Faculties and show how Kant employs the absolutist vocabulary to convey the progressive project of his previous writings. Accordingly, I argue that Kant holds on to the free public use of reason as a means to reform politics according to the republican ideal and that the employment of the absolutist vocabulary is motivated by a pragmatic attitude and a provocative stance. (shrink)

Sometimes epistemologists theorize about belief, a tripartite attitude on which one can believe, withhold belief, or disbelieve a proposition. In other cases, epistemologists theorize about credence, a fine-grained attitude that represents one’s subjective probability or confidence level toward a proposition. How do these two attitudes relate to each other? This article explores the relationship between belief and credence in two categories: descriptive and normative. It then explains the broader significance of the belief-credence connection and concludes with general lessons from the (...) debate thus far. (shrink)

Hypocrites are often thought to lack the standing to blame others for faults similar to their own. Although this claim is widely accepted, it is seldom argued for. We offer an argument for the claim that nonhypocrisy is a necessary condition on the standing to blame. We first offer a novel, dispositional account of hypocrisy. Our account captures the commonsense view that hypocrisy involves making an unjustified exception of oneself. This exception-making involves a rejection of the impartiality of morality and (...) thereby a rejection of the equality of persons, which we argue grounds the standing to blame others. (shrink)

Quantum Mechanics is a fundamental physical theory about atomic-scale processes. It was built between 1920 and 1940 by the most distinguished physicists of that time. The accordance between the predictions of the theory and experimental results is remarkable. The physical interpretation of its mathematical constructs, however, raised unprecedented controversies. Ontological, semantic, and epistemic vagueness abound in the orthodox interpretations and have resulted in serious misunderstandings that are often repeated in textbooks and elsewhere. In this work, we identify, criticize, and clarify (...) the most spread ones. (shrink)

Ethical decision-making frameworks assist in identifying the issues at stake in a particular setting and thinking through, in a methodical manner, the ethical issues that require consideration as well as the values that need to be considered and promoted. Decisions made about the use, sharing, and re-use of big data are complex and laden with values. This paper sets out an Ethics Framework for Big Data in Health and Research developed by a working group convened by the Science, Health and (...) Policy-relevant Ethics in Singapore Initiative. It presents the aim and rationale for this framework supported by the underlying ethical concerns that relate to all health and research contexts. It also describes a set of substantive and procedural values that can be weighed up in addressing these concerns, and a step-by-step process for identifying, considering, and resolving the ethical issues arising from big data uses in health and research. This Framework is subsequently applied in the papers published in this Special Issue. These papers each address one of six domains where big data is currently employed: openness in big data and data repositories, precision medicine and big data, real-world data to generate evidence about healthcare interventions, AI-assisted decision-making in healthcare, public-private partnerships in healthcare and research, and cross-sectoral big data. (shrink)

Sometimes it is not one’s place to blame or forgive. This phenomenon is captured under the philosophical notion of standing. However, there is an asymmetry to be explained here. One can successfully blame, even if one lacks the standing to do so. Yet, one cannot successfully forgive if one lacks the standing to do so. In this article we explain this asymmetry. We argue that a complete explanation depends on not only a difference in the natures of the standing to (...) blame and forgive but also a difference in the natures of blame and forgiveness themselves. (shrink)

In 2019, several US states passed “heartbeat” bills. Should such bills go into effect, they would outlaw abortion once an embryonic heartbeat can be detected, thereby severely limiting an individual’s access to abortion. Many states allow health care professionals to refuse to provide an abortion for reasons of conscience. Yet heartbeat bills do not include a positive conscience clause that would allow health care professionals to provide an abortion for reasons of conscience. I argue that this asymmetry is unjustified. The (...) same criteria that justify protecting conscientious refusals to provide abortion also justify protecting positive conscientious appeals regarding abortion. Thus, if the law provides legal exemptions for health care professionals who, as a matter of conscience, refuse to provide abortions where it is legal, it should also provide exemptions for health care professionals who, as a matter of conscience, feel obligated to provide abortions where it is illegal. (shrink)

It is widely agreed that hypocrisy can undermine one’s moral standing to blame. According to the Nonhypocrisy Condition on standing, R has the standing to blame some other agent S for a violation of some norm N only if R is not hypocritical with respect to blame for violations of N. Yet this condition is seldom argued for. Macalester Bell points out that the fact that hypocrisy is a moral fault does not yet explain why hypocritical blame is standingless blame. (...) She raises a challenge: one must explain what is distinct about hypocritical blame such that the hypocritical blamer lacks the standing to blame, even if the arrogant or petty blamer does not. Of those writing on hypocrisy, only we offer a direct response to Bell’s challenge. Recently, however, our account has come under criticism. We argue here that (1) our account can handle these criticisms and that (2) no other rival account adequately addresses Bell’s challenge of explaining what is uniquely objectionable about hypocritical blame. Because answering Bell’s challenge is a necessary component of any plausible account of the relationship between hypocrisy and standing, our account remains the best on offer. (shrink)

Philosophers often suggest that their theories of free will are supported by our phenomenology. Just as their theories conflict, their descriptions of the phenomenology of free will often conflict as well. We suggest that this should motivate an effort to study the phenomenology of free will in a more systematic way that goes beyond merely the introspective reports of the philosophers themselves. After presenting three disputes about the phenomenology of free will, we survey the (limited) psychological research on the experiences (...) relevant to the philosophical debates and then describe some pilot studies of our own with the aim of encouraging further research. The data seem to support compatibilist descriptions of the phenomenology more than libertarian descriptions. We conclude that the burden is on libertarians to find empirical support for their more demanding metaphysical theories with their more controversial phenomenological claims. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

Predictable polarization is everywhere: we can often predict how people’s opinions, including our own, will shift over time. Extant theories either neglect the fact that we can predict our own polarization, or explain it through irrational mechanisms. They needn’t. Empirical studies suggest that polarization is predictable when evidence is ambiguous, that is, when the rational response is not obvious. I show how Bayesians should model such ambiguity and then prove that—assuming rational updates are those which obey the value of evidence—ambiguity (...) is necessary and sufficient for the rationality of predictable polarization. The main theoretical result is that there can be a series of such updates, each of which is individually expected to make you more accurate, but which together will predictably polarize you. Polarization results from asymmetric increases in accuracy. This mechanism is not only theoretically possible, but empirically plausible. I argue that cognitive search—searching a cognitively accessible space for a particular item—often yields asymmetrically ambiguous evidence, I present an experiment supporting its polarizing effects, and I use simulations to show how it can explain two of the core causes of polarization: confirmation bias and the group polarization effect. (shrink)

The Lockean Thesis says that you must believe p iff you’re sufficiently confident of it. On some versions, the 'must' asserts a metaphysical connection; on others, it asserts a normative one. On some versions, 'sufficiently confident' refers to a fixed threshold of credence; on others, it varies with proposition and context. Claim: the Lockean Thesis follows from epistemic utility theory—the view that rational requirements are constrained by the norm to promote accuracy. Different versions of this theory generate different versions of (...) Lockeanism; moreover, a plausible version of epistemic utility theory meshes with natural language considerations, yielding a new Lockean picture that helps to model and explain the role of beliefs in inquiry and conversation. Your beliefs are your best guesses in response to the epistemic priorities of your context. Upshot: we have a new approach to the epistemology and semantics of belief. And it has teeth. It implies that the role of beliefs is fundamentally different than many have thought, and in fact supports a metaphysical reduction of belief to credence. (shrink)

Sebastian Rödl portrays much of his work as attempts at articulating a German idealist view of self-consciousness. Although he rarely engages directly with German idealist texts, his accounts of first-person and second-person knowledge arrive at strikingly Fichtean theses regarding the necessary identity of subject and object in the former and the necessary reciprocity of subject and other in the latter. Despite this affinity, I argue, Rödl's accounts lack a feature that is essential to Fichte's and, indeed, to German idealism's distinctive (...) orientation: the thought of a first principle. I show that while second-person knowledge between subjects is genetically prior to self-consciousness—for Fichte as for Rödl—first-person knowledge of the I as first principle is systematically prior to self-consciousness—a point of architectonic and anti-nihilistic importance for Fichte, but which goes missing on Rödl's accounts, thereby obstructing their intended German idealist articulation. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should not, (...) play in the design of such experiments and in the evaluation of their results. (shrink)

Traditionally, those writing on blame have been concerned with blaming others, including when one has the standing to blame others. Yet some alleged problems for such accounts of standing arise when we focus on self-blame. First, if hypocrites lack the standing to blame others, it might seem that they also lack the standing to blame themselves. But this would lead to a bootstrapping problem, wherein hypocrites can only regain standing by doing that which they lack the standing to do. Second, (...) in addition to hypocrites, there may be hypercrites, who blame themselves more severely than others. Leading accounts for why hypocrites lack standing to blame others would also seem to imply that hypercrites lack the standing to blame others, but some may find this counterintuitive. We argue that neither of these problems from self-blame poses a unique threat to leading accounts of standing. (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

The Infectious Disease Ontology (IDO) is a suite of interoperable ontology modules that aims to provide coverage of all aspects of the infectious disease domain, including biomedical research, clinical care, and public health. IDO Core is designed to be a disease and pathogen neutral ontology, covering just those types of entities and relations that are relevant to infectious diseases generally. IDO Core is then extended by a collection of ontology modules focusing on specific diseases and pathogens. In this paper we (...) present applications of IDO Core within various areas of infectious disease research, together with an overview of all IDO extension ontologies and the methodology on the basis of which they are built. We also survey recent developments involving IDO, including the creation of IDO Virus; the Coronaviruses Infectious Disease Ontology (CIDO); and an extension of CIDO focused on COVID-19 (IDO-CovID-19).We also discuss how these ontologies might assist in information-driven efforts to deal with the ongoing COVID-19 pandemic, to accelerate data discovery in the early stages of future pandemics, and to promote reproducibility of infectious disease research. (shrink)

Kevin Lynch's books are the classic underpinnings of modern urban planning and design, yet they are only a part of his rich legacy of ideas about human purposes and values in built form. City Sense and City Design brings together Lynch's remaining work, including professional design and planning projects that show how he translated many of his ideas and theories into practice. An invaluable sourcebook of design knowledge, City Sense and City Design completes the record of one of the (...) foremost environmental design theorists of our time and leads to a deeper understanding of his distinctively humanistic philosophy. The editors, both former students of Lynch, provide a cogent summary of his career and of the role he played in shaping and transforming the American urban design profession during the 1950s, the 1960s, and the 1970s. Each of the seven thematic groupings of writings and projects that follow begins with a short introduction explaining their content and their background. The essays in part I focus on the premises of Lynch's work: his novel reading of large-scale built environments and the notion that the design of an urban landscape should be as meaningful and intimate as the natural landscape. In part II, excerpts from Lynch's travel journals reveal his early ideas on how people perceive and interpret their surroundings—ideas that culminated in his seminal work, The Image of the City. This part of the book also presents Lynch's experiments with children and his assessment of environmental-perception research. The examples of both small-scale and large-scale analysis of visual form in part III are followed by three parts on city design. These include Lynch's more theoretical works on complex planning decisions involving both functional (spatial and structural organization) and normative (how the city works in human terms) approaches, articles discussing the principles that guided Lynch's teaching and practice of city design, and descriptions of Lynch's own projects in the Boston area and elsewhere. The book concludes with essays written late in Lynch's career, fantasy pieces describing utopias and offering new design freedoms and scenarios warning of horrifying "cacotopias.". (shrink)

Perception involves the processing of content or information about the world. In what form is this content represented? I argue that perception is widely compositional. The perceptual system represents many stimulus features (including shape, orientation, and motion) in terms of combinations of other features (such as shape parts, slant and tilt, common and residual motion vectors). But compositionality can take a variety of forms. The ways in which perceptual representations compose are markedly different from the ways in which sentences or (...) thoughts are thought to be composed. I suggest that the thesis that perception is compositional is not itself a concrete hypothesis with specific predictions; rather it affords a productive framework for developing and evaluating specific empirical hypotheses about the form and content of perceptual representations. The question is not just whether perception is compositional, but how. Answering this latter question can provide fundamental insights into perception. (shrink)

Through a series of empirical studies involving native speakers of English, German, and Chinese, this paper reveals that the predicate “true” is inherently ambiguous in the empirical domain. Truth statements such as “It is true that Tom is at the party” seem to be ambivalent between two readings. On the first reading, the statement means “Reality is such that Tom is at the party.” On the second reading, the statement means “According to what X believes, Tom is at the party.” (...) While there appear to exist some cross-cultural differences in the interpretation of the statements, the overall findings robustly indicate that “true” has multiple meanings in the realm of empirical matters. (shrink)

Many current popular views in epistemology require a belief to be the result of a reliable process (aka ‘method of belief formation’ or ‘cognitive capacity’) in order to count as knowledge. This means that the generality problem rears its head, i.e. the kind of process in question has to be spelt out, and this looks difficult to do without being either over or under-general. In response to this problem, I propose that we should adopt a more fine-grained account of the (...) epistemic basing relation, at which point the generality problem becomes easy to solve. (shrink)

Political leaders may change their mind about a policy, or even a significant moral issue. While genuinely changing one’s mind is not hypocritical, there are reasons to think that leaders who claim such a change are merely hypocritically pandering for political advantage. Indeed, some social science studies allegedly confirm that constituents will judge political leaders who change positions as hypocritical. Yet these studies are missing crucial details that we normally use to distinguish genuine mind changers from hollow hypocrites. These details (...) suggest ways in which political leaders can communicate that their mind change is genuine without necessarily being judged hypocritical. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

KK is the thesis that if you can know p, you can know that you can know p. Though it’s unpopular, a flurry of considerations has recently emerged in its favour. Here we add fuel to the fire: standard resources allow us to show that any failure of KK will lead to the knowability and assertability of abominable indicative conditionals of the form ‘If I don’t know it, p’. Such conditionals are manifestly not assertable—a fact that KK defenders can easily (...) explain. I survey a variety of KK-denying responses and find them wanting. Those who object to the knowability of such conditionals must either deny the possibility of harmony between knowledge and belief, or deny well-supported connections between conditional and unconditional attitudes. Meanwhile, those who grant knowability owe us an explanation of such conditionals’ unassertability—yet no successful explanations are on offer. Upshot: we have new evidence for KK. (shrink)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

This paper is about guessing: how people respond to a question when they aren’t certain of the answer. Guesses show surprising and systematic patterns that the most obvious theories don’t explain. We argue that these patterns reveal that people aim to optimize a tradeoff between accuracy and informativity when forming their guess. After spelling out our theory, we use it to argue that guessing plays a central role in our cognitive lives. In particular, our account of guessing yields new theories (...) of belief, assertion, and the conjunction fallacy—the psychological finding that people sometimes rank a conjunction as more probable than one of its conjuncts. More generally, we suggest that guessing helps explain how boundedly rational agents like us navigate a complex, uncertain world. (shrink)

R. M. Hare has argued for and defended a ‘two-level’, view of moral agency. He argues that moral agents ought to rely on the rules of ‘intuitive moral thinking’ for their ‘everyday’ moral judgments. When these rules conflict or when we do not have a rule at hand, we ought to ascend to the act-utilitarian,‘critical’ level of moral thinking. I argue that since the rules at the intuitive level of moral thinking necessarily conflict much more often than Hare supposes, and (...) since we often do not have ready-made rules for our moral judgments, we must necessarily use critical moral thinking very frequently. However, act-utilitarian judgements at this level will sharply conflict with our strongly held ‘intuitive’ moral convictions. I show that Hare’s attempt to balance these two aspects of moral judgment requires us to simultaneously adopt two conflicting sets of moral standards, and thus an attempt to inculcate such standards constitutes a ‘schizophrenic’ moral education. Finally, I briefly outline an alternative conception of moral education, based on Aristotelian phronesis. (shrink)

A sceptical response to the idea that wisdom may be turned into a new academic subject or science, and to the idea that to do so would be in any way be wise. .