You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Jun 13 2022 at 21:47):
Christoph Benzmueller: Logico-pluralistic exploration of foundational theories with computers
Symbolic knowledge representation and reasoning (KR&R) is a key aspect of human intelligence. Among other things, it enables scientists to explore new theories, declaratively describe them, and share them with colleagues. In the natural sciences, abstract theories often arise from observations and experiments; in other fields, such as metaphysics, they may result from pure thought experiments, possibly without data from which to start (and learn from). Strong AI without explicit symbolic KR&R capabilities thus seems unthinkable. But how can the exploration of abstract theories, especially fundamental theories of metaphysics and mathematics, including logical formalisms, be fruitfully supported on computers?
In this talk, I review recent contributions in which a logico-pluralistic KR&R methodology and infrastructure, called LogiKEy, has been successfully applied to the exploration and assessment of foundational theories in metaphysics and mathematics. One such exploratory study on the axiomatic foundations of category theory, conducted jointly with Dana Scott and students at FU Berlin, will be described in some more detail. Since LogiKEy also supports exploration and assessment of ethical and legal theories, it also has applications in the areas of trusted AI and AI&Law.
Zoom: https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhTdGhvZ3pUdz09
YouTube: https://www.youtube.com/watch?v=c3qfeSmhN-8