Journal of Applied Non-Classical Logics is a peer reviewed academic journal published by Taylor & Francis. It focusses on non-classical logic, in particular formal aspects (completeness, decidability, complexity), applications to artificial Intelligence and cognitive science (knowledge representation, automated reasoning, natural language processing), and theoretical computer science (program verification, program synthesis). The journal was established in 1991 by Luis Fariñas del Cerro, who was its editor-in-chief until 2014. He was succeeded in 2015 by Andreas Herzig. (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
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
Classical Mechanics | Lecture 2
(October 3, 2011) Leonard Susskind discusses the some of the basic laws and ideas of modern physics. In this lecture, he focuses on some of the incorrect laws of motion that were first proposed by Aristotle. While they are invalid they provide some insight into how modern physics has devel
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
Classical Mechanics | Lecture 10
(November 28, 2011) Leonard Susskind wraps up the lecture series by finishing his talk on particles and both electric and magnetic fields and how they relate to physics. This course is the beginning of a six course sequence that explores the theoretical foundations of modern physics. Topi
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
Classical Mechanics | Lecture 4
(October 17, 2011) Leonard Susskind discusses the some of the basic laws and ideas of modern physics. In this lecture, he focuses symmetry and conservation laws, including the principle of least action and Lagrangian methods. This course is the beginning of a six course sequence that expl
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
Classical Mechanics | Lecture 3
(October 10, 2011) Leonard Susskind discusses lagrangian functions as they relate to coordinate systems and forces in a system. This course is the beginning of a six course sequence that explores the theoretical foundations of modern physics. Topics in the series include classical mechani
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
A Defense of Classical Theology (Part 5): Change and the Act-Potency Distinction
In part 5 of this series, we will analyze change and cover the act-potency distinction and thereby lay some foundation for understanding the argument from change/motion. We will also see what is entailed by previously established results in this series, discussing essence and existence.
From playlist Theology
A Defense of Classical Theology (Part 0): Introduction
In this video series, I will make the case for classical theism and for the classical theological tradition more generally. This will, in part, involve a critique of atheism, modern metaphysics, including naturalism, an examination of what a profound atheism would look like, a defense of A
From playlist Theology
Compositionality Journal: A quick look at the first papers
In this video I take a first look at the papers of the newly announced Compositionality Journal that relates to the "Applied Category Theory" crowd. Here's all the links shown in this video: https://gist.github.com/Nikolaj-K/7ea620559982c99618dd1032e1e8389f The papers are * Network models
From playlist Algebra
Classical Mechanics | Lecture 7
(November 7, 2011) Leonard Susskind discusses the some of the basic laws and ideas of modern physics. In this lecture, he focuses on Liouville's Theorem, which he describes as one of the basis for Hamiltonian mechanics. He works to prove the reversibility of classical mechanics. This cour
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
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
(May 19, 2010) Professor Robert Sapolsky gives what he calls "one of the most difficult lectures of the course" about chaos and reductionism. He references a book that he assigned to his students. This lecture focuses on reduction science and breaking things down to their component parts i
From playlist Lecture Collection | Human Behavioral Biology
John M. Keynes and Treatise on Probability - Prof. Simon Blackburn
Abstract To introduce Keynes’s Treatise on Probability in a short time I shall emphasize its remarkable scholarship; its debt to Russell’s logicism; and its pervasive scepticism about the possibility of applying mathematics to its subject. I then briefly consider the departure from logici
From playlist Uncertainty and Risk
Olivia Caramello - 2/4 Introduction to Grothendieck toposes
This course provides an introduction to the theory of Grothendieck toposes from a meta-mathematical point of view. It presents the main classical approaches to the subject (namely, toposes as generalized spaces, toposes as mathematical universes and toposes as classifiers of models of firs
From playlist Olivia Caramello - Introduction to Grothendieck toposes
Inference: A Logical-Philosophical Perspective with Alexander Paseau
In this talk, Professor Alexander Paseau, Faculty of Philosophy, University of Oxford, will describe some of his work on inference within mathematics and more generally. Inferences can be usefully divided into deductive or non-deductive. Formal logic studies deductive inference, the obviou
From playlist Franke Program in Science and the Humanities
Ultraproducts: What are they good for?
From playlist Workshop on Model Theory, Differential/Difference Algebra, and Applications
Des MacHale - The Humour Of Mathematics - CoM Mar 2022
We look at the role that humour plays in the teaching and understanding of mathematics, with hilariously funny illustrations and examples. The aim is to show how humour humanises the subject, makes it more enjoyable, and show that mathematicians are prepared to laugh at themselves and the
From playlist Celebration of Mind
SHM - 16/01/15 - Constructivismes en mathématiques - Henri Lombardi
Henri Lombardi (LMB, Université de Franche-Comté), « Foundations of Constructive Analysis, Bishop, 1967 : une refondation des mathématiques, constructive, minimaliste et révolutionnaire »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
The History of Logic: The Logic of Aristotle
A few clips of Gabriele Giannantoni explaining Aristotelian logic, the logic of Aristotle. These clips come from the Multimedia Encyclopedia of the Philosophical Sciences. More Short Videos: https://www.youtube.com/playlist?list=PLhP9EhPApKE8v8UVlc7JuuNHwvhkaOvzc Aristotle's Logic: https:
From playlist Logic & Philosophy of Mathematics
Reality, Reason, and Action In and Beyond Chinese Medicine: Humanity as Root–Terry Lectures 2017
Reality, Reason, and Action In and Beyond Chinese Medicine: Humanity as Root – Dwight H. Terry Lectures 2017 Judith Farquhar, Max Palevsky Professor Emerita, University of Chicago, Faculty Director, University of Chicago Center in Beijing These lectures draw on the science and practice of
From playlist Terry Lectures