The paper is motivated by the need of accounting for the practical syllogism as a piece of defeasible reasoning. To meet the need, the paper first refers to ranking theory as an account of defeasible descriptive reasoning. It then argues that two kinds of ought need to be distinguished, purely normative and fact-regarding obligations (in analogy to intrinsic and extrinsic utilities). It continues arguing that both kinds of ought can be iteratively revised and should hence be represented by ranking functions, (...) too, just as iteratively revisable beliefs. Its central proposal will then be that the fact-regarding normative ranking function must be conceived as the sum of a purely normative ranking function and an epistemic ranking function (as suggested in qualitative decision theory). The distinctions defends this proposal with a comparative discussion of some critical examples and some other distinctions made in the literature. It gives a more rigorous justification of this proposal. Finally, it starts developing the logic of purely normative and of fact-regarding normative defeasible reasoning, points to the difficulties of completing the logic of the fact-regarding side, but reaches the initial aim of accounting for the defeasible nature of the practical syllogism. (shrink)

According to Stalnaker’s Thesis, the probability of a conditional is the conditional probability. Under some mild conditions, the thesis trivialises probabilities and conditionals, as initially shown by David Lewis. This article asks the following question: does still lead to triviality, if the probability function in is replaced by a probability-like function? The article considers plausibility functions, in the sense of Friedman and Halpern, which additionally mimic probabilistic additivity and conditionalisation. These quasi probabilities comprise Friedman–Halpern’s conditional plausibility spaces, as well as (...) other known representations of conditional doxastic states. The paper proves Lewis’ triviality for quasi probabilities and discusses how this has implications for three other prominent strategies to avoid Lewis’ triviality: Adams’ thesis, where the probability function on the left in is replaced by a probability-like function, abandoning conditionalisation, where probability conditionalisation on the right in is replaced by another propositional update procedure and the approximation thesis, where equality in is replaced by approximation. The paper also shows that Lewis’ triviality result is really about ‘additiveness’ and ‘conditionality’. (shrink)

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined. Descriptors are introduced as a versatile tool for expressing the success conditions of belief change, addressing both local and global descriptor revision. The book presents dynamic descriptors such as Ramsey descriptors that convey how an agent’s beliefs tend to be changed (...) in response to different inputs. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision. Lastly, the book examines revocation, a generalization of contraction in which a specified sentence is removed in a process that may possibly also involve the addition of some new information to the belief set. (shrink)

Today there is a wealth of fascinating studies of connexive logical systems. But sometimes it looks as if connexive logic is still in search of a convincing interpretation that explains in intuitive terms _why_ the connexive principles should be valid. In this paper I argue that difference-making conditionals as presented in Rott (_Review of Symbolic Logic_ 15, 2022) offer one principled way of interpreting connexive principles. From a philosophical point of view, the idea of difference-making demands full, unrestricted connexivity, because (...) neither logical truths nor contradictions or other absurdities can ever ‘make a difference’ (i.e., be relevantly connected) to anything. However, difference-making conditionals have so far been only partially connexive. I show how the existing analysis of difference-making conditionals can be reshaped to obtain full connexivity. The classical AGM belief revision model is replaced by a conceivability-limited revision model that serves as the semantic base for the analysis. The key point of the latter is that the agent should never accept any absurdities. (shrink)

This article explores conditionals expressing that the antecedent makes a difference for the consequent. A ‘relevantised’ version of the Ramsey Test for conditionals is employed in the context of the classical theory of belief revision. The idea of this test is that the antecedent is relevant to the consequent in the following sense: a conditional is accepted just in case the consequent is accepted if the belief state is revised by the antecedent and the consequent fails to be accepted if (...) the belief state is revised by the antecedent’s negation. The connective thus defined violates almost all of the traditional principles of conditional logic, but it obeys an interesting logic of its own. The article also gives the logic of an alternative version, the ‘Dependent Ramsey Test,’ according to which a conditional is accepted just in case the consequent is accepted if the belief state is revised by the antecedent and the consequent is rejected if the belief state is revised by the antecedent’s negation. This conditional is closely related to David Lewis’s counterfactual analysis of causation. (shrink)

The paper is motivated by the need of accounting for the practical syllogism as a piece of defeasible reasoning. To meet the need, the paper first refers to ranking theory as an account of defeasible descriptive reasoning. It then argues that two kinds of ought need to be distinguished, purely normative and fact-regarding obligations. It continues arguing that both kinds of ought can be iteratively revised and should hence be represented by ranking functions, too, just as iteratively revisable beliefs. Its (...) central proposal will then be that the fact-regarding normative ranking function must be conceived as the sum of a purely normative ranking function and an epistemic ranking function. The distinctions defends this proposal with a comparative discussion of some critical examples and some other distinctions made in the literature. It gives a more rigorous justification of this proposal. Finally, it starts developing the logic of purely normative and of fact-regarding normative defeasible reasoning, points to the difficulties of completing the logic of the fact-regarding side, but reaches the initial aim of accounting for the defeasible nature of the practical syllogism. (shrink)

A globally expressivist analysis of the indicative conditional based on the Ramsey Test is presented. The analysis is a form of ‘global’ expressivism in that it supplies acceptance and rejection conditions for all the sentence forming connectives of propositional logic (negation, disjunction, etc.) and so allows the conditional to embed in arbitrarily complex sentences (thus avoiding the Frege–Geach problem). The expressivist framework is semantically characterized in a restrictor semantics due to Vann McGee, and is completely axiomatized in a logic dubbed (...) ICL (‘Indicative Conditional Logic’). The expressivist framework extends the AGM (after Alchourron, Gärdenfors, Makinson) framework for belief revision and so provides a categorical (‘yes’–‘no’) epistemology for conditionals that complements McGee’s probabilistic framework while drawing on the same semantics. The result is an account of the semantics and acceptability conditions of the indicative conditional that fits well with the linguistic data (as pooled by linguists and from psychological experiments) while integrating both expressivist and semanticist perspectives. (shrink)

The Meno problem, asking for the surplus value of knowledge beyond the value of true justified belief, was recently much treated within reliabilist and virtue epistemologies. The answers from formal epistemology, by contrast, are quite poor. This paper attempts to improve the score of formal epistemology by precisely explicating Timothy Williamson's suggestion that ‘present knowledge is less vulnerable than mere present true belief to rational undermining by future evidence’. It does so by combining Nozick's sensitivity analysis of knowledge with Spohn's (...) fact‐asserting epistemic interpretation of conditionals. Accordingly, the surplus value of knowledge lies in a specific kind of stability of knowledge, which differs, though, from that claimed by other so‐called stability analyses of knowledge. (shrink)

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles that ultimately result in a (...) wholesale reduction of iterated to one-shot revision. The present paper offers grounds to hold that these principles should be significantly weakened and that the reductionist thesis should ultimately be rejected. Furthermore, the considerations provided suggest a close connection between the logic of iterated belief change and the logic of evidential relevance. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. We (...) show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

Belief revision theories aim to model the dynamics of epistemic states. Besides beliefs, epistemic states comprise most importantly justificational structures. Typically, belief revision theories, however, model the dynamics of beliefs while neglecting justificational structures over and above logical relations. Despite some awareness that this approach is problematic, how devastating the consequences of this neglect are has not yet been fully grasped. In this paper, I argue that taking justificational structures into account could solve four well-known problems of belief revision.

Richard Bradley has initiated a new debate, with Brian Hill and Jake Chandler as further participants, about the implications of a number of so-called triviality results surrounding the Ramsey test for conditionals. I comment on this debate and argue that ‘Inclusion’ and ‘Preservation’, which were originally introduced as postulates for the rational revision of factual beliefs, have little to recommend them in the first place when extended to languages containing conditionals. I question the philosophical method of postulation that was applied (...) in the new debate, and instead base my arguments on explicit representations of belief states and canonical constructions of belief state revisions. (shrink)

This paper expounds a simple and non-trivial Ramsey Test. Drawing on the work of Peter Gärdenfors, it aims to help establish an epistemic alternative to the semantics of variably strict conditionals by Robert Stalnaker (in: Rescher (ed), Studies in logical theory, Blackwell, Oxford, 1968) and David Lewis (Counterfactuals, Blackwell, Oxford, 1973). The novelty of the present contribution lies in considering the framework of Preferred Subtheories as model of belief change upon which conditionals are defined. The resulting semantics avoids triviality in (...) the sense that a major premise of the proof of Gärdenfors’ triviality theorem is violated. (shrink)

This paper is about the situation in which an author (writer or speaker) presents a deductively invalid argument, but the addressee aims at a charitable interpretation and has reason to assume that the author intends to present a valid argument. How can he go about interpreting the author’s reasoning as enthymematically valid? We suggest replacing the usual find-the-missing-premise approaches by an approach based on systematic efforts to ascribe a belief state to the author against the background of which the argument (...) has to be evaluated. The suggested procedure includes rules for recording whether the author in fact accepts or denies the premises and the conclusion, as well as tests for enthymematic validity and strategies for revising belief state ascriptions. Different degrees of interpretive charity can be exercised. This is one reason why the interpretation or reconstruction of an enthymematic argument typically does not result in a unique outcome. (shrink)