Все публикации

0:02:29

Intuitionism IV: why reject De Morgan's Law for QUANTIFIER NEGATION? ⟨15,04⟩—optional

0:10:32

Quantified sentences and TAUTOLOGIES ⟨12,02⟩

0:03:05

Intuitionism III: why reject INDIRECT proof? ⟨11,07⟩—optional

0:03:11

Fuzzy Logic III: CONDITIONALS ⟨09,06⟩—optional

0:01:58

Intuitionism II: the law of EXCLUDED MIDDLE ⟨08,07⟩—optional

0:03:34

Intuituionism I: Brouwer's CONSTRUCTIVISM ⟨06,05⟩—optional

0:03:00

Who is George BOOLE? ⟨05,07⟩—optional

0:03:41

Fuzzy Logic II: fuzzy Boolean OPERATORS ⟨05,06⟩—optional

0:01:37

Constants: SENSE vs REFERENCE ⟨03,07⟩—optional

0:03:48

Free Logic II: does God exist? The existence predicate and Anselm's proof ⟨03,06⟩—optional

0:04:24

Fuzzy Logic I: FUZZY TRUTH ⟨04,08⟩—optional

0:02:29

Constants ⟨02,01⟩

0:03:03

Atomic sentences + intro to TARSKI ⟨02,03⟩

0:02:48

Free Logic I: constants, nonexistent objects, & puzzles ⟨02,05⟩—optional

0:02:44

General remarks on FIRST-ORDER languages ⟨02,04⟩

0:05:38

Predicates, arity, and vagueness ⟨02,02⟩

0:12:44

How to do well in this course (overview + syllabus) ⟨01,01⟩

0:05:28

Modal logic II: FRAMES ⟨13,06⟩—optional

0:03:53

Formal proofs with ∃ ⟨15,02⟩

0:05:05

Formal proofs with ∀ ⟨15,01⟩

0:07:28

USEFUL: techniques for quantifier proofs ⟨15,03⟩

0:03:38

The Fallacy of Origins ⟨14,07⟩—optional

0:03:09

'MOST' as a quantifier ⟨14,08⟩—optional

0:04:54

Modal Logic I: how we use possible worlds ⟨12,07⟩—optional