more on this theme     |     more from this thinker


Single Idea 8250

[filed under theme 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 Ref

'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.


The 6 ideas from 'The Theory of Objects'

So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra]
There can be impossible and contradictory objects, if they can have properties [Meinong, by Friend]
There are objects of which it is true that there are no such objects [Meinong]
Meinong says an object need not exist, but must only have properties [Meinong, by Friend]
Meinong said all objects of thought (even self-contradictions) have some sort of being [Meinong, by Lycan]
The objects of knowledge are far more numerous than objects which exist [Meinong]