Full Idea
Soundness would seem to be an essential requirement of a proof procedure, since there is little point in proving formulas which may turn out to be false under some interpretation.
Gist of Idea
Soundness would seem to be an essential requirement of a proof procedure
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