Single Idea 13545

[catalogued under 5. Theory of Logic / A. Overview of Logic / 6. Classical Logic]

Full Idea

In very general terms, we cannot express the distinction between what is finite and what is infinite without moving essentially beyond the resources available in elementary logic.

Gist of Idea

Elementary logic cannot distinguish clearly between the finite and the infinite

Source

David Bostock (Intermediate Logic [1997], 4.8)

Book Reference

Bostock,David: 'Intermediate Logic' [OUP 1997], p.184


A Reaction

This observation concludes a discussion of Compactness in logic.