There are many proposed aims for scientific inquiry--to explain or predict events, to confirm or falsify hypotheses, or to find hypotheses that cohere with our other beliefs in some logical or probabilistic sense. This book is devoted to a different proposal--that the logical structure of the scientist's method should guarantee eventual arrival at the truth given the scientist's background assumptions. Interest in this methodological property, called "logical reliability," stems from formal learning theory, which draws its insights not from the theory of probability, but from the theory of...

William Tait is one of the most distinguished philosophers of mathematics of the last fifty years. This volume collects his most important published philosophical papers from the 1980's to the present. The articles cover a wide range of issues in the foundations and philosophy of mathematics, including some on historical figures ranging from Plato to Godel.

Tait's main contributions were initially in proof theory and constructive mathematics, later moving on to more philosophical subjects including finitism and skepticism about mathematics. This collection, presented as a whole, reveals...