more from this thinker     |     more from this text


Single Idea 11011

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

Full Idea

It is normal to classify free logics into three sorts; positive free logics (some propositions with empty terms are true), negative free logics (they are false), and neuter free logics (they lack truth-value), though I find this unhelpful and superficial.

Gist of Idea

Same say there are positive, negative and neuter free logics

Source

Stephen Read (Thinking About Logic [1995], Ch.5)

Book Ref

Read,Stephen: 'Thinking About Logic' [OUP 1995], p.133


The 8 ideas with the same theme [logic with no existence commitment for the quantifiers]:

So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra]
A 'free' logic can have empty names, and a 'universally free' logic can have empty domains [Bostock]
Free logic at least allows empty names, but struggles to express non-existence [Bach]
Free logic is one of the few first-order non-classical logics [Priest,G]
Same say there are positive, negative and neuter free logics [Read]
Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall]
Free logic was developed for fictional or non-existent objects [Friend]
Free logics has terms that do not designate real things, and even empty domains [Anderson,CA]