Category Archives: Books

Gerhard Gentzen’s Shorthand Notes

Springer have just published an exceptional volume that should quite certainly be in any university library that has any kind of logic collection. From the blurb of Saved from The Cellar – Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics: “Attempts … Continue reading

Posted in Books, Logic | Leave a comment

Logic (etc.) books of the year?

It’s that time again when the weekend papers are full of their lists of books of the year.  I have to say that so many recommendations sound frankly quite unappealing — surely, there’s a lot of literary virtue-signalling going on! —  but that still … Continue reading

Posted in Books, Logic | 8 Comments

Life’s choppier waters

My non-logical readings are rather random, except for one pretty firm rule — I try to alternate between reading something new (or at least, new to me), and re-reading something familiar (or at least something that would be familiar, if only … Continue reading

Posted in Books, This and that | Leave a comment

Intro to Formal Logic 2?

I’m mulling over a proposal that I write a second edition of my Introduction to Formal Logic, first published thirteen years ago by CUP. I’m tempted. I’m sure I could make a very much better job of it. Though, of course, I’m only … Continue reading

Posted in Books, Logic | 3 Comments

Quick book note: Prime Numbers and the Riemann Hypothesis

Here’s a newly published book from CUP by Barry Mazur and William Stein. It’s delightfully short — just 128 pages before the endnotes, and in fact a fair proportion of those relatively few pages is taken up with graphs and diagrams, and … Continue reading

Posted in Books | Leave a comment

Kurt Gödel, Philosopher-Scientist #5

The next paper in Kurt Gödel, Philosopher-Scientist is by Paola Cantù, on “Peano and Gödel”. The headline claim is that Gödel’s philosophical notebooks indicate that he had read Peano (and in particular Peano’s contributions to the Formulaire des mathématiques /Formulario Mathematico) rather carefully — and … Continue reading

Posted in Books | Leave a comment

Kurt Gödel, Philosopher-Scientist #4

After the two introductory papers, the volume we’re taking about divides into two parts: “Close Readings of some of Gödel’s Philosophical Remarks (Max Phil)” and “New Readings in Gödel’s Philosophy”, and in each part the papers are ordered alphabetically by … Continue reading

Posted in Books | Leave a comment

Kurt Gödel, Philosopher-Scientist #3

We are talking about the second paper of this volume, namely “Kurt Gödel’s Philosophical Remarks (Max Phil)”  by Gabriella Crocco and Eva-Maria Engelen, and are turning to its third and final section titled  “The content of the Philosophical Remarks (=Max Phil). First insights”. (3) Crocco and Engelen say that the philosophical notebooks … Continue reading

Posted in Books | Leave a comment

Kurt Gödel, Philosopher-Scientist #2

After John Dawson’s very introductory piece there follows another introductory paper, “Kurt Gödel’s Philosophical Remarks (Max Phil)” by the editors of the volume, Gabriella Crocco and Eva-Maria Engelen. All the essays in the book, by the way, are in English — … Continue reading

Posted in Books | 1 Comment

Kurt Gödel, Philosopher-Scientist #1

I’ve just got a copy of this new collection of essays, Kurt Gödel, Philosopher-Scientist, edited by Gabriella Crocco and Eva-Maria Engelen (Presses Universitaires de Provence, ISBN 9782853999762, pbk 492pp., 35€ from amazon.fr). Here’s the table of contents. The essays, at a very … Continue reading

Posted in Books | Leave a comment