Tracking Reason is an ambitious work touching on a vast range of topics including (but not limited to): mathematical proof, mathematical practice, the ontological commitment of theories, nominalism, formalism, first-order versus second-order logic, logical consequence, reductive theories of logical consequence, interpretational and representational theories of consequence, syntactic accounts of consequence, ‘Opacity to introspection of the rules by which we reason’ (p. 207), 1 truth, truth predicates, the transcendent nature of truth predicates, inter-translatability of languages, deflationism, propositional quantification, inconsistency in natural languages and regimentation of natural languages. This abundant landscape of philosophy has a number of different tracks for traversing it. As indicated by the subtitle of the book, there are three main topics: Proof, Consequence and Truth. This provides the first way of reading the book. Azzouni...

Article PDF first page preview

Article PDF first page preview
Article PDF first page preview
You do not currently have access to this article.