Tubidy
Prof. Dr. Thomas Studer: Justification Logic - Introduction and Recent Developments

Prof. Dr. Thomas Studer: Justification Logic - Introduction and Recent Developments

42:26 |
Download MP3

Related Videos

Wolfgang Spohn - What is Reflexive Rationality?

Wolfgang Spohn - What is Reflexive Rationality?

Michel Janssen - COI Stories II: Inferences or Incentives?

Michel Janssen - COI Stories II: Inferences or Incentives?

Ivo Pezlar - A logic of judgmental existence and its relation to proof irrelevance

Ivo Pezlar - A logic of judgmental existence and its relation to proof irrelevance

Prof. Dr. Reinhard Kahle: Primzahlen als Herausforderung

Prof. Dr. Reinhard Kahle: Primzahlen als Herausforderung

Vincenzo Politi - Anticipative Reflection in an Interdisciplinary Research Team - A Case Study

Vincenzo Politi - Anticipative Reflection in an Interdisciplinary Research Team - A Case Study

Reinhard Kahle - The Formalized Consistency Statement Revisited

Reinhard Kahle - The Formalized Consistency Statement Revisited

Prof. Dr. Klaus Mainzer: Verification and Standardization of Artificial Intelligence

Prof. Dr. Klaus Mainzer: Verification and Standardization of Artificial Intelligence

Sam Buss - Gödel and the Lengths of Proofs (Gödel Conference)

Sam Buss - Gödel and the Lengths of Proofs (Gödel Conference)

Dr. Justin Vlasits: Accuracy and the Epistemic Value of Inquiry

Dr. Justin Vlasits: Accuracy and the Epistemic Value of Inquiry

Stefan Neuwirth - Paul Lorenzen's Reception of Gödel's Incompleteness Theorems (Gödel Conference)

Stefan Neuwirth - Paul Lorenzen's Reception of Gödel's Incompleteness Theorems (Gödel Conference)

Guus Eelink - Falsehood without Reference to the Unreal

Guus Eelink - Falsehood without Reference to the Unreal

Prof. Dr. Wolfgang Bibel: Laßt hundert Blumen blühen

Prof. Dr. Wolfgang Bibel: Laßt hundert Blumen blühen

Prof. Dr. Klaus Mainzer: Wie sicher ist KI?

Prof. Dr. Klaus Mainzer: Wie sicher ist KI?

Jens Lemanski - Multimodality in natural and artificial intelligence: Philosophical Perspectives

Jens Lemanski - Multimodality in natural and artificial intelligence: Philosophical Perspectives

Poincare and Hilbert, Gonseth and Bernays (Reinhard Kahle)

Poincare and Hilbert, Gonseth and Bernays (Reinhard Kahle)

Prof. Dr. Klaus Mainzer: Künstliche Intelligenz im globalen Wettstreit der Wertsysteme

Prof. Dr. Klaus Mainzer: Künstliche Intelligenz im globalen Wettstreit der Wertsysteme

Christopher Shields - The Univocity of Existence

Christopher Shields - The Univocity of Existence

Yong Cheng - The Landscape of Gödel's Incompleteness Theorems (Gödel Conference)

Yong Cheng - The Landscape of Gödel's Incompleteness Theorems (Gödel Conference)

Maël Pegny - Some limitations of algorithmic fairness, and their relations with knowledge

Maël Pegny - Some limitations of algorithmic fairness, and their relations with knowledge

Prof. Dr. Julia Sánchez-Dorado - Creativity, pursuit and epistemic tradition

Prof. Dr. Julia Sánchez-Dorado - Creativity, pursuit and epistemic tradition

© 2024 Tubidy