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)
(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!
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!
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
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
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
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
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
[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
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 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)
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
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.
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 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
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
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
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
Aldo Antonelli unexpectedly died two days ago, and I can't write about that without crying yet. Meanwhile, I recommend this beautiful paper to you: On the General Interpretation of First-Order Quantifiers, published in the ASL journal he founded, the Review of Symbolic Logic.