Combining Texts
Ideas for
'Parmenides', 'Introduction to the Theory of Logic' and 'Review of Tait 'Provenance of Pure Reason''
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10897
|
A first-order 'sentence' is a formula with no free variables [Zalabardo]
|