Combining Texts
Ideas for
'Unconscious Cerebral Initiative', 'First-Order Logic' and 'A Structural Account of Mathematics'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
5. Theory of Logic / K. Features of Logics / 2. Consistency
9552
|
Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara]
|
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287
|
If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
|