Abstract:This study links Homeric and Machiavellian outlooks in Henry James's The Ambassadors. We first relate Lambert Strether's embassy seeking Chad's return to Woollett to what Alexander Pope famously designated the "Embassy to Achilles," i.e., the Achaean effort to induce Achilles's return to battle. Achilles impassionedly rejects the embassy's hypocrisy; he will not be bought. We then find Chad Newsome conspiratorially excluding Strether from the family fortune via intended marriage to Mrs. Newsome. Contrary to Achilles's forthrightness and integrity, Chad and his (...) Parisian circle adopt a post-Machiavellian ethos of deceit as the norm. (shrink)

In his memoir Patrimony, might Philip Roth have aligned a Jungian, universal unconscious with Heideggerian resoluteness but evaded cognitive demise via the Sartrian flight of the For-itself inherent in writing? I argue that such concerns pervade the narrative and stand related to what Roth elsewhere calls "the struggle not only to infuse fiction with mind but to make mentalness itself central to the hero's dilemma—to think … about the problem of thinking." In Patrimony, such thinking spans synchronistic occurrences across time.

Abstract:Is there a convergence of Philip Roth's The Facts and "the facts," as contextualized historically, in Martin Heidegger's Being and Time? And to the extent The Facts may reconfigure Sartrean flight and Heideggerian regard for resolute consciousness and historicity, how does such transformation relate to Roth's implied musings in The Facts on Herman Melville's The Confidence-Man: His Masquerade? Roth channels irresolute facts not toward the somber absence of consciousness implied by Heideggerian resoluteness and "historicality" but toward the supremacy of Dasein (...) inherent in enduring literary excursion charted by the Sartrean-inspired masquerade of Dasein's being what one is and is not. (shrink)

In an interview concerning his novel The Anatomy Lesson, Philip Roth remarked that narrator Nathan Zuckerman “has to be in a state of vivid transformation or radical displacement. ‘I am not what I am—I am, if anything, what I am not!’”1 The utterance has been traced to Jean-Paul Sartre’s encounter, in Being and Nothingness, with ecstatic relations. Sartre, anticipating Roth’s description of Zuckerman, similarly defines the ecstatic dimensions of consciousness that constitute Dasein. According to Sartre, consciousness must fulfill three requirements: (...) “ to not-be what it is, to be what it is not, to be what it is not and to not-be what it is—within... (shrink)

For my son NathanielRecent studies suggest that Philip Roth's creative impulse is in some measure indebted to Arthur Koestler's Insight and Outlook and to Jean-Paul Sartre's Being and Nothingness.1 Koestler advances a theory of "bisociative" thinking—that is, the perception of consonance amidst the clash of seemingly dissonant planes of knowledge. The theme finds expression in the very title of Koestler's book, given the compatibility, despite opposite root prepositions, of such words as "in sight" and "out look." Insofar as Roth's narrator (...) Nathan Zuckerman mentions "Koestler" in The Anatomy Lesson, Zuckerman's otherwise obscure lament (because of writer's block and neck... (shrink)

In his essay “Pragmatism and Humanism,” William James recalls a friend’s disappointment that the “prodigious star-group” known as the Big Dipper “should remind us Americans of nothing but a culinary utensil.”1 Such, presumably, is the fault of generalization, though James himself is less than specific in illustrating the occasional parity of varied perspectives. For example, he posits two identical equilateral triangles, one inverted and overlapping the other, and notes, “You can treat the adjoined figure as a star, as two big (...) triangles crossing each other, as a hexagon with legs set up on its angles, as six equal triangles hanging together by their tips, etc.”. What he does not say is that the design.. (shrink)

Le constat d’une justice civile encombrée, associé à la volonté politique de moderniser la justice, donne aujourd’hui un nouvel élan à la médiation. Cette volonté d’encourager le justiciable à régler ses litiges à l’ombre du juge n’est pourtant pas nouvelle. Ce qui l’est en revanche, c’est son caractère obligatoire pour les litiges qualifiés de « petits » mais aussi sa mise en œuvre par des plateformes en ligne. Dans ce contexte, l’analyse économique de la médiation permet d’apporter un éclairage original, (...) parfois surprenant, à la fois sur l’apport du médiateur dans la négociation (en termes de correction des biais cognitifs, de tempérance, de transmission d’information, de partialité) et sur la pertinence pour un Etat d’encourager ce mode de résolution alternatif des litiges (capacité à pouvoir refuser, coût effectif, timing optimal, contraindre ou encourager). Les quelques statistiques disponibles confortent l’efficacité de ce dispositif, tant en termes de taux de résolution amiable que d’économie de coûts réalisée. (shrink)

In our lives, we aim to achieve welfare for ourselves, that is, to live good lives. But we also have another, more impartial perspective, where we aim to balance our concern for our own welfare against a concern for the welfare of others. This is a perspective of justice. Nils Holtug examines these two perspectives and the relations between them.

The contributors to the volume are: Richard Arneson, Linda Barclay, Thomas Christiano, Nils Holtug, Susan Hurley, Kasper Lippert-Rasmussen, Dennis McKerlie, ...

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

ABSTRACTEvaluative aesthetic discourse communicates that the speaker has had first-hand experience of what is talked about. If you call a book bewitching, it will be assumed that you have read the book. If you say that a building is beautiful, it will be assumed that you have had some visual experience with it. According to an influential view, this is because knowledge is a norm for assertion, and aesthetic knowledge requires first-hand experience. This paper criticizes this view and argues for (...) an alternative view, according to which aesthetic discourse expresses affective states of mind, analogously to how assertions express beliefs. It is because these affective states require first-hand experience that aesthetic discourse communicates that such acquaintance is at hand. The paper furthermore argues that the lack of an experience requirement for aesthetic belief ascriptions constitutes a problem for the kind of expressivist who claims that evaluative belief states are covert non-cognitive states. (shrink)

According to the Harm Principle, roughly, the state may coerce a person only if it can thereby prevent harm to others. Clearly, this principle depends crucially on what we understand by harm. Thus, if any sort of negative effect on a person may count as a harm, the Harm Principle will fail to sufficiently protect individual liberty. Therefore, a more subtle concept of harm is needed. I consider various possible conceptions and argue that none gives rise to a plausible version (...) of the Harm Principle. Whether we focus on welfare, quantities of welfare or qualities of welfare, we do not arrive at a plausible version of this principle. Instead, the concept of harm may be moralized. I consider various ways this may be done as well as possible rationales for the resulting versions of the Harm Principle. Again, no plausible version of the principle turns up. I also consider the prospect of including the Harm Principle in a decision-procedure rather than in a criterion of rightness. Finally, in light of my negative appraisal, I briefly discuss why this principle has seemed so appealing to liberals. (shrink)

It is widely held within contemporary metaethics that there is a lack of linguistic support for evaluative expressivism. On the contrary, it seems that the predictions that expressivists make about evaluative discourse are not borne out. An instance of this is the so-called problem of missing Moorean infelicity. Expressivists maintain that evaluative statements express non-cognitive states of mind in a similar manner to how ordinary descriptive language expresses beliefs. Conjoining an ordinary assertion that p with the denial of being in (...) the corresponding belief state famously gives rise to Moorean infelicity:?? It’s raining but I don’t believe that it’s raining. If expressivists are right, then conjoining evaluative statements with the denial of being in the relevant non-cognitive state of mind should give rise to similar infelicity. However, as several theorists have pointed out, this does not seem to be the case. Statements like the following are not infelicitous: Murder is wrong but I don’t disapprove of it. In this paper, I argue that evaluative statements express the kind of states that are attributed by ‘find’-constructions in English and that these states are non-cognitive in nature. This addresses the problem of missing Moorean infelicity and, more generally, goes to show that there are linguistic facts which support expressivism about evaluative discourse. (shrink)

Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...) bilateral logic which also meets those requirements. Thus Rumfitt cannot claim that only classical bilateral rules of inference succeed in imparting a coherent sense onto the connectives. My system can be extended to classical logic by adding the intuitionistically unacceptable half of a structural rule Rumfitt uses to codify the relation between assertion and denial. Thus there is a clear sense in which, in the bilateral framework, the difference between classicism and intuitionism is not one of the rules of inference governing negation, but rather one of the relation between assertion and denial. (shrink)

This chapter examines autonomism. Autonomism is roughly the view that an artwork’s ethical properties do not bear on its aesthetic or artistic value. The author sketches some of the view’s history before describing various versions of it defended over the last quarter-century. These are divided into ‘radical’, ‘robust’, and ‘moderate’ forms of autonomism. The author considers the strengths and weaknesses of each. The author also devotes some space to the ‘interactionist’ views against which contemporary autonomism is typically opposed. In doing (...) so, he considers the so-called ‘qua problem’ at some length, as well its bearing on these various autonomist positions. (shrink)

In this paper I argue that coming into existence can benefit (or harm) aperson. My argument incorporates the comparative claim that existence canbe better (or worse) for a person than never existing. Since these claimsare highly controversial, I consider and reject a number of objectionswhich threaten them. These objections raise various semantic, logical,metaphysical and value-theoretical issues. I then suggest that there is animportant sense in which it can harm (or benefit) a person not to comeinto existence. Again, I consider and (...) reject some objections. Finally, Ibriefly consider what the conclusions reached in this paper imply for ourmoral obligations to possible future people. (shrink)

Ethicism is the most comprehensively defended answer to the question regarding whether ethical properties determine aesthetic properties in artworks. According to ethicism, aesthetically relevant ethical flaws in artworks count as aesthetic flaws and aesthetically relevant ethical merits count as aesthetic merits. In this paper, I argue that ethicism’s most significant argument, the Merited Response Argument suffers from an ambiguity that makes it either unsound or uninteresting. Specifically, the notion of an artwork’s ‘prescribing’ a response, central to MRA, is ambiguous between (...) merely attempting to elicit a response from appreciators as appropriate to a work, and endorsing a response as appropriate to relevant parts of the actual world. While the first sense of ‘prescribe’ does the aesthetic work, the second does the ethical. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

The Ethical Question asks whether ethical values in artworks determine their aesthetic value and, if so, how. I argue that the question is ambiguous between a direct and an indirect reading. I show how the indirect reading is philosophically uninteresting because it has an obvious answer: a view called ‘immoralism’. I also show how most of the significant figures in the relevant literature address the indirect form of the question anyway—needlessly, if I am right. Finally, I consider whether some version (...) of the indirect question is more philosophically interesting, connecting it to the so-called ‘qua problem’. I attempt to give clarity to the discussion by applying work on the virtues and vices of explanations. (shrink)

This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...) is that there is serious philosophy in the Euthydemos, too. MM argues that to counter the sophist brothers Euthydemos and Dionysodoros, Socrates points out that that there are different aspects to the verb 'to say' that run in parallel to the different aspects of the very 'to learn'. So just as there is continuity rather than ambiguity between 'to learn' and 'to understand', so there is continuity between the different aspects of saying. Thus Socrates puts forward a teleological account of both learning and meaning. Following up on some of MM's thoughts, I argue that the sophists subscribe, despite appearance, to a theory of meaning that respects serious and widely accepted philosophical theses on meaning. -/- Forthcoming in the Australasian Philosophical Review. The curator of the volume is Fiona Leigh, and the committee also has Hugh Benson and Tim Clarke. You can find MM's paper as well as the commentaries by Nicholas Denyer and Russell E. Jones and Ravi Sharma (and myself) by registering. (shrink)

F. P. Ramsey was a remarkably creative and subtle philosopher who in the briefest of academic careers made significant contributions to logic, philosophy of mathematics, philosophy of language and decision theory. His few published papers reveal him to be a figure or comparable importance to Russell, Carnap and Wittgenstein in the history of analytical philosophy. This book was the first critical study of Ramsey's work, offering a thorough exposition and interpretation of his ideas, setting the ideas in their historical context, (...) and assessing their significance for contemporary research. The study is intended to complement the reissue of Ramsey's papers edited by Professor Hugh Mellor. (shrink)

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

The outcomes of sports and competitive games excite intense emotions in many people, even when those same people acknowledge that those outcomes are of trifling importance. I call this incongruity between the judged importance of the outcome and the intense reactions it provokes the Puzzle of Sport. The puzzle can be usefully compared to another puzzle in aesthetics: the Paradox of Fiction, which asks how it is we become emotionally caught up with events and characters we know to be unreal. (...) In this article, I examine the prospects of understanding our engagement with competitive games on the model of our engagement with works of fiction, thus enabling analogous explanations for both puzzles. I show that there are significant problems with such an approach and offer an alternative, mobilizing ideas from David Velleman and Thomas Nagel, that appeals to the volatility of our motivational attitudes. (shrink)

Bilateralists, who accept that there are two primitive speech acts, assertion and denial, can offer an attractive definition of consequence: Y follows from X if and only if it is incoherent to assert all formulas X and to deny all formulas Y. The present paper argues that this definition has consequences many will find problematic, amongst them that truth coincides with assertibility. Philosophers who reject these consequences should therefore reject this definition of consequence.

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

Berichte zur Wissenschaftsgeschichte, EarlyView.

If a work of literary fiction prescribes us to imagine that the Devil made a bet with God and transformed into a poodle, then that claim is true in the fiction and we imagine accordingly. Generally, we cooperate imaginatively with literary fictions, however bizarre, and the things authors write into their stories become true in the fiction. But for some claims, such as moral falsehoods, this seems not to be straightforwardly the case, which raises the question: Why not? The puzzles (...) such cases raise are sometimes grouped under the heading “imaginative resistance”. In this paper, I argue against what I take to be the best attempts to dismiss the puzzles and solve them. I also tease out subtleties not sufficiently addressed in the existing literature and end by defending a unified solution of my own. According to this solution, the puzzling phenomena occur when literary works offer inadequate and exhaustive grounds for claims. The solution’s novelty lies in its giving a normative rather than psychological or alethic explanation for the puzzling phenomena, the relevant norms being those of proper artistic appreciation. (shrink)

The present paper unravels ontological and normative conditions of personhood for the purpose of critiquing ‘Cognitivist Views’. Such views have attracted much attention and affirmation by presenting the ontology of personhood in terms of higher-order cognition on the basis of which normative practices are explained and justified. However, these normative conditions are invoked to establish the alleged ontology in the first place. When we want to know what kind of entity has full moral status, it is tempting to establish an (...) ontology that fits our moral intuitions about who should qualify for such unique normative standing. But this approach conflates personhood’s ontology and normativity insofar as it stresses the primacy of the former while implicitly presupposing the latter; it thereby suffers from a ‘Normative Fallacy’ by inferring from ‘ought’ to ‘is’. Following my critique of Cognitivism, I sketch an alternative conception, contending that, whereas the Cognitivist ontology of personhood presupposes the normative, a social ontology is constituted by it. In due consideration of evidence from developmental psychology, the social embeddedness of persons—manifested in the ability of taking a ‘second-person stance’—is identified as a key feature of personhood that precedes higher-order cognition, and is directly linked to basic normative concerns. (shrink)

In a recent, thought-provoking paper Adam Elga argues against unsharp – e.g., indeterminate, fuzzy and unreliable – probabilities. Rationality demands sharpness, he contends, and this means that decision theories like Levi's, Gärdenfors and Sahlin's, and Kyburg's, though they employ different decision rules, face a common, and serious, problem. This article defends the rule to maximize minimum expected utility against Elga's objection.

Mobile health devices pose novel questions at the intersection of philosophy and technology. Many such applications not only collect sensitive data, but also aim at persuading users to change their lifestyle for the better. A major concern is that persuasion is paternalistic as it intentionally aims at changing the agent’s actions, chipping away at their autonomy. This worry roots in the philosophical conviction that perhaps the most salient feature of living autonomous lives is displayed via agency as opposed to patiency—our (...) lives go well in virtue of what we do, rather than what happens to us. Being persuaded by a device telling us how to conduct our lives seemingly renders the agent passive, an inert recipient of technological commands. This agential bias, however, has led to a marginalization of patiential characteristics that are just as much part of our lives as are agential characteristics. To appreciate the inherent interlocking of acting and being acted upon, it is vital to acknowledge that agency and patiency are correlates, not mutually exclusive opposites. Furthermore, it is unclear whether an action can only count as agential so long as its causes are internal. Drawing on the extended mind and extended will framework, I argue that mHealth applications merely serve as volitional aids to the agent’s internal cognition. Autonomously set goals can be achieved more effectively via technology. To be persuaded by an mHealth device does not mainly—let alone exclusively—emphasize patiency; on the contrary, it can be an effective tool for technologically enhancing agency. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for implication. (...) The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

In "Rethinking Sadomasochism," Patrick Hopkins challenges the "radical" feminist claim that sadomasochism is incompatible with feminism. He does so by appeal to the notion of "simulation." I argue that Hopkins's conclusions are generally right, but they cannot be inferred from his "simulation" argument. I replace Hopkins's "simulation" with Kendall Walton's more sophisticated theory of "make-believe." I use this theory to better argue that privately conducted sadomasochism is compatible with feminism.

According to what I call the Merit Principle, roughly, works of art that attempt to elicit unmerited responses fail on their own terms and are thereby aesthetically flawed. A horror film, for instance, that attempts to elicit fear towards something that is not scary is to that extent aesthetically flawed. The Merit Principle is not only intuitive, it is also endorsed in some form by Aristotle, David Hume, and numerous contemporary figures. In this paper, I show how the principle leads (...) to a novel paradox when applied to an undertheorized class of artworks I call ‘seductive works’. These artworks necessarily invite an unmerited response in order to invite a (merited) repudiation of that response. Thus, according to the Merit Principle, they are necessarily aesthetically flawed, which is counter-intuitive. I consider a number of unsuccessful solutions to the paradox that aim to preserve the Merit Principle, before rejecting that principle as it stands. I discuss what is challenging about seductive artworks, before briefly defending a new principle that appeals to a general way that a work’s aesthetic value is conditioned by the constraints under which it operates. This principle not only resolves the paradox, but explains the competing intuitions that give rise to it. (shrink)

This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a rule (...) that permits restricting these terms in the rules for $\forall$, $\exists$ and $\invertediota$ to parameters or constants. A restricted subformula property for deductions in systems without $\invertediota$ is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Ja\'skowski's. In the classical system the rules for $\invertediota$ require treatment known from normalisation for classical logic with $\lor$ or $\exists$. The philosophical significance of the results is also indicated. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...) (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

The strength of a slippery slope argument is a matter of some dispute. Some see it as a reasonable argument pointing out what probably or inevitably follows from adopting some practice, others see it as essentially a fallacious argument. However, there seems to be a tendency emerging to say that in many cases, the argument is not actually fallacious, although it may be unsubstantiated. I shall not try to settle this general discussion, but merely seek to assess the strength of (...) the slippery slope argument applied to human gene therapy. The structure of my argument will be the following. First, I shall distinguish between three different versions of the slippery slope argument; two logical versions and an empirical one. Next, I will address human gene therapy in terms of each of the three versions, partly relying on slippery slope arguments against this practice that have already surfaced in the literature. I shall argue that neither version pulls through. The logical versions fail primarily because relevant distinctions can be made between different uses of gene therapy, contrary to what the proponents of the arguments claim. The empirical version fails because there seems to be no evidence supporting the claim that we shall in fact slide down the slope if we engage in gene therapy, and because if we accepted the conclusion that we should not allow gene therapy on the basis of the empirical argument, we should have to make very far-reaching and undesirable modifications in health care in general, in order to be consistent. Or at least so I shall argue. (shrink)

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...) rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic. (shrink)

A well-known theory about under which circumstances a statement is true in a fiction is The Reality Principle, which originate in the work of David Lewis: (RP) Where p1... pn are the primary fictional truths of a fiction F , it is true in F that q iff the following holds: were p1 ... pn the case, q would have been the case (Walton 1990: 44). RP has been subjected to a number of counterexamples, up to a point where, in (...) the words of Stacie Friend “it is widely recognized that the Reality Principle […] cannot be a universal inference rule for implied story-truths” (Friend 2017: 33). This chapter argues that the strength of these counterexamples is widely overestimated, and that they do not, on closer scrutiny, constitute reasons for rejecting RP. (shrink)