According to the Ramsey Test hypothesis the conditional claim that if A then B is credible just in case it is credible that B, on the supposition that A. If true the hypothesis helps explain the way in which we evaluate and use ordinary language conditionals. But impossibility results for the Ramsey Test hypothesis in its various forms suggest that it is untenable. In this paper, I argue that these results do not in fact have this implication, on the grounds (...) that similar results can be proved without recourse to the Ramsey test hypothesis. Instead they show that a number of well entrenched principles of rational belief and belief revision do not apply to conditionals. (shrink)

In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs together to form a consistent "group" picture of the world. The aim of this paper is to define and study new notions of equilibria in belief merging. To do so, we assume the agents arrive at consistency via the use of a social belief removal function, (...) in which each agent, using his own individual removal function, removes some belief from his stock of beliefs. We examine several notions of equilibria in this setting, assuming a general framework for individual belief removal due to Booth et al. We look at their inter-relations as well as prove their existence or otherwise. We also show how our equilibria can be seen as a generalisation of the idea of taking maximal consistent subsets of agents. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

We present a decision-theoretically motivated notion of contraction which, we claim, encodes the principles of minimal change and entrenchment. Contraction is seen as an operation whose goal is to minimize loses of informational value. The operation is also compatible with the principle that in contracting A one should preserve the sentences better entrenched than A (when the belief set contains A). Even when the principle of minimal change and the latter motivation for entrenchment figure prominently among the basic intuitions in (...) the works of, among others, Quine and Ullian (1978), Levi (1980, 1991), Harman (1988) and Gärdenfors (1988), formal accounts of belief change (AGM, KM – see Gärdenfors (1988); Katsuno and Mendelzon (1991)) have abandoned both principles (see Rott (2000)). We argue for the principles and we show how to construct a contraction operation, which obeys both. An axiom system is proposed. We also prove that the decision-theoretic notion of contraction can be completely characterized in terms of the given axioms. Proving this type of completeness result is a well-known open problem in the field, whose solution requires employing both decision-theoretical techniques and logical methods recently used in belief change. (shrink)

This paper combines various structures representing degrees of belief, degrees of disbelief, and degrees of non-belief (degrees of expectations) into a unified whole. The representation uses relations of comparative necessity and possibility, as well as non-probabilistic functions assigning numerical values of necessity and possibility. We define all-encompassing necessity structures which have weak expectations (mere hypotheses, guesses, conjectures, etc.) occupying the lowest ranks and very strong, ineradicable ('a priori') beliefs occupying the highest ranks. Structurally, there are no differences from the top (...) to the bottom. I argue that belief is a vague notion, and that thresholds for belief, if there are any, are context-dependent. (shrink)

This paper explores the nature of curiosity from an epistemological point of view. First it motivates this exploration by explaining why epistemologists do and should care about what curiosity is. Then it surveys the relevant literature and develops a particular approach.

The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law of excluded (...) middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

It is sometimes suggested that there are two kinds of reasoning: inferential reasoning and non-inferential reasoning. However, it is not entirely clear what the difference between these two kinds of reasoning is. In this paper, I try to answer the question what this difference is. I first discuss three answers to this question that I argue are unsatisfactory. I then give a different answer to this question, and I argue that this answer is satisfactory. I end by showing that this (...) answer can help to resolve some disagreements in which the difference between inferential and noninferential reasoning plays a role. (shrink)

This paper generalises classical revision theory of the AGM brand to sets of norms. This is achieved substituting input/output logic for classical logic and tracking the changes. Operations of derogation and amendment—analogues of contraction and revision—are defined and characterised, and the precise relationship between contraction and derogation, on the one hand, and derogation and amendment on the other, is established. It is argued that the notion of derogation, in particular, is a very important analytical tool, and that even core deontic (...) concepts such as that of permission resists a satisfactory analysis without it. By way of illustration the last section of the paper analyses the much debated concept of positive permission, of which there turns out to be more than one kind. (shrink)

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

The rationality of individual agents is secured for the most part by their make-up or design. Some agents, however – in particular, human beings – rely on the intentional exercise of thinking or reasoning in order to promote their rationality further; this is the activity that is classically exemplified in Rodin’s sculpture of Le Penseur. Do group agents have to rely on reasoning in order to maintain a rational profile? Recent results in the theory of judgment aggregation show that under (...) a range of plausible conditions they do. In a slogan: group agents are made, not born. (shrink)

There is an emerging consensus in the literature on probabilistic coherence that such coherence cannot be truth conducive unless the information sources providing the cohering information are individually credible and collectively independent. Furthermore, coherence can at best be truth conducive in a ceteris paribus sense. Bovens and Hartmann have argued that there cannot be any measure of coherence that is truth conducive even in this very weak sense. In this paper, I give an alternative impossibility proof. I provide a relatively (...) detailed comparison of the two results, which turn out to be logically unrelated, and argue that my result answers a question raised by Bovens and Hartmann’s study. Finally, I discuss the epistemological ramifications of these findings and try to make plausible that a shift to an explanatory framework such as Thagard’s is unlikely to turn the impossibility into a possibility. (shrink)

Pragmatist responses to radical skepticism do not receive much attention in contemporary analytic epistemology. This observation is my motivation for undertaking a search for a coherent pragmatist reply to radical doubt, one that can compete, in terms of clarity and sophistication, with the currently most popular approaches, such as contextualism and relevant alternatives theory. As my point of departure I take the texts of C. S. Peirce and William James. The Jamesian response is seen to consist in the application of (...) a wager argument to the skeptical issue in analogy with Pascal's wager. The Peircean strategy, on the other hand, is to attempt a direct rejection of one of the skeptic's main premises: that we do not know we are not deceived. I argue that while the Jamesian attempt is ultimately incoherent, Peirce's argument contains the core of a detailed and characteristically "pragmatic" rebuttal of skepticism, one that deserves to be taken seriously in the contemporary debate. (shrink)

The paper deals mainly with two problems in the epistemology of Frank Plumpton Ramsey. One concerns his account of knowledge, the other his fallibilism. I argue that Ramsey failed to make room for the social aspect of knowledge and, furthermore, that he did not separate the fallibility of our view from its corrigibility. My positive proposal is to combine social reliabilism and corrigibilism with a rejection of fallibilism.

The paper deals mainly with two problems in the epistemology of Frank Plumpton Ramsey. One concerns his account of knowledge, the other his fallibilism. I argue that Ramsey failed to make room for the social aspect of knowledge and, furthermore, that he did not separate the fallibility of our view from its corrigibility. My positive proposal is to combine social reliabilism and corrigibilism with a rejection of fallibilism.

Charles Peirce’s model of inquiry is supposed to demarcate appropriate methods of inquiry from specious ones. Cheryl Misak points out that Peirce’s explicit account fails, but can nevertheless be rescued by elements of his own system. While Misak’s criticism is a propos, her own attempt to fortify Peirce’s account does not succeed, as it falls prey to the same criticism she raises against Peirce’s explicit account. The account provided in this paper—the ‘open path’ alternative—draws from Peirce’s corollary to his “first (...) rule of reason”, that one should not block the road to inquiry. The ‘open path’ account is able to withstand Misak’s objections, and when combined with other aspects of Peirce’s work, shows us why the optimal way to conduct inquiry is to follow the path of greatest resistance. Inquiry, however, is rarely conducted in optimal conditions. Actual, constrained conditions of inquiry require a measure of economy in terms of what can be reasonably pursued and how. The question, then, is how to conduct our inquiries so that they are as nearly optimal as possible given actual constraints. As a working scientist, Peirce was acutely aware of the need to economize in research. Nicholas Rescher has recognized this issue’s significance for Peirce, and noted its neglect in discussions of Peirce’s work. One issue that has been largely neglected in the literature on Peirce is what specifically he recommends, based on considerations of economy, for how to go about gathering evidence. Kronz & McLaughlin points out that Peirce’s primary recommendation is that in gathering evidence relevant to a particular hypothesis we should test for empirical consequences that would not have been expected otherwise. The view that is developed in this paper is that economy in research, according to Peirce, follows the general line of his theory of inquiry. Peirce’s theory of inquiry implies that pursuit of truth requires maximizing resistance. I argue that his considerations about how to navigate within the constraints introduced in the context of actual research are also best understood as recommendations for maximizing resistance. (shrink)

A familiar adage in the philosophy of science is that general hypotheses are better supported by varied evidence than by uniform evidence. Several studies suggest that young children do not respect this principle, and thus suffer from a defect in their inductive methodology. We argue that the diversity principle does not have the normative status that psychologists attribute to it, and should be replaced by a simple rule of probability. We then report experiments designed to detect conformity to the latter (...) rule in children's inductive judgment. The results suggest that young children in both the United States and Taiwan are sensitive to the constraints imposed by the rule on judgments of probability and evidential strength. We conclude with a suggested reinterpretation of the thesis that children's inductive methodology qualifies them as “little scientists.”. (shrink)

Epistemic logic begins with the recognition that our everyday talk about knowing and believing has some systematic features that we can track and re‡ect upon. Epistemic logicians have studied and extended these glints of systematic structure in fascinating and important ways since the early 1960s. However, for one reason or another, mainstream epistemologists have shown little interest. It is striking to contrast the marginal role of epistemic logic in contemporary epistemology with the centrality of modal logic for metaphysicians. This article (...) is intended to help in correcting this oversight by presenting some important developments in epistemic logic and suggesting ways to understand their applicability to traditional epistemological problems. Obviously, by itself, tweaking the formal apparatus of epistemic logic does not solve traditional epistemological problems. Epistemic logic can help us to navigate through problems in a systematic fashion by unpacking the logic of the problematic concepts, it can also lead us to recognize problems that we had not anticipated. This is basically analogous to the role that modal logic has played in contemporary metaphysics. (shrink)

A number of seminal papers on the logic of belief change by Alchourrön, Gärden-fors, and Makinson have given rise to what is now known as the AGM paradigm. The present discussion note is a response to Neil Tennant's [1994], which aims at a critical appraisal of the AGM approach and the introduction of an alternative approach. We show that important parts of Tennants's critical remarks are based on misunderstandings or on lack of information. In the course of doing this, we (...) attend to some central philosophical issues in the theory of belief change, such as the choice of a representation for belief states and the meaning of an idealized rational agent. (shrink)

Traditionally, belief change is modelled as the construction of a belief set that satisfies a success condition. The success condition is usually that a specified sentence should be believed or not believed. Furthermore, most models of belief change employ a select-and-intersect strategy. This means that a selection is made among primary objects that satisfy the success condition, and the intersection of the selected objects is taken as outcome of the operation. However, the select-and-intersect method is difficult to justify, in particular (...) since the primary objects are not themselves plausible outcome candidates. Some of the most controversial features of belief change theory, such as recovery and the impossibility of Ramsey test conditionals, are closely connected with the select-and-intersect method. It is proposed that a selection mechanism should instead operate directly on the potential outcomes, and select only one of them. In this way many of the problems that are associated with the select-and-intersect method can be avoided. This model is simpler than previous models in the important Ockhamist sense of doing away with intermediate, cognitively inaccessible objects. However, the role of simplicity as a choice criterion in the direct selection among potential outcomes is left as an open issue. (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.

The AGM success postulates for belief expansions and revisions have been widely criticized. This has resulted in the development of a number of non-prioritized belief change theories that violate these postulates. It is shown that we must also discard the monotony postulate for belief expansions if we abandon the success postulates. Non-prioritized belief change theories should instead fulfill a weaker postulate, which we call Conditional Monotony.

En este ensayo propongo un modelo teórico para comprender el significado y alcance de los acuerdos racionales a partir de una concepción determinada de las relaciones entre justificación y verdad. Desde este modelo, al que denomino “acuerdo como signo”, se puede sostener que no todo consenso racional que surge dentro de una comunidad humana, incluidas las científicas, tiene por qué remitir única y exclusivamente a las creencias de ese grupo social y a sus modos internos de justificarlas sin que ellas (...) supongan nunca una ventana abierta al mundo, como sostiene sin asomo de dudas el etnocentrismo de Rorty. Frente al modelo propuesto y valorado desde él, el modelo que sostiene Rorty supone un caso de sinécdoque. (shrink)

An organizing theme of the dissertation is the issue of how to make philosophical theories useful for scientific purposes. An argument for the contention is presented that it doesn’t suffice merely to theoretically motivate one’s theories, and make them compatible with existing data, but that philosophers having this aim should ideally contribute to identifying unique and hard to vary predictions of their theories. This methodological recommendation is applied to the ranking-theoretic approach to conditionals, which emphasizes the epistemic relevance and the (...) expression of reason relations as part of the semantics of the natural language conditional. As a first step, this approach is theoretically motivated in a comparative discussion of other alternatives in psychology of reasoning, like the suppositional theory of conditionals, and novel approaches to the problems of compositionality and accounting for the objective purport of indicative conditionals are presented. In a second step, a formal model is formulated, which allows us to derive quantitative predictions from the ranking-theoretic approach, and it is investigated which novel avenues of empirical research that this model opens up for. Finally, a treatment is given of the problem of logical omniscience as it concerns the issue of whether ranking theory (and other similar approaches) makes too idealized assumptions about rationality to allow for interesting applications in psychology of reasoning. Building on the work of Robert Brandom, a novel solution to this problem is presented, which both opens up for new perspectives in psychology of reasoning and appears to be capable of satisfying a range of constraints on bridge principles between logic and norms of reasoning, which would otherwise stand in a tension. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

Varios teóricos del derecho han propuesto el uso de umbrales o estándares de prueba más flexibles y más finamente discriminados. En la medicina es común utilizar estándares que poseen estas características en los procedimientos diagnósticos y en los exámenes médicos. Esta ponencia ofrece un marco probabilístico para establecer estándares de prueba múltiples en cualquier disciplina. La tesis principal es que la evidencia es un concepto umbral con respecto a la probabilidad. Múltiples umbrales pueden ser establecidos en un marco de intervalos (...) de probabilidad para la hipótesis que está siendo puesta a prueba, los cuales reflejan los diferentes grados de apoyo que la evidencia le provee a la hipótesis. Examinando los mecanismos utilizados para establecer los umbrales en medicina, sugiero una manera para establecer umbrales múltiples de prueba en derecho de una manera no arbitraria. (shrink)

For any normative domain, we can theorize about what is good in that domain. Such theories include utilitarianism, a view about what is good morally. But there are many domains other than the moral; these include the prudential, the aesthetic, and the intellectual or epistemic. In this last domain, it is good to be knowledgeable and bad to ignore evidence, quite apart from the morality, prudence, and aesthetics of these things. This dissertation builds a theory that stands to the epistemic (...) domain as utilitarianism stands to the moral domain. It builds an epistemic value theory. (shrink)

In Section 2, I survey some of the ways that computers are used in mathematics. These raise questions that seem to have a generally epistemological character, although they do not fall squarely under a traditional philosophical purview. The goal of this article is to try to articulate some of these questions more clearly, and assess the philosophical methods that may be brought to bear. In Section 3, I note that most of the issues can be classified under two headings: some (...) deal with the ability of computers to deliver appropriate “evidence” for mathematical assertions, a notion that is explored in Section 4, while others deal with the ability of computers to deliver appropriate mathematical “understanding,” a notion that is considered in Section 5. Final thoughts are provided in Section 6. (shrink)

Argumentation is a dialogical attempt to bring about a desired change in the beliefs of another agent – that is, to trigger a specific belief revision process in the mind of such agent. However, so far formal models of belief revision widely neglected any systematic comparison with argumentation theories, to the point that even the simplest argumentation structures cannot be captured within such models. In this essay, we endeavour to bring together argumentation and belief revision in the same formal framework, (...) and to highlight the important role played by Toulmin’s layout of argument in fostering such integration. (shrink)