more from this thinker | more from this text
Full Idea
A logic is 'free' to the degree it refrains from existential import of its singular and general terms. Classical logic must have non-empty domain, and each name must denote in the domain.
Gist of Idea
Free logic terms aren't existential; classical is non-empty, with referring names
Source
JC Beall / G Restall (Logical Pluralism [2006], 7.1)
Book Ref
Beall,J/Restall,G: 'Logical Pluralism' [OUP 2006], p.75
A Reaction
My intuition is that logic should have no ontology at all, so I like the sound of 'free' logic. We can't say 'Pegasus does not exist', and then reason about Pegasus just like any other horse.
8250 | So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra] |
13846 | A 'free' logic can have empty names, and a 'universally free' logic can have empty domains [Bostock] |
10455 | Free logic at least allows empty names, but struggles to express non-existence [Bach] |
9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
11011 | Same say there are positive, negative and neuter free logics [Read] |
13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
8694 | Free logic was developed for fictional or non-existent objects [Friend] |
18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |