Logical consequence

Paradoxes of material implication

The paradoxes of material implication are a group of formulae that are intuitively false but treated as true in systems of logic that interpret the conditional connective as material conditional. On the material implication interpretation, a conditional formula is true unless is true and is false. If natural language conditionals were understood in the same way, that would mean that the sentence "If the Nazis won World War Two, everybody would be happy" is true. Given that such problematic consequences follow from a seemingly correct assumption about logic, they are called paradoxes. They demonstrate a mismatch between classical logic and robust intuitions about meaning and reasoning. (Wikipedia).

Video thumbnail

Implications and Truth Conditions for Implications

This video defines an implication and when an implication is true or false.

From playlist Mathematical Statements (Discrete Math)

Video thumbnail

Implications & Contrapositives (1 of 2: How do they relate?)

More resources available at www.misterwootube.com

From playlist The Nature of Proof

Video thumbnail

Matter, Mind, & Meaning

Quantum mechanics and relativity have shown us that the nature of matter is vastly different than materialists and mechanists ever imagined. Even so, trying to accommodate conscious minds into the natural order has led to the hard problem of consciousness and other seemingly insoluble prob

From playlist Philosophy of Mind

Video thumbnail

What is a Symmetry?

Symmetries show up everywhere in physics. But what is a symmetry? While the symmetries of shapes can be interesting, a lot of times, we are more interested in symmetries of space or symmetries of spacetime. To describe these, we need to build "invariants" which give a mathematical represen

From playlist Relativity

Video thumbnail

How to Solve the Liar Paradox

Most paradoxes either stem from the misunderstanding of a topic, or aren't really paradoxes. However, here is a paradox that seems to contradict logic itself. What's going on here? And what does the liar paradox have to do with computer science? #some2

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Equivalence relations -- Proofs

This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.

From playlist Proofs

Video thumbnail

Implication and Biconditional Statements

The definition of implication and biconditional connectives along with some laws for working with them, plus the definition of tautology and contradiction. (In the part I got hung up on in the video, "p is necessary for q" can be read "p if q" (or "if q, then p"), and "p is sufficient fo

From playlist Linear Algebra

Video thumbnail

Introduction to The Converse and Contrapositive of an Implication

This video the converse and contrapositive of an implication.

From playlist Mathematical Statements (Discrete Math)

Video thumbnail

Defining and comprehending "implication" in Mathematics

I'm not a native English speaker, sorry about my pronunciation and fluency in English. If there is any kind of mistake in the video, please inform me in the comments section.

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

Where Are All The Alien Robots? The Chilling Idea Of Von Neumann Probes

As you know, I’m obsessed about the Fermi Paradox. Where are all the aliens? But an even stranger question is: where are all the robot aliens? Support us at: http://www.patreon.com/universetoday More stories at: http://www.universetoday.com/ Follow us on Twitter: @universetoday Follow us

From playlist Space Exploration

Video thumbnail

Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2

My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im

From playlist Summer of Math Exposition 2 videos

Video thumbnail

13.2 Course Review

MIT 8.20 Introduction to Special Relativity, January IAP 2021 Instructor: Markus Klute View the complete course: https://ocw.mit.edu/8-20IAP21 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61Zc3rR6wVM0kpsiyIq0fk8 We give an overview of the material covered in 8.20 int

From playlist MIT 8.20 Introduction to Special Relativity, January IAP 2021

Video thumbnail

Bas C. van Fraassen - What are Selves?

What does it mean to be a 'self'? What characteristics distinguish a self from a non-self? What are the boundaries between self and non-self? Is there a difference between a self and a person? What follows from the existence of selves? Free access to Closer to Truth's library of 5,000 vi

From playlist Is Your 'Self' Just an Illusion? - Closer To Truth - Core Topic

Video thumbnail

The Information Paradox and Holography by Suvrat Raju

ICTS at Ten ORGANIZERS: Rajesh Gopakumar and Spenta R. Wadia DATE: 04 January 2018 to 06 January 2018 VENUE: International Centre for Theoretical Sciences, Bengaluru This is the tenth year of ICTS-TIFR since it came into existence on 2nd August 2007. ICTS has now grown to have more tha

From playlist ICTS at Ten

Video thumbnail

New Alternative to Kardashev Scale Explains Fermi Paradox

I wrote a foreword for this awesome Sci-Fi book here: https://amzn.to/3aGrg0I Get a Wonderful Person shirt: https://teespring.com/stores/whatdamath Alternatively, PayPal donations can be sent here: paypal.me/whatdamath Hello and welcome! My name is Anton and in this video, we will talk ab

From playlist Extraterrestrial Life

Video thumbnail

The Gospel of John: The Prologue

Yale Divinity School Dean Harold W. Attridge and Professor Emeritus David L. Bartlett discuss the Gospel of John. This is session 1 of 8 videos for the Gospel of John. The conversation is part of the Yale Bible Study Series presented in cooperation with The Congregational Church of New Ca

From playlist Yale Divinity Bible Study Series

Video thumbnail

Faith and Reason

Terry Eagleton, John Edward Taylor Professor of English Literature at the University of Manchester, delivers the third lecture in a series of lectures entitled “Faith and Fundamentalism: Is Belief in Richard Dawkins Necessary for Salvation?” In this lecture, Professor Eagleton explor

From playlist Terry Lectures

Video thumbnail

Solve Math problems through Paradoxes. Summer of Math Exposition, 2022 [SoME2]

Seek out a paradox and solve it! That's the purpose of this video: to show a different way of tackling math problems. This video was submitted to the Summer of Math Exposition, 2022, which is a math competition promoted by 3blue1brown's owner, Grant Sanderson. ⊛ Twitter→ @_ScienceSkills

From playlist Summer of Math Exposition 2 videos

Related pages

Principle of explosion | Logical consequence | Semantics of logic | Conjunction elimination | If and only if | Mathematical logic | Relevance logic | Logical connective | Connexive logic | Vacuous truth | Correlation does not imply causation | Formula | Classical logic | Validity (logic) | Modus ponens | Material conditional | Counterexample