LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
At the heart of intuitionistic type theory lies an intuitive semantics called the “meaning explanations." Crucially, when meaning explanations are taken as definitive for type theory, the core notion is no longer “proof” but “verification”. We’ll explore how type theories of this sort aris
From playlist LambdaConf 2015
Truth Conditional Meaning in Model Theory (Fragment F1) - Semantics in Linguistics
We introduce the model theory of fragment F1 in Chierchia and McConnel-Ginet (2000)'s book on #semantics in #linguistics. We cover the meaning of proper nouns, intransitive verbs, transitive verbs, negation, and conjunctions, as well as how to derive meaning of larger constituents. We do a
From playlist Semantics in Linguistics
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
Nietzsche on the Value of Truth (Ken Gemes)
Nietzsche claims that with the rejection of religious underpinning of the value of truth (e.g. truth as God’s word and as something absolute), we can now raise the question of why and to what extent we should value truth. He argues that our need for meaning conflicts with our will to truth
From playlist Social & Political Philosophy
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
Truth Conditional Meaning of Quantifiers in Model Theory (Fragment F2) - Semantics in Linguistics
We introduce the model theory of fragment F2 in Chierchia and McConnel-Ginet (2000)'s book on #semantics in #linguistics. We cover how to work with quantifiers and quantified noun phrases, as well as traces. Join this channel to get access to perks: https://www.youtube.com/channel/UCGYSfZ
From playlist Semantics in Linguistics
In this lecture, Dr Arif Ahmed (University of Cambridge) thinks about the concept of knowledge and the analysis of a particular category of knowledge called ‘propositional knowledge’ (also known as ‘knowledge that’). In particular, we focus on: (i) the distinction between different kinds o
From playlist Philosophy
Paola Cantù : Logic and Interaction:pragmatics and argumentation theory
HYBRID EVENT Recorded during the meeting "Logic and transdisciplinarity" the February 11, 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 Audiov
From playlist Logic and Foundations
Thoughts, Thinking, & Thinkers (Tim Crane - 2017 Frege Lectures)
Professor Tim Crane gives a series of talks called "Thoughts, Thinking, & Thinkers" as part of the 2017 Frege Lectures in theoretical philosophy at the University of Tartu. Note, this is a re-upload. One of Frege’s most famous principles was ‘always to separate sharply the psychological
From playlist Philosophy of Mind
Introduction to Lambda Calculus and Types - Semantics in Linguistics
We introduce lambda calculus but mainly focus on type theory in relation to syntactic trees. We introduce the type e (entities) and type t (truth values) and how they can be combined to account for V, VP, and S. #semantics #linguistics Join this channel to get access to perks: https://www
From playlist Semantics in Linguistics
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
Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2
My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im
From playlist Summer of Math Exposition 2 videos
The Rational Speech Acts Model | Stanford CS224U Natural Language Understanding | Spring 2021
For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/ai To learn more about this course visit: https://online.stanford.edu/courses/cs224u-natural-language-understanding To follow along with the course schedule and s
From playlist Stanford CS224U: Natural Language Understanding | Spring 2021
What are Non-Classical logics?
Some of the general classes of non-classical logics I touch in this videos are linear logic, relevant logic, modal logic, many-valued logics, minimal logic, paraconsistent logics and so on and so forth. Let me know if I should dive deeping into a certain scene? https://en.wikipedia.org/wi
From playlist Programming
