back to ideas for this text


Single Idea 13841

[from 'On Second-Order Logic' by George Boolos, in 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