back to ideas for this text


Single Idea 10764

[from 'Which Logic is the Right Logic?' by Leslie H. Tharp, in 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