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)

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 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)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of (...) this paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (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)

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)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: (...) 421-30), no theory which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with (...) it a serious problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (shrink)

Thought experiments play a role in science and in some central parts of contemporary philosophy. They used to play a larger role in philosophy of science, but have been largely abandoned as part of the field’s “practice turn”. This chapter discusses possible roles for thought experimentation within a practice-oriented philosophy of science. Some of these roles are uncontroversial, such as exemplification and aiding discovery. A more controversial role is the reliance on thought experiments to justify philosophical claims. It is proposed (...) that if we adopt an underlying empiricist view of concepts, then thought experiments can be seen as affording us contact with scientific practice, despite their seemingly a priori character. The advantages and drawbacks of thought experiments are discussed via comparison with case studies, on the one, and simulations on the other hand. The chapter closes with some remarks on how to combine thought experiments with other methods. (shrink)

In the first of the Insolubles in Chapter 8 of his Sophismata, Buridan contends that the inference Omnis propositio est affirmativa; ergo, nulla propositio est negativa (PS) is valid, even though it appeals to the self-reference in the conclusion to show that what we (following Read 2001) call the classical conception of validity (CCV) fails. This requires that we accept that there are good inferences in which a false conclusion follows from true premises. Partially following Hughes’ proposal (1982), we (...) argue that the First Sophism (PS) involves three different notions of validity. Two of them correspond to the ones described by Hughes (1982, 80–86), who calls them Theory A and Theory B. The third one—that will we call Theory C—is not mentioned by Hughes; instead, it is suggested by Buridan himself in the first three arguments in favor of the validity of PS. We show that: a) from what Buridan says in his Theory C it follows that PS is a formal and material consequence, and hence, a valid one. Then we show that: b) the rejection of CCV and the acceptance of Nulla propositio est negativa (NPN) as a (formal) consequence of Omnis propositio est affirmativa (OPA) leads to a paradox that bears similarities with the one put forward by Pseudo Scotus—which has been studied by Read (2001) and is related to Curry’s paradox. However, there are enough differences to merit considering this paradox separately, especially in relation to the so-called validity paradoxes. Interestingly, our work suggests that Buridan was aware of these problems, which explains why he introduced a new criterion for validity, one that is not based on truth-preservation but on what Spade (1988) calls firmness, and Klima (2016) correspondence. (shrink)

To a large extent, the evidential base of claims in the philosophy of science has switched from thought experiments to case studies. We argue that abandoning thought experiments was a wrong turn, since they can effectively complement case studies. We make our argument via an analogy with the relationship between experiments and observations within science. Just as experiments and ‘natural’ observations can together evidence claims in science, each mitigating the downsides of the other, so too can thought experiments and case (...) studies be mutually supporting. After presenting the main argument, we look at potential concerns about thought experiments, suggesting that a judiciously applied mixed-methods approach can overcome them. (shrink)

Many biological investigations are organized around a small group of species, often referred to as ‘model organisms’, such as the fruit fly Drosophila melanogaster. The terms ‘model’ and ‘modelling’ also occur in biology in association with mathematical and mechanistic theorizing, as in the Lotka–Volterra model of predator-prey dynamics. What is the relation between theoretical models and model organisms? Are these models in the same sense? We offer an account on which the two practices are shown to have different epistemic characters. (...) Theoretical modelling is grounded in explicit and known analogies between model and target. By contrast, inferences from model organisms are empirical extrapolations. Often such extrapolation is based on shared ancestry, sometimes in conjunction with other empirical information. One implication is that such inferences are unique to biology, whereas theoretical models are common across many disciplines. We close by discussing the diversity of uses to which model organisms are put, suggesting how these relate to our overall account. 1 Introduction2 Volterra and Theoretical Modelling3 Drosophila as a Model Organism4 Generalizing from Work on Model Organisms5 Phylogenetic Inference and Model Organisms6 Further Roles of Model Organisms6.1 Preparative experimentation6.2 Model organisms as paradigms6.3 Model organisms as theoretical models6.4 Inspiration for engineers6.5 Anchoring a research community7 Conclusion. (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.

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)

Why is there a long-standing debate about paraphrase in poetry? Everyone agrees that paraphrase can be useful; everyone agrees that paraphrase is no substitute for the poem itself. What is there to disagree about? Perhaps this: whether paraphrase can specify everything that counts as a contribution to the meaning of a poem. There are, we say, two ways to take the question; on one way of taking it, the answer is that paraphrase cannot. Does this entail that there is meaning (...) mysteriously locked in a poem, meaning that cannot be represented in any way other than via the poem itself? If that were so it would have profound implications for poetry’s capacity to convey insight. We suggest reasons for thinking that the entailment does not hold. Throughout, we connect the traditional debate over paraphrase, which has largely been conducted within the fields of philosophy and literary theory, with recent empirically oriented thinking about the communicability of meaning, represented by work in pragmatics. We end with a suggestion about what is to count as belonging to meaning, and what as merely among the things that determine meaning. (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)

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)

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)

Human aesthetic practices show a sensitivity to the ways that the appearance of an artefact manifests skills and other qualities of the maker. We investigate a possible origin for this kind of sensibility, locating it in the need for co-ordination of skill-transmission in the Acheulean stone tool culture. We argue that our narrative supports the idea that Acheulian agents were aesthetic agents. In line with this we offer what may seem an absurd comparison: between the Acheulian and the Quattrocento. In (...) making it we display some hidden richness in what counts as an aesthetic response to an artefact. We conclude with a brief review of rival explanations—biological and/or cultural—of how this skills-based sensibility became a regular feature of human aesthetic practices. (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)

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.

Is there a sensible version of the slogan “Art for art’s sake”? If there is, does it apply to anything? I believe that the answers to these questions are Yes and Yes. A positive answer to the first question alone would not be of interest; an intelligible claim without application does not do us much good. It’s the positive answer to the second question which is, I think, more important and perhaps surprising, since I claim to find art for art’s (...) sake at a time well before most authorities would allow that there was any art at all. But I begin more recently than that. (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)

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)

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)

Stephen Barker presents a novel approach to solving semantic paradoxes, including the Liar and its variants and Curry’s paradox. His approach is based around the concept of alethic undecidability. His approach, if successful, renders futile all attempts to assign semantic properties to the paradoxical sentences, whilst leaving classical logic fully intact. And, according to Barker, even the T-scheme remains valid, for validity is not undermined by undecidable instances. Barker’s approach is innovative and worthy of further consideration, particularly by (...) those of us who aim to find a solution without logical revisionism. As it stands, however, the approach is unsuccessful, as I shall demonstrate below. (shrink)

Aim of the paper is to analyze Priest’s dialetheic solution to Curry’s paradox. It has been shown that a solution refuting ABS, accepting MPP and consequently refuting CP meets some difficulties. Here I just concentrate on one difficulty: one obtains the validity of MPP just using FA in the metalanguage, an invalid rule for a dialetheist.

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)

Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call (...) “validity drift.” A validity drift occurs when, in the course of developing new measurement procedures, researchers end up studying something different from what they originally aimed to study. I analyze the different ways in which scientists attempt to validate procedures for measuring mental disorders for the purpose of testing drugs in animal models. I show how those validation efforts might fail, thereby leading to validity drifts. Overall, this analysis highlights the complex interplay between the development of new measurement procedures, their calibration, and scientific theories of the target phenomena. (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)

In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict (...) validity should be replaced by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

An inference is valid if it guarantees the transferability of knowledge from the premisses to the conclusion. If knowledge is here understood as demonstrative knowledge, and demonstration is explained as a chain of valid inferences, we are caught in an explanatory circle. In recent lectures, Per Martin-Löf has sought to avoid the circle by specifying the notion of knowledge appealed to in the explanation of the validity of inference as knowledge of a kind weaker than demonstrative knowledge. The resulting (...) explanation is the main topic of this article. (shrink)

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

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of (...) validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)