more from Engelbretsen,G/Sayward,C

Single Idea 13850

[catalogued under 5. Theory of Logic / A. Overview of Logic / 4. Pure Logic]

Full Idea

One of the key ideas of modern formal logic is that all formally valid inferences can be specified in strictly syntactic terms.

Gist of Idea

In modern logic all formal validity can be characterised syntactically


Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.2)

Book Reference

Engelbretsen,G/Sayward,C: 'Philosophical Logic: Intro to Advanced Topics' [Continuum 2011], p.50