Formal Philosophy

Logic at Columbia University

Category: News

Synthese S.I. on Decision Theory and the Future of Artificial Intelligence

by Yang Liu

Guest Editors:
Stephan Hartmann (LMU Munich)
Yang Liu (University of Cambridge)
Huw Price (University of Cambridge)

Description:
There is increasing interest in the challenges of ensuring that the long-term development of artificial intelligence (AI) is safe and beneficial. Moreover, despite different perspectives, there is much common ground between mathematical and philosophical decision theory, on the one hand, and AI, on the other. The aim of the special issue is to explore links and joint research at the nexus between decision theory and AI, broadly construed.

We welcome submissions of individual papers covering topics in philosophy, artificial intelligence and cognitive science that involve decision making including, but not limited to, subjects on

  • causality
  • decision making with bounded resources
  • foundations of probability theory
  • philosophy of machine learning
  • philosophical and mathematical decision/game theory

Submissions:
Contributions must be original and not under review elsewhere. Although there is no prescribed word or page limit for submissions to Synthese, as a rule of thumb, papers typically tend to be between 15 and 30 printed pages (in the journal’s printed format). Submissions should also include a separate title page containing the contact details of the author(s), an abstract (150-250 words) and a list of 4-6 keywords. All papers will be subject to the journal’s standard double-blind peer-review.

Manuscripts should be submitted online through Editorial Manager: https://www.editorialmanager.com/synt. Please choose the appropriate article type for your submission by selecting “S.I. : DecTheory&FutOfAI” from the relevant drop down menu.

Deadline:
The deadline for submissions is February 15, 2018.
For further information about the special issue, please visit the website: http://www.decision-ai.org/cfp/

A Course on Epistemic Game Theory

by Yang Liu

From May 12 – May 23, 2014, the EPICENTER will give a two-week intensive course on Epistemic Game Theory at Maastricht University.

Audience: This course is primarily meant for master and PhD students at all universities in the Netherlands and abroad. But researchers are also very welcome.

Instructors: The members of the EPICENTER: Christian Bach, Angie Mounir, Christian Nauerz, Andrés Perea and Elias Tsakas.

Register? Please send an E-mail to Andrés Perea at: course@epicenter.name

Master and PhD students at Maastricht University should also register via the course Capita Selecta: Econometrics, Mathematical Economics and Operations Research (EBC4011). Officially, this course is part of Capita Selecta.

Book:  The first seven days of the course will be based on the book Epistemic Game Theory: Reasoning and Choice, by Andrés Perea.

More information: Can be found at: www.epicenter.name/course

Turing meeting at Boston University

by Yang Liu

Turing 100
Sunday, November 11 and Monday, November 12
Photonics Center, 9th floor Colloquium Room
8 St. Mary’s Street, Room 906

Sunday, 10:00am-12:00pm
I. Turing’s Philosophical and Logical Foundations

“On Formalism Freeness: A Meditation on Gödel’s 1946 Princeton Bicentennial Lecture”
Juliette Kennedy Mathematics and Statistics, University of Helsinki

“Turing, Church, Gödel, a personal perspective”
Michael Rabin Computer Science, Harvard University

“Turing and Wittgenstein”
Juliet Floyd Philosophy, Boston University

Sunday, 1:45pm-3:45pm
II. Turing and Mathematics: Computability and Definability

“Universality is Ubiquitous”
Martin Davis Courant Institute, NYU; Mathematics, UC Berkeley

“Collapsing Sentences”
Gerald Sacks Mathematics, Harvard University and MIT

“The Hierarchy of Definability: An Extended Thesis”
Theodore Slaman Mathematics, UC Berkeley

Sunday, 4:00pm-6:00pm
III. Turing and Cryptography

“Rational Proofs”
Silvio Micali Computer Science, MIT

“Turing and the Growth of Cryptography”
Ronald Rivest Computer Science, MIT

“Alan Turing and Voice Encryption”
Craig Bauer Mathematics, York College of Pennsylvania

Monday, 9:30am-12:15pm
IV. Turing and AI

Title TBA
Marvin Minsky Media Arts and Sciences, MIT

“Why Neanderthals Couldn’t Pass Turing’s Test and When Computers Will”
Patrick Henry Winston Computer Science, MIT

“What’s Wrong with the Moral Turing Test?”
Matthias Scheutz Computer Science, Tufts University

“Embodying Computation at Higher Types”
S. Barry Cooper Mathematics, University of Leeds

Monday, 2:00pm-4:00pm
V. The Church-Turing Thesis

“Normal Forms for Puzzles: an Enigmatic Variant of Turing’s Thesis”
Wilfrid Sieg Philosophy, Carnegie Mellon University

Title TBA
Stephen Wolfram Wolfram Research

“Is there a Church-Turing Thesis for Social Algorithms?”
Rohit Parikh Computer Science, Mathematics, Philosophy, CUNY

Monday, 4:15pm-6:30pm
VI. Turing, Physics, and Probability

“Algorithmic Randomness and Turing’s Work on Normality”
Rod Downey Mathematics, Victoria University of Wellington

“Spacetime Physics and Non-Turing Computers”
Mark Hogarth Philosophy, Cambridge University

“The Mysterious Thesis”
Leonid Levin Computer Science, Boston University

Karby: How not to attack luck egalitarianism

by Yang Liu

COLUMBIA PHILOSOPHY COLLOQUIUM
How not to attack luck egalitarianism
Derrick Darby (Kansas Univ.)
Tuesday, May 8th, 2012, 4:10 – 6:00 PM
716 Philosophy Hall, Columbia University

Reception to follow

CFP: The Constructive in Logic and Applications

by Yang Liu

THE CONSTRUCTIVE IN LOGIC AND APPLICATIONS.
A 60TH BIRTHDAY CELEBRATION HONORING SERGEI ARTEMOV
May 23-25, 2012, detailed program here.
CUNY Graduate Center, 365 Fifth Avenue, New York City.

Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition. Distinguished logician Sergei Artemov is 60. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.

Scientific Committee: Anil Nerode (Cornell) and Melvin Fitting (CUNY)
Web page: ConstructivityAtCUNY.com.
Participants are invited to register, the registration is free.
Contact email: Info@ConstructivityAtCUNY.com.

The confirmed speakers are:
Arnon Avron (Tel Aviv University)
Adam Brandenburger (New York University)
Sam Buss (University of California San Diego)
Robert Constable (Cornell University)
Solomon Feferman (Stanford University)
Melvin Fitting (City University of New York)
Harvey Friedman (Ohio State University)
Haim Gaifman (Columbia University)
Dexter Kozen (Cornell University)
Victor Marek (University of Kentucky)
Robert Milnikel (Kenyon College)
Joan Moschivakis (University of California Los Angeles)
Yiannis Moschovakis (University of California Los Angeles)
Pavel Naumov (McDaniel College)
Anil Nerode (Cornell University)
Rohit Parikh (City University of New York)
Vaughan Pratt (Stanford University)
Jeff Remmel (University of California San Diego)
Bryan Renne (University of Amsterdam)
Gerald Sacks (Harvard University /Massachusetts Institute of Technology)
Andre Scedrov (University of Pennsylvania)
Johan van Benthem (University of Amsterdam/Stanford University)

Kehlmann’s new play about the life of Gödel

by Yang Liu

GOETHE-INSTITUT NEW YORK
English reading of Daniel Kehlmann’s new play
Tuesday, May 1, 2012, 6:00pm
Center for Jewish History
15 West 16th St. New York, NY 10011
Free

The Leo Baeck Institute and the Goethe-Institut New York are proud to present a special reading of Ghosts in Princeton, the first play by Daniel Kehlmann, in an English translation by Carol Brown Janeway. A montage of facts, fiction, and philosophy, the play follows stages in the life of the brilliant Viennese logician Kurt Gödel (1906-1978), who, by the age of only 24, had revolutionized the logic of mathematics. A deeply complex person, Gödel did not believe in the existence of time and, with age, suffered from delusions of persecution and paranoia. After being both falsely identified as a Jew in post-Anschluss Austria and at the same time declared fit for active service, Gödel, together with his wife Adele, set out on an arduous journey to Princeton to join their friend Albert Einstein at the Institute for Advanced Study.

Daniel Kehlmann is one of Germany’s most critically acclaimed young authors. His 2006 international best-seller Measuring the World (Die Vermessung der Welt) has been translated from the original German into more than 20 languages and awarded some of the most prestigious prizes in literature.

The author himself will introduce the reading, which will be followed by a brief Q&A and refreshments. The event is free of charge, but reservations are strongly encouraged as seating is limited. To reserve a seat, please call +1 (212) 744-6400 or send an email to Maryann Legaspi at mlegaspi@lbi.cjh.org.

Leo Baeck Institute and Goethe-Institut New York are extremely grateful to Deutsche Telekom for its support of this program. Special thanks also to H.E. Mr. Peter Wittig and Mrs. Huberta von Voss-Wittig.

Arancha San Ginés provides the info above.