Single Idea 8250

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 6. Free Logic]

Full Idea

Meinong has recently been credited with inspiring 'free logic': a logic without existence assumptions.

Gist of Idea

So-called 'free logic' operates without existence assumptions

Source

report of Alexius Meinong (The Theory of Objects [1904]) by George / Van Evra - The Rise of Modern Logic 8

Book Reference

'A Companion of Philosophical Logic', ed/tr. Jacquette,Dale [Blackwell 2002], p.46


A Reaction

This would appear to be a bold escape from the quandries concerning the existential implications of quantifiers. I immediately find it very appealing. It seems to spell disaster for the Quinean program of deducing ontology from language.