Skip to content Skip to navigation

Logical Dynamics Lab

LDL research in logic covers a range from theory to applications, with an outreach interest to philosophy, computation and cognition. Current topics include information-driven agency, causal inference, reasoning in natural language, and interfaces of logic and probability.

Active participants in the LDL since its founding:

Tomohiro Hoshi (PhD 2009), https://onlinehighschool.stanford.edu/people/tomohiro-hoshi

Patrick Girard (PhD 2009), http://www.arts.auckland.ac.nz/people/pgir006

Wesley Holliday (PhD 2012), https://philosophy.berkeley.edu/holliday

Shane Steinert-Threlkeld (PhD 2016), https://www.shane.st/

Peter Hawke (PhD 2017), https://sites.google.com/site/peterhawke/

Krzysztof Mierzewski (PhD 2020), https://krzysztof-mierzewski.squarespace.com

Francesca Zaffora Blando (PhD 2020), https://www.cmu.edu/dietrich/philosophy/people/faculty/francesca-zaffora...

Michael Cohen (PhD current), https://michaelcohen.su.domains/

Duligur Ibeling (PhD current), https://web.stanford.edu/~duligur/

Declan Thompson (PhD current), http://stanford.edu/~declan/

Current projects.

A selection from ongoing projects, with some characteristic publications.

New logical models of information and dependence. https://eprints.illc.uva.nl/1733/
WILL ADD THE NEW TOPOLOGICAL VERSION SOON.

Logical structures in games. https://mitpress.mit.edu/books/logic-games, https://pure.uva.nl/ws/files/45644769/A_new_game_equivalence.pdf

Qualitative and quantitative reasoning: interfacing logic and arithmetic.
LINK TO NEW PAPER JOHAN & THOMAS.

A topological perspective on causal inference.
LINK COMING SOON.

Axiomatization in the meaning sciences. https://philpapers.org/rec/HOLAIT-11

Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy. https://philpapers.org/archive/ICACGM.pdf

Collaborations.

Group in Logic and Methodology, UC Berkeley,
http://logic.berkeley.edu

Institute for Logic, Language and Information (ILLC), Amsterdam,
https://www.illc.uva.nl

Joint Research Center for Logic, Tsinghua University, Beijing,
http://tsinghualogic.net/JRC/

Causal AI Lab, Columbia University,
https://causalai.net/

Events.

CSLI Workshops on Logic, Rationality and Intelligent Interaction,
http://www-logic.stanford.edu/events/CSLI2018/CSLI2018.xhtml

The annual Logic Seminars at Stanford offer an entry point for
students interested in the research themes of the LDL,
https://explorecourses.stanford.edu/search?q=PHIL359

People

Johan van Benthem

Johan van Benthem is a professor of philosophy at Stanford, university professor of logic (em.) at the University of Amsterdam, and Jin Yuelin
professor of logic at Tsinghua University, Beijing.

Thomas Icard

Thomas Icard is an associate professor of philosophy at Stanford, with a courtesy appointment in computer science.