Single Idea 10597

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

Full Idea

There is an annoying double-use of 'complete': a logic may be semantically complete, but there may be an incomplete theory expressed in it.

Gist of Idea

'Complete' applies both to whole logics, and to theories within them

Source

Peter Smith (Intro to Gödel's Theorems [2007], 03.4)

Book Reference

Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.25