more from George Boolos

Single Idea 13841

[catalogued under 5. Theory of Logic / K. Features of Logics / 6. Compactness]

Full Idea

Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself.

Gist of Idea

Why should compactness be definitive of logic?

Source

report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13

Book Reference

'A Philosophical Companion to First-Order Logic', ed/tr. Hughes,R.I.G. [Hackett 1993], p.245