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.

Formal Philosophy is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in formal philosophy.

This volume in the Synthese Library Series is the result of a con- ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory- Philosophy! Recent History and Relations to Science. The editors would like to thank the invited speakers includ- ing in alphabetical order Prof. N.H. Bingham (BruneI Univer- sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni- versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con- ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics http://mmf.ruc.dkjmathnetj The editors would like to thank the network's organizing com- mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics."

This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Doctoral thesis Epistemology, Methodology and Reliability. The dissertation was, first of all, a methodological study of the reliable performance of the AGM-axioms (Alchourr6n, Gardenfors and Makin son) of belief revision. Second of all the dissertation included the first steps toward an epistemology for the limiting convergence of knowledge for scientific inquiry methods of both discovery and assessment. The idea of methodological reliability as a desirable property of a scientific method was introduced to me while I was a visiting Ph. D. -student at the Department of Philosophy, Carnegie Mellon University in Pitts burgh, Pennsylvania, USA in 1995-96. Here I became acquainted with formal learning theory. Learning theory provides a variety of formal tools for investigating a number of important issues within epistemology, methodology and the philosophy of science. Especially with respect to the problem of induc tion, but not exclusively. The Convergence of Scientific Knowledge-a view from the limit utilizes a few concepts from formal learning theory to study problems in modal logic and epistemology. It should be duely noted that this book has virtually nothing to do with formal learning theory or inductive learning problems."

In the past thirty years epistemology has been one of the fastest moving disciplines in philosophy. The reason for the rapid advancement is partly due to the fact that various schools and movements inside epistemology have developed different answers to classical epistemological problems, and partly due to the fact that formal methods from logic, probability theory and computability have been utilized to deal with many of the same issues and used for applications outside traditional epistemology. "New Waves in Epistemology" reflects these changes by letting up-and-coming scholars describe the current trends as well as discussing the prospects for future development.

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.

The Ministry of Truth scrutinizes the information market in the era of the attention economy calling on citizens, public educators and politicians to action in averting the role of BigTech in critical infrastructure. Through phenomena such as influencers, 'fake news', and covid conspiracies, the authors reveal how social platforms control facts, feelings and narratives in our time to such a degree that they are the de facto arbiters of truth. BigTech seemingly controls the information infrastructure and also decides what we pay attention to. The authors suggest hope for a more democratic internet through their systematic analysis of the largest players of the information age. The aim is to amplify human agency for a robust deliberative democracy - not version 2.0 - but a lasting version with staying power. This book appeals to the general interest reader and professional invested in the mobilization of responsible technological development. Vincent F. Hendricks is Professor of Formal Philosophy at The University of Copenhagen. He is Director of the Center for Information and Bubble Studies (CIBS) funded by the Carlsberg Foundation. Camilla Mehlsen is Digital Media Expert and Spokesperson for the Danish child organization Children's Welfare. She is author of several books on digital literacy and her work on digital media has been published in various newspapers and magazines.

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.

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.

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.

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.
The Anniversary volume offers contributions from J. van Benthem, W. Buszkowski, M.L. Dalla Chiara, M. Fitting, J.M. Font, R. Giuntini, R. Goldblatt, V. Marra, D. Mundici, R. Leporini, S.P. Odintsov, H. Ono, G. Priest, H. Wansing, V.R. Wojcicki and J. Zygmunt.

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics."

This volume in the Synthese Library Series is the result of a con- ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory- Philosophy! Recent History and Relations to Science. The editors would like to thank the invited speakers includ- ing in alphabetical order Prof. N.H. Bingham (BruneI Univer- sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni- versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con- ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics http://mmf.ruc.dkjmathnetj The editors would like to thank the network's organizing com- mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).

The main theme of this anthology is the unique interaction between mathematics, physics and philosophy during the beginning of the 20th century. In this book, ten renowned philosopher-historians probe insightfully into key conceptual questions of pre-quantum mathematical physics. The result is a diverse yet thematically focused compilation of first class papers on mathematics, physics and philosophy, and a source-book on the interaction between them.

This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Doctoral thesis Epistemology, Methodology and Reliability. The dissertation was, first of all, a methodological study of the reliable performance of the AGM-axioms (Alchourr6n, Gardenfors and Makin son) of belief revision. Second of all the dissertation included the first steps toward an epistemology for the limiting convergence of knowledge for scientific inquiry methods of both discovery and assessment. The idea of methodological reliability as a desirable property of a scientific method was introduced to me while I was a visiting Ph. D. -student at the Department of Philosophy, Carnegie Mellon University in Pitts burgh, Pennsylvania, USA in 1995-96. Here I became acquainted with formal learning theory. Learning theory provides a variety of formal tools for investigating a number of important issues within epistemology, methodology and the philosophy of science. Especially with respect to the problem of induc tion, but not exclusively. The Convergence of Scientific Knowledge-a view from the limit utilizes a few concepts from formal learning theory to study problems in modal logic and epistemology. It should be duely noted that this book has virtually nothing to do with formal learning theory or inductive learning problems."

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.

In the past thirty years epistemology has been one of the fastest moving disciplines in philosophy. The reason for the rapid advancement is partly due to the fact that various schools and movements inside epistemology have developed different answers to classical epistemological problems, and partly due to the fact that formal methods from logic, probability theory and computability have been utilized to deal with many of the same issues and used for applications outside traditional epistemology. "New Waves in Epistemology" reflects these changes by letting up-and-coming scholars describe the current trends as well as discussing the prospects for future development.

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

This open access book looks at how a democracy can devolve into a post-factual state. The media is being flooded by populist narratives, fake news, conspiracy theories and make-believe. Misinformation is turning into a challenge for all of us, whether politicians, journalists, or citizens. In the age of information, attention is a prime asset and may be converted into money, power, and influence - sometimes at the cost of facts. The point is to obtain exposure on the air and in print media, and to generate traffic on social media platforms. With information in abundance and attention scarce, the competition is ever fiercer with truth all too often becoming the first victim. Reality Lost: Markets of Attention, Misinformation and Manipulation is an analysis by philosophers Vincent F. Hendricks and Mads Vestergaard of the nuts and bolts of the information market, the attention economy and media eco-system which may pave way to postfactual democracy. Here misleading narratives become the basis for political opinion formation, debate, and legislation. To curb this development and the threat it poses to democratic deliberation, political self-determination and freedom, it is necessary that we first grasp the mechanisms and structural conditions that cause it.

Epistemic Logic: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in the field. We hear their views on the field, the aim, the scopes, the future direction of research and how their work fits in these respects.

Probability and Statistics: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in probability and statistics. We hear their views on the fields, aims, scopes, the future direction of research and how their work fits in these respects. Interviews with Nick Bingham, Luc Bovens, Terrence L. Fine, Haim Gaifman, Donald Gillies, James Hawthorne, Carl Hoefer, James M. Joyce, Joseph B. Kadane Isaac Levi, D.H. Mellor, Patrick Suppes, Jan von Plato, Carl Wagner, Sandy Zabell.