back to ideas for this text


Single Idea 10119

[from 'Philosophies of Mathematics' by A.George / D.J.Velleman, in 5. Theory of Logic / K. Features of Logics / 2. Consistency ]

Full Idea

Consistency is a purely syntactic property, unlike the semantic property of soundness.

Gist of Idea

Consistency is a purely syntactic property, unlike the semantic property of soundness

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