Single Idea 10767

[catalogued under 5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic]

Full Idea

Elementary logic cannot characterize the usual mathematical structures, but seems to be distinguished by its completeness.

Gist of Idea

Elementary logic is complete, but cannot capture mathematics

Source

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

Book Reference

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