Provability logic | Modal logic
Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability, tolerance, , and arithmetic complexities. Main contributors to the field are Alessandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser, and Domenico Zambella. (Wikipedia).
Machine learning in healthcare: From interpretability to a new human-machine partnership
Mihaela van der Schaar - University of Cambridge The transformative potential of machine learning could revolutionise areas such as healthcare. However, this opportunity comes with its own unique challenges. Prominent among these is the challenge of interpretability: taking the workings o
From playlist Interpretability, safety, and security in AI
Interpretability for Everyone - Been Kim
More videos on http://video.ias.edu
From playlist Mathematics
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
This video focuses on how to write the converse of a conditional statement. In particular, this video shows how to flip the hypothesis and conclusion of a conditional statement. The concepts of truth value and logical equivalence are explored as well. Your feedback and requests are encour
From playlist Geometry
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
This video teaches students how to write the inverse of a conditional statement. In particular, this video goes into detail about how to negate the hypothesis and conclusion of a conditional statement. In addition, the concepts of truth value, negating statements and logical equivalence ar
From playlist Geometry
Scope Ambiguity - Semantics in Linguistics
We take a look at Scope Ambiguity in this #semantics and #syntax video in #linguistics. We look at logical form to see how we can represent this in a tree structure to get two meanings. We also look at a little trick of translating predicate logic sentences with more than one quantifier.
From playlist Semantics in Linguistics
Zachary Lipton: "Interpretability: of what, for whom, why, and how?"
Machine Learning for Physics and the Physics of Learning 2019 Workshop II: Interpretable Learning in Physical Sciences "Interpretability: of what, for whom, why, and how?" Zachary Lipton - Carnegie Mellon University Abstract: Historically, and particularly in the natural sciences, the mo
From playlist Machine Learning for Physics and the Physics of Learning 2019
An Overview of Propositional Logic for Linguists - Semantics in Linguistics
This video covers propositional logic in #semantics for #linguistics. We talk about propositions, the negation, the conjunction, the conditional, the disjunction, truth tables, syntax of logic, tautologies, and contradictions all in 11 minutes. Join this channel to get access to perks: ht
From playlist Semantics in Linguistics
Univalent Foundations Seminar - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Constructive Type Theory and Homotopy - Steve Awodey
Steve Awodey Institute for Advanced Study December 3, 2010 In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in
From playlist Mathematics
Quantum Physics – list of Philosophical Interpretations
Explanation of the various interpretations of Quantum Mechanics. My Patreon page is at https://www.patreon.com/EugeneK 00:00 Introduction 00:29 Copenhagen Interpretation 02:08 Objective Collapse 04:41 EPR Paradox 06:11 Retro-Causality 07:28 Transactional Interpretation 10:25 Super-Determ
From playlist Physics
Marie Kerjean: Differential linear logic extended to differential operators
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual
From playlist Logic and Foundations
Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai Associate Professor Percy Liang Associate Professor of Computer Science and Statistics (courtesy) https://profiles.stanford.edu/percy-liang Assistant Professor
From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2021
An introduction to the general types of logic statements
From playlist Geometry