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

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.

Vavada - это надежное интернет-казино, предлагающее большой выбор игровых автоматов, а также рулетку, блэкджек и другие азартные игры. Зеркало Vavada - Казино Вавада

Thomas Icard

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

بهترین سایت شرط بندی ایران

Мега даркнет площадка, Mega даркнет ссылка, Мега даркнет сайт Мега даркнет площадка!