Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
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
Modal logic formalization of chess
In this video I explain modal logic using the example of the legal configurations of a board game. Kripke semantic and Kripke frames are discussed. The relation to Temporal and Doxastic logics are motivated. Here's the formal logic text from the video: https://gist.github.com/Nikolaj-K/174
From playlist Logic
Number Theory | Congruence Modulo n -- Definition and Examples
We define the notion of congruence modulo n among the integers. http://www.michael-penn.net
From playlist Modular Arithmetic and Linear Congruences
SYN124 - The Function of the Verb - Mood and Modality
In this final E-Lecture of the series functional aspects of the verb, Prof. Handke discusses the notions of mood and modality. He exemplifies the rudimentary mood system in PDE and discusses the three modlities, dynamic, deontic, and epistemic in detail.
From playlist VLC201 - The Structure of English
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
Inference in a Nonconceptual World, Brian Cantwell Smith and Joseph T. Rouse
Brian Cantwell Smith, Reid Hoffman Professor of Artificial Intelligence and the Human, University of Toronto. Moderated conversation with Joseph T. Rouse, Department of Philosophy, Wesleyan University. Classical models of inference, such as those based on logic, take inference to be *conce
From playlist Franke Program in Science and the Humanities
Sergei Artemov: Hyperderivations
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: A well-principled notion of epistemic theory as an axiomatic description of a given scenario incorporated into the possible worlds environment is conspicuously absent in
From playlist Workshop: "Proof, Computation, Complexity"
The Ultimate Guide to Propositional Logic for Discrete Mathematics
This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 W
From playlist Discrete Math 1
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
Bas Spitters: Modal Dependent Type Theory and the Cubical Model
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: In recent years we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and c
From playlist Workshop: "Types, Homotopy, Type theory, and Verification"
Hugo Herbelin: A constructive proof of dependent choice, compatible with classical logic
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: Martin-Löf's type theory has strong existential elimination (dependent sum type) what allows to prove the full axiom of choice. However the theory is intuitionistic. We give
From playlist Workshop: "Constructive Mathematics"
The Logical Structure of Human Civilization (John Searle)
The distinctive features of human civilization, as opposed to animal societies, are such things as money, property, marriage, government, etc. These are created and partly constituted by linguistic representations. For this reason, they all have logical, propositional structures. John Sear
From playlist Social & Political Philosophy
This video lists an explains propositional, predicate calculus axioms, as well as a set theoretical statement that goes with it, including ZF and beyond. Where possible, the explanations are kept constructive. You can find the list of axioms in the file discussed in this video here: https:
From playlist Logic
Stanford Seminar - On the Origin of Experience: The Shaping of Sense and the Complex World
"On the Origin of Experience: The Shaping of Sense and the Complex World" -Steven Ericsson-Zenith Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to
From playlist Engineering
Language & Social Ontology (John Searle)
A wonderful talk given by John Searle at the University of Oslo back in 2011 on language and social ontology. He attempts to explain the distinctive features of human civilization. Animals have forms of social organization and communication, but they do not have money, property, government
From playlist Social & Political Philosophy
Lecture 6.4: MVPA: Window on the Mind via fMRI, Part 2
MIT RES.9-003 Brains, Minds and Machines Summer Course, Summer 2015 View the complete course: https://ocw.mit.edu/RES-9-003SU15 Instructor: Rebecca Saxe Using MVPA to study the neural mechanisms underlying thinking about thoughts (Theory of Mind) and moral judgments, while assessing varia
From playlist MIT RES.9-003 Brains, Minds and Machines Summer Course, Summer 2015
An Introduction to Propositional Logic
An introduction to propositions, truth tables, and logical equivalence, and logical operators — including negation, conjunction, disjunction, and implication. *** Spanning Tree is a collection of educational videos covering topics related to computer science and mathematics. https://span
From playlist Spanning Tree's Most Recent
SYN122 - The Function of the Verb - Tense
This first of a series of three E-Lectures deals with the function of the verb in PDE, in particular with the notion of tense. Prof. Handke explains why PDE has only two tenses, the present and the past tense, and how they are used. The discussion why PDE has no future tense concludes this
From playlist VLC201 - The Structure of English