_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > FREGE: A Logic Course Elaine Rich, Alan Cline

FREGE: A Logic Course Elaine Rich, Alan Cline	2400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 4 minutes 1 second 2K views Shared 8 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Predicate Logic Proof Example 2: Using Instantiation and Generalization YT 5 minutes 54 seconds 3.9K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Predicate Logic Proof Example 6: Using the Contradictory Premises Rule YT 10 minutes 27 seconds 1.3K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline The Purpose of Proof

YT 8 minutes 18 seconds 4.7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Proof by Counterexample YT 10 minutes 14 seconds 1.7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Proofs in English: Taking the Training Wheels Off YT 8 minutes 4 seconds 415 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Querium's StepWise Tool for Checking Formal Proofs - Part 4

YT 9 minutes 9 seconds 375 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Querium's StepWise Tool for Checking Formal Proofs - Part 3 YT 6 minutes 33 seconds 426 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Querium's StepWise Tool for Checking Formal Proofs - Part 2 YT 4 minutes 33 seconds 591 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Querium's StepWise Tool for Checking Formal Proofs - Part 1

YT 5 minutes 27 seconds 25K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Law of the Excluded Middle - Part 1 YT 7 minutes 16 seconds 4.7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Law of the Excluded Middle - Part 2 YT 4 minutes 40 seconds 2.7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Logic Proof Example 2: Using Disjunctive Syllogism

YT 5 minutes 33 seconds 7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Predicate Logic Proof Example 5: Existential Instantiation and Generalization YT 4 minutes 6.6K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Proof Example 1: Using Modus Ponens YT 6 minutes 37 seconds 1.4K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Predicate Logic Proof Example 7: Using Quantifier Exchange

YT 5 minutes 38 seconds 1.5K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Proof Example 7: Using Contradictory Premises and Conditionalization YT 6 minutes 22 seconds 2.7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Proof Example 3: Using Conditional Disjunction YT 4 minutes 18 seconds 6.1K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Predicate Logic Proof Example 3: Using Universal Instantiation

YT 4 minutes 19 seconds 371 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Induction Proof Example 2 YT 4 minutes 21 seconds 9.5K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Predicate Logic Proof Example 1: Using Universal Generalization YT 5 minutes 5 seconds 1K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Predicate Logic Proof Example 4: Using Quantifier Exchange

YT 4 minutes 41 seconds 525 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Induction Proof Example 1 YT 4 minutes 40 seconds 942 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Proof Example 5: Using Conditionalization YT 4 minutes 39 seconds 497 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Proof Example 6: Conditionalization

YT 4 minutes 10 seconds 1K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Proof Example 4: Backward Reasoning Using Modus Tollens YT 5 minutes 59 seconds 5.8K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline English Semantics are Hard YT 5 minutes 19 seconds 24K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Sorites Paradox

YT 14 minutes 53 seconds 14K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Proof by Construction YT 8 minutes 11 seconds 52K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Presuppositions YT 7 minutes 39 seconds 17K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Cooperative Principle

YT 5 minutes 27 seconds 506 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Logical Representation - Part III: Once We Can Prove Things YT 5 minutes 32 seconds 1.4K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Logical Representation - Part II: More Practice YT 8 minutes 2 seconds 1.6K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Logical Representation - Part I: Combining Quantifiers

YT 8 minutes 29 seconds 578 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Mathematical Induction YT 5 minutes 13 seconds 36K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Towers of Hanoi Induction Proof YT 6 minutes 1 second 1.8K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Soundex

YT 3 minutes 49 seconds 1K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Big Conjunctions, Big Disjunctions and Quantifiers YT 2 minutes 59 seconds 333 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Converse and Contrapositive YT 8 minutes 8 seconds 30K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Necessary and Sufficient Conditions

YT 21 minutes 23 seconds 24K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Logisim: A Tool for Designing Digital Circuits YT 5 minutes 6 seconds 2.7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Boolean Queries YT 12 minutes 53 seconds 19K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline A JFLAP Demo

YT 12 minutes 25 seconds 22K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Finite State Machines YT 3 minutes 21 seconds 303 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Composing Relations: Think of a Path YT 6 minutes 48 seconds 192 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline More Sense and Nonsense

YT 8 minutes 27 seconds 15K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Using Set Identities YT 2 minutes 48 seconds 1.6K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline The Voice of Aristotle - Avoiding Common Logical Mistakes YT 5 minutes 21 seconds 261 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Sets and Sets of Sets

YT 11 minutes 41 seconds 518 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Towers of Hanoi Solution - The Power of Recursion YT 2 minutes 36 seconds 254 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Sets are Boxes that Contain Unordered Elements YT 10 minutes 35 seconds 4.7K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Introducing JFLAP and an Example FSM that Can Be Built Using It

YT 8 minutes 45 seconds 1K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Sense and Nonsense YT 5 minutes 48 seconds 3K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Variable Substitution in Boolean logic YT 9 minutes 13 seconds 1.6K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Instantiation And Generalization - Think Layers

YT 2 minutes 14 seconds 3.6K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Towers of Hanoi Introduction YT 4 minutes 23 seconds 1K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Conditionalization Proofs YT 8 minutes 29 seconds 27K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Proving Set Equality: From Sets to Logic and Back

YT 7 minutes 617 views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Back to Aristotle - Explanations of Common Logical Mistakes YT 4 minutes 49 seconds 2.1K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Digital Design: A Very Gentle Introduction YT 7 minutes 57 seconds 1.6K views Shared 9 years ago FREGE: A Logic Course Elaine Rich, Alan Cline Regular Pumping Theorem