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 naive type theory
  • Gil Sagi (MCMP), Invariance criteria: terms and constraints
  • Zeynep Soysal (Harvard), Unfolding the content of the concept of set
  • Sean Walsh (Irvine), The prehistory of the subsystems of second-order arithmetic (joint work with Walter Dean)

[Photo: Manchester Hall CC-BY-ND by Ray Kingston]

Reconsidering Frege’s Conception of Number

Erich Reck and Roy Cook have edited a special issue of Philosophia MathematicaReconsidering 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 a conclusion of sorts. The end in question is of many friendships; many productive collaborations; many days spent eating good food, drinking good wine (or beer), and talking great philosophy; and an end to a great many other wonderful things. Aldo Antonelli passed away, tragically and too young, on October 11 of 2015, when this special issue was near the end of the long path from initial ideas to eventual publication. We could easily justify dedicating this issue to Aldo based on the role he played in its production. He was involved in various ways from beginning to end, and there is no doubt that the issue would be less ‘special’ had he not added his insights and intelligence, but most importantly his generosity, to the project at various critical points. But that is not the only reason for the dedication. The editors of, and contributors to, this special issue all have fond memories of long conversations with Aldo — often about the very topics discussed in the essays collected here. We are deeply saddened by the fact that we will not have any more opportunities to talk with him about Frege, logicism, and many other things. Thus, we are not dedicating this issue to Aldo just because he was a good philosopher, but also because he was a good friend.

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 of X ∩ Y ⊆ Y ∩ X is hard. I tried to write a proof of it in the Up-Goer Five text editor. It’s up top. What do you think?