Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a thought-provoking conference talk that delves into the fascinating intersection of artificial intelligence, computer science, and metaphysical foundations through a logician's perspective. Learn about the LogiKEy framework, a metatheoretical and logico-pluralistic knowledge representation system, and discover how logical formalisms can achieve self-reflection. Understand the innovative approach of using shallow semantic embeddings of object logics within classical higher-order logic (HOL), and examine how nested embeddings of HOL within itself create a fractal-like structure that enables proving consistency claims across different logical layers. Gain insights into the fundamental question of how logical systems can examine and validate their own consistency, offering valuable perspectives on the nature of AI consciousness and logical self-reflection.
