Logic with Bo
1.17K subscribers
2:29
Intuitionism IV: why reject De Morgan's Law for QUANTIFIER NEGATION? ⟨15,04⟩—optional
Logic with Bo
1.3K views • 3 years ago
10:32
Quantified sentences and TAUTOLOGIES ⟨12,02⟩
Logic with Bo
327 views • 3 years ago
3:05
Intuitionism III: why reject INDIRECT proof? ⟨11,07⟩—optional
Logic with Bo
1.1K views • 3 years ago
3:11
Fuzzy Logic III: CONDITIONALS ⟨09,06⟩—optional
Logic with Bo
258 views • 3 years ago
1:58
Intuitionism II: the law of EXCLUDED MIDDLE ⟨08,07⟩—optional
Logic with Bo
3.5K views • 3 years ago
3:34
Intuituionism I: Brouwer's CONSTRUCTIVISM ⟨06,05⟩—optional
Logic with Bo
3K views • 3 years ago
3:00
Who is George BOOLE? ⟨05,07⟩—optional
Logic with Bo
2.1K views • 3 years ago
3:41
Fuzzy Logic II: fuzzy Boolean OPERATORS ⟨05,06⟩—optional
Logic with Bo
561 views • 3 years ago
1:37
Constants: SENSE vs REFERENCE ⟨03,07⟩—optional
Logic with Bo
488 views • 3 years ago
3:48
Free Logic II: does God exist? The existence predicate and Anselm's proof ⟨03,06⟩—optional
Logic with Bo
593 views • 3 years ago
4:24
Fuzzy Logic I: FUZZY TRUTH ⟨04,08⟩—optional
Logic with Bo
492 views • 3 years ago
2:44
General remarks on FIRST-ORDER languages ⟨02,04⟩
Logic with Bo
413 views • 3 years ago
2:48
Free Logic I: constants, nonexistent objects, & puzzles ⟨02,05⟩—optional
Logic with Bo
519 views • 3 years ago
3:03
Atomic sentences + intro to TARSKI ⟨02,03⟩
Logic with Bo
539 views • 3 years ago
5:38
Predicates, arity, and vagueness ⟨02,02⟩
Logic with Bo
577 views • 3 years ago
2:29
Constants ⟨02,01⟩
Logic with Bo
570 views • 3 years ago
12:44
How to do well in this course (overview + syllabus) ⟨01,01⟩
Logic with Bo
1.1K views • 3 years ago
5:28
Modal logic II: FRAMES ⟨13,06⟩—optional
Logic with Bo
913 views • 4 years ago
3:53
Formal proofs with ∃ ⟨15,02⟩
Logic with Bo
365 views • 4 years ago
5:05
Formal proofs with ∀ ⟨15,01⟩
Logic with Bo
418 views • 4 years ago
7:28
USEFUL: techniques for quantifier proofs ⟨15,03⟩
Logic with Bo
546 views • 4 years ago
3:38
The Fallacy of Origins ⟨14,07⟩—optional
Logic with Bo
221 views • 4 years ago
3:09
"MOST" as a quantifier ⟨14,08⟩—optional
Logic with Bo
182 views • 4 years ago
4:54
Modal Logic I: how we use possible worlds ⟨12,07⟩—optional
Logic with Bo
1.9K views • 4 years ago
5:31
Proofs with MIXED QUANTIFIERS ⟨14,06⟩
Logic with Bo
591 views • 4 years ago
3:04
General CONDITIONAL proof ⟨14,05⟩
Logic with Bo
279 views • 4 years ago
1:51
Universal generalization (∀-INTRO) ⟨14,04⟩
Logic with Bo
428 views • 4 years ago
3:58
Existential instantiation (∃-ELIM) ⟨14,03⟩
Logic with Bo
621 views • 4 years ago
2:34
Existential generalization (∃-INTRO) ⟨14,02⟩
Logic with Bo
415 views • 4 years ago
1:48
Universal instantiation (∀-ELIM) ⟨14,01⟩
Logic with Bo
521 views • 4 years ago
Load More