Richard Zach, "Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)," Journal of Philosophical Logic 45(2) (2016), pp. 183–197. Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke (NAND) … Continue reading Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)
Author: rzach

Helmut Veith (1971-2016)
My friend and colleague Helmut Veith died yesterday. His death is a great and shocking loss to his family and friends, and the logic community, especially in Austria. I've known Helmut since we were undergraduates in computer science at Vienna Technical University in the early 1990s. We shared a passion for theoretical topics in computer … Continue reading Helmut Veith (1971-2016)

An Actual Textbook, and: Photos!
(Cross-posted from the Open Logic Project) Two exciting new things from the Open Logic Project. The first one is another sample textbook. I’ve previously written about how to get your textbook to print, and for my course “Logic II (Phil 379)” this term, I’ve done that. Properly: perfect bound paperbacks, with a nice cover, proper … Continue reading An Actual Textbook, and: Photos!

Association of Symbolic Logic Abstract Deadline Today!
The deadline to submit abstracts for contributed talks at the ASL Annual Meeting in Storrs, CT this May is today! There will be a super exciting Special Session on History and Philosophy of Logic, featuring: Teresa Kouri (Ohio State), Carnap on translations Daniel Nolan (ANU), Reflections on Routley's Ultralogic Program Dave Ripley (UConn), Toward a … Continue reading Association of Symbolic Logic Abstract Deadline Today!
Reconsidering Frege’s Conception of Number
Erich Reck and Roy Cook have edited a special issue of Philosophia Mathematica "Reconsidering Frege's Conception of Number," with contributions by Paddy Blanchette, Phil Ebert, Thomas Forster, Roy Cook, and Richard Heck. It is dedicated to the memory of Aldo Antonelli: Before launching into the introduction to this issue, we would first like to mention … Continue reading Reconsidering Frege’s Conception of Number

The Reason We Use Symbols
In my second logic course I start with some very basic set theory. You forget just how confusing symbols can be to students who aren't used to them. But then you also appreciate how useful they are when you try to explain in "plain English" what they mean. Even something as simple as a proof … Continue reading The Reason We Use Symbols

Diversity Summer Program on Paradoxes
Maureen Eckert is organizing Summer Program for Diversity: Logic at the University of Massachusetts Dartmouth from May 22-28, 2016. The program is open to undergraduates and recent graduates from underrepresented groups; there are 10 spaces and travel & lodging are provided. The topic of the program is paradoxes: Paradoxes present the ultimate challenge—contradictions. Logicians and … Continue reading Diversity Summer Program on Paradoxes

William Craig, 1918-2016
Bill Craig died early Thursday morning at the age of 97. He was a member of Berkeley's philosophy department since 1961, and a central figure in Berkeley's logic community. He was warm, supportive, approachable, just really a wonderful person. Berkeley's memorial notice is here. We were office mates of sorts for two years. I was … Continue reading William Craig, 1918-2016

Vote for Sigmund’s Vienna Circle Book
Karl Sigmund has a book on the Vienna Circle (to accompany the wonderful Vienna Circle exhibition this Fall for the University of Vienna's 650th anniversary). Sie nannten sich Der Wiener Kreis:Exaktes Denken am Rand des Untergangs is an accessible introduction to the history and context of the Vienna Circle. You may not need such an … Continue reading Vote for Sigmund’s Vienna Circle Book

Remembering Aldo Antonelli
[The following remarks were delivered today by Andy Arana at the beginning of a joint Paris-Davis workshop on the philosophy of mathematics, and are posted here with his permission and that of Curtis Franks. The photo above shows Aldo at a cook-off with Marco Panza at the last instalment of that workshop series in Davis, … Continue reading Remembering Aldo Antonelli

De Morgan on Ada Lovelace
My Dear Lady Byron I have received your note and should have answered no further than that I was very glad to find my apprehension (of being a party to doing mischief if I assisted Lady Lovelace’s studies without any caution) is unfounded in the opinion of yourself and Lord Lovelace, who must be better … Continue reading De Morgan on Ada Lovelace

Ada Lovelace is 200
Ada Lovelace was born 200 years ago today. Here's a roundup of articles: Meet Countess Ada Lovelace, The World’s First Computer Programmer (MTV) Remembering Ada Lovelace, computer-music prognosticator (Boston Globe) Die Zahlenzauberin (Neue Zürcher Zeitung, German)

An Undecidable Quantum Physics Problem
This is cool: In today's Nature, Toby Cubitt, David Perez-Garcia, and Michael Wolf published a paper, "Undecidability of the spectral gap." A short writeup is in Nature News, and an extended paper is on arXiv. It shows a problem in quantum physics--the spectral gap problem--to be undecidable by reducing the halting problem to it. In … Continue reading An Undecidable Quantum Physics Problem

LaTeX for Print-on-Demand Books
Spent today figuring out how to get LaTeX to produce interior and cover PDFs you can use with print-on-demand/self-publishing services such as Lulu and Blurb. Wrote about it at the Open Logic Project.
I started making my textbook for Logic II next term, in 7 easy steps. Read about it at the Open Logic Project.

Grad Conference on Logic & Language
Our awesome students are putting on a graduate student conference next May in Calgary! It's right before Congress2015, i.e., the big congress of Canadian humanities & social sciences societies, which includes the Canadian Philosophical Association, the Canadian Society for the History & Philosophy of Mathematics, and the Canadian Society for the History & Philosophy of … Continue reading Grad Conference on Logic & Language

Rózsa Péter, Pioneer of Computability Theory
Rózsa Péter was one of the pioneers of recursive function theory. I wrote a short post about her for Ada Lovelace Day in 2010. More recently, I've found this nice reminiscence/bio by Béla Andrásfai, a Hungarian graph theorist and Péter's adoptive son. I managed to track down one of his daughters, Eszter, who was so … Continue reading Rózsa Péter, Pioneer of Computability Theory

Herbrand Photograph by Natascha Artin Brunswick
I came across this long-lost photograph of Jacques Herbrand in a paper by Marcel Guillaume, "La logique mathématique en France entre les deux guerres mondiales : Quelques repères," Revue d'histoire des sciences 1/2009 (Tome 62) , p. 177-219. It turns out that the photo was taken by Natascha Artin Brunswick in 1931, when Herbrand visited Hamburg. … Continue reading Herbrand Photograph by Natascha Artin Brunswick
Open Philosophy Textbooks
Since it's open access week, and since I've been thinking about Open Educational Resources a fair bit lately, I thought I'd post briefly about the state of OER in philosophy. First, what's an OER? It's any kind of material that you can use in teaching and learning that is openly available. Examples are syllabi, handouts, … Continue reading Open Philosophy Textbooks

Book Symposium on Greg Frost-Arnold’s “Carnap, Tarski, and Quine at Harvard” in Metascience
The book symposium I organized for this year's Pacific APA on Greg Frost-Arnold's Carnap, Tarski, and Quine at Harvard: Conversations of Logic, Mathematics, and Science (Chicago: Open Court, 2013) is coming out in the journal Metascience. The papers are now online: Rick Creath, Understandability Gary Ebbs, Quine’s “predilection” for finitism Greg Lavers, Carnap’s surprising views … Continue reading Book Symposium on Greg Frost-Arnold’s “Carnap, Tarski, and Quine at Harvard” in Metascience