Free Online Learning Materials in Mathematics in the Modern World

This video contains a compilation of video lectures in Mathematical Logic as part of the course Mathematics in the Modern World, including their full transcripts. We hope this helps in your studies.

Thank you and happy learning!

WHAT IS PHILOSOPHY?
Transcript Link: https://philonotes.com/index.php/2017/12/16/what-is-philosophy/
Youtube Link: https://www.youtube.com/watch?v=nRG-rV8hhpU&t=216s

PROPOSITIONS AND SYMBOLS USED IN SYMBOLIC OR PROPOSITIONAL LOGIC
Transcript Link: https://philonotes.com/index.php/2018/02/02/symbolic-logic/
Youtube Link: https://www.youtube.com/watch?v=OdUbiNZVG1s

NEGATION OF STATEMENTS IN SYMBOLIC OR PROPOSITIONAL LOGIC
Transcript Link: https://philonotes.com/index.php/2018/02/03/negation-of-propositions/
Youtube Link: https://www.youtube.com/watch?v=hHrmrh7qYnA&t=12s

CONJUNCTIVE STATEMENTS IN SYMBOLIC OR PROPOSITIONAL LOGIC
Transcript Link: https://philonotes.com/index.php/2018/02/03/conjunctive-statements/
Youtube Link: https://www.youtube.com/watch?v=WyeSJGb2saA&t=32s

INCLUSIVE DISJUNCTION
Transcript Link: https://philonotes.com/index.php/2018/02/06/inclusive-disjunction/
Youtube Link: https://www.youtube.com/watch?v=_mTYZhAxfkc&t=155s

EXCLUSIVE DISJUNCTION
Transcript Link: https://philonotes.com/index.php/2018/02/07/exclusive-disjunction/
Youtube Link: https://www.youtube.com/watch?v=LtCBPaldSJ4&t=12s

CONDITIONAL PROPOSITIONS IN SYMBOLIC OR PROPOSITIONAL LOGIC
Transcript Link: https://philonotes.com/index.php/2018/02/11/conditional-propositions/
Youtube Link: https://www.youtube.com/watch?v=3pD7N29KuS4&t=17s

IF-THEN STATEMENTS IN SYMBOLIC OR PROPOSITIONAL LOGIC
Transcript Link: https://philonotes.com/index.php/2018/08/23/if-then-statement/

CONDITIONAL STATEMENTS
Transcript Link: https://philonotes.com/index.php/2018/10/04/conditional-statement/

BICONDITIONAL STATEMENTS
Transcript Link: https://philonotes.com/index.php/2018/02/11/biconditional-propositions/
Youtube Link: https://www.youtube.com/watch?v=2cwbLz6ibU4&t=22s

PUNCTUATIONS IN SYMBOLIC OR PROPOSITIONAL LOGIC
Transcript Link: https://philonotes.com/index.php/2018/02/11/punctuating-propositions-in-symbolic-logic/
Youtube Link: https://www.youtube.com/watch?v=OvQKL4_1edg&t=19s

SYMBOLIZING PROPOSITIONS
Transcript Link: https://philonotes.com/index.php/2018/02/14/symbolizing-propositions-in-symbolic-logic/
Youtube Link (Example 1): https://www.youtube.com/watch?v=KcifO4BXCzw&t=26s
Youtube Link (Example 2): https://www.youtube.com/watch?v=UuXRvEZ9Kbw&t=44s
Youtube Link (Example 3): https://www.youtube.com/watch?v=_QsmeYvqU7o&t=8s
Youtube Link (Example 4 & 5)): https://www.youtube.com/watch?v=G0ubd4bX39Y&t=13s

SYMBOLIZING ARGUMETNS IN SYMBOLIC OR PROPOSITIONAL LOGIC
Transcript Link: https://philonotes.com/index.php/2018/10/30/how-to-symbolize-arguments-in-symbolic-logic/
Youtube Link: In Progress

TAUTOLOGIES AND CONTRADICTIONS
Transcript Link: https://philonotes.com/index.php/2018/02/14/tautologies-and-contradictions/
Youtube Link: https://www.youtube.com/watch?v=vzCww-PRug4&t=17s

TRUTH TABLE AND VALIDITY OF ARGUMENTS
Transcript Link: https://philonotes.com/index.php/2018/03/26/truth-table-and-validity-of-arguments/
Youtube Link: https://www.youtube.com/watch?v=eWrzJP7r5cI&t=33s

INDIRECT TRUTH TABLE METHOD
Transcript Link: https://philonotes.com/index.php/2018/03/27/indirect-truth-table-method/
Youtube Link: In Progress

RULES OF INFERENCE AND FORMAL VALIDITY OF ARGUMENTS
Transcript Link: https://philonotes.com/index.php/2018/03/28/rules-of-inference/
Youtube Link: In Progress

RULES OF INFERENCE (MODUS PONENS)
Transcript Link: https://philonotes.com/index.php/2019/12/28/modus-ponens/
Youtube Link: In Progress

RULES OF INFERENCE (MODUS TOLLENS)
Transcript Link: https://philonotes.com/index.php/2019/12/30/modus-tollens/
Youtube Link:

RULES OF INFERENCE (HYPOTHETICAL SYLLOGISM)
Transcript Link: https://philonotes.com/index.php/2019/12/31/hypothetical-syllogism/
Youtube Link: In Progress

RULES OF INFERENCE (DISJUNCTIVE SYLLOGISM)
Transcript Link: https://philonotes.com/index.php/2020/01/01/disjunctive-syllogism/
Youtube Link: In Progress

RULES OF INFERENCE (In Progress: Constructive Dilemma, Destructive Dilemma, Conjunction, Simplification, Addition, and Absorption)

RULES OF REPLACEMENT
Transcript Link: https://philonotes.com/index.php/2018/03/29/rules-of-replacement/
Youtube Link: In Progress

PROPOSITIONAL LOGIC OR SYMBOLIC LOGIC EXERCISES
Transcript Link: https://philonotes.com/index.php/2018/11/30/symbolic-logic-exercises/