Doxastic logic is a type of logic concerned with reasoning about beliefs. The term doxastic derives from the Ancient Greek δόξα (doxa, "opinion, belief"), from which the English term doxa ("popular opinion or belief") is also borrowed. Typically, a doxastic logic uses the notation to mean "It is believed that is the case", and the set denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief. (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
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
Ignorance & Censorship | Philosophy Tube
A video about ignorance, something I'm a world expert in ❓🤫 ❓ https://www.patreon.com/PhilosophyTube Subscribe! http://tinyurl.com/pr99a46 Paypal.me/PhilosophyTube Twitter: @PhilosophyTube Email: philosophytubebusiness@gmail.com Facebook: http://tinyurl.com/jgjek5w realphilosophytube
From playlist The Main Show
Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/4
In this four-part series we explore propositional logic, Karnaugh maps, implications and fallacies, predicate logic, existential and universal quantifiers and finally natural deduction. Become a member: https://youtube.com/Bisqwit/join My links: Twitter: https://twitter.com/RealBisqwit L
From playlist Logic Tutorial
Epistemology: How can We Know God? | Episode 1908 | Closer To Truth
How can we know God? Can humans have knowledge of God? Between humans and God, between finite and infinite, there seems an unbridgeable gap. So what can it mean to “know God”? There are multiple meanings. Featuring interviews with Robert Audi, Meghan Sullivan, David Bentley Hart, Menachem
From playlist Big Questions About God - Closer To Truth - Core Topic
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
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
An introduction to the general types of logic statements
From playlist Geometry
Minimal logic, or minimal calculus, is an intuitionistic and paraconsistent logic, that rejects both the Law of Excluded Middle (LEM) as well as the Principle Of Explosion (Ex Falso Quodlibet, EFQ). https://en.wikipedia.org/wiki/Minimal_logic https://en.wikipedia.org/wiki/Principle_of_exp
From playlist Logic
Ch. 8 - Logic - implication, inverse, converse, contrapositive, equivalence (conditional statements)
Hello and welcome to What Da Math This video is an explanation of the following terms from logic, chapter 8: implication converse inverse contrapositive equivalence In this and other chapter 8 videos we will focus on truth tables, deductive reasoning and logic, conjunction, disjunction
From playlist IB Math Studies Chapter 8
LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev
Traditionally, in Computer Science, sets are assumed to be the basis of a type theory, together with Boolean logic. In this version of type theory, we do not need sets or Boolean logic; intuitionism is enough ("no principle of excluded middle required"). The underlying math is Topos Theory
From playlist LambdaConf 2015
Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai This lecture covers logic-based models: propositional logic, first order logic Applications: theorem proving, verification, reasoning, think in terms of logical f
From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2021
Logic for Programmers: Propositional Logic
Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod
From playlist Logic for Programmers
Excel Statistical Analysis 17: AND, OR, and NOT Logical Tests for COUNTIFS & FILTER Functions
Download Excel File: https://excelisfun.net/files/Ch04-ESA.xlsm pdf notes: https://excelisfun.net/files/Ch04-ESA.pdf Learn about the basics of Logical Tests: AND, OR and NOT. Lean how to count based on logical tests using COUNTIFS, FILTER and ROWS functions. Topics: 1. (00:00) Introduction
From playlist Excel Statistical Analysis for Business Class Playlist of Videos from excelisfun
Inference: A Logical-Philosophical Perspective - Moderated Conversation w/ A.C. Paseau and Gila Sher
Inference: A Logical-Philosophical Perspective. Moderated Conversation with Gila Sher, Department of Philosophy, University of California, San Diego on the talk by Alexander Paseau, Faculty of Philosophy, University of Oxford. The Franke Program in Science and the Humanities Understandi
From playlist Franke Program in Science and the Humanities
Maths for Programmers: Logic (What Is Logic?)
We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod
From playlist Maths for Programmers
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