Vincent F. Hendricks

Jan Kyrre Berg Olsen

Stig Andur Pedersen

Drawing on essays from leading international and multi-disciplinary scholars, A Companion to the Philosophy of Technology is the first comprehensive and authoritative reference source to cover the key issues of technology’s impact on society and our lives. Presents the first complete, authoritative reference work in the field Organized thematically for use both as a full introduction to the field or an encyclopedic reference Draws on original essays from leading interdisciplinary scholars Features the most up-to-date and cutting edge research in the interdisciplinary fields of philosophy, technology, and their broader intellectual environments

A Companion to the Philosophy of Technology

Klaus Frovin Jørgensen

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 puzzled Kolmogorov. This book sheds light on some recent discussions of the problems in probability theory and their history, analysing their philosophical and mathematical significance, and the role pf mathematical probability theory in other sciences.

Philosophy, Recent History and Relations to Science

Probability Theory

Tinne Hoff Kjeldsen

Lise Mariane Sonne-Hansen

This book is a collection of papers presented at the conference New Trends in the History and Philosophy of Mathematics held at the University of Roskilde, Denmark, 6-8 August 1998. The purpose of the meeting was to present some of the new ideas on the study of mathematics, its character and the nature of its development. During the last decades work in history and philosophy of mathematics has led to several new original views on mathematics. Both new methods and angles of study have been introduced, and old views of, say, the nature of mathematical theories and proofs have been challenged. For instance, disciplines as etnohistorical studies of mathematics and the sociology of mathematics have resulted in several new insights, and classical historians of mathematics are also experimenting with new perspectives. In a similar way philosophy of mathematics has witnessed rather deep changes. Classical foundational studies have been challenged by new broader perspectives. The aim was to provide a forum within which historians of mathematics, philosophers, and mathematicians could exchange ideas and discuss different new approaches in the history and philosophy of mathematics. The book includes papers by Joan Richards, Henk J. M. Bos, Donald MacKenzie, Arthur Jaffe, Jody Azzouni and Paulus Gerdes. It also includes an extended introduction.

New Trends in the History and Philosophy of Mathematics

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.

History and Philosophical Significance

Proof Theory

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.

Stig Andur Pedersen

Books

Your next favorite book is out there