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

0:06:07

How to use the PL Proof Machine for Sider's Logic for Philosophy

0:05:20

LPL Exercise 4.24 Language Proof and Logic

0:04:30

How to use the Truth Machine

0:03:48

How to use the Proof Machine

0:04:36

Proof Machine for FOL (beta)

0:02:27

LPL Exercise 4.17 Language Proof and Logic

0:05:03

LPL Exercise 4.8

0:07:55

LPL Exercise 4.34 & 4.36 Language Proof and Logic

0:03:40

LPL Exercise 5.1 and 5.2 Language Proof and Logic

0:04:28

LPL Exercise 6.4 Language Proof and Logic

0:06:25

LPL Exercise 6.19

0:03:58

LPL Exercise 6.41

0:03:05

LPL Exercise 8.19

0:01:57

LPL Exercise 7.1

0:05:41

LPL Exercise 8.21

0:02:50

LPL Exercise 8.28

0:04:57

LPL Exercise 8.27

0:04:26

LCA Video 30 Knights Knaves Randoms

0:08:07

LCA Video 40 When All Else Fails: Advanced Reductio

0:12:55

LCA Video 41 Two Uses of # contradiction

0:02:11

LCA Video 42 Contigency and Validity

0:02:12

LCA Video 43 Necessary and Contingent

0:03:36

LCA Video 44 Proof Practice ~Q&~P&~R

0:17:57

LCA Video 59 Metalogic Nor and Nand