Year: 2021

World Logic Day — a small contribution!

A small contribution for World Logic Day 2021 today: Gödel Without (Too Many) Tears is now available as a free PDF download — linked here.

Later in the year, I plan to put up a series of short podcasts, where I give introductory chapter-by-chapter chats about book. Many students are stuck in front of video lectures for far too long at the moment anyway, so I’m very reluctant to adding to the catalogue of full-scale lectures, quite apart from the time it would take me to record decent ones. So brisk arm-waving talks sketchings some Big Ideas which you can listen to while walking around or staring out of the window, followed by readings at your own pace of comparatively content-rich chapters, seems a format for teaching/learning worth trying out.

Lea Desandre and Ensemble Jupiter, Lettres Amoureuses

Music for lockdown. And “without music, life would be a mistake”, as Nietzsche said.

00:00 – 01. Monteverdi – Si dolce è’l tormento
03:56 – 02. Frescobaldi – Se l’aura spira
05:48 – 03. Kapsberger – Toccata VI
09:30 – 04. Dalza – Calata ala Spagnola
11:20 – 05. Handel – Lascia la spina
16:05 – 06. Falconieri – Folias
19:35 – 07. Monteverdi – Lettera amorosa
26:37 – 08. Frescobaldi – Cosi mi disprezzate, Toccata prima
29:23 – 09. Handel – Ombra mai fu
32:46 – 10. Kapsberger – Toccata I
35:12 – 11. Merula – Intonazione cromatica del terzo tono
37:43 – 12. Merula – Canzonetta spirituale sopra alla nanna
45:15 – 13. Vitali – Toccata et Bergamasca
48:15 – 14. Merula – Folle è ben chi si crede
53:07 – 15. Merula – Ciaccona
55:50 – 16. Merula – Quel sguardo sdegnosetto

Monteverdi’s Lettera amorosa is a particular delight.

Logic: A Study Guide now “launched”

I’ve now retired the mid 2020 version of the TYL guide, and marked the new year by officially launching a replacement, retitled as Logic: A Study Guide. (Although the Guide’s title has changed, its webpage address stays the same, so as not to break external links.)

The Guide now takes the form of two PDFs. The first contains the rewritten Chapters 1 to 7. That’s three preliminary chapters about the aims and structure of the Guide, and then four chapters on very-elementary (“naive”) set theory, FOL, elementary model theory, and arithmetic/Gödel’s theorems. These have already been posted here, and many thanks for the most useful comments so far.

The second PDF contains Chapters 8 onwards, renumbered but otherwise unrevised from the last version of TYL. As the weeks and months go by, the first PDF should grow as more newly revised chapters are added, and the second PDF will correspondingly shrink. Or at least, that’s the plan!

Scroll to Top