I defend the normativity of meaning against recent objections by arguing for a new interpretation of the ‘ought’ relevant to meaning. Both critics and defenders of the normativity thesis have understood statements about how an expression ought to be used as either prescriptive or semantic. I propose an alternative view of the ‘ought’ as conveying the primitively normative attitudes speakers must adopt towards their uses if they are to use the expression with understanding.

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

In this book she describes the perplexing crises which modern society faces as a result of the loss of meaning of the traditional key words of politics: justice ...

Part of a book symposium for Peter Langland-Hassan's Explaining Imagination (2020).

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

In a famous passage from the Philosophical Investigations, Wittgenstein describes a pupil who has been learning to write out various sequences of numbers in response to orders such as “+1” and “+2”. He has shown himself competent for numbers up to 1000, but when we have him continue the “+2” sequence beyond 1000, he writes the numerals 1004, 1008, 1012. As Wittgenstein describes the case: We say to him, “Look what you’re doing!” — He doesn’t understand us. We say “You (...) should have added two; look how you began the series!” — He answers: “Yes! Isn’t it right? I thought that’s how I should [sollen] do it. — Or suppose he were to say, pointing to the series, “But I went on in the same way!”1The passage continues:— It would now be no use to us to say “But don’t you see…?” — and repeat for him the old explanations and examples. — In such a case, we might perhaps say: this person naturally understands our order, once given our explanations, as we would understand the order “Add 2 up to 1000, 4 up to 2000, 6 up to 3000, and so on.”. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

Davidson claims that nothing can count as a reason for a belief except another belief. This claim is challenged by McDowell, who holds that perceptual experiences can count as reasons for beliefs. I argue that McDowell fails to take account of a distinction between two different senses in which something can count as a reason for belief. While a non-doxastic experience can count as a reason for belief in one of the two senses, this is not the sense which is (...) presupposed in Davidson's claim. While I focus on McDowell's view, the argument generalizes to other views which take experiences as reasons for belief. (shrink)

In the history of Chinese philosophy, Mozi calls music a “waste of resources,” considering it an aristocratic extravagance that does not benefit the everyday people. In its defense, Confucians highlight music’s moral and metaphysical qualities, arguing that music aids in moral cultivation and that music’s form mimics the structure of reality. The aim of this paper is to show that Korean philosophers provide yet another reason to think music is important. Music, and art in general, was used to express a (...) national identity at a time Korean philosophers were beginning to develop their own aesthetic consciousness in the seventeenth and eighteenth centuries. A cultural movement called Joseonpoong (조선풍), “Joseon wind”, marked a shift away from Sinocentrism and towards Korea’s own unique value and practices. The new attempt to justify art’s value apart from its relationship to morality or metaphysics set Joseon thinkers apart from their Chinese predecessors. Using art for identity expression allowed the Koreans to reconceive art’s value while Sinocentric cosmological and cultural views were being challenged with the introduction of western knowledge. Art also became a tool for reversing hermeneutic injustice as new artistic practices and standards allowed the Koreans to meaningfully engage with previously neglected aspects of their lived lives. (shrink)

As most of its readers are aware, the Critique of Pure Reason is primarily concerned not with empirical, but with a priori knowledge. For the most part, the Kant of the first Critique tends to assume that experience, and the knowledge that is based on it, is unproblematic. The problem with which he is concerned is that of how we can be capable of substantive knowledge independently of experience. At the same time, however, the notion of experience plays a crucial (...) role in the central arguments of the Critique. For, again as most readers of the Critique know, Kant aims to show how we can have synthetic a priori knowledge by showing that the categories, or pure concepts of the understanding, are conditions of the possibility of experience. This means that, whether or not Kant is concerned with the notion of experience for its own sake, his account of a priori knowledge carries with it at least some commitments regarding the character of experience. If the account of a priori knowledge is to be successful, then experience has to be the kind of thing for which the categories can, in principle, serve as conditions of possibility. More specifically, experience must involve not only the senses, but also thought or understanding, for otherwise the claim that it presupposes a certain specific set of concepts is simply unintelligible. And indeed at least some parts of the Critique, in particular the so-called subjective deduction in the first edition, and the briefer passages which correspond to it in the second edition, seem to be intended to show how this requirement is met. That is, they are concerned not so much with showing that experience is governed by the categories, as with elaborating a view of experience as involving conceptual activity überhaupt. (shrink)

Imagination comes with varying degrees of sensory accompaniment. Sometimes imagining is phenomenologically lean (cognitive imagining); at other times, imagining involves or requires sensory presentation such as mental imagery (sensory imagining). Philosophers debate whether contradictions can obtain in fiction and whether cognitive imagining is robust enough to explain our engagement with fiction. In this paper, I defend the Principle of Poetic License by arguing for the Permissive View of fictional truth: we can have fictions in which a contradiction is true, everything (...) is true, or nothing is true. I show that imagination-based worries about impossible, unlimited, and empty fictions can be shown to be about sensory imagination and that sensory imagination isn’t necessary for fictional truth. (shrink)

The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism --- the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This incurs related problems concerning the relation of the physical to the mathematical. In this paper I will present a version (...) of substantivalism that respects Leibnizian theses about space-time symmetries, and argue that it is superior to both relationism and the more orthodox form of substantivalism. (shrink)

Kripke’s thesis that meaning is normative is typically interpreted, following Boghossian, as the thesis that meaningful expressions allow of true or warranted use. I argue for an alternative interpretation centered on Wittgenstein’s conception of the normativity involved in “knowing how to go on” in one’s use of an expression. Meaning is normative for Kripke because it justifies claims, not to be saying something true, but to be going on as one ought from prevous uses of the expression. I argue that (...) this represents a distortion of Wittgenstein’s conception of the normativity of meaning, and that Wittgenstein’s conception is preferable. (shrink)

In this article, I aim to do two things: first, introduce Juche, the official philosophy of the Democratic People’s Republic of Korea (“North Korea”), and second, defend Juche against Alzo David-West’s allegation that it is a nonsensical philosophy. I organize David-West’s complaints into two major strands—that Juche’s axiom is too vague to be of philosophical use and that Juche makes too stark a distinction between human vs. everything else—and offer responses to both strands. My goal isn’t to defend the regime, (...) but to present its ideology in the most charitable way so its merits and demerits can be seen more clearly in future engagements. (shrink)

Davis called for “extreme caution” in the use of non-invasive brain stimulation to treat neurological disorders in children, due to gaps in scientific knowledge. We are sympathetic to his position. However, we must also address the ethical implications of applying this technology to minors. Compensatory trade-offs associated with NIBS present a challenge to its use in children, insofar as these trade-offs have the effect of limiting the child’s future options. The distinction between treatment and enhancement has some normative force here. (...) As the intervention moves away from being a treatment toward being an enhancement—and thus toward a more uncertain weighing of the benefits, risks, and costs—considerations of the child’s best interests diminish, and the need to protect the child’s autonomy looms larger. NIBS for enhancement involving trade-offs should therefore be delayed, if possible, until the child reaches a state of maturity and can make an informed, personal decision. NIBS for treatment, by contrast, is permissible insofar as it can be shown to be at least as safe and effective as currently approved treatments, which are themselves justified on a best interests standard. (shrink)

I defend my ‘one-act’ interpretation of Kant’s account of judgments of beauty against recent criticisms by Paul Guyer. Guyer’s text-based arguments for his own ‘two-acts’ view rely on the assumption that a claim to the universal validity of one’s pleasure presupposes the prior existence of the pleasure. I argue that pleasure in the beautiful claims its own universal validity, thus obviating the need to distinguish two independent acts of judging. The resulting view, I argue, is closer to the text and (...) more phenomenologically plausible than Guyer’s two-acts alternative. (shrink)

Prior to Kripke’s seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano–Tarski notion of logical truth. According to this interpretation, ‘it is necessary that A’ is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman’s 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

A metaphor is an effective way to show how something is to be conceived. In this article, I look at two Neo-Confucian Korean philosophical contexts—the Four-Seven debate and Book of the Imperial Pivot—and suggest that metaphors are philosophically expedient in two further contexts: when both intellect and emotion must be addressed; and when the aim of philosophizing is to produce behavioral change. Because Neo-Confucians had a conception of the mind that closely connected it to the heart (心 xin), metaphor’s empathy-inducing (...) and perspective-giving capacities made it an especially helpful mode of philosophizing in the history of Korean philosophy. (shrink)

In a recent essay, Deery and Nahmias :1255–1276, 2017) utilize interventionism about causation to develop an account of causal sourcehood in order to defend compatibilism about free will and moral responsibility from manipulation arguments. In this paper, we criticize Deery and Nahmias’s analysis of sourcehood by drawing a distinction between two forms of causal invariance that can come into conflict on their account. We conclude that any attempt to resolve this conflict will either result in counterintuitive attributions of moral responsibility (...) or will undermine their response to manipulation arguments. (shrink)

In a 2020 article in Analysis, Lippert-Rasmussen argues that the moral equality account of the hypocrite’s lack of standing to blame fails. To object to this account, Lippert-Rasmussen considers the contrary of hypocrisy: hypercrisy. In this article, I show that if hypercrisy is a problem for the moral equality account, it is also a problem for Lippert-Rasmussen’s own account of why hypocrites lack standing to blame. I then reflect on the hypocrite’s and hypercrite’s standing to self-blame, which reveals that the (...) challenge hypercrisy poses for accounts of standing is different from the challenge Lippert-Rasmussen articulates. (shrink)

Madness can be understood as something sealed off from the intelligible human world, a way of being that has been detached and isolated from the essential elements of normative society. It can represent all that is contrary to what is rational, what is normal and even, what is human. By following this line of thinking, madness cannot be penetrated by the outside nor does it have an established internal structure, and yet it can be used to construct and form its (...) opposite—the rational, normal human. Human rationality then becomes something that can be fully deduced, explained, and understood, and anything that contains mystery or ambiguity can be relegated to the realm of madness.These are the common definitions of... (shrink)

According to an influential idea in the philosophy of set theory, certain mathematical concepts, such as the notion of a well-order and set, are indefinitely extensible. Following Parsons (1983), this has often been cashed out in modal terms. This paper explores instead an extensional articulation of the idea, formulated in higher-order logic, that flat-footedly formalizes some remarks of Zermelo. The resulting picture is incompatible with the idea that the entire universe can be well-ordered, but entirely consistent with the idea that (...) the sets of any set-theoretic universe can be. (shrink)

AI systems, like self-driving cars, healthcare robots, or Autonomous Weapon Systems, already play an increasingly important role in our lives and will do so to an even greater extent in the near future. This raises a fundamental philosophical question: who is morally responsible when such systems cause unjustified harm? In the paper, we argue for the admittedly surprising claim that some of these systems can themselves be morally responsible for their conduct in an important and everyday sense of the term—the (...) attributability sense. More specifically, relying on work by Nomy Arpaly and Timothy Schroeder (In Praise of Desire, OUP 2014), we propose that the behavior of these systems can manifest their ‘quality of will’ and thus be regarded as something they can be blameworthy for. We develop this position in detail, justify some of its crucial presuppositions, and defend it against potential objections. (shrink)

As Christian List (2021) has recently argued, the increasing arrival of powerful AI systems that operate autonomously in high-stakes contexts creates a need for “future-proofing” our regulatory frameworks, i.e., for reassessing them in the face of these developments. One core part of our regulatory frameworks that dominates our everyday moral interactions is blame. Therefore, “future-proofing” our extant regulatory frameworks in the face of the increasing arrival of powerful AI systems requires, among others things, that we ask whether it makes sense (...) to extend our blaming practices to these systems. In the paper, we argue for the admittedly surprising thesis that this question should be answered in the affirmative: contrary to what one might initially think, it can make a lot of sense to blame AI systems, since, as we furthermore argue, many of the important functions that are fulfilled by blaming humans can also be served by blaming AI systems. The paper concludes that this result gives us a good pro tanto reason to extend our blame practices to AI systems. (shrink)

There is ongoing debate on whether Juche (주체/主體), the North Korean state ideology, is indigenous, Marxist-Leninist, or Confucian—or if it’s a real philosophy at all. In this article, I introduce Juche and show how characteristics that philosophers identify to be unique or pronounced in premodern Korean philosophy can be found in Juche as well. Intellectual adaptation, pragmaticism, and an emphasis on continual improvement are prominent in both premodern Korean thought and Juche. Juche should be understood as a politically inflected outgrowth (...) that is embedded within the larger context of Korean philosophy. (shrink)

I argue that Stroud's nonreductionism about meaning is insufficiently motivated. First, given that he rejects the assumption that grasp of an expression's meaning guides or instructs us in its use, he has no reason to accept Kripke's arguments against dispositionalism or related reductive views. Second, his argument that reductive views are impossible because they attempt to explain language “from outside” rests on an equivocation between two senses in which an explanation of language can be from outside language. I offer a (...) partially reductive account of meaning which appeals both to speakers’ dispositions to produce and respond to utterances in naturalistically specifiable ways, and to the normative attitudes they adopt, in so doing, to their own behavior. This account is supported, I argue, by Stroud's early treatment of Wittgenstein's rule-following considerations and in particular of the agreement in primitive judgments or reactions which Wittgenstein takes to be required for linguistic communication. (shrink)

Considering questions at the intersection of time and fiction deepens our understanding of fiction, introduces new questions for philosophy of time, and brings analytic philosophy in discussion with narratology. Philosophers debate whether fictional time can be tensed, whether fictional time can branch, repeat, pause, rewind, or skip and whether fictional time travel is possible. Much of the way we answer these questions will depend on our overall commitment to the nature of fiction. It’s also unclear what, if anything, we can (...) learn about the metaphysics of time from fiction. This chapter will introduce readers to discussions that are shaping the debates in this domain. (shrink)

It is widely agreed that more is true in a work of fiction than explicitly said. In addition to directly stipulated fictional content (explicit truth), inference and background assumptions give us implicit truths. However, this taxonomy of fictional truths overlooks an important class of fictional truth: those generated by literary formal features. Fictional works generate fictional content by both semantic and formal means, and content arising from formal features such as italics or font size are neither explicit nor implicit: not (...) explicit since formal features don’t say anything; and not implicit since content generated from formal features doesn’t rely on other truths or background assumptions. In addition to showing that our current classification is incomplete, the new class of fictional truths provides four further upshots for definitions of fictional truth, story and work identity conditions, and the relationship between literary interpretation and fictional truth. (shrink)

Mary Midgley, Iris Murdoch, Gertrude Anscombe and Philippa Foot studied together in Oxford during the war, at a time when most of the men had left the university, leaving it to them for themselves. These unique circumstances where decisive for the fact that they all went on to become successful philosophers and were able to develop their own original philosophical theories, opposing the philosophical dogmas of their time, Midgley later wrote. This claim is the point of departure for this article. (...) It has three purposes: First I try to say something about the circumstances that made it possible to develop such alternatives, and second, I try to say something about what they consist in. Finally, I ask what this story can teach us about inclusion of women in philosophy today. (shrink)

Comic is one of the paradigmatic forms of hybrid media, and coming up with a satisfactory definition for it has been difficult. Sam Cowling and Ley Cray (2022) take a functional approach and offer an Intentional Picture-Reading View which defines comics as something that is “aptly intended to be picture-read.” I show that the view is extensionally inadequate as is because formally ambitious prose and concrete poetry, too, are aptly intended to be picture-read. The way forward, I argue, is to (...) look at more medium-specific non-depictive images (such as speech balloons and panels) to set comics apart from other hybrid media. (shrink)

A chapter in an edited volume discussing philosophy and Ted Chiang's short stories. In this chapter, I show how philosophical debates about imaginative resistance and what can/can't be fictionally true influence our interpretation of "Division by Zero.".