John Burgess

What is the simplest and most natural axiomatic replacement for the set-theoretic definition of the minimal fixed point on the Kleene scheme in Kripke’s theory of truth? What is the simplest and most natural set of axioms and rules for truth whose adoption by a subject who had never heard the word "true" before would give that subject an understanding of truth for which the minimal fixed point on the Kleene scheme would be a good model? Several axiomatic systems, old and new, are examined and evaluated as candidate answers to these questions, with results of Harvey Friedman playing a significant role in the examination.

While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of experimental mathematics on the one hand and computerized formal proofs on the other hand. Along the way, a great many historical developments in mathematics, philosophy, and logic are surveyed. Yet very little in the way of background knowledge on the part of the reader is presupposed.