Mathematical axioms | Predicate logic | Algebraic logic
In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine. (Wikipedia).
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
An Overview of Predicate Logic for Linguists - Semantics in Linguistics
This video covers predicate logic in #semantics for #linguistics. We talk about predicates, quantifiers (for all, for some), how to translate sentences into predicate logic, scope, bound variables, free variables, and assignment functions. Join this channel to get access to perks: https:/
From playlist Semantics in Linguistics
Predicates and their Truth Sets
A predicate is a sentence that depends on the value of a variable. For instance, "x is greater than 3". If you tell me a specific value of x, like 7 or 2, then the predicate becomes a logical statement which is either true or false. The Truth Set of a predicate is all of the values of the
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
This first E-Lecture on Predicate Logic is meant as a gentle introduction. It first points out why propositional logic alone is not sufficient for the formalization of sentence meaning and then introduces the central machinery of predicate logic using several examples with which the studen
From playlist VLC103 - The Nature of Meaning
Translating ENGLISH into PREDICATE LOGIC - Logic
In this video on Logic, we learn to translate English sentences into Predicate Logic. We do sentences with only constants and predicates, as well as introduce the universal and existential quantifier "some x is P" and "every x is P" and then do some practice problems. Predicate Logic trans
From playlist Logic in Philosophy and Mathematics
Introduction to Predicates and Quantifiers
This lesson is an introduction to predicates and quantifiers.
From playlist Mathematical Statements (Discrete Math)
This video contains solutions to sample problems involving predicates. This includes: * Finding which elements of a domain make a predicate true * Determining whether a quantified statement is true or false
From playlist Discrete Mathematics
1.5.1 Predicate Logic 1: Video
MIT 6.042J Mathematics for Computer Science, Spring 2015 View the complete course: http://ocw.mit.edu/6-042JS15 Instructor: Albert R. Meyer License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
From playlist MIT 6.042J Mathematics for Computer Science, Spring 2015
Substructural Type Theory - Zeilberger
Noam Zeilberger IMDEA Software Institute; Member, School of Mathematics March 22, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester
Seminar on Theoretical Machine Learning Topic: MathZero, The Classification Problem, and Set-Theoretic Type Theory Speaker: David McAllester Affiliation: Toyota Technological Institute at Chicago Date: May 14, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
Topos seminar Lecture 15: Abstraction and adjunction (Part 1)
I begin by explaining in a simple example the connection between formal reasoning involving distinct concepts, and adjunctions between classifying topoi. This leads to a discussion of models in topoi (focused on the particular example of the theory of abelian groups) then to the syntactic
From playlist Topos theory seminar
VALIDITY and ENTAILMENT in Truth Trees for Predicate Logic - Logic
In this video on Logic, we look at entailment and validity in truth trees for predicate logic. We learn how to do negated universal decomposition, negated existential decomposition, universal elimination, and existential elimination. We then do three practice truth trees. 0:00 - [Validity
From playlist Logic in Philosophy and Mathematics
Gluing in Homotopy Type Theory - Michael Shulman
Michael Shulman University of California, San Diego; Member, School of Mathematics March 20, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
On Voevodsky's univalence principle - André Joyal
Vladimir Voevodsky Memorial Conference Topic: On Voevodsky's univalence principle Speaker: André Joyal Affiliation: Université du Québec á Montréal Date: September 11, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Jean-Claude Belfiore - Beyond the statistical perspective on deep learning,...
Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Beyond the statistical perspective on deep learning, the toposic point of view: Invariance and semantic information (joint work with Daniel Bennequin) The last decade has witnes
From playlist Toposes online
Lecture 13: Higher-order logic and topoi (Part 3)
In this talk James Clift explains how to think about quantifiers in the context of topoi using adjunctions, and more generally how to extract a type theory out of a topos. This provides the means to "cut out" subobjects using formulas, which is in turn the fundamental idea to defining clas
From playlist Topos theory seminar
The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl
Vladimir Voevodsky Memorial Conference Topic: The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories Speaker: Emily Riehl Affiliation: Johns Hopkins University Date: September 12, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Geometry of Frobenioids - part 5 - adjectives
Le Bruyn has a nice blog post here: https://plus.google.com/115831511988650789490/posts/Y1XVCDLWRP5
From playlist Geometry of Frobenioids
This E-Lecture builds upon Predicate Logic I and discusses the main principles of quantification. Prof. Handke explains how to use and interpret the universal, the existential and the negative quantifier and uses several examples for illustration.
From playlist VLC103 - The Nature of Meaning