Single Idea 10763

[catalogued under 5. Theory of Logic / K. Features of Logics / 4. Completeness]

Full Idea

Putting completeness and compactness together, one has axiomatizability.

Gist of Idea

Completeness and compactness together give axiomatizability

Source

Leslie H. Tharp (Which Logic is the Right Logic? [1975], §1)

Book Reference

'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.36

---