display all the ideas for this combination of philosophers
2 ideas
13689 | 'Theorems' are formulas provable from no premises at all [Sider] |
Full Idea: Formulas provable from no premises at all are often called 'theorems'. | |
From: Theodore Sider (Logic for Philosophy [2010], 2.6) |
13705 | Truth tables assume truth functionality, and are just pictures of truth functions [Sider] |
Full Idea: The method of truth tables assumes truth functionality. Truth tables are just pictures of truth functions. | |
From: Theodore Sider (Logic for Philosophy [2010], 6.3) |