The New York Logic Blog

by

The New York Logic Blog


Welcome to the New York Logic Blog!

This is a group blog run by the New York Logic community, and includes and welcomes all manner of announcements, mathematical logic posts, philosophical logic posts, invitations, inquiries, discussions or any other type of post concerning mathematical or philosophical logic of interest to the New York logic community.

If you have an account on nylogic.org with author privileges, please feel free to make on-topic posts here.

By setting the appropriate event date field on the post, they will appear automatically in the NY Logic Calendar.

Make poster

Rohit Parikh 80th Birthday Conference

by
Thursday, December 1, 2016

Rohit Parikh 80th Birthday Conference

Science Center, GC 4102


On December 1-2, 2016, the Graduate Center will host a conference on logic in honor of the 80th birthday of Prof. Rohit Parikh. Details are available at the conference website.

Make poster

Northeast Regional Model Theory Days

by
Model theory seminarSaturday, October 22, 2016

Northeast Regional Model Theory Days

University of Pennsylvania


The Northeast Regional Model Theory Days will take place on Saturday the 21st of October and
Sunday the 22nd of October at the University of Pennsylvania in Philadelphia PA. See the Northeast Regional Model Theory Days website for full details.

Make poster

No logic seminars on October 14

by
Set theory seminarModel theory seminarCUNY Logic WorkshopFriday, October 14, 2016

No logic seminars on October 14


Since CUNY will follow a Tuesday schedule on Friday, October 14, we will not have any of the usual Friday logic seminars that day. However, there will be a talk by George Metcalfe at 4 pm, described below.

Make poster

DART VII

by
Friday, September 30, 2016
Tuesday, October 4, 2016

DART VII

various CUNY campuses


DART VII, the seventh meeting of the conference series Differential Algebra and Related Topics, will take place at the CUNY Graduate Center (and other CUNY venues) from September 30 – October 4, 2016. Information about this conference is available here. It will include talks by Alexander Buium, Zoe Chatzidakis, Taylor Dupuy, James Freitag, Victor Kac, Joel Nagloo, Anand Pillay, and Thomas Scanlon, among others.

differential algebramodel theory
Make poster

Autumn 2016 NERDS at Wellesley College

by
NERDS: New England Recursion & Definability SeminarSunday, November 6, 2016

Autumn 2016 NERDS at Wellesley College

Wellesley College


The Autumn 2016 meeting of NERDS, the New England Recursion and Definability Seminar, will take place on Sunday, November 6 at Wellesley College, in Wellesley, MA. Details are available from the NERDS website, and talks are also posted here on nylogic.org.

NERDScomputability
Make poster

Cherlin Weekend at Rutgers

by
Friday, September 30, 2016
Saturday, October 1, 2016
Sunday, October 2, 2016

Cherlin Weekend at Rutgers

Rutgers University, Hill 705 and Conference Center.


Rutgers University will hold a conference in honor of Professor Gregory Cherlin on September 30 – October 2, 2016. Details are available here. Due to this meeting and the DART VII conference, there will be no Logic Workshop on September 30. For those not going to Rutgers, do notice the NY Group Theory Seminar talk by Miasnikov, announced below.

Make poster

Reconciling Nominalism and Platonism in the Philosophy of Mathematics

by
Friday, April 22, 2016

Reconciling Nominalism and Platonism in the Philosophy of Mathematics

Department of Philosophy, Columbia University


FRIDAY APRIL 22 (Philosophy Hall, Room 716)

14:00–14:15
Achille Varzi (Columbia University), Marco Panza (IHPST)
Welcome and Introduction
14:15-15:45
John Burgess (Princeton University)
Reconciling Anti-Nominalism and Anti-Platonism in the Philosophy of Mathematics
15:45–16:00 Break
16:00-17:30
Haim Gaifman (Columbia University)
Reconfiguring the Problem: “Platonism” as Objective, Evidence-transcendent Truth
17:30-19:00
Sébastien Gandon (Université Blaise Pascal)
Describing What One is Doing. A Philosophy of Action Based View of Mathematical Objectivity

SATURDAY, APRIL 23 (Philosophy Hall, Room 716)

9:30–11:00
Mirna Džamonja (University of East Anglia and IHPST)
An Unreasonable Effectiveness of ZFC Set Theory at the Singular Cardinals
11:00–11:30 Break
11:30–13:00
Hartry Field (New York University)
Platonism, Indispensability, Conventionalism
13:00–15:00 Lunch
15:00-16:30
Justin Clarke-Doane (Columbia University)
The Benacerraf Problem in Broader Perspective
16:30–17:00 Break
17:00-18:30
Michele Friend (George Washington University)
Is the Pluralist Reconciliation between Nominalism and Platonism too Easy?
18:30 Conclusions

Make poster

NERDS on April 2, 2016

by
NERDS: New England Recursion & Definability SeminarSaturday, April 2, 2016

NERDS on April 2, 2016

Springfield College


The Spring 2016 New England Recursion and Definability Seminar (“NERDS”) will take place on Saturday, April 2, 2016 at Springfield College, in Springfield, MA. Further details and abstracts of talks will be posted on nylogic.org as they become available.

algorithmic randomnesscomputabilitycomputable model theorydefinabilityreverse mathematics
Make poster

Set Theory Day March 11, 2016 at GC

by
Set Theory DayFriday, March 11, 20169:00 am

Set Theory Day March 11, 2016 at GC

GC 4102 (Science Center)


We announce a one-day conference, Set Theory Day on Friday, March 11, 2016, in celebration of the 50th birthday of Prof. Joel David Hamkins. The conference will take place at the CUNY Graduate Center and will last all day, with many of Prof. Hamkins’s former students giving talks on their work. All interested mathematicians are invited to attend. The schedule is posted on nylogic.org/set-theory-day. A PDF program is here.

Joel David HamkinsSet Theory Dayset theory
Make poster

NERDS October 17, 2015 at Assumption College

by
NERDS: New England Recursion & Definability SeminarSaturday, October 17, 2015

NERDS October 17, 2015 at Assumption College

Carriage House, Assumption College, Worcester, MA


The 2015 autumn meeting of the New England Recursion & Definability Seminar will be held on the campus of Assumption College, in Worcester Massachusetts, on Saturday, October 17, from 10:00 until 4:15. Titles and abstracts are now posted at the link for NERDS, under the Seminars tab. Directions and visitor information are available here.

Assumption CollegeNERDScomputabilitycomputable model theorydefinability
Make poster