Single Idea 10764

[catalogued under 5. Theory of Logic / K. Features of Logics / 8. Enumerability]

Full Idea

A complete logic has an effective enumeration of the valid formulas.

Gist of Idea

A complete logic has an effective enumeration of the valid formulas

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