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

---

Single Idea 15409

[filed under theme 5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic ]

Full Idea

All occurrences of variables in atomic formulas are free.

Clarification

'Free' is the opposite of 'bound'

Gist of Idea

All occurrences of variables in atomic formulas are free

Source

John P. Burgess (Philosophical Logic [2009], 1.7)

Book Ref

Burgess,John P.: 'Philosophical Logic' [Princeton 2009], p.8