This chapter contains sections titled: Belief Revision in Latin America: The Legacy of Carlos Alchourrón The AGM Approach The Logic of Theory Change and Epistemology What Is an Epistemic State? Departures from AGM References.

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, (...) are characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

This position paper advocates combining formal epistemology and the new paradigm psychology of reasoning in the studies of conditionals and reasoning with uncertainty. The new paradigm psychology of reasoning is characterized by the use of probability theory as a rationality framework instead of classical logic, used by more traditional approaches to the psychology of reasoning. This paper presents a new interdisciplinary research program which involves both formal and experimental work. To illustrate the program, the paper discusses recent (...) work on the paradoxes of the material conditional, nonmonotonic reasoning, and Adams’ Thesis. It also identifies the issue of updating on conditionals as an area which seems to call for a combined formal and empirical approach. (shrink)

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in (...) which results from formal epistemology have been used fruitfully to advance epistemically‐relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic. 'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science (...) and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction - and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology. (shrink)

Doxastic TheoriesThe application of formal tools to questions related to epistemology is of course not at all new. However, there has been a surge of interest in the field now known as “formal epistemology” over the past decade, with two annual conference series and an annual summer school at Carnegie Mellon University, in addition to many one-off events devoted to the field. A glance at the programs of these series illustrates the wide-ranging set of topics that (...) have been grouped under this name, ranging from rational choice theory and the foundations of statistics, to logics of knowledge and formal measures of coherence, with much more besides.In this paper I will ignore most of these topics, and just trace some parts of the history of two ideas about belief whose current interaction may lead to future progress. One idea is the idea of belief, disbelief, and suspension of judgment as a meaningful tripartite dis .. (shrink)

This book develops new techniques in formal epistemology and applies them to the challenge of Cartesian skepticism. It introduces two formats of epistemic evaluation that should be of interest to epistemologists and philosophers of science: the dual-component format, which evaluates a statement on the basis of its safety and informativeness, and the relative-divergence format, which evaluates a probabilistic model on the basis of its complexity and goodness of fit with data. Tomoji Shogenji shows that the former lends support (...) to Cartesian skepticism, but the latter allows us to defeat Cartesian skepticism. Along the way, Shogenji addresses a number of related issues in epistemology and philosophy of science, including epistemic circularity, epistemic closure, and inductive skepticism. (shrink)

Yet, in broader terms, formal epistemology is not merely a methodological tool for epistemologists, but a discipline in its own right. On this programmatic view, formal epistemology is an interdisciplinary research program that covers work by philosophers, mathematicians, computer scientists, statisticians, psychologists, operations researchers, and economists who aim to give mathematical and sometimes computational representations of, along with sound strategies for reasoning about, knowledge, belief, judgment and decision making.

This thesis consists of a collection of five papers on naturalized formal epistemology of uncertain reasoning. In all papers I apply coherence based probability logic to make fundamental epistemological questions precise and propose new solutions to old problems. I investigate the rational evaluation of uncertain arguments, develop a new measure of argument strength, and explore the semantics of uncertain indicative conditionals. Specifically, I study formally and empirically the semantics of negated apparently selfcontradictory conditionals (Aristotle’s theses), resolve a number (...) of paradoxes of the material conditional in a purely semantical way without employing pragmatics and investigate the psychological plausibility of the proposed semantics. Moreover, I defend the formalization of defeasible inferences within a probabilistic framework of nonmonotonic reasoning and empirically justify the formalizations by a series of psychological experiments. I investigate general properties of uncertain argument forms and the interrelations among logical validity, Adams’ p-validity and probabilistic informativeness. (shrink)

This article connects recent work in formal epistemology to work in economics and computer science. Analysing the Dutch Book Arguments, Epistemic Utility Theory and Objective Bayesian Epistemology we discover that formal epistemologists employ the same argument structure as economists and computer scientists. Since similar approaches often have similar problems and have shared solutions, opportunities for cross-fertilisation abound.

Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' (...) epistemology. His book will both define and further the debate between philosophers from two very different sides of the epistemological spectrum. (shrink)

Formal methods are changing how epistemology is being studied and understood. A Critical Introduction to Formal Epistemology introduces the types of formal theories being used and explains how they are shaping the subject. Beginning with the basics of probability and Bayesianism, it shows how representing degrees of belief using probabilities informs central debates in epistemology. As well as discussing induction, the paradox of confirmation and the main challenges to Bayesianism, this comprehensive overview covers objective (...) chance, peer disagreement, the concept of full belief, and the traditional problems of justification and knowledge. Subjecting each position to a critical analysis, it explains the main issues in formal epistemology, and the motivations and drawbacks of each position. Written in an accessible language and supported study questions, guides to further reading and a glossary, positions are placed in an historic context to give a sense of the development of the field. As the first introductory textbook on formal epistemology, A Critical Introduction to Formal Epistemology is an invaluable resource for students and scholars of contemporary epistemology. (shrink)

This special issue presents a series of articles focusing on recent work in formal epistemology and formal philosophy. The articles in the latter category elaborate on the notion of context and content and their relationships. This work is not unrelated to recent developments in formal epistemology. Logical models of context, when connected with the representation of epistemic context, are clearly relevant for many issues considered by formal epistemologists. For example, the semantic framework Joe Halpern (...) uses in his article for this issue has been applied elsewhere to solve problems in interactive epistemology. (shrink)

I raise skeptical doubts about the prospects of Bayesian formal epistemology for providing an adequate general normative model of epistemic rationality. The notion of credence, I argue, embodies a very dubious psychological myth, viz., that for virtually any proposition p that one can entertain and understand, one has some quantitatively precise, 0-to-1 ratio-scale, doxastic attitude toward p. The concept of credence faces further serious problems as well—different ones depending on whether credence 1 is construed as full belief (the (...) limit case of so-called partial belief) or instead is construed as absolute certainty. I argue that the notion of an “ideal Bayesian reasoner” cannot serve as a normative ideal that actual human agents should seek to emulate as closely as they can, because different such reasoners who all have the same evidence as oneself—no single one them being uniquely psychologically most similar to oneself—will differ from one another in their credences (e.g., because they commence from different prior credences). I argue that epistemic probability, properly understood, is quantitative degree of evidential support relative to one’s evidence, and that principled epistemic probabilities arise only under quite special evidential circumstances—which means that epistemic probability is ill suited to figure centrally within general norms of human epistemic rationality. (shrink)

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in (...) which results from formal epistemology have been used fruitfully to advance epistemically-relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small (...) aperture. Then, we explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call “dynamic epistemology”. It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, (...) and rationality, in a number of central axes in dynamic epistemology: temporal, social, probabilistic and even deontic dynamics. (shrink)

We ponder about the kind of problems and perspectives of a “formalized epistemology”, by considering the advantages than one can get from a concern with the “formal”, with its structural orientation, that would favour comprehensive, unifying and synthetic, intelligibility. We confront this perspective with that of the changes in knowledge, considering the relation between form and meaning for knowledge contents, and examine the notion of “epistemic operation” as instrumental for creating new forms, at the theoretical and meta-theoretical levels. (...) Actually, the notions of form, of formal and of object are not independent of the problem of a subject that decides on conventions and choices. “Epistemic operations” might suggest a link with “algorithmic functions” for knowledge statements, that themselves entail the risk of reductionism in a naturalistic conception of representation. (shrink)

The goal with these questions is to gain a sense of what contemporary epistemology is up to and its broader intellectual environment , with particular emphasis on the meeting point between mainstream and formal epistemology.

This paper makes explicit the way in which many theorists of the epistemology of uncertainty, or formal epistemologists, are committed to a version of noncognitivism—one about thoughts that something is likely. It does so by drawing an analogy with metaethical noncognitivism. I explore the degree to which the motivations for both views are similar and how both views have to grapple with the Frege‐Geach Problem about complex thoughts. The major upshot of recognizing this noncognitivism is that it presents (...) challenges and opportunities not only in the philosophy of mind and language but also in epistemology itself. I present some examples where attention to the implicit noncognitivism in formal epistemology has affected or should affect epistemological theory. And I suggest that it is likely that further examples of this sort will arise. (shrink)

As Vincent Hendricks remarks early on in this book, the formal and mainstream traditions of epistemic theorising have mostly evolved independently of each other. This initial impression is confirmed by a comparison of the main problems and methods practitioners in each tradition are concerned with. Mainstream epistemol- ogy engages in a dialectical game of proposing and challenging definitions of knowledge. Formal epistemologists proceed differently, as they design a wide variety of axiomatic and model-theoretic methods whose consequences they investigate (...) independently of the need of giving counterexample-free definitions of knowledge. Or at least, this is a common way to explain where both disciplines stand in the larger landscape of epistemic theorising, and why interactions between them remain scarce. The main ambition of this book is to show that the distinction between formal and mainstream approaches should not preclude a fruitful interaction, and that it only takes the right outlook on their respective practices to disclose plenty of room for interaction. (shrink)

Contemporary epistemologists are roughly divided into those relying largely on common-sense considerations and focusing on examples and counterexamples for advancing or rejecting various epistemological theses, and those applying a variety of tools and methods from logic, computability theory or probability theory to the theory of knowledge. The two sorts, and the traditions to which they hitherto are taken to belong, have unfortunately proceeded largely in isolation from one another. But on closer examination the approaches have much in common, may be (...) bridged for their mutual benefit and the advancement of epistemology in general. Here are 7 ways of doing it as the invited papers in this special issue of Philosophical Studies demonstrate the fruitful interaction between informal considerations and various formal apparata in order to support, sharpen, undermine, realize, or contribute in some other pertinent way to fundamental epistemological themes. (shrink)

Formal epistemology is a growing field of philosophical research. It is also evolving, with the subject matter of formal epistemology papers changing considerably over the past two decades. To quantify the ways in which formal epistemology is changing, I generate a stochastic block topic model of the abstracts of papers classified by PhilPapers.org as pertaining to formal epistemology. This model identifies fourteen salient topics of formal epistemology abstracts at a first (...) level of abstraction, and four topics at a second level of abstraction. I then study diachronic trends in the degree to which formal epistemology abstracts written in a given year are likely to contain words associated with a particular topic, beginning in 2000 and continuing to 2020. My findings suggest that there has been a marked decline in the likelihood of a given formal epistemology abstract being about logical approaches to belief revision. On the other hand, over the past two decades, the salience of probabilistic techniques in formal epistemology has increased, as has the salience of work at the intersection of formal epistemology and some areas of philosophy of science. (shrink)

This paper responds to Terry Horgan’s recent critique of Bayesian formal epistemology. I argue that each of Horgan’s criticisms misses its mark when Bayesianism is viewed as putting forward an inductive logic of confidences. Along the way, I explore the nature, scope, and limits of a defensible brand of Bayesianism.

Formal epistemology is the study of crucial concepts in general or main- stream epistemology including knowledge, belief , certainty, ra- tionality, reasoning, decision, justi cation, learning, agent interaction and information processing using a spread of di¤erent formal tools. These formal tools may be drawn from elds such as logic, probability theory, game theory, decision theory, formal learning theory, and distributed com- puting –such variety is typical in formal epistemology, a eld in which (...) interaction with topics outside of philosophy proper is the rule rather than the exception. Practitioners of formal epistemology include philosophers, computer scientists, social scientists, cognitive psychologists, theoretical economists, mathematicians, and theoretical linguists. The interdiscipli- nary nature of formal epistemology can make it di¢ cult for those new to the eld to have a sense of some of its basic agendas, actors, and issues. What follows is a breezy overview of formal epistemology as organized around notions of agency and interaction. (shrink)

In this paper we propose an approach to vagueness characterised by two features. The first one is philosophical: we move along a Kantian path emphasizing the knowing subject’s conceptual apparatus. The second one is formal: to face vagueness, and our philosophical view on it, we propose to use topology and formal topology. We show that the Kantian and the topological features joined together allow us an atypical, but promising, way of considering vagueness.

The purpose of this book is to initiate a new discipline, namely a formalized epistemological method drawn from the cognitive strategies practised in the most effective among the modern scientific disciplines, as well as from general philosophical thinking. Indeed, what is lacking in order to improve our knowledge and our domination of the modes which nowadays are available for the generation and communication of knowledge, thoroughly and rapidly and with precision and detail? It is a systematic explication of the epistemological (...) essence encrypted in the specialized languages and algorithms of the major modern scientific approaches, a systematic cross-referencing of the explicated results, and a final elaboration of a new coherent whole. Quantum mechanics, like a diver, can take us down to the level of the very first actions of our conceptualization of reality. And starting from there, it can induce an explicit understanding of certain fundamental features of the new scientific thinking. A formalized epistemology should not be mistaken for a crossdisciplinary or a multidisciplinary project. The latter projects are designed to offer to nonspecialists access to information, to results obtained inside specialized disciplines, as well as a certain understanding of these results; whereas a formalized epistemology should equip anyone with a framework for conceptualizing himself in whatever domain and direction he or she might choose. A formalized epistemology should not be mistaken either for an approach belonging to the modern cognitive sciences. These try to establish as neutrally as possible descriptions of how the human body-and-mind work spontaneously when knowledge is generated; whereas a method of conceptualization should establish what conceptual-operational deliberate procedures have to be applied in order to represent and to achieve processes of generation of knowledge optimized accordingly to any definite aims. This book addresses philosophers of science, physicists, mathematicians, logicians, computer scientists, researchers in cognitive sciences, and biologists, as well as any intellectual who is interested in scientific and philosophical thinking. (shrink)

Franz Huber’s (2008a) attempt to unify inductivist and hypothetico-deductivist intuitions on confirmation by means of a single measure are examined and compared with previous work on the theory of verisimilitude or truthlikeness. The idea of connecting ‘the logic of confirmation’ with ‘the logic of acceptability’ is also critically discussed, and it is argued that ‘acceptability’ takes necessarily into account some pragmatic criteria, and that at least two normative senses of ‘acceptability’ must be distinguished: ‘acceptable’ in the sense of ‘being allowed (...) to accept’, and ‘acceptable’ in the sense of ‘being obliged to accept’. Lastly, some connections of confirmation theory with naturalism, intertheoretic reduction, and explanation vs. understanding are explored. (shrink)

It is certainly well accepted that formal models play a key role in scientific job. Its use goes from natural sciences like physics and even to social sciences like economics and politics. Using mathematics allows the researcher to consider more complicated scenarios involving several variables. Some models are developed to make predictions, others to describe a phenomena, or just to improve the explanation of events in the world. But what has all this to do with philosophy? The aim of (...) the present paper is to investigate debates on the role of formal models in a specific philosophical subject, precisely, the epistemology of rationality. Are we able to explain why models are needed in epistemological work? This answer will be addressed on the assumptions that epistemological theorizing is committed with normative statements. More specifically, epistemologists are concerned with normative questions about what rationality requires from epistemic agents. The first goal is to discuss some assumptions about the role of mathematical models in formal epistemology undertaking. And secondly, I will argue for the following two claims: formal models are useful tools for predicting consequences of normative assumption about what is intuitively required by rationality; and insofar rationality theory is normative in virtue of being instrumentalist and aiming at truth, formal models are means-end tools, therefore, for rationality, mathematical models are devices for maximizing truth in doxastic states. (shrink)

We propose a formal representation of objects , those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject’s role, which is constructive for the mathematical objects and constitutive for the empirical ones.

We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering an epistemic agent that reasons and acts.Exploramos las posibilidades que ofrece la lógica epistémica dinámica para modelar el razonamiento abductivo. Mostramos que muchos de los problemas que encuentran los tratamientos formales de la abducción basados en lógica clásica pueden ser resueltos al considerar un agente epistémico (...) que razona y actúa. (shrink)