more from this thinker | more from this text
Full Idea
Free logic is especially designed to help regiment our reasoning about fictional objects, or nonexistent objects of some sort.
Gist of Idea
Free logic was developed for fictional or non-existent objects
Source
Michèle Friend (Introducing the Philosophy of Mathematics [2007], 3.7)
Book Ref
Friend,Michèle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.77
A Reaction
This makes it sound marginal, but I wonder whether existential commitment shouldn't be eliminated from all logic. Why do fictional objects need a different logic? What logic should we use for Robin Hood, if we aren't sure whether or not he is real?
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] |