Theorems in propositional logic | Rules of inference | Classical logic
In classical logic, a hypothetical syllogism is a valid argument form, a syllogism with a conditional statement for one or both of its premises. An example in English: If I do not wake up, then I cannot go to work.If I cannot go to work, then I will not get paid.Therefore, if I do not wake up, then I will not get paid. The term originated with Theophrastus. (Wikipedia).
Mood and Figure of Standard Categorical Syllogisms // Lessons 21 and 22 [INTRODUCTORY LOGIC]
Standard categorical syllogisms can be grouped together by two characteristics called mood and figure. Given a mood and figure, we should be able to build a schema (think, skeleton) of the syllogism, and eventually, tell whether it is valid or invalid. The mood of the syllogism has to do w
From playlist Introductory Logic
Aristotle's syllogisms revisited with the Algebra of Boole | MathFoundations 280 | N J Wildberger
We have another look at the syllogisms of Aristotle, now from the Algebra of Boole point of view. Two of his logical forms are quite different from the other two, and by restating the sylllogisms using modern Propositional Logic we can then convert exactly four of them into the Algebra of
From playlist Boole's Logic and Circuit Analysis
Testing Syllogisms by Counterexample // Lesson 24 [INTRODUCTORY LOGIC]
Although it can feel like there are infinitely many kinds of categorical syllogisms, in fact there are only 256, and of those, only 40 are valid. So how can we confirm which ones are valid and which ones are invalid, especially if we're not already familiar with the terms of the argument?
From playlist Introductory Logic
Replacing truth tables and Boolean equivalences | MathFoundations274 | N J Wildberger
While Propositional Logic is a branch of philosophy, concerned with systematizing reasoning using connectives such as AND, OR, NOT, IMPLIES and EQUIVALENT, the Algebra of Boole provides a mathematical framework for modelling some of this. With this approach we ignore the issue of the mean
From playlist Boole's Logic and Circuit Analysis
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
Truth and Validity // Lesson 23 [INTRODUCTORY LOGIC]
The fact that truth and validity are different (though related) concepts is one of the most difficult ideas for logic students to grasp. A valid syllogism can contain false statements. And true statements can often be found in invalid syllogisms. But the two concepts are neither necessary
From playlist Introductory Logic
Simplify the Negation of Statements with Quantifiers and Predicates
This video provides two examples of how to determine simplified logically equivalent statements containing quantifiers and predicates. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Definitions, specification and interpretation | Arithmetic and Geometry Math Foundations 44
We discuss important meta-issues regarding definitions and specification in mathematics. We also introduce the idea that mathematical definitions, expressions, formulas or theorems may support a variety of possible interpretations. Examples use our previous definitions from elementary ge
From playlist Math Foundations
10.Ch. 4, Sections 4.1-4.5. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF
Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 4, Sections 4.1 through 4.5. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.
From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy
RULES of INFERENCE - DISCRETE MATHEMATICS
We talk about rules of inference and what makes a valid argument. We discuss modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, addition, simplification, and conjunction. #DiscreteMath #Mathematics #Logic #RulesOfInference LIKE AND SHARE THE VIDEO IF IT HELPED!
From playlist Discrete Math 1
12. Ch. 4, Section 4.7. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF
Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 4, Section 4.7. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.
From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy
Natural Deductive Logic: DERIVABLE RULES (MT, HS, DS, DeM)
In this video on #Logic we do the proofs for modus tollens (MT), hypothetical syllogism (HS), disjunctive syllogism (DS) and one of the DeMorgan's Laws (DeM) so that we can use them as shortcuts in further proofs. 0:00 [Modus Tollens (MT)] 1:23 [Hypothetical Syllogism (HS)] 3:25 [Disjunct
From playlist Logic in Philosophy and Mathematics
8b. Ch. 3, Section 3.4. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF
Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 3, Section 3.4. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.
From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy
The Most Powerful Tool Based Entirely On Randomness
We see the effects of randomness all around us on a day to day basis. In this video we’ll be discussing a couple of different techniques that scientists use to understand randomness, as well as how we can harness its power. Basically, we'll study the mathematics of randomness. The branch
From playlist Classical Physics by Parth G
Discrete Math - 1.6.1 Rules of Inference for Propositional Logic
Building a valid argument using rules of inference for propositions. Textbook: Rosen, Discrete Mathematics and Its Applications, 7e Playlist: https://www.youtube.com/playlist?list=PLl-gb0E4MII28GykmtuBXNUNoej-vY5Rz
From playlist Discrete Math I (Entire Course)
Inference Rules via the Algebra of Boole | MathFoundations 275 | N J Wildberger
We show how to introduce Inference Rules in Propositional Logic in the framework of the Algebra of Boole, which provides a cut and dried technology to easily establish all such rules. Prominent amongst these are Modus Ponens, Modus Tollens, Hypothetical Syllogism and Disjunctive Syllogism
From playlist Boole's Logic and Circuit Analysis
Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu
From playlist Science Unplugged: Quantum Mechanics
This video functions as a brief introduction to many different topics in formal logic. Notes on the Images: I looked into the legality of using images for this video a good deal and I've come to the conclusion that there is nothing in this video which could remotely imply these images ar
From playlist Summer of Math Exposition 2 videos