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

1. Metaphors and Logic Metaphors are among the most vigorous offspring of the creative mind; but their vitality springs from the fact that they are logical organisms in the ecology of l- guage. I aim to use logical techniques to analyze the meanings of metaphors. My goal here is to show how contemporary formal semantics can be extended to handle metaphorical utterances. What distinguishes this work is that it focuses intensely on the logical aspects of metaphors. I stress the role of logic in the generation and int- pretation of metaphors. While I don't presuppose any formal training in...

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.

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

A collection of papers presented at the conference on Probability Theory - Philosophy, Recent History and Relations to Science, University of Roskilde, Denmark, September 16-18, 1998. Since the measure theoretical definition of probability was proposed by Kolmogorov, probability theory has developed into a mature mathematical theory. It is today a fruitful field of mathematics that has important applications in philosophy, science, engineering, and many other areas. The measure theoretical definition of probability and its axioms, however, are not without their problems; some of them even...

Alle mennesker er i stand til at udf re korrekte logiske slutninger, men vi g r os sj ldent klart, hvordan vi b rer os ad. Det kan logikkenfort lle os, og derfor spiller den en s vigtig rolle i mange modernevidenskaber. Moderne element r logik l seren gennem den moderne logik og denssystemer - fra klassisk udsagnslogik for f rste ordens pr dikatslogik tilmodallogik, herunder aletisk, temporal og epistemisk logik. Bogen inde-holder ligeledes kapitler af mere avanceret karakter om formelle strukturer, modelteori og metateoretisk analyse af udsagnslogik samt f rsteordenslogik.Bogen er...