In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators that is also closed under the rule Alternatively, one can give a dual definition of L by which L is classical if and only if it contains (as axiom or theorem) and is closed under the rule The weakest classical system is sometimes referred to as E and is non-normal. Both algebraic and neighborhood semantics characterize familiar classical modal systems that are weaker than the weakest normal modal logic K. Every regular modal logic is classical, and every normal modal logic is regular and hence classical. (Wikipedia).
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
Propositional Logic and the Algebra of Boole | MathFoundations273 | N J Wildberger
We give an overview of classical Propositional Logic, which is a branch of philosophy concerned with systematizing reason. This framework uses "atomic statements" called "propositions", and "relations", or "connectives", between them, prominently AND, OR, NOT, IMPLIES and EQUIVALENT, and t
From playlist Boole's Logic and Circuit Analysis
How to Get Classical Physics from Quantum Mechanics
We tend to think of Classical Physics as straightforward and intuitive and Quantum Mechanics as difficult and conceptually challenging. However, this is not always the case! In classical mechanics, a standard technique for finding the evolution equations for a system is the method of least
From playlist Quantum Mechanics
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
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
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"
Damiano Mazza: Heterodox exponential modalities in linear logic
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 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 Audiovisual
From playlist Logic and Foundations
Panentheism: Is the World in God? | Episode 1211 | Closer To Truth
The search for God leads to strange ideas. Panentheism claims that the world is in God but God is more than the world. Can this new kind of God make sense? Featuring interviews with Philip Clayton, Marcel Sarot, Michael Levine, Yujin Nagasawa, Sarah Coakley, and Alister McGrath. Season 12
From playlist Big Questions About God - Closer To Truth - Core Topic
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
Quantum Mechanics 1.1: Introduction
In this video I provide some motivation behind the development of quantum mechanics, kicking off a new series on everything you've been wondering about quantum mechanics! Twitter: https://twitter.com/SciencePlease_
From playlist Quantum Mechanics
Can Metaphysics Discern God II? | Episode 1705 | Closer To Truth
Can metaphysics discern God? How to think about God rationally, logically, profoundly, critically? Have no illusion that metaphysics can find God, but can a kind of progress be made? Featuring interviews with Brian Leftow, John Hawthorne, Robert Spitzer, John Cottingham, and Timothy O'Conn
From playlist Big Questions About God - Closer To Truth - Core Topic
Eugenio Orlandelli: Proof theory for quantified monotone modal logics
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: This paper provides the first proof-theoretic study of quantified non-normal modal logics. It introduces labelled sequent calculi for the first order extension, both wit
From playlist Workshop: "Proofs and Computation"
Yujin Nagasawa - Panentheism: Is the World in 'God'?
The "search for God" leads to strange ideas. Panentheism claims that the world is in God but God is more than the world. The idea is to take from pantheism a natural order and a sacred world, and from theism a transcendent Being and higher purpose. Can this new kind of God make sense? Some
From playlist Big Questions About God - Closer To Truth - Core Topic
Marie Kerjean: Differential linear logic extended to differential operators
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 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 Audiovisual
From playlist Logic and Foundations
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
Linear Algebra for the Standard C++ Library
Linear algebra is a mathematical discipline of ever-increasing importance in today's world, with direct application to a wide variety of problem domains, such as signal processing, computer graphics, medical imaging, machine learning, data science, financial modeling, and scientific simula
From playlist C++
Linguistically informed NLP for healthcare experience data | Healthcare NLP Summit 2021
Get your Free Spark NLP and Spark OCR Free Trial: https://www.johnsnowlabs.com/spark-nlp-try-free/ Register for NLP Summit 2021: https://www.nlpsummit.org/2021-events/ Watch all Healthcare NLP Summit 2021 sessions: https://www.nlpsummit.org/ Investigation of attention mechanisms of BER
From playlist Healthcare NLP Summit 2021