# Monthly Archives: November 2010

## Cambridge Principia Symposium

A while back, a number of us had the thought that we ought to do something in Cambridge to mark the centenary of Principia. But organizing blockbuster conferences is always a real pain; and to hold them here you need … Continue reading

## Cuts, consistency and axiomatized theories

In the Wednesday Logic Reading Group, where we are working through Sara Negri and Jan von Plato’s Structural Proof Theory, I today introduced Chapter 6, ‘Structural Proof Analysis of Axiomatic Theories’. In their commendable efforts to be brief, the authors … Continue reading

## Godel Without (Too Many) Tears. Episodes 5 & 6

Here are the handouts for the last two Gödel lectures: 5. Primitive recursive functions 6. Expressing and capturing the primitive recursive functions (These two haven’t changed greatly from the previous versions from earlier in the year.)

## Mary Leng’s Mathematics and Reality, Chs 5 & 6

We are reading Mary Leng’s book in the Thursday Logic Seminar for the second part of term. It fell to me to introduce discussion of Chapters 5 and 6, and I found myself yesterday writing (very rapidly indeed) these brisk … Continue reading

Posted in Books | 2 Comments

## Intro Logic Lectures

Here’s another helping of the overheads for my first-year logic lectures 4 to 10 this term. This is the block of seven lectures on basic propositional logic via truth-tables. I’ve already posted the links to the first three very introductory … Continue reading

## Piling up on my desk

Term rattles on, leaving little time for doing much reading other than for the two logic seminars for grads (this term we looking at Mary Leng’s book on Mathematics and Reality in one, and Sara Negri and Jan von Plato’s … Continue reading

Posted in Books, Logic | 4 Comments

## 5-4-3-2-1 …

There are just five more lectures to go in (my segment of) this year’s 1A logic course. Which means that — after, ye gods, forty years in this game — there are only five more lectures to go in (probably) … Continue reading