Non-classical logic | Bayesian statistics
Subjective logic is a type of probabilistic logic that explicitly takes epistemic uncertainty and source trust into account. In general, subjective logic is suitable for modeling and analysing situations involving uncertainty and relatively unreliable sources. For example, it can be used for modeling and analysing trust networks and Bayesian networks. Arguments in subjective logic are subjective opinions about state variables which can take values from a domain (aka state space), where a state value can be thought of as a proposition which can be true or false. A binomial opinion applies to a binary state variable, and can be represented as a Beta PDF (Probability Density Function). A multinomial opinion applies to a state variable of multiple possible values, and can be represented as a Dirichlet PDF (Probability Density Function). Through the correspondence between opinions and Beta/Dirichlet distributions, subjective logic provides an algebra for these functions. Opinions are also related to the belief representation in Dempster–Shafer belief theory. A fundamental aspect of the human condition is that nobody can ever determine with absolute certainty whether a proposition about the world is true or false. In addition, whenever the truth of a proposition is expressed, it is always done by an individual, and it can never be considered to represent a general and objective belief. These philosophical ideas are directly reflected in the mathematical formalism of subjective logic. (Wikipedia).
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
This video focuses on how to write the converse of a conditional statement. In particular, this video shows how to flip the hypothesis and conclusion of a conditional statement. The concepts of truth value and logical equivalence are explored as well. Your feedback and requests are encour
From playlist Geometry
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
This video teaches students how to write the inverse of a conditional statement. In particular, this video goes into detail about how to negate the hypothesis and conclusion of a conditional statement. In addition, the concepts of truth value, negating statements and logical equivalence ar
From playlist Geometry
An introduction to the general types of logic statements
From playlist Geometry
A02 Independence of the solution set
The independence of a linear system. How to make sure that a set of solutions are not constant multiples of each other.
From playlist A Second Course in Differential Equations
(ML 7.1) Bayesian inference - A simple example
Illustration of the main idea of Bayesian inference, in the simple case of a univariate Gaussian with a Gaussian prior on the mean (and known variances).
From playlist Machine Learning
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Differential Equation in terms of Dependent Variable (1 of 2: Partial Fractions)
More resources available at www.misterwootube.com
From playlist Applications of Calculus
Classical and Quantum Subjectivity
Uncertainty is a major component of subjective logic beliefs. We discuss the cloud of uncertainty across Markov networks, insights from computational irreducibility, and negative quantum quasiprobabilities and beliefs.
From playlist Wolfram Technology Conference 2022
Robert Pippin - Radical Finitude in the Anti-Idealist Modern European Philosophical Tradition”
Robert Pippin is Evelyn Stefansson Nef Distinguished Service Professor in the Committee on Social Thought, the Department of Philosophy, and the College at the University of Chicago. He is the author of Kant’s Theory of Form; Hegel’s Idealism: The Satisfactions of Self-Consciousness; Moder
From playlist Franke Lectures in the Humanities
Gabriele Giannantoni explains the logic of Aristotle in the context of the history of logic in interview from 1990. These clips are from the Multimedia Encyclopedia of the Philosophical Sciences. The translation is my own. #Philosophy #Aristotle
From playlist Aristotle
Mod-05 Lec-21 The Nyaya Philosophy - VII
Indian Philosophy by Dr. Satya Sundar Sethy, Department of Humanities and Social Sciences, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in
From playlist IIT Madras: Introduction to Indian Philosophy | CosmoLearning.org Philosophy
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
MIT 6.042J Mathematics for Computer Science, Spring 2015 View the complete course: http://ocw.mit.edu/6-042JS15 Instructor: Albert R. Meyer License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
From playlist MIT 6.042J Mathematics for Computer Science, Spring 2015
Introduction to the Nature of Proof (1 of 3: Prologue)
More resources available at www.misterwootube.com
From playlist The Nature of Proof
The True Power of Model Theory – Compactness, Infinitesimals and Ax's theorem
Thanks for watching! Go check out all submissions to 3blue1brown's contest: https://3b1b.co/SoME1 Corrections and remarks: none yet, let me know in the comments if you have any. Sources and resources: – First-order logic, compactness theorem David Marker's book: https://www.springer.com
From playlist Summer of Math Exposition Youtube Videos
A. J. Ayer on the Concept of a Person (1961)
In this talk, A. J. Ayer explores mind-body issues and that of personal identity. What is it that makes you who you are? Physical features of your body? Mental features of the mind? A combination of the two? If scientists could transfer all of your mental contents to another body, would yo
From playlist Philosophy of Mind
10 - Lectures : Jean-Yves Girard 3/3, D'où vient la certitude ? (l'épidictique)
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
From playlist T2-2014 : Semantics of proofs and certified mathematics
Introduction to Propositional Logic and Truth Tables
This video introduces propositional logic and truth tables. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)