The liar paradox is still an open philosophical problem. Most contemporary answers to the paradox target the logical principles underlying the reasoning from the liar sentence to the paradoxical conclusion that the liar sentence is both true and false. In contrast to these answers, Buddhist epistemology offers resources to devise a distinctively epistemological approach to the liar paradox. In this paper, I mobilise these resources and argue that the liar sentence is what Buddhist epistemologists call a contradiction with one’s own (...) words. I situate my argument in the works of Dignāga and Dharmakīrti and show how Buddhist epistemology answers the paradox. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

According to Paul Boghossian and others, inference is subject to the taking condition: it necessarily involves the thinker taking his premises to support his conclusion, and drawing the conclusion because of that fact. Boghossian argues that this condition vindicates the idea that inference is an expression of agency, and that it has several other important implications too. However, we argue in this paper that the taking condition should be rejected. The condition gives rise to several serious prima facie problems and (...) the reasons which have been offered in favour of it fail to convince. (shrink)

I argue that the accounts of inference recently presented (in this journal) by Paul Boghossian, John Broome, and Crispin Wright are unsatisfactory. I proceed in two steps: First, in Sects. 1 and 2, I argue that we should not accept what Boghossian calls the “Taking Condition on inference” as a condition of adequacy for accounts of inference. I present a different condition of adequacy and argue that it is superior to the one offered by Boghossian. More precisely, I point out (...) that there is an analog of Moore’s Paradox for inference; and I suggest that explaining this phenomenon is a condition of adequacy for accounts of inference. Boghossian’s Taking Condition derives its plausibility from the fact that it apparently explains the analog of Moore’s Paradox. Second, in Sect. 3, I show that neither Boghossian’s, nor Broome’s, nor Wright’s account of inference meets my condition of adequacy. I distinguish two kinds of mistake one is likely to make if one does not focus on my condition of adequacy; and I argue that all three—Boghossian, Broome, and Wright—make at least one of these mistakes. (shrink)

Ever since John Locke, philosophers have discussed the possibility of a normative epistemology: are there epistemic obligations binding the cognitive economy of belief and disbelief? Locke's influential answer was evidentialist: we have an epistemic obligation to believe in accordance with our evidence. In this dissertation, I place the contemporary literature on agency and reasons at the service of some such normative epistemology. I discuss the semantics of obligations, the connection between obligations and reasons to believe, the implausibility of Lockean evidentialism, (...) and some of the alleged connections between agency and justification. (shrink)

I discuss Smokrović’s work on the normativity of logic (Smokrović 2017, Smokrović 2018). I agree that the classical formal logic is not an adequate model for real-life reasoning. But I present some doubts about his notion of deductive logic and his proposal to model such reasoning in non-monotonic logic. No branch of formal logic by itself is likely to capture real-life inferential links (reasoned-inference). I use the logic of relevance as my case study and extend the pessimistic morals to modern (...) systems of non-classical logic. Finally, I propose a more lax conception of normativty: there is a connection between logical assessment in the broad sense (as sanctioned by the notion of cogency) and the evaluation and criticism of reasoning. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

In this paper, I argue that theories of perception that appeal to Helmholtz’s idea of unconscious inference (“Helmholtzian” theories) should be taken literally, i.e. that the inferences appealed to in such theories are inferences in the full sense of the term, as employed elsewhere in philosophy and in ordinary discourse. -/- In the course of the argument, I consider constraints on inference based on the idea that inference is a deliberate acton, and on the idea that inferences depend on the (...) syntactic structure of representations. I argue that inference is a personal-level but sometimes unconscious process that cannot in general be distinguished from association on the basis of the structures of the representations over which it’s defined. I also critique arguments against representationalist interpretations of Helmholtzian theories, and argue against the view that perceptual inference is encapsulated in a module. (shrink)

In this paper, I analyse the nature of a particular form of theoretical reasoning—ratiocination. Ratiocination is purposeful, self-conscious, deliberatively controlled reasoning. I will argue that ratiocination concludes when the ratiocinator believes that she ought to believe p. In Section 1, I suggest that the way a reasoner’s mind moves in ratiocination is different from the way her mind moves in non-ratiocinative reasoning. Such a difference should motivate an analysis that focuses just on ratiocination. In Section 2, I provide a general (...) characterisation of ratiocination and distinguish it from non-ratiocinative reasoning. I draw a distinction between non-deliberative rational control and deliberative rational control. I then argue that the ratiocinator always exercises the latter. Since theoretical reasoning is a norm-governed activity and since ratiocination involves deliberatively controlled reasoning, the ratiocinator necessarily tries to control her mental movements in a way that is in line with the normative requirements of this activity. In Section 3, I argue that ratiocination ends when the ratiocinator believes that she ought to believe p. I further explain the nature of the ‘ought’ in the ratiocinator’s belief that she ought to believe p. In Section 4, I address possible objections to the account on offer and explain why my account does not undermine our general understanding of the nature of theoretical reasoning. I explain that my claim is compatible with the claim that reasons to be rational are transparent to reasons to believe p. I also discuss why the ratiocinator’s belief that she ought to believe p is not an intermediate stage in ratiocination. Finally, I argue that ratiocination, as described, is compatible with the claim that belief is truth-governed. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. This is glaringly revealed by the contrasting recent (...) takes on the issue by writers such as Soames (2005) – who adopts the view by Donnellan (1979) to be outlined presently – and Jeshion (2001), otherwise sharing a similar direct-reference approach to the prototypical expression of those contents. Discussing the matter in connection with the status of the Kripkean category of the contingent a priori in the just mentioned article, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent; he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. (Thus, for instance, if, while listening to an utterance in a language that I do not know, I am told by a reliable person who knows the language and whom I trust that the utterance is true, I come thereby to know that the sentence expresses a truth, without knowing the truth that it expresses.) Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. In this paper, I will appeal to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and I will argue that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (shrink)

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...) constructions; comparisons with other semantics for modal logic ; neighborhood semantics for first-order modal logic, applications in game theory ; applications in epistemic logic ; and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic ; or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory. (shrink)

J. Anthony Blair is a prominent international figure in argumentation studies. He is among the originators of informal logic, an author of textbooks on the informal logic approach to argument analysis and evaluation and on critical thinking, and a founder and editor of the journal Informal Logic. Blair is widely recognized among the leaders in the field for contributing formative ideas to the argumentation literature of the last few decades. This selection of key works provides insights into the history of (...) the field of argumentation theory and various related disciplines. It illuminates the central debates and presents core ideas in four main areas: Critical Thinking, Informal Logic, Argument Theory and Logic, Dialectic and Rhetoric. (shrink)

ABSTRACTMany discussions of the ‘preface paradox’ assume that it is more troubling for deductive closure constraints on rational belief if outright belief is reducible to credence. I show that this is an error: we can generate the problem without assuming such reducibility. All that we need are some very weak normative assumptions about rational relationships between belief and credence. The only view that escapes my way of formulating the problem for the deductive closure constraint is in fact itself a reductive (...) view: namely, the view that outright belief is credence 1. However, I argue that this view is unsustainable. Moreover, my version of the problem turns on no particular theory of evidence or evidential probability, and so cannot be avoided by adopting some revisionary such theory. In sum, deductive closure is in more serious, and more general, trouble than some have thought. (shrink)

In the human cognitive economy there are four grades of epistemic involvement. Knowledge partitions into distinct sorts, each in turn subject to gradations. This gives a fourwise partition on ignorance, which exhibits somewhat different coinstantiation possibilities. The elements of these partitions interact with one another in complex and sometimes cognitively fruitful ways. The first grade of knowledge I call “anselmian” to echo the famous declaration credo ut intelligam, that is, “I believe in order that I may come to know”. As (...) construed here, one knows in this anselmian way that E = mc2 just in case one knows that sentence expresses a true statement, but without having to understand the proposition it expresses. Most epistemologists ignore the significance of this grade of epistemic involvement. In a second grade of epistemic involvement, knowing that E = mc2 is knowing what that sentence means and understanding the proposition it express. This is knowledge in the propositional or semantic sense, and is the dominant target of epistemological investigation. Tacit and implicit knowledge occupies another tier. A typical example would be something that someone has “known all along” but, until now, hasn’t had occasion to put her mind to it or formulate in words. TI-knowledge remains a minority interest in today’s epistemology. Operating at a fourth grade of epistemic involvement is what I call “impact”-knowledge, which is the knowledge of a matter at its deepest and most widespread. An example, to be discussed below, is the knowledge that was generated by the Wiles proof of Fermat’s last theorem. Its true importance lies not only, or even mainly, in its verification of a commonly accepted fact about numbers, but rather in its enrichment of the mathematics of elliptical curves and the promise it holds for greater advancement into the mathematical unknown. Knowledge of this fourth grade has yet to find a seat in the parliaments of epistemology. Knowledge of the anselmian sort is independent of the other three. Tacit and implicit knowledge is incompatible with anselmian and semantic knowledge but coinstantiable with impact-knowledge. Semantic knowledge is incompatible with tacit and implicit knowledge but coinstantiable with the others. Impact-knowledge is pairwise coinstantiable with the others. Below I will bring the ignorance partitions into such alignment as they have with these ones. In doing so, I’ll propose a naturalized causal response epistemology designed to give these interactive distinctions the theoretical air they need to breathe. (shrink)

A theory of evidential probability is developed from two assumptions:(1) the evidential probability of a proposition is its probability conditional on the total evidence;(2) one's total evidence is one's total knowledge. Evidential probability is distinguished from both subjective and objective probability. Loss as well as gain of evidence is permitted. Evidential probability is embedded within epistemic logic by means of possible worlds semantics for modal logic; this allows a natural theory of higher-order probability to be developed. In particular, it is (...) emphasized that it is sometimes uncertain which propositions are part of one's total evidence; some surprising implications of this fact are drawn out. (shrink)

Bayesian probability is normally defined over a fixed language or eventspace. But in practice language is susceptible to change, and thequestion naturally arises as to how Bayesian degrees of belief shouldchange as language changes. I argue here that this question poses aserious challenge to Bayesianism. The Bayesian may be able to meet thischallenge however, and I outline a practical method for changing degreesof belief over changes in finite propositional languages.

What is the connection between justification and the kind of consequence relations that are studied by logic? In this essay, I shall try to provide an answer, by proposing a general conception of the kind of inference that counts as justified or rational.

Since at least the 1938 publication of Hans Reichenbach’s Experience and Predication , there has been widespread agreement that, when discussing the beliefs that people have, it is important to distinguish contexts of discovery and contexts of justification. Traditionally, when one conflates the two contexts, the result is a “genetic fallacy”. This paper examines genealogical critiques and addresses the question of whether such critiques are fallacious and, if so, whether this vitiates their usefulness. The paper concludes that while there may (...) be one or more senses in which genealogical critiques are fallacious, this does not vitiate their value. (shrink)

Moore's paradox is a paradox in which certain kinds of belief or assertion, such as a belief that ?it is raining and I do not believe that it is raining?, are irrational despite involving no obvious contradiction in what is believed. But is there a parallel paradox involving other kinds of attitude, in particular desire? I argue that certain kinds of desire would be irrational to have for similar, distinctive reasons that having Moorean beliefs would be irrational to have. Hence, (...) I argue that such desires, a desire that ?one have a particular desire that was frustrated? or a desire that ?some state of affairs obtain about which one was indifferent?, are a parallel Moorean paradox of desire. I further argue that this analogous paradox has implications for practical reasoning, in particular by presenting a problem for instrumentalism about the objects of desire. (shrink)

“How can I, who am thinking about the entire, centerless universe, be anything so specific as this: this measly creature existing in a tiny morsel of space and time?” This metaphysically self-deprecating question, posed by Thomas Nagel, holds an insight into the nature of personhood and the ordinary ways we value it, in others and in ourselves. I articulate that insight and apply it to the phenomena of friendship, companionship, sexuality, solitude, and love. Although love comes in many forms, I (...) say, it always involves a sense of wonder at a finite creature thinking infinite thoughts. (shrink)

In ‘Reasoning and Regress’ I argued that inferring a conclusion from a set of propositions may simply consist in taking it that the conclusion follows from these propositions—thereby defusing familiar regress arguments. Sinan Dogramaci challenges the generality of this view, on the grounds that sometimes you may draw conclusions from no premisses that you believe. I respond by clarifying a distinction between the premisses of an argument from the reasons your conclusion is based upon. While suppositional reasoning may involve no (...) premisses in the former sense, it does not follow that it does not involve concluding something on the basis of reasons. This allows the view defended in ‘Reasoning and Regress’ to extend to suppositional reasoning. (shrink)

Current responses to the question of how one should adjust one’s beliefs in response to peer disagreement have, in general, formed a spectrum at one end of which sit the so-called ‘conciliatory’ views and whose other end is occupied by the ‘steadfast’ views. While the conciliatory views of disagreement maintain that one is required to make doxastic conciliation when faced with an epistemic peer who holds a different stance on a particular subject, the steadfast views allow us to maintain our (...) confidence in our relevant beliefs. My aim in this paper is not to adjudicate between these views. Rather, I shall focus on a particular strategy, namely, denying the appearance of epistemic symmetry between peers, that the steadfast views standardly invoke in support of their position. Having closely examined certain representative examples of the steadfast approach, I will argue that this strategy is fundamentally flawed. (shrink)

It is undeniable that human agents sometimes act badly, and it seems that they sometimes pursue bad things simply because they are bad. This latter phenomenon has often been taken to provide counterexamples to views according to which we always act under the guise of the good. This paper identifies several distinct arguments in favour of the possibility that one can act under the guise of the bad. GG seems to face more serious difficulties when trying to answer three different, (...) but related, arguments for the possibility of acting under the guise of the bad. The main strategies available to answer these objections end up either undermining the motivation for GG or failing to do full justice to the nature of perverse motivation. However, these difficulties turn out to be generated by focusing on a particular version of GG, what I call the “content version”. But we have independent reasons to prefer a different version of GG; namely, the “attitude version”. The attitude version allows for a much richer understanding of the possibility of acting on what we conceive to be bad. Drawing on an analogy with theoretical akrasia and theoretical perversion, I try to show how the attitude version can provide a compelling account of perverse actions. (shrink)

How should we account for self-knowledge of our inner lives? Some have argued that just as we have various senses that allow us to perceive the environment, we have an inner sense that allows us to perceive our inner lives. But others find such a view implausible and think that there are other ways to account for self-knowledge. With respect to all-or-nothing beliefs, some have held that we may account for self-knowledge by appealing to the claim that such beliefs are (...) transparent--that we may answer the question 'Do you believe p?' by answering the question 'Is it the case that p?' But surprisingly, little or no attention has been paid to the question of whether partial beliefs are transparent. In this paper, I clarify the question of whether partial beliefs are transparent. I also consider various attempts to answer the question in the affirmative. To anticipate, my verdict is pessimistic: I argue that such attempts fail. (shrink)

According to success semantics, a belief’s content is that which guarantees the success of the actions that the belief, in combination with the relevant desires, would cause. One worry with the view is that it seems to apply only to full beliefs and fares poorly in dealing with partial beliefs. For example, if Ida’s partial belief that p is of strength 0.5, she may act in a way that would fulfill her desires if p were in fact false—assuming that she (...) desires money, she may well accept a bet that pays her $500 if not-p and costs her nothing otherwise. In response to the worry, defenders of success semantics hold that the content of a partial belief is simply that which guarantees the success of the actions it would cause were it a full belief. But, as I’ll argue in this paper, such a response is unsatisfactory. (shrink)

What are the conditions under which suspension of belief—or suspension, for short—is justified? Process reliabilists hold that our beliefs are justified if and only if these are produced or sustained by reliable cognitive processes. But they have said relatively little about suspension. Perhaps they think that we may easily extend an account of justified belief to deal with justified suspension. But it's not immediately clear how we may do so; in which case, evidentialism has a distinct advantage over reliabilism. In (...) this paper, I consider some proposals as to how process reliabilists might seek to account for justified suspension. Although several of these proposals do not work, two are promising. The first such proposal appeals to the notion of propositional justification; the second involves weaving evidentialist elements into reliabilism. I'll argue that the second proposal is better than the first. (shrink)

Suppose we wish to provide a naturalistic account of intentionality. Like several other philosophers, we focus on the intentionality of belief, hoping that we may later supplement our account to accommodate other intentional states like desires and fears. Now suppose that we also take partial beliefs or credences seriously. In cashing out our favoured theory of intentionality, we may for the sake of simplicity talk as if belief is merely binary or all-or-nothing. But we should be able to supplement or (...) modify our account to accommodate credences. I shall argue, however, that it is difficult to do so with respect to certain causal or teleological theories of intentionality-in particular, those advanced by the likes of Stalnaker (Inquiry, 1984) and Millikan (J Philos 86:281–297, 1989). I shall first show that such theories are tailor-made to account for the intentionality of binary beliefs. Then I shall argue that it is hard to extend or supplement such theories to accommodate credences. Finally, I shall offer some natural ways of modifying the theories that involve an appeal to objective probabilities. But unfortunately, such modifications face problems. (shrink)

Mercier & Sperber (M&S) claim that the phenomenon of belief bias provides fundamental support for their argumentative theory and its basis in intuitive judgement. We propose that chronometric evidence necessitates a more nuanced account of belief bias that is not readily captured by argumentative theory.

In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...) notion that any system of logic should have a privileged claim to correctness, I argue that there is a sense in which Carnap’s framework-relative conception of logical norms has a constitutive role to play: though they are not constitutive for the conceptual activity for thinking, they do nevertheless set the ground rules that make certain forms of scientific inquiry possible in the first place. I conclude that Carnap’s principle of tolerance is tamer than one might have thought and that, despite remaining differences, Frege’s and Carnap’s conceptions of logic have more in common than one might have thought. (shrink)

Short abstract (98 words). Reasoning is generally seen as a means to improve knowledge and make better decisions. However, much evidence shows that reasoning often leads to epistemic distortions and poor decisions. This suggests that the function of reasoning should be rethought. Our hypothesis is that the function of reasoning is argumentative. It is to devise and evaluate arguments intended to persuade. Reasoning so conceived is adaptive given humans’ exceptional dependence on communication and vulnerability to misinformation. A wide range of (...) evidence in the psychology of reasoning and decision making can be reinterpreted and better explained in the light of this hypothesis. (shrink)

Traditional epistemologists assumed that the most important doxastic norms were rational requirements on belief. This orthodoxy has recently been challenged by the work of revolutionary epistemologists on the rational requirements on credences. Revolutionary epistemology takes it that such contemporary work is important precisely because traditional epistemologists are mistaken—credal norms are more fundamental than, and determinative of, belief norms. To make sense of their innovative project, many revolutionary epistemologists have also adopted another commitment, that norms on credences are governed by a (...) fundamental accuracy norm. Unfortunately for the revolutionary epistemologist, it has been difficult to define a measure of accuracy while maintaining that credal norms are more basic than belief norms. In this paper, I criticize one such proposal for measuring accuracy, that the accuracy of our credences should be assessed in terms of what we know, arguing that this picture ultimately cannot vindicate the revolutionary approach. (shrink)

Closure for justification is the claim that thinkers are justified in believing the logical consequences of their justified beliefs, at least when those consequences are competently deduced. Many have found this principle to be very plausible. Even more attractive is the special case of Closure known as Single-Premise Closure. In this paper, I present a challenge to Single-Premise Closure. The challenge is based on the phenomenon of rational self-doubt – it can be rational to be less than fully confident in (...) one's beliefs and patterns of reasoning. In rough outline, the argument is as follows: Consider a thinker who deduces a conclusion from a justified initial premise via an incredibly long sequence of small competent deductions. Surely, such a thinker should suspect that he has made a mistake somewhere. And surely, given this, he should not believe the conclusion of the deduction even though he has a justified belief in the initial premise. (shrink)

This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set of constraints than the (...) standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal. (shrink)

This paper develops a means–end analysis of an inductive problem that arises in particle physics: how to infer from observed reactions conservation principles that govern all reactions among elementary particles. I show that there is a reliable inference procedure that is guaranteed to arrive at an empirically adequate set of conservation principles as more and more evidence is obtained. An interesting feature of reliable procedures for finding conservation principles is that in certain precisely defined circumstances they must introduce hidden particles. (...) Among the reliable inductive methods there is a unique procedure that minimizes convergence time as well as the number of times that the method revises its conservation principles. Thus the aims of reliable, fast and steady convergence to an empirically adequate theory single out a unique optimal inference for a given set of observed reactions—including prescriptions for when exactly to introduce hidden particles. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

The problem of how to remove information from an agent's stock of beliefs is of paramount concern in the belief change literature. An inquiring agent may remove beliefs for a variety of reasons: a belief may be called into doubt or the agent may simply wish to entertain other possibilities. In the prominent AGM framework for belief change, upon which the work here is based, one of the three central operations, contraction, addresses this concern (the other two deal with the (...) incorporation of new information). Makinson has generalised this work by introducing the notion of a withdrawal operation. Underlying the account proffered by AGM is the idea of rational belief change. A belief change operation should be guided by certain principles or integrity constraints in order to characterise change by a rational agent. One of the most noted principles within the context of AGM is the Principle of Informational Economy. However, adoption of this principle in its purest form has been rejected by AGM leading to a more relaxed interpretation. In this paper, we argue that this weakening of the Principle of Informational Economy suggests that it is only one of a number of principles which should be taken into account. Furthermore, this weakening points toward a Principle of Indifference. This motivates the introduction of a belief removal operation that we call severe withdrawal. We provide rationality postulates for severe withdrawal and explore its relationship with AGM contraction. Moreover, we furnish possible worlds and epistemic entrenchment semantics for severe withdrawals. (shrink)

In this paper, I propose that one can have reason to choose a few tickets in a very large lottery and arbitrarily believe of them that they will lose. Such a view fits nicely within portions of Lehrer's theory of rational acceptance. Nonetheless, the reasonability of believing a lottery ticket will lose should not be taken to constitute the kind of justification required in an analysis of knowledge. Moreover, one should not accept what one takes to have a low chance (...) of being true. Accordingly, one should take care not to believe of too many tickets that they are to lose. Finally, while arbitrariness is no absolute barrier to epistemic reasonability, one may not be able to believe that one's lottery ticket will lose if one cannot regard oneself as knowing it will lose. (shrink)

Recently there have been several attempts in formal epistemology to develop an adequate probabilistic measure of coherence. There is much to recommend probabilistic measures of coherence. They are quantitative and render formally precise a notion—coherence—notorious for its elusiveness. Further, some of them do very well, intuitively, on a variety of test cases. Siebel, however, argues that there can be no adequate probabilistic measure of coherence. Take some set of propositions A, some probabilistic measure of coherence, and a probability distribution such (...) that all the probabilities on which A’s degree of coherence depends (according to the measure in question) are defined. Then, the argument goes, the degree to which A is coherent depends solely on the details of the distribution in question and not at all on the explanatory relations, if any, standing between the propositions in A. This is problematic, the argument continues, because, first, explanation matters for coherence, and, second, explanation cannot be adequately captured solely in terms of probability. We argue that Siebel’s argument falls short. (shrink)

This paper looks at the question of what form the requirements of practical rationality take. One common view is that the requirements of rationality are wide-scope, and another is that they are narrow-scope. I argue that the resolution to the question of wide-scope versus narrow-scope depends to a significant degree on what one expects a theory of rationality to do. In examining these expectations, I consider whether there might be a way to unify requirements of both forms into a single (...) theory of rationality, and what the difficulties involved in doing so can teach us about the foundations of practical rationality. (shrink)

ABSTRACTThis paper provides a naturalistic account of inference. We posit that the core of inference is constituted by bare inferential transitions, transitions between discursive mental representations guided by rules built into the architecture of cognitive systems. In further developing the concept of BITs, we provide an account of what Boghossian [2014] calls ‘taking’—that is, the appreciation of the rule that guides an inferential transition. We argue that BITs are sufficient for implicit taking, and then, to analyse explicit taking, we posit (...) rich inferential transitions, which are transitions that the subject is disposed to endorse. (shrink)

Severity of Test (SoT) is an alternative to Popper's logical falsification that solves a number of problems of the logical view. It was presented by Popper himself in 1963. SoT is a less sophisticated probabilistic model of hypothesis testing than Oaksford & Chater's (O&C's) information gain model, but it has a number of striking similarities. Moreover, it captures the intuition of everyday hypothesis testing.

There has been considerable philosophical debate in recent years over a thesis called epistemic permissivism. According to the permissivist, it is possible for two agents to have the exact same total body of evidence and yet differ in their belief attitudes towards some proposition, without either being irrational. However, I argue, not enough attention has been paid to the distinction between different ways in which permissivism might be true. In this paper, I present a taxonomy of forms of epistemic permissivism (...) framed as the upshot of different ways one might respond to a basic argument against the view from Roger White. I then introduce a new type of permissive view which the contemporary debate has completely ignored and which is made available when we reject a widespread and largely unexamined background commitment to static rational norms connecting beliefs and evidence in favor of dynamic norms governing processes of consideration. I show how the dynamic strategy of rejecting static norms on belief opens the door to a new kind of permissivism which is both independently attractive and especially well-placed to answer worries that have been raised against traditional permissivist views. (shrink)

I argue in favor of a certain connection between knowledge and the permissibility of action. On this approach, we do not think of the relation between those notions as reflecting a universal epistemic principle. Instead, we think of it as something resembling a platitude from folk psychology. With the help of some elementary tools from the logic of normativity and counterfactuals, I attempt to establish the connection by deriving it from more elementary principles. The new formulation involves a ceteris paribus (...) clause. Though it is often difficult to specify the exact content of a ceteris paribus clause, we will see that our clause is derived from a descriptive generalization with independent motivation. (shrink)

Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.

Can we think of a task in a distinctively practical way? Can there be practical concepts? In recent years, epistemologists, philosophers of mind, as well as philosophers of psychology have appealed to practical concepts in characterizing the content of know-how or in explaining certain features of skilled action. However, reasons for positing practical concepts are rarely discussed in a systematic fashion. This paper advances a novel argument for the psychological reality of practical concepts that relies on evidence for a distinctively (...) productive kind of reasoning. (shrink)