more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10770

[filed under theme 5. Theory of Logic / K. Features of Logics / 5. Incompleteness ]

Full Idea

In general, if completeness fails there is no algorithm to list the valid formulas.

Gist of Idea

If completeness fails there is no algorithm to list the valid formulas

Source

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

Book Ref

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

---

A Reaction

I.e. the theory is not effectively enumerable.