Monthly Archives: June 2016

Benson Mates wins!

Benson Mates starts the introductory chapter of his classic Elementary Logic as follows: This chapter is designed to give an informal and intuitive account of the matters with which logic is primarily concerned. Some such introduction is surely required; otherwise, the beginner … Continue reading

Posted in Logic | 5 Comments

More pre-formal preambles

As I said in my previous logical post, I’ve been looking at what I called the “pre-formal preamble” that you get in (some) entry-level formal logic books like my IFL — i.e. the introductory chapter(s) which informally explain notions like deductive validity, … Continue reading

Posted in Logic, This and that | Leave a comment

Brexit blues

A miserable day. Not so much for the result — who really knows what the effects will be, though I voted according to my best efforts at judging the likely upshots for the young and/or poor (for the well-off old like me will … Continue reading

Posted in This and that | 1 Comment

Intro to Formal Logic 2! — and writing a pre-formal preamble

News: I didn’t hesitate long — I’ve decided to take up the suggestion that I write a second edition of my Introduction to Formal Logic. The headline plan that CUP and I are both pretty happy with is to include chapters on natural … Continue reading

Posted in Logic | Leave a comment

Explaining Chaos, now freely available

John Earman wrote on the cover of my 1998 book Explaining Chaos “This book is a splendid achievement. With a minimum of technical apparatus, the author gives the reader a good feeling for the mathematics that underlies the collection of phenomena that … Continue reading

Posted in This and that | Leave a comment

“Multiversism and Concepts of Set” revisited

A month ago I posted here a link to an interesting paper here by Neil Barton. There’s now a discussion exchange, which it would be a pity to leave buried unread in comments on an old posting: so here it is. From Rowsety Moid. … Continue reading

Posted in Logic, Phil. of maths | 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

The difference a bit of history makes

We keep car and bikes in the garage at the bottom of the garden. The lane there is very rough and ready. It is unclear who owns what and whose responsibility it all is. The potholes make cycling a hazard, and you have to inch … Continue reading

Posted in This and that | Leave a comment

A Note on Core Logic

Here’s a very short Note on Core Logic — that’s Core Logic in Neil Tennant’s sense — prompted by reading a forthcoming short paper by Joseph Vidal-Rosset which offers what are supposed to be three fatal objections (link to his paper in … Continue reading

Posted in Logic | Leave a comment

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