Single Idea 17763

[catalogued under 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation]

Full Idea

Axiomatic systems, their primitive terms and proofs, are purely syntactic, that is, do not presuppose any interpretation. ...[142] They never address the world directly, but address a possible semantic model which formally represents the world.

Gist of Idea

Axiomatic systems are purely syntactic, and do not presuppose any interpretation

Source

Michal Walicki (Introduction to Mathematical Logic [2012], 4.1)

Book Reference

Walicki,Michal: 'Introduction to Mathematical Logic' [World Scientific 2012], p.122