Non-classical logic | Bayesian statistics

Subjective logic

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).

Subjective logic
Video thumbnail

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

Video thumbnail

Converse Statements - Logic

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

Video thumbnail

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

Video thumbnail

Inverse Statements - Logic

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

Video thumbnail

Logic - Types of Statements

An introduction to the general types of logic statements

From playlist Geometry

Video thumbnail

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

Video thumbnail

(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

Video thumbnail

Introduction to Predicate Logic

This video introduces predicate logic. mathispower4u.com

From playlist Symbolic Logic and Proofs (Discrete Math)

Video thumbnail

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

Video thumbnail

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

Video thumbnail

The Logic of Aristotle

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

1.7.1 Relations: Video

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

Video thumbnail

Introduction to the Nature of Proof (1 of 3: Prologue)

More resources available at www.misterwootube.com

From playlist The Nature of Proof

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Related pages

Uncertainty quantification | Variance | Probabilistic logic | Bayes' theorem | Contraposition | Beta distribution | Dempster–Shafer theory | Modus tollens | Uncertainty | Tetrahedron | Negation | De Morgan's laws | Dirichlet distribution | Logical conjunction | Bayesian network | Logical disjunction | Modus ponens | Probability