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...
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...
Vincent F. Hendricks Klaus Frovin Jorgensen Stig Andur Pedersen
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 ...
Vincent F. Hendricks Klaus Frovin Jorgensen V. F. Hendricks
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 ...
Paolo Mancosu Klaus Frovin Jorgensen Klaus Frovin Jxrgensen
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert s program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of...
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the ...
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...
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...
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...
A collection of papers presented at the conference on Probability Theory - Philosophy, Recent History and Relations to Science, University of Roskilde...
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert s program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of...
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the ...
