Non-classical logic | Modal logic | Mathematical logic | Model theory | Sheaf theory
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise'). (Wikipedia).
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
Hugo Herbelin: Computing with Gödel's Completeness Theorem
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Krivine, followed by Berardi and Valentini, explored in the 90's how to compute with Gödel's completeness using "exploding models" and A-translation. We later gave with I
From playlist Workshop: "Proof, Computation, Complexity"
Computational Semantics: How Computers Know what Words Mean [Lecture]
This is a single lecture from a course. If you you like the material and want more context (e.g., the lectures that came before), check out the whole course: https://boydgraber.org/teaching/CMSC_723/ (Including homeworks and reading.) Music: https://soundcloud.com/alvin-grissom-ii/review
From playlist Computational Linguistics I
An Overview of Relations and Functions for Linguists - Semantics in Linguistics
In this video on #semantics in #linguistics we introduce relations and functions, talk about properties of relations and types of functions. Join this channel to get access to perks: https://www.youtube.com/channel/UCGYSfZbPp3BiAFs531PBY7g/join Instagram: http://instagram.com/TrevTutorOf
From playlist Semantics in Linguistics
Q&A With Wolfram Coding Experts
Join Wolfram programming experts Chris Carlson, Harry Calkins, and Paritosh Mokhasi for Q&A related to Wolfram Language built-in functions such as NSolve, NDSolve, UpValues, Reap, and Sow. For more training resources, please visit: http://www.wolfram.com/Training/
From playlist Write Faster Code with Wolfram Language Virtual Workshop 2014
7 Varieties of Philosophical Skepticism - Kripke & Wittgenstein on Meaning
In this seventh lecture, James Conant discusses Kripke's work on Wittgenstein ("Kripkenstein") in regards to meaning skepticism, the rule-following paradox of meaning in the philosophy of language, which comes out of Wittgenstein's Philosophical Investigations. In this series of lectures
From playlist Wittgenstein
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
Karl Popper on What Philosophy Isn't & Philosophical Prejudices
Just another re-upload from the previous channel. The translation is my own. Details will be added later. More Popper: https://www.youtube.com/playlist?list=PLhP9EhPApKE_VarWCx1d_Uogn_GxsVf-o More Short Clips: https://www.youtube.com/playlist?list=PLhP9EhPApKE8v8UVlc7JuuNHwvhkaOvzc #Phil
From playlist Karl Popper
The following is a course given on the philosophy of mind by Andrew Pessin in 2010. 00:00 Mind and Body 37:19 Dualism 1:15:17 Psychoanalysis, Behaviorism & Science of Mind 1:53:27 The Identity Theory 2:29:05 Functionalism 3:01:50 Computer Minds 3:37:57 Mind-Body Causation (P1) 4:12:47 Wha
From playlist Philosophy of Mind
Cryptography and Network Security by Prof. D. Mukhopadhyay, Department of Computer Science and Engineering, IIT Kharagpur. For more details on NPTEL visit http://nptel.iitm.ac.in
From playlist Computer - Cryptography and Network Security
On the Category of hSets - Bas Spitters
On the Category of hSets - Bas Spitters Bas Spitters Radboud University Nijmegen; Member, School of Mathematics April 3, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
not a lecture: just chitchat about the project and misc before extension lecture 36
this was not a real lecture - it was just some miscellaneous chitchat before the extension lecture started. Rupert and Thurston recorded it as we were having some troubles with the recording software (wirecast) and wanted to do a test session to try out a new setup they were hoping would b
From playlist CS2: Data Structures and Algorithms - Richard Buckland
Meghan Sullivan - Theological Epistemology: How Can We Know God? (Part 1)
Free access to Closer to Truth's library of 5,000 videos: http://bit.ly/2UufzC7 Can we know God? If so, how? We can we believe in God. But is such belief justified? How to apply the principles of epistemology to knowledge of God and belief in God? What would make belief in God justified t
From playlist Big Questions About God - Closer To Truth - Core Topic
3 Varieties of Philosophical Skepticism - The Given & C. I. Lewis
In this third lecture, James Conant continues to discuss and contrast Cartesian skepticism with Kantian skepticism, but particularly focuses on Kantian issues of perception through the work of C. I. Lewis. In this series of lectures on varieties of philosophical skepticism, James Conant d
From playlist Varieties of Philosophical Skepticism - Cartesian vs Kantian
SEM_015 - Linguistic Micro-Lectures: Figurative Use
In this short micro-lecture, Stefan Burggraf, one of Prof. Handke's students, discusses a topic from word-semantics: figurative use.
From playlist Micro-Lectures - Semantics
Richard Rorty on Pan-Relationalism (1996)
Richard Rorty doing what he does. #Philosophy #Rorty #Pragmatism
From playlist Richard Rorty