Single Idea 10120

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

Full Idea

Soundness is a semantic property, unlike the purely syntactic property of consistency.

Gist of Idea

Soundness is a semantic property, unlike the purely syntactic property of consistency

Source

A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6)

Book Reference

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.162