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 2021), 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/
(Current extensions: dynamical systems, topological settings.)
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. https://eprints.illc.uva.nl/id/eprint/1813/1/Logic.Counting.pdf
Topological perspectives on causal inference. https://arxiv.org/pdf/2107.08558.pdf
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