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

Single Idea 10765

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

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 Ref

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