Philosophers of mind (from eliminative materialists to psychofunctionalists to interpretivists) generally assume that a normative ideal delimits which mental phenomena exist (though they disagree about how to characterize the ideal in question). This assumption is dubious. A comprehensive ontology of mind includes some mental phenomena that are neither (a) explanatorily fecund posits in any branch of cognitive science that aims to unveil the mechanistic structure of cognitive systems nor (b) ideal (nor even progressively closer to ideal) posits in any given (...) folk psychological practice. Indeed, one major function of scientific psychology has been (and will be) to introduce just such (normatively suboptimal but real) mental phenomena into folk psychological taxonomies. The development and public dissemination of IQ research over the course of the 20th century is a case in point. (shrink)

Anger, far from being only a personal emotion, often signals a breakdown in existing societal structures like the justice system. This does not mean we should uncritically submit to our angry impulses, but it does mean that anger can reveal larger issues in the world worthy of attention. If we banish anger from the socio-political landscape, we risk losing its insights. To defend that claim, I turn to a range of sources from ancient China and Greece—philosophy, poetry, drama, and political (...) theory—that depict and analyze anger in a variety of situations and people. My basic claim is not that anger is simply “good” or “bad” but rather that it helps reveal and clarify our values, often pointing us towards real situations deserving of our ethical scrutiny. I situate the project amidst ongoing debates in analytic philosophy of emotions and feminist philosophy, joining the conceptual precision and clarity of the former with the latter’s attention to lived experience. Such cross-cultural, multidisciplinary conceptual analysis of anger parochializes Aristotelian understandings of anger by introducing different types and functions of anger. What role does anger play, for example, in a minister rebuking the king in an ancient Chinese court? How do Greek sources depict female anger differently than male anger, and why? By using ancient and comparative sources, I show how deeply anger is shaped by particular cultural and social structures, whilst remaining recognizably anger. (shrink)

This article reconsiders the relationship between interpretivism about belief and normative standards. Interpretivists have traditionally taken beliefs to be fixed in relation to norms of interpretation. However, recent work by philosophers and psychologists reveals that human belief attribution practices are governed by a rich diversity of normative standards. Interpretivists thus face a dilemma: either give up on the idea that belief is constitutively normative or countenance a context-sensitive disjunction of norms that constitute belief. Either way, interpretivists should embrace the intersubjective (...) indeterminacy of belief. (shrink)

Many psychologists studying lay belief attribution and behavior explanation cite Donald Davidson in support of their assumption that people construe beliefs as inner causes. But Davidson’s influential argument is unsound; there are no objective grounds for the intuition that the folk construe beliefs as inner causes that produce behavior. Indeed, recent experimental work by Ian Apperly, Bertram Malle, Henry Wellman, and Tania Lombrozo provides an empirical framework that accords well with Gilbert Ryle’s alternative thesis that the folk construe beliefs as (...) patterns of living that contextualize behavior. (shrink)

In Go Set a Watchman, Harper Lee reveals that American man of integrity Atticus Finch harbors deep-seated racist beliefs. Bob Ewell, Finch's nemesis in To Kill a Mockingbird, harbors the same beliefs. But the two men live out their shared racist beliefs in dramatically different fashions. This article argues that extant dispositionalist accounts of belief lack the tools to accommodate Finch and Ewell's divergent styles of believing. It then draws on literary and philosophical character studies to construct the required tools.

In a recent article in this journal, Krzysztof Poslajko reconstructs—and endorses as probative—a dilemma for interpretivism first posed by Alex Byrne. On the first horn of the dilemma, the interpretivist takes attitudes to emerge in relation to an ideal interpreter (and thus loses any connection with actual folk psychological practices). On the second horn, the interpretivist takes attitudes to emerge in relation to individuals’ judgements (and thus denies the possibility of error). I show that this is a false dilemma. By (...) taking a model-theoretic approach to folk psychology, and marrying interpretivism with dispositionalism, interpretivists can viably reject the notion of an ideal (or canonical) interpreter—and relativize attitudes to actual lay interpreters—without taking on board the unacceptable epistemological consequences of allowing that attitudes are judgement-dependent. (shrink)

In this article, I explore how researchers’ metaphysical commitments can be conducive—or unconducive—to progress in animal cognition research. The methodological dictum known as Morgan’s Canon exhorts comparative psychologists to countenance the least mentalistic fair interpretation of animal actions. This exhortation has frequently been misread as a blanket condemnation of mentalistic interpretations of animal behaviors that could be interpreted behavioristically. But Morgan meant to demand only that researchers refrain from accepting default interpretations of (apparent) actions until other fair interpretations have been (...) duly considered. The Canon backfired largely because of Morgan’s background metaphysical commitment to a univocal, hierarchical, and anthropocentric account of cognitive architecture. I make the case that, going forward, comparative psychologists would do well to pair judicious use of Morgan’s Canon with an openness to the existence of non-humanlike animal minds comprising phenomena belonging to distinct cognitive and folk psychological ontologies. And I argue that this case gives us pragmatic reason to reconcile deep—e.g., psychofunctionalist—and superficial—e.g., dispositionalist—approaches to the metaphysics of belief. (shrink)

I have proposed wedding the theories of belief known as dispositionalism and interpretivism. Krzysztof Poslajko objects that dispositionalism does just fine on its own and, moreover, is better off without interpretivism’s metaphysical baggage. I argue that Poslajko is wrong: in order to secure a principled criterion for individuating beliefs, dispositionalism must either collapse into psychofunctionalism (or some other non-superficial theory) or accept interpretivism’s hand in marriage.

Double dissociations between perceivable colors and physical properties of colored objects have led many philosophers to endorse relationalist accounts of color. I argue that there are analogous double dissociations between attitudes of belief—the beliefs that people attribute to each other in everyday life—and intrinsic cognitive states of belief—the beliefs that some cognitive scientists posit as cogs in cognitive systems—pitched at every level of psychological explanation. These dissociations provide good reason to refrain from conflating attitudes of belief with intrinsic cognitive states (...) of belief. I suggest that interpretivism provides an attractive account of the former. Like colors, attitudes of belief evolved to be ecological signifiers, not cogs in cognitive systems. (shrink)

A pluralistic approach to folk psychology must countenance the evaluative, regulatory, predictive, and explanatory roles played by attributions of intelligence in social practices across cultures. Building off of the work of the psychologist Robert Sternberg and the philosophers Gilbert Ryle and Daniel Dennett, I argue that a relativistic interpretivism best accounts for the many varieties of intelligence that emerge from folk discourse. To be intelligent is to be comparatively good at solving intellectual problems that an interpreter deems worth solving.

Intersectionality has utilized various feminist theories that continue subculture of violence thinking about Black men and boys. While intersectional feminists often claim that intersectionality leads to a clearer social analysis of power and hierarchies throughout society and within groups, the categories and claims of intersectionality fail to distinguish themselves from previously racist theories that sought to explain race, class, and gender, based on subcultural values. This article is the first to interrogate the theories used to construct the gendered categories and (...) the assumptions behind Black male positionality under intersectional analyses. Contrary to its promises for more liberated Black identities, intersectionality merely replicates the pseudo-science of racist criminology and presents decades old theories as cutting-edge gender analyses. In short, while intersectionality has allowed Black women to create nuanced experiences and epistemological accounts of Black womanhood, the very same theory has confined Black male experience to the perpetration of violence and defined Black manhood as lesser—merely the exemplification of white masculinity’s pathological excess. (shrink)

Psychometric g—a statistical factor capturing intercorrelations between scores on different IQ tests—is of theoretical interest despite being a low-fidelity model of both folk psychological intelligence and its cognitive/neural underpinnings. Psychometric g idealizes away from those aspects of cognitive/neural mechanisms that are not explanatory of the relevant variety of folk psychological intelligence, and it idealizes away from those varieties of folk psychological intelligence that are not generated by the relevant cognitive/neural substrate. In this manner, g constitutes a high-fidelity bridge model of (...) the relationship between its two targets and, thereby, helps demystify the relationship between folk and scientific psychology. (shrink)

This article offers an interpretation of Descartes’s method of doubt. It wields an examination of Descartes’s pedagogy—as exemplified by The Search for Truth as well as the Meditations—to make the case for the sincerity (as opposed to artificiality) of the doubts engendered by the First Meditation. Descartes was vigilant about balancing the need to use his method of doubt to achieve absolute certainty with the need to compensate for the various foibles of his scholastic and unschooled readers. Nevertheless, Descartes endeavored (...) to instill willful, context-independent, universal doubt across his readership. If all goes well, readers of the Meditations are like method actors; the Meditator is the character they are meant to bring to life, via the method of meditating on reasons for doubt. The article concludes with the suggestion that Descartes was the same kind of skeptic as the early Academic skeptics Arcesilaus and Carneades. (shrink)

Descartes held the following view of declarative memory: to remember is to reconstruct an idea that you intellectually recognize as a reconstruction. Descartes countenanced two overarching varieties of declarative memory. To have an intellectual memory is to intellectually reconstruct a universal idea that you recognize as a reconstruction, and to have a sensory memory is to neurophysiologically reconstruct a particular idea that you recognize as a reconstruction. Sensory remembering is thus a capacity of neither ghosts nor machines, but only of (...) human beings qua mind-body unions. This interpretation unifies Descartes’s various remarks (and conspicuous silences) about remembering, from the 1628 Rules for the Direction of the Mind through the suppressed-in-1633 Treatise of Man to the 1649 Passions of the Soul. It also rebuts a prevailing thesis in the current secondary literature—that Cartesian critters can remember—while incorporating the textual evidence for that thesis—Descartes’s detailed descriptions of the corporeal mechanisms that construct sensory memories. (shrink)

Emotions are an integral part of human cognition and they guide not only our understanding of the world but also our actions within it. As such, whether we soothe or flame an emotion is not inconsequential. Recent work in conversational AI has focused on responding empathetically to users, validating and soothing their emotions without a real basis. This AI-aided emotional regulation can have negative consequences for users and society, tending towards a one-noted happiness defined as only the absence of "negative" (...) emotions. We argue that we must carefully consider whether and how to respond to users' emotions. (shrink)

A defense of the value of studying what Aristotle, in the Politics, refers to as useless things, and thereby a defense of the 'uselessness' of the study of the liberal arts.

Large language models (LLMs) reflect societal norms and biases, especially about gender. While societal biases and stereotypes have been extensively researched in various NLP applications, there is a surprising gap for emotion analysis. However, emotion and gender are closely linked in societal discourse. E.g., women are often thought of as more empathetic, while men's anger is more socially accepted. To fill this gap, we present the first comprehensive study of gendered emotion attribution in five state-of-the-art LLMs (open- and closed-source). We (...) investigate whether emotions are gendered, and whether these variations are based on societal stereotypes. We prompt the models to adopt a gendered persona and attribute emotions to an event like 'When I had a serious argument with a dear person'. We then analyze the emotions generated by the models in relation to the gender-event pairs. We find that all models consistently exhibit gendered emotions, influenced by gender stereotypes. These findings are in line with established research in psychology and gender studies. Our study sheds light on the complex societal interplay between language, gender, and emotion. The reproduction of emotion stereotypes in LLMs allows us to use those models to study the topic in detail, but raises questions about the predictive use of those same LLMs for emotion applications. (shrink)

Emotions are a central aspect of communication. Consequently, emotion analysis (EA) is a rapidly growing field in natural language processing (NLP). However, there is no consensus on scope, direction, or methods. In this paper, we conduct a thorough review of 154 relevant NLP publications from the last decade. Based on this review, we address four different questions: (1) How are EA tasks defined in NLP? (2) What are the most prominent emotion frameworks and which emotions are modeled? (3) Is the (...) subjectivity of emotions considered in terms of demographics and cultural factors? and (4) What are the primary NLP applications for EA? We take stock of trends in EA and tasks, emotion frameworks used, existing datasets, methods, and applications. We then discuss four lacunae: (1) the absence of demographic and cultural aspects does not account for the variation in how emotions are perceived, but instead assumes they are universally experienced in the same manner; (2) the poor fit of emotion categories from the two main emotion theories to the task; (3) the lack of standardized EA terminology hinders gap identification, comparison, and future goals; and (4) the absence of interdisciplinary research isolates EA from insights in other fields. Our work will enable more focused research into EA and a more holistic approach to modeling emotions in NLP. (shrink)

This paper explores the ways in which Cordwainer Smith’s short story “Under Old Earth” problematizes emotions, who/what has them, and who/what is granted moral status. Most importantly, however, “Under Old Earth” questions the primacy of happiness in human society, especially where happiness is understood as the absence of other (negative) emotions. As such, “Under Old Earth” challenges the notion, widely held in contemporary ethics, that our moral obligation to one another is mediated through the goal of the attainment of happiness. (...) Through this challenge, Smith’s short story speaks directly to the current understanding of emotion in the field of AI, and complicates what the goal of affective computing should be. (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)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

social and cultural anthropology on the block in a multicultural context.

The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive logic, (...) however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea. (shrink)

I am grateful to Catharine Abell and Gregory Currie for their incisive and productive commentaries on Apt Imaginings. In what follows, I will try to respond to.

Each of these books offers a richly developed and nuanced account of the nature of fiction. And each poses major challenges to a view about which there is a near-consensus. Catharine Abell draws on a theory of the institutions of fiction to advance a systematic re-envisioning of the metaphysics and epistemology of the contents of stories. Gregory Currie argues that fiction’s relationship to the imagination, and the way stories communicate their contents to readers, seriously undermine fiction’s cognitive values.

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.

Curry’s chapter “In the Fiat of Dreams” makes two strong claims about the definition of “black male” and the value of idealistic ethics for black men. Depending on what he means by the analyticity of “black male”, he either understates his desired conclusion for the severity of the black male’s condition, overstates his conclusion in rejecting idealistic ethics, or ends up in contradiction within the “world” or “society” he is talking about. Given the most charitable reading of his argument, I (...) show that he requires further explication, or merely a different argument, in order to make the claims that he intends to offer. (shrink)

The article is dedicated to the popular argument among nativists, who use it against the empiricist approach. We analyze the strongest objection against the poverty of the stimulus argument which is the curry argument. As a result of the critical consideration of the poverty of the stimulus discussion, we conclude that the curry argument is quite sound.

Las soluciones a la paradoja de la ficción propuestas por Kendall Walton y Gregory Currie, a pesar de diferir en puntos de detalle importantes, suponen dos movimientos conceptuales comunes para entender la situación de quien está inmerso en una obra de ficción, a través del recurso a la noción de “cuasi-emociones” y de la idea de construcción de escenarios imaginarios. Aquí propondré que sus propuestas fallan en sus dos puntos centrales, a partir de problemas que son, sin embargo, independientes. (...) Por un lado, sus ideas sobre las emociones que sentimos al estar atrapados por una obra de ficción fallan al suponer una versión inaceptable de la tesis cognitivista acerca de las emociones. Por otro, sus ideas sobre la construcción de mundos imaginarios por parte de los “consumidores de ficción” fallan al suponer una dicotomía entre mundos de ficción y realidad. Finalmente, discutiré brevemente el modo en que ambos tipos de problemas repercuten sobre la viabilidad del planteo de la paradoja misma. (shrink)

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a radical (...) solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, based on (...) the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

Este capítulo presenta dos versiones de la teoría según la cual deberíamos centrarnos en ciertas acciones realizadas por los artistas para comprender qué tipo de objetos son las obras de arte: la propuesta de Gregory Currie (An Ontology of Art, 1989) y la de David Davies (Art as Performance, 2004). Si bien estas teorías no están exentas de problemas, es cierto que estas proporcionan una guía completa de algunos de los temas en los que uno debería meditar al evaluar (...) y desarrollar teorías sobre qué son las obras de arte. Además, Currie y Davies presentan algunos de los argumentos más refinados contra los puntos de vista contextualistas y estructuralistas sobre la metafísica de las obras de arte, así como contra el empirismo estético. (shrink)

This paper motivates and defends alethic nihilism, the theory that nothing is true. I first argue that alethic paradoxes like the Liar and Curry motivate nihilism; I then defend the view from objections. The critical discussion has two primary outcomes. First, a proof of concept. Alethic nihilism strikes many as silly or obviously false, even incoherent. I argue that it is in fact well-motivated and internally coherent. Second, I argue that deflationists about truth ought to be nihilists. Deflationists maintain that (...) the utility of the truth predicate is exhausted by its expressive role, and I argue that the truth predicate can still play this expressive role even if nothing is true. As such, deflationists do not stand to lose anything by accepting nihilism. Since they also stand to gain an elegant solution to the alethic paradoxes, on balance deflationists ought to be nihilists. (shrink)

I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called ''capture'' direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed's approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting (...) logic (called ''Swynish Logic'') are non-classical, but are consistent and compatible with many elements of the classical picture including modus ponens, modus tollens, and double-negation elimination and introduction. It is also compatible with bivalence and contravalence. My approach to these paradoxes is also immune to an important kind of revenge challenge that plagues some of its rivals. (shrink)

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. (...) Secondly, I show how to add a validity predicate to ST while avoiding the dilemma. (shrink)

The problem of satisfaction conditions arises from the apparent difficulties of explaining the nature of the mental states involved in our emotional responses to tragic fictions. Greg Currie has recently proposed to solve the problem by arguing for the recognition of a class of imaginative counterparts of desires - what he and others call i-desires. In this paper I will articulate and rebut Currie's argument in favour of i-desires and I will put forward a new solution in terms (...) of genuine desires. To this aim I will show that the same sort of puzzling phenomenon involved in our responses to tragic fictions arises also in a non-fictional case, and I will offer a solution to the problem of satisfaction conditions that dispenses with i-desires. The key to the explanation is in the notion of condition-dependent desires triggered by fictions. (shrink)

This paper’s main thesis is that in virtue of being believable, a believable novel makes an indirect transcendental argument telling us something about the real world of human psychology, action, and society. Three related objections are addressed. First, the Stroud-type objection would be that from believability, the only conclusion that could be licensed concerns how we must think or conceive of the real world. Second, Currie holds that such notions are probably false: the empirical evidence “is all against this (...) idea…that readers’ emotional responses track the real causal relations between things.” Third, responding with a full range of emotions to a novel surely requires that it be believable. Yet since we know the novel is fiction, we do not believe it. So in what does its believability consist? (shrink)

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend the (...) system so that it can capture invalidities. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

in early 2019, the josiah royce society arranged two Author Meets Critics sessions on Tommy J. Curry’s Another white Man’s Burden: Josiah Royce’s Quest for a Philosophy of white Racial Empire. The first was held in New York City, at the American Philosophical Association Eastern Division Meeting. The second was at the annual meeting of the Society for the Advancement of American Philosophy, in Columbus, Ohio. The sessions were vibrant and well-attended. With the exception of a few tendentious questions at (...) the close of the second meeting, however, our sessions lacked the element of controversy that is customary in discussions of racism in the history of philosophy. The panelists and the audience alike rather... (shrink)

Currie’s (2010) argument that “i-desires” must be posited to explain our responses to fiction is critically discussed. It is argued that beliefs and desires featuring ‘in the fiction’ operators—and not sui generis imaginings (or "i-beliefs" or "i-desires")—are the crucial states involved in generating fiction-directed affect. A defense of the “Operator Claim” is mounted, according to which ‘in the fiction’ operators would be also be required within fiction-directed sui generis imaginings (or "i-beliefs" and "i-desires"), were there such. Once we appreciate (...) that even fiction-directed sui generis imaginings would need to incorporate ‘in the fiction’ operators, the main appeal of the idea that sui generis imaginings (or "i-beliefs" or "i-desires") are at work in fiction-appreciation dissipates. [This is Chapter 10 of Explaining Imagination (OUP, 2020)]. (shrink)

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)