2004 ASL Spring Meeting (with APA)

Venue: Chicago

Location: Chicago, Illinois, United States

Event Date/Time: Apr 22, 2004 End Date/Time: Apr 25, 2004
Abstract Submission Date: Jan 15, 2004
Report as Spam


This meeting will be held jointly with the Annual Meeting of the Central Division of the American Philosophical Association. The program includes three invited sessions. The first, on Frege's Logic, will be chaired by M. Kremer and includes the speakers W. Goldfarb and E. Reck, and the commentator, P. Sullivan. The session on The Philosophy of Proof Theory, chaired by T. Bays, includes the speakers J. Avigad and M. Detlefsen, and the commentator, W. Tait. The third session, on Category Theory and Structuralism, will be chaired by S. Awodey, and includes the speakers G. Hellman and C. McLarty, and the commentator, D. Scott. The Program Committee members for the ASL meeting are: S. Awodey, T. Bays, and M. Kremer (Chair). Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see above). Abstracts must be received by the deadline of January 15, 2004, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.