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...

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...

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....

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 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.

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.

An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, "Self-Reference" reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.

Philosophers have had a way of sometimes obstructing the admirable endeavour of
philosophy: To address the fundamental issues of human existence and the
workings of nature. This obstruction is emphasized by suggesting rather odd and
exotic prerequisites for solving a seemingly simple problem; a particular jargon
in which no words occurring have less than seven syllables and by insane thought
experiments. When the impenetrable jargon is paired up with ludicrous thought
experiments and the philosopher at the same time continues to insist that he or
she is addressing the fundamental problems of...

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

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.