This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant logic and (...) presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

I construe Relevant Alternatives Theory (RAT) as an abstract combination of anti-skepticism and epistemic modesty, then re-evaluate the challenge posed to it by the missed clue counter-examples of Schaffer [2001]. The import of this challenge has been underestimated, as Schaffer’s specific argument invites distracting objections. I offer a novel formalization of RAT, accommodating a suitably wide class of concrete theories of knowledge. Then, I introduce abstract missed clue cases and prove that every RA theory, as formalized, admits such a case. (...) This yields an argument - in Schaffer’s spirit - that resists easy dismissal. (shrink)

Vol. presents a method for critically evaluating relevance in arguments based on case studies & a new relevance theory incorporating techniques of argumentation theory, logic & artificiaI intelligence. For scholars/students in argumentation & rhetoric.

This paper defends a contextualist approach to epistemic injustice according to which instances of such injustice should be looked at as temporally extended phenomena (having developmental and historical trajectories) and socially extended phenomena (being rooted in patterns of social relations). Within this contextualist framework, credibility excesses appear as a form of undeserved epistemic privilege that is crucially relevant for matters of testimonial justice. While drawing on Miranda Fricker's proportional view of epistemic justice, I take issue with its lack of attention (...) to the role that credibility excesses play in testimonial injustices. I depart from Fricker's view of the relation between credibility excesses and credibility deficits, and I offer an alternative account of the contributions that undeserved epistemic privileges make to epistemic injustices. Then, through the detailed analysis of To kill a mockingbird, I elucidate the crucial role played by the social imaginary in creating and sustaining epistemic injustices, developing an analysis of the kind of social blindness produced by an oppressive social imaginary that establishes unjust patterns of credibility excesses and deficits. (shrink)

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.

The goal of the current paper is to provide an introduction to and survey of the diverse landscape of relevant alternatives theories of knowledge. Emphasis is placed throughout both on the abstractness of the relevant alternatives approach and its amenability to formalization through logical techniques. We present some of the important motivations for adopting the relevant alternatives approach; briefly explore the connections and contrasts between the relevant alternatives approach and related developments in logic, epistemology and philosophy of science; provide a (...) schema for classifying and studying relevant alternatives theories at different levels of abstraction; and present a sample of relevant alternatives theories (contrasting what we call question-first and topic-first theories) that tie our discussion to on-going debates in the philosophical literature, as well as showcasing techniques for formalizing some of the important positions in these debates. (shrink)

When people speak, their words never fully encode what they mean, and the context is always compatible with a variety of interpretations. How can comprehension ever be achieved? Wilson and Sperber argue that comprehension is an inference process guided by precise expectations of relevance. What are the relations between the linguistically encoded meanings studied in semantics and the thoughts that humans are capable of entertaining and conveying? How should we analyse literal meaning, approximations, metaphors and ironies? Is the ability (...) to understand speakers' meanings rooted in a more general human ability to understand other minds? How do these abilities interact in evolution and in cognitive development? MEANING AND RELEVANCE sets out to answer these and other questions, enriching and updating relevance theory and exploring its implications for linguistics, philosophy, cognitive science and literary studies. (shrink)

This revised edition includes a new Preface outlining developments in Relevance Theory since 1986, discussing the more serious criticisms of the theory, and ...

The aim of this study was to test the hypothesis that relevance modulates subsequent non-emotional behaviour, using a personalised mental-imagery-cued relevance manipulation paradigm. Participants had to build positive, negative and neutral mental images based on personalised scenarios that had been selected during an earlier picture-cued imagery phase. Participants imagined situations that were highly relevant for them and situations that were moderately relevant for them, depending on the effects the situations could exert on them. After each mental image, the (...) effect of the relevance manipulation was tested in a two-choice detection task. The interaction of relevance and valence was found to be predictive of the response times. Moreover, in the high-relevance condition, longer response times were observed for positive scenarios compared to negative ones, whereas in the low-relevance condition, shorter response times were observed for positive scenarios compared to negative ones. Results are consistent with the motivational theory of emotions, which posits that low-relevance stimuli trigger valence-specific attention modulations, whereas high-relevance stimuli trigger valence-specific action tendencies. (shrink)

Contributed articles presented at a National seminar.

The first part of this paper argues that if Craver’s ([2007a], [2007b]) popular mutual manipulability account (MM) of mechanistic constitution is embedded within Woodward’s ([2003]) interventionist theory of causation--for which it is explicitly designed--it either undermines the mechanistic research paradigm by entailing that there do not exist relationships of constitutive relevance or it gives rise to the unwanted consequence that constitution is a form of causation. The second part shows how Woodward’s theory can be adapted in such a way (...) that (MM) neither undermines the mechanistic paradigm nor reduces constitution to causation. However, it turns out that this modified theoretical embedding of (MM) makes it impossible to produce empirical evidence for constitutive relations. The paper ends by suggesting an additional criterion, the fat-handedness criterion, which, when combined with (MM), generates indirect empirical evidence for constitutive relevance. (shrink)

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

The epistemology of risk examines how risks bear on epistemic properties. A common framework for examining the epistemology of risk holds that strength of evidential support is best modelled as numerical probability given the available evidence. In this essay I develop and motivate a rival ‘relevant alternatives’ framework for theorising about the epistemology of risk. I describe three loci for thinking about the epistemology of risk. The first locus concerns consequences of relying on a belief for action, where those consequences (...) are significant if the belief is false. The second locus concerns whether beliefs themselves—regardless of action—can be risky, costly, or harmful. The third locus concerns epistemic risks we confront as social epistemic agents. I aim to motivate the relevant alternatives framework as a fruitful approach to the epistemology of risk. I first articulate a ‘relevant alternatives’ model of the relationship between stakes, evidence, and action. I then employ the relevant alternatives framework to undermine the motivation for moral encroachment. Finally, I argue the relevant alternatives framework illuminates epistemic phenomena such as gaslighting, conspiracy theories, and crying wolf, and I draw on the framework to diagnose the undue skepticism endemic to rape accusations. (shrink)

According to an intuitive picture of relevant entailment, an entailment is relevant if all the formulas it contains contribute to its validity. In this paper, we provide a ground-theoretic analysis of this notion of contribution, and as a result of relevant entailment. We build a system of bilateral logical grounding within which we can derive classical entailment and analyze the contribution of premises and conclusions, in terms of a certain type of connection between their respective logical grounds. The resulting framework (...) is shown to have a strong unifying and explanatory power by bringing together the notions of grounding and relevance and explaining the commonalities and differences between alternative contribution-based accounts of relevance. (shrink)

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main (...) result of the paper, we give a very simple proof of a related but strictly stronger result. (shrink)

We propose a new relevance sensitive model for representing and revising belief structures, which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and belief..

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Premissary relevance is a property of arguments understood as speech act complexes. It is explicable in terms of the idea of a premise's lending support to a conclusion. Premissary relevance is a function of premises belonging to a set which authoritatively warrants an inference to a conclusion. An authoritative inference warrant will have associated with it a conditional proposition which is true— that is to say, which can be justified. The study of the Aristotelian doctrine of topoi or (...) argument schemes may contribute to the task of identifying authoritative warrants. (shrink)

We generalize the notion ofconsequence relationstandard in abstract treatments of logic to accommodate intuitions ofrelevance. The guiding idea follows theuse criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each beusedin some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining betweenmultisets. We motivate and state basic definitions of relevant consequence relations, (...) both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). (shrink)

In this study we investigate the influence of reason-relation readings of indicative conditionals and ‘and’/‘but’/‘therefore’ sentences on various cognitive assessments. According to the Frege-Grice tradition, a dissociation is expected. Specifically, differences in the reason-relation reading of these sentences should affect participants’ evaluations of their acceptability but not of their truth value. In two experiments we tested this assumption by introducing a relevance manipulation into the truth-table task as well as in other tasks assessing the participants’ acceptability and probability evaluations. (...) Across the two experiments a strong dissociation was found. The reason-relation reading of all four sentences strongly affected their probability and acceptability evaluations, but hardly affected their respective truth evaluations. Implications of this result for recent work on indicative conditionals are discussed. (shrink)

This paper advances an approach to relevance grounded on patterns of material inference called argumentation schemes, which can account for the reconstruction and the evaluation of relevance relations. In order to account for relevance in different types of dialogical contexts, pursuing also non-cognitive goals, and measuring the scalar strength of relevance, communicative acts are conceived as dialogue moves, whose coherence with the previous ones or the context is represented as the conclusion of steps of material inferences. (...) Such inferences are described using argumentation schemes and are evaluated by considering 1) their defeasibility, and 2) the acceptability of the implicit premises on which they are based. The assessment of both the relevance of an utterance and the strength thereof depends on the evaluation of three interrelated factors: 1) number of inferential steps required; 2) the types of argumentation schemes involved; and 3) the implicit premises required. (shrink)

In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...) conception of necessity on the one hand, and the axiomatic conception on the other: The latter is consistent with motivations for relevant logics while the former is not. For the committed relevant logician, necessity cannot be the truth in all possible worlds. (shrink)

Although much technical and philosophical attention has been given to relevance logics, the notion of relevance itself is generally left at an intuitive level. It is difficult to find in the literature an explicit account of relevance in formal reasoning. In this article I offer a formal explication of the notion of relevance in deductive logic and argue that this notion has an interesting place in the study of classical logic. The main idea is that a (...) premise is relevant to an argument when it contributes to the validity of that argument. I then argue that the sequents which best embody this ideal of relevance are the so-called perfect sequents—that is, sequents which are valid but have no proper subsequents that are valid. Church’s theorem entails that there is no recursively axiomatizable proof-system that proves all and only the perfect sequents, so the project that emerges from studying perfection in classical logic is not one of finding a perfect subsystem of classical logic, but is rather a comparative study of classifying subsystems of classical logic according to how well they approximate the ideal of perfection. (shrink)

In Logical Self-Defense , Johnson and I introduced the criteria of acceptability, relevance and sufficiency as appropriate for the evaluation of arguments in the sense of reasons offered in support of a claim. These three criteria have been widely adopted, but each has been subjected to a number of criticisms; and also 30 years of research have intervened. How do these criteria stand up today? In this paper I argue that they still have a place in argument analysis and (...) evaluation, but in much-modified roles. (shrink)

More than a decade of research has found strong evidence for P(if A, then C) = P(C|A) (“the Equation”). We argue, however, that this hypothesis provides an overly simplified picture due to its inability to account for relevance. We manipulated relevance in the evaluation of the probability and acceptability of indicative conditionals and found that relevance moderates the effect of P(C|A). This corroborates the Default and Penalty Hypothesis put forward in this paper. Finally, the probability and acceptability (...) of concessive conditionals (“Even if A, then still C”) were investigated and it was found that the Equation provides a better account of concessive conditionals than of indicatives across relevance manipulations. (shrink)

Artificial intelligence (AI) ethics is proposed as an emerging and interdisciplinary field concerned with addressing the ethical issues of AI, such as the issue of moral decision-making. The conflict between our intuitive moral judgments constitutes an inevitable obstacle to decision-making in AI ethics. This article outlines the Moral Relevance Approach, which could provide a considerable moral foundation for AI ethics. Taking moral relevance as the precondition of the consequentialist principles, the Moral Relevance Approach aims to plausibly consider (...) individual moral claims. It is not only the common ethical target shaping our moral consensus but also the inherent moral ability connecting others with us. (shrink)

In this article, we seek to contribute to the debate on the requirement of disclosure in the context of informed consent for research. We defend the subjective standard of disclosure and describe ways to implement this standard in research practice. We claim that the researcher should make an effort to find out what kinds of information are likely to be relevant for those consenting to research. This invites researchers to take empirical survey information seriously, attempt to understand the cultural context, (...) talk to patients to be better able to understand what can be potentially different concerns and interests prevalent in the target population. The subjective standard of disclosure should be seen as a moral ideal that perhaps can never be perfectly implemented but still can and should be used as a normative ideal guiding research practice. In the light of these discussions, we call for more empirical research on what considerations are likely to be perceived as relevant by potential research participants recruited from different socio-economic and cultural groups. (shrink)

In “Contextualism and Knowledge Attributions,” I argue that advocates of the “Relevant Alternatives” theory of knowledge fall into certain mistakes result if they tie the content of a knowledge attribution, on a given occasion of use, too tightly to what the range of relevant alternatives is on that occasion, and I sketch an alternative approach to the issues involved that avoids such mistakes. In “The Shifting Content of Knowledge Attributions,” Anthony Brueckner charges that my own account of these matters falls (...) to an objection of his. But Brueckner is wrong about this, as I’ll here argue. (shrink)

This paper examines the relationship between perceptual knowledge and discrimination in the light of the so-called ‘relevant alternatives’ intuition. It begins by outlining an intuitive relevant alternatives account of perceptual knowledge which incorporates the insight that there is a close connection between perceptual knowledge and the possession of relevant discriminatory abilities. It is argued, however, that in order to resolve certain problems that face this view, it is essential to recognise an important distinction between favouring and discriminating epistemic support that (...) is often overlooked in the literature. This distinction complicates the story regarding how an alternative becomes relevant, and in doing so weakens the connection between perceptual knowledge and discrimination. The theory that results, however—what I term a ‘two-tiered’ relevant alternatives theory of perceptual knowledge—accommodates many of our intuitions about perceptual knowledge and so avoids the revisionism of some recent proposals in the epistemological literature. (shrink)

An adequate understanding of the ubiquitous practice of mechanistic explanation requires an account of what Craver termed “constitutive relevance.” Entities or activities are constitutively relevant to a phenomenon when they are parts of the mechanism responsible for that phenomenon. Craver’s mutual manipulability account extended Woodward’s account of manipulationist counterfactuals to analyze how interlevel experiments establish constitutive relevance. Critics of MM argue that applying Woodward’s account to this philosophical problem conflates causation and constitution, thus rendering the account incoherent. These (...) criticisms, we argue, arise from failing to distinguish the semantic, epistemic, and metaphysical aspects of the problem of constitutive relevance. In distinguishing these aspects of the problem and responding to these critics accordingly, we amend MM into a refined epistemic criterion, the “matched interlevel experiments” account. Further, we explain how this epistemological thesis is grounded in the plausible metaphysical thesis that constitutive relevance is causal betweenness. (shrink)

The purpose of this paper is to show whether the two crucial dimensions used for assessing the quality of argumentation, argument-as-a-product (argument structure) and argument-as-a-process (relevance), are interrelated, and how they can be used to assess the effect of argumentative mode on students’ arguments. To this purpose, a twofold coding scheme will be developed, aimed at capturing: a) the argumentative function of evidence use and b) the dialogical relevance of evidence use. A study will be described in which (...) students’ use of evidence is elicited in two distinct argumentative modes (dialogical vs. non-dialogical). According to the results, in the dialogical mode students tended to use evidence in a more sophisticated way from both argument evaluation perspectives. (shrink)

This paper examines precursors and consequents of perceived relevance of a proposition A for a proposition C. In Experiment 1, we test Spohn's assumption that ∆P = P − P is a good predictor of ratings of perceived relevance and reason relations, and we examine whether it is a better predictor than the difference measure − P). In Experiment 2, we examine the effects of relevance on probabilistic coherence in Cruz, Baratgin, Oaksford, and Over's uncertain “and-to-if” inferences. (...) The results suggest that ∆P predicts perceived relevance and reason relations better than the difference measure and that participants are either less probabilistically coherent in “and-to-if” inferences than initially assumed or that they do not follow P = P. Results are discussed in light of recent results suggesting that the Equation may not hold under conditions of irrelevance or negative relevance. (shrink)

The idea is that, in a wide range of contexts, utterances of the sentences in (a) in each case will communicate the assumption in (b) in each case (or something closely akin to it, there being a certain amount of contextually governed variation in the speaker's propositional attitude and so the scope of the negation). These scalar inferences are taken to be one kind of (generalized) conversational implicature. As is the case with pragmatic inference quite generally, these inferences are defeasible (...) (cancellable), which distinguishes them from entailments, and they are nondetachable, which distinguishes them from conventional implicatures. The core idea is that the choice of a weaker element from a scale of elements ordered in terms of semantic strength (that is, numbers of entailments) tends to implicate that, as far as the speaker knows, none of the stronger elements in the scale holds in this instance. The pattern is quite clear in (1) and (2), where the weak/strong alternatives are some/all and five/six respectively. In the case of (3), the stronger expression must be intelligent and good-hearted which entails intelligent; what Y's utterance implicates is that Mary does not have the two properties: intelligence and good-heartedness, so that, given the proposition expressed (Mary is intelligent) it follows, deductively, that she is not good-hearted, in Y's opinion. The example in (4) involves a scale inversion due to the negation, so that the weak/strong alternatives are not necessarily/not possibly; the negation which the scalar inference generates creates a double negation, which is eliminated giving possibly. (shrink)

This paper provides an argument for a more socially relevant philosophy of science (SRPOS). Our aims in this paper are to characterize this body of work in philosophy of science, to argue for its importance, and to demonstrate that there are significant opportunities for philosophy of science to engage with and support this type of research. The impetus of this project was a keen sense of missed opportunities for philosophy of science to have a broader social impact. We illustrate various (...) ways in which SRPOS can provide social benefits, as well as benefits to scientific practice and philosophy itself. Also, SRPOS is consistent with some historical and contemporary goals of philosophy of science. We’re calling for an expansion of philosophy of science to include more of this type of work. In order to support this expansion, we characterize philosophy of science as an epistemic community and examine the culture and practices of philosophy of science that can help or hinder research in this area. (shrink)

This paper will develop ideas from [44]. We will generalize their work in two directions. First, we provide axioms for justification logics over the base logic B and show that the logic permits a proof of the internalization theorem. Second, we provide alternative frames that more closely resemble the standard versions of the ternary relational frames, as well as a more general approach to the completeness proof. We prove that soundness and completeness hold for justification logics over a wide variety (...) of base logics. Finally, we will strengthen Belnap’s variable sharing for the justification logic context, demonstrating that the justifications are properly relevant justifications. (shrink)

It has been argued that nonreductive physicalism leads to epiphenominalism about mental properties: the view that mental events cannot cause behavioral effects by virtue of their mental properties. Recently, attempts have been made to develop accounts of causal relevance for irreducible properties to show that mental properties need not be epiphenomenal. In this paper, I primarily discuss the account of Frank Jackson and Philip Pettit. I show how it can be developed to meet several obvious objections and to capture (...) our intuitive conception of degrees of causal relevance. However, I argue that the account requires large-scale miraculous coincidence for there to be causally relevant mental properties. I also argue that the same problem arises for two apparently very different accounts of causal relevance. I suggest that this result does not show that these accounts, on appropriate readings, are false. Therefore, I tentatively conclude that we have reason to believe that irreducible mental properties are causally irrelevant. Moreover, given that there is at leastprima facie evidence that mental properties can be causally relevant, my conclusion casts doubt on nonreductive physicalist theories of mental properties. (shrink)

Speakers share content when they make the same assertion (claim, conjecture, proposal, etc). They also share content when they propose (entertain, discuss, etc.) the same hypothesis, theory, and thought. And again when they evaluate whether what each says (thinks, claims, suggests, etc.) is true, false, interesting, obscene, original or offensive. Content sharing, so understood, is the very foundation of communication. Relevance Theory (RT), however, implies that content sharing is impossible; or at least, we will argue as much in what (...) follows. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

A RELEVÂNCIA DO PRÉVIO ESGOTAMENTO DAS INSTÂNCIAS DESPORTIVAS E AS SANÇÕES AO SEU DESCUMPRIMENTO.