Combining Texts
Ideas for
'Introduction to Russell's Theory of Types', 'Logic (Port-Royal Art of Thinking)' and 'Higher-Order Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 ideas
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10588
|
First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro]
|
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10298
|
Some say that second-order logic is mathematics, not logic [Shapiro]
|
10299
|
If the aim of logic is to codify inferences, second-order logic is useless [Shapiro]
|