Category: Uncategorized
-
Interview with Hao Wang and Robin Gandy
In 1991, I videotaped talks at the Kurt Gödel Colloquium in Kirchberg (it was supposed to be held jointly with the Wittgenstein Symposium, that got cancelled). I also videotaped a conversation with Hao Wang and Robin Gandy, students and friends, respectively, of Gödel and Turing. I can’t for the life of me remember who the…
-
ASL Spring Meeting at the APA Pacific, Seattle, April 2017
The 2017 Spring Meeting of the Association for Symbolic Logic will be held jointly with the Annual Meeting of the Pacific Division of the American Philosophical Association, April 12-15, 2017, in Seattle. The members of the Program Committee are Wesley Holliday, Audrey Yap, and Richard Zach (Chair). There will be three Special Sessions: Modality and…
-
Quanta Magazine Covers Reverse Mathematics
An article just published in Quanta Magazine by Natalie Wolchover covers a recent result from reverse mathematics. Keita Yokoyama and Ludovic Patey showed that Ramsey’s theorem for pairs is finitistically reducible, i.e., it is $latex \Pi_3$ conservative over $latex I\Sigma_1$. The article explains Ramsey’s theorem, but also Hilbert’s program and its more recent relativizations, i.e.,…
-
CfA: Foundations of Mathematical Structuralism
12-14 October 2016 Munich Center for Mathematical Philosophy, LMU Munich In the course of the last century, different general frameworks for the foundations of mathematics have been investigated. The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been other developments that call into question the whole method…
-
2016 Logic Colloquium in Leeds
The European Meeting of the ASL will be held in Leeds this year, July 31 to August 6. The deadline to submit a contributed talk is tomorrow! For details, see the conference website!
-
Logicians Elected to the American Academy of Arts & Sciences
The American Academy of Arts and Sciences has announced its 2016 class of fellows. Menachem Magidor (Hebrew University) has been elected Honorary Foreign Member. Vann McGee (MIT) has been elected to the Philosophy and Religious Studies section.
-
Shapiro’s Philosophy & Mathematics Lecture on Mathtube
Stewart Shapiro gave the 2nd annual Calgary Philosophy & Mathematics Lecture a month ago. Video of his talk, “Potential Infinity: A Modal Account,” is now available on mathtube.org.
-
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…
-
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…
-
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…