Robert Goldblatt is a logician based at Victoria University, Wellington, New Zealand.
On modal logic:
On topos theory and internal formal logic:
Topoi: The Categorial Analysis of Logic, 2nd ed. North-Holland Amsterdam 1984. (Dover reprint New York 2006; Project Euclid)
A point of terminology: – I have consistently used the word “categorial” where the literature uniformly employs “categorical”. The reason is that while both can serve as adjectival forms of the noun “category”, the second of them already has a different and long established usage in the domain of logic, one that derives from its ordinary-language meaning of “absolute”. Logicians have known since the work of Gödel that set theory has no categorical axiomatisation. One function of this book will be to explain to them why it does have a categorial one. [preface, p. x]
Last revised on July 15, 2023 at 16:39:03. See the history of this page for a list of all contributions to it.