Miscellaneous

Proof: a thematic history

In Spring semester 2024 I was invited to give a series of four mini-lectures on the history of logic in Majid Alizadeh’s Introduction to Logic course at the University of Tehran. You can find my slides below.

1. The Emergence of Proof in Ancient Greece
2. The Algebra of Logic Tradition
3. Frege’s Logicism
4. Hilbert’s Program

(Cautionary note: all translations are from well-known sources and are not mine.)

My favorite publications

(Ordered by publication date.)

1. Two Treatises Concerning Government, John Locke
2. An Enquiry Concerning Human Understanding, David Hume
3. Dialogues Concerning Natural Religion, David Hume
4. “Empiricism, Semantics, and Ontology,” Rudolf Carnap
5. Tawallod-ī dīgar, Forugh Farrokhzad
6. The Selfish Gene, Richard Dawkins
7. The First Three Minutes, Steven Weinberg
8. The Intentional Stance, Daniel C. Dennett