People often reason contrary to the prescriptions of classical logic. In this project we study cases of divergence between everyday and logical-mathematical reasoning and, challenging the canonical view, we hypothesise that they are a straightforward consequence of a tendency in human cognition to neglect empty representations (neglect-zero).
We develop logics which formally represent the neglect-zero tendency and rigorously study its impact on interpretation; explore possible conventionalizations of neglect-zero effects in specific linguistic domains; and experimentally investigate the impact of neglect-zero in ordinary reasoning and its conjectured suspension for example in the context of a mathematical proof.
Full Description: [PDF]
Søren Brinck Knudstorp was awarded the 2024 Kleene Award for Best Student Paper at LICS 2024. His paper, Relevant S is Undecidable, is available here, and the video of him receiving the award can be viewed here.
In the spring, Milica Denic will be visiting the ILLC and NihiL project.
Aleksi Anttila, Marco Degano, Tomasz Klochowicz and Søren Knudstorp will present their work on “How to Split a Relation” and Aleksi Anttila will present “Further Remarks on the Dual Negation in Team Semantics” at the 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning.
See more