Combining Texts

Ideas for 'fragments/reports', 'Thinking About Logic' and 'Introduction to Mathematical Logic'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

6 ideas

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

17761

A compact axiomatisation makes it possible to understand a field as a whole [Walicki]

17763

Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki]

5. Theory of Logic / K. Features of Logics / 6. Compactness

10974

Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read]

10975

Compactness does not deny that an inference can have infinitely many premisses [Read]

10977

Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read]

10976

Compactness makes consequence manageable, but restricts expressive power [Read]