Update on my old post on modal logic textbooks: Two new modal logic books I have recently come across: Nino B. Cocchiarella and Max A. Freund, Modal Logic: An Introduction to its Syntax and Semantics (Oxford, 2008)Walter Carnielli and Claudio Pizzi, Modalities and Multimodalities (Springer, 2008) Anyone already read these and have an opinion? The … Continue reading New Modal Logic Books

If you're going to be in Pittsburgh (at the PSA) in three weeks, please come to the Carnap Reception that Open Court is going to throw on Friday, Nov 7. I think it'll be at 5:30. Vol. 1 of Carnap's Collected Works will be presented. I expect there will be free drinks, too!

Theorem(e)'s, that is, Henri Galinon's, page of links to free, online logic textbooks and survey texts has moved and is now updated.

Since I'm hanging out with a bunch of category theorists every Wednesday, web finds with "category theory" in them keep attracting my attention. A couple of weeks ago, I came across this book draft posted on arXiv: Atish Bagchi and Charles Wells, Graph-based Logic and Sketches At first I thought, cool!, a new book on … Continue reading Logic and Category Theory

Are you sitting in front of the computer, hitting the "reload" button every two seconds to see if the October Jobs for Philosophers is posted on the APA website yet? Why not check out the job that we have right here: Assistant Professor with AOS in Logic?UPDATE: Hm, looks like there aren't many logic jobs … Continue reading Jobs for Logicians

Today I taught Ch. 13 of Peter Smith's book. We showed that every Σ1 function can be written as a composition of two Δ0 functions (p. 108). In his proof of this, Peter's following Boolos Burgess & Jeffrey (Lemma 16.12 on p. 206 of the 4th & 5th ed.; it's not in the 3rd so … Continue reading Why is Every Σ1 Function a Composition of Two Δ0 Functions?

NB: History and philosophy of computation explicitly part of the scope. Note also the philosophers on the program committee and the special session on philosophical and mathematical aspects of hypercomputation.CiE 2009: COMPUTABILITY IN EUROPE 2009 -Mathematical Theory and Computational PracticeHeidelberg, Germany19 - 24 July 2009Deadline for submissions: 20 JANUARY, 2009 http://www.math.uni-heidelberg.de/logic/cie2009/ CiE 2009 is the … Continue reading CfP: Computability in Europe 2009

So I got fed up with Bloglines one time too many, and I switched to Google Reader. It maybe it's just that I'm still getting used to it, but I find the user interface of Bloglines a bit more intuitive. And it has served me well for years. Wait--Why do I feel bad about switching … Continue reading Blog Changes

If you're a member of the ASL,* you recently received the September Newsletter. In it--maybe easy to miss--this nice opportunity to acquire some logic books for cheap: For a limited time, the ASL is making available the following volumes from its book series at an additional discount.Lecture Notes in Logic (each volume $12 for ASL … Continue reading Hájek/Pudlák for Cheap

From Theorem(e): Nuel Belnap now has two logic texbook drafts on his webpage :Notes on the Art of Logic (.pdf, 310 p.)Notes on the Science of Logic (.pdf, 237p.) The first is an intro to logic, with truth table method, natural deduction proofs, etc., the second a course on metalogic, with completeness proofs.I did mention … Continue reading Belnap, Art and Science of Logic

CUP is giving away copies of Martin Gardner's New Mathematical Library if you can solve a logic puzzle--any reader of this blog should be able to solve this one! N.B. The rules that say: These books represent new editions of Gardner’s massive Scientific American corpus. Many people know these puzzles by heart. If you do, … Continue reading Win Gardner Book by Solving Puzzle

My colleague Robin Cockett and I have been running a research group here at Calgary where the various computer scientists, mathematicians, and philosophers interested in logic, theory, foundations, etc. meet and present work. For a long time we've had weekly meetings and everything went great, but then both Robin and I went on leave and … Continue reading Calgary Peripatetic Research Group in Logic and Category Theory

The ASL Newsletter went out today, and it looks like the Winter Meeting will be very exciting: 2008-09 ASL Winter Meeting (with APA) Philadelphia, PennsylvaniaDecember 27–30, 2008This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. The program includes three invited sessions. For the first, a … Continue reading Kripke on Hilbert’s Program

The Vienna International Summer University next year (July 13-24, 2009) will be on the topic "The Culture of Science and Its Philosophy". Call for Participation just came in. Stupid framed website: to apply, go to the website, then click on "Application" in the navigation bar on the left. Call for ApplicationApplication deadline: January 30, 2009 … Continue reading Vienna International Summer University 2009: The Culture of Science and Its Philosophy

I'm going to pretend I'm not in the timezone I'm in, and that it's still OneWebDay. And sing the praises of the internet. Specifically, "today," I realized again how much I depend on the availability of information on the internet and the communication possibilities it opens up. As examples, two things: Hotel room, 3am, preparing … Continue reading Thank You, Internet

The "Nobel of philosophy and logic" was awarded this year to Thomas Nagel. And the Schock Prize in mathematics goes to Endre Szemerédi. Full citations here (PDF).Update: I forgot that these were actually announced back in May. There's a symposium at the Swedisch Academy in honor of Nagel tomorrow.

These will go in a homework assignment in my next Intro Logic class.

In February of last year, BIRS had an amazing workshop on "Mathematical Methods in Philosophy". We (i.e., Aldo Antonelli, Alasdair Urquhart, and I) collected some of the very exciting contributions from that workshop in a Special Issue of the new Review of Symbolic Logic, and that issue is now online! We even managed to get … Continue reading Mathematical Methods in Philosophy is Out!

In Bloglines, the atom feed for LogBlog shows up as "does not exist", and it has so for a couple of days. Is that just me? Maybe I should just switch to Google Reader, but Google is almost taking on a Microsoft-ish quality in my mind. Plus, not sure it can do the blogroll the … Continue reading Bloglines Problems

This just came in over the wire: A new project on the Foundations of Logical Consequence will start at the University of St Andrews in January 2009. Details of the project can be found at:http://www.st-andrews.ac.uk/~arche/projects/logic/The project will run for three and a half years from January 2009 until June 2012. There are two post-doctoral posts … Continue reading Arché Project on Logical Consequence