Combining Philosophers
Ideas for H.Putnam/P.Oppenheim, Theodore Sider and Ray Billington
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
2 ideas
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
13689
|
'Theorems' are formulas provable from no premises at all [Sider]
|
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
13705
|
Truth tables assume truth functionality, and are just pictures of truth functions [Sider]
|