Single Idea 9458

[catalogued under 5. Theory of Logic / I. Semantics of Logic / 5. Extensionalism]

Full Idea

Extensionalists hold that quantifiers in predicate logic presuppose the existence of whatever objects can be referred to by constants or bound variables, or enter into true predication of properties.

Gist of Idea

Extensionalists say that quantifiers presuppose the existence of their objects

Source

Dale Jacquette (Intro to 'Philosophy of Logic' [2002], §4)

Book Reference

'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.5


A Reaction

I have strong sales resistance to this view. Why should a procedure for correctly reasoning from one proposition to another have anything whatever to do with ontology? A false world picture can be interconnected by perfect logic.