Women Speakers at ASL Meetings

Johanna Franklin has taken on the thankless task of tallying and analyzing the number (and proportion) of female invited speakers at meetings organized by the Association for Symbolic Logic. Her posts are up at the Women in Logic blog:

(The ASL Membership committee received a report in 2009 on this; the data there was a bit more detailed but only covered 2001-09.)

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 interviewer was. Anyway, you may find it interesting:

[Photo credit: San and Jane Wang]

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 Modal Logic

Intuitionistic Mathematics and Logic

Inclusiveness in Logic Eduction

(organized by the ASL Committee on Logic Education)

There will also be a session for contributed talks. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts. Abstracts must be received by the deadline of September 12, 2016, 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.

Student members of the ASL are eligible for travel awards.

[Photo credit: Howard Ignatius CC BY-NC-ND 2.0]

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 \(\Pi_3\) conservative over \(I\Sigma_1\). The article explains Ramsey’s theorem, but also Hilbert’s program and its more recent relativizations, i.e., the reverse mathematics program.

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 of set theory as a foundational discipline. Category-theoretic methods that focus on structural relationships and structure-preserving mappings between mathematical objects, rather than on the objects themselves, have been in play since the early 1960s. But in the last few years they have found clarification and expression through the development of homotopy type theory. This represents a fascinating development in the philosophy of mathematics, where category-theoretic structural methods are combined with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice. To do this, the conference will explore the following research questions: Does mathematical structuralism offer a philosophically viable foundation for modern mathematics? What role do key notions such as structural abstraction, invariance, dependence, or structural identity play in the different theories of structuralism? To what degree does mathematical structuralism as a philosophical position describe actual mathematical practice? Does category theory or homotopy type theory provide a fully structural account for mathematics?

Confirmed Speakers

  • Prof. Steve Awodey (Carnegie Mellon University)
  • Dr. Jessica Carter (University of Southern Denmark)
  • Prof. Gerhard Heinzmann (Université de Lorraine)
  • Prof. Geoffrey Hellman (University of Minnesota)
  • Prof. James Ladyman (University of Bristol)
  • Prof. Elaine Landry (UC Davis)
  • Prof. Hannes Leitgeb (LMU Munich)
  • Dr. Mary Leng (University of York)
  • Prof. Øystein Linnebo (University of Oslo)
  • Prof. Erich Reck (UC Riverside)

Call for Abstracts

We invite the submission of abstracts on topics related to mathematical structuralism for presentation at the conference. Abstracts should include a title, a brief abstract (up to 100 words), and a full abstract (up to 1000 words), blinded for peer review. Authors should send their abstracts (in pdf format), together with their name, institutional affiliation and current position to mathematicalstructuralism2016@lrz.uni-muenchen.de. We will select up to five submissions for presentation at the conference. The conference language is English.

Dates and Deadlines

Submission deadline: 30 June, 2016
Notification of acceptance: 31 July, 2016
Registration deadline: 1 October, 2016
Conference: 12 – 14 October, 2016

For further details on the conference, please visit: http://www.mathematicalstructuralism2016.philosophie.uni-muenchen.de/

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 fellowsMenachem Magidor (Hebrew University) has been elected Honorary Foreign Member.  Vann McGee (MIT) has been elected to the Philosophy and Religious Studies section.