A Unicorn is Running
How do you translate the statement "a unicorn is running" into formal logic?
The only way I could is: [math]\exists x(Ux \land Rx)[/math] where Ux = x is a unicorn and Rx = x is running.
In plain Enlgish: There exists an x such that x is a unicorn and x is running.
But, but, unicorns don't exist!
Are works of fiction (tales spun around nonexistent entities) beyond logic?
Am I in error?
The only way I could is: [math]\exists x(Ux \land Rx)[/math] where Ux = x is a unicorn and Rx = x is running.
In plain Enlgish: There exists an x such that x is a unicorn and x is running.
But, but, unicorns don't exist!
Are works of fiction (tales spun around nonexistent entities) beyond logic?
Am I in error?
Comments (9)
Quoting Agent Smith
can be prevented from arising, at least within discourse referring to the story. You might say that a feature of fantasy as a specific genre is that such a protest can be suppressed indefinitely. The discourse (the variety of things it's helpful to say about the story) can be shielded from normal influences and standards of conduct. Selectively, that is. Shielded from normal standards of evaluating existence claims, but thereby enabled to apply normal standards of inference about certain events in the story.
But fiction generally, and even fantasy to some extent, seems to have things to say about things outside of it. Consequently, interpretations of sentences, such as your formal paraphrase of a sentence, are likely to be judged with some degree of reference to real-world criteria.
Then your question, how the fictional sentence should be interpreted, is fair, and I think there are two kinds of answer: half-measure and full-measure.
Half-measure is some way of relativising the statement to the story. To talk about the fiction-related discourse from outside. E.g. qualify statements by way of disclaimers like "in the story" or "fictionally speaking".
Full-measure is to seek to reconcile the truth of the fictional statement with that of factual statements. The popular way to do so is to treat the statement as on a par with conditional or hypothetical statements: so that they might paraphrase along the lines of, e.g. "suppose for the sake of argument that there exists an x such that..."; or "consider the set of possible worlds in which there exists an x such that...".
Less well known is Goodman's approach, in which the story is acknowledged literally false, but allowed to be metaphorically true in a manner that has the novel advantage of being about the real world.
Why not R(a), where "a" is the unicorn's proper name, with the domain set to range over mythical creatures?
"A unicorn" I thought means "there is at least one unicorn"
Ra= Aaron (the unicorn) is running?
What about Descartes' cogito then?
If nonexistent things like Aaron the unicorn can run then cogito ergo sum is false.
Logically, it's a simple claim: there is a unicorn, it is running. There is no problem with it at all except it happens to be false concerning this world. And there is no problem either with "In Narnia there is a unicorn that runs" which can be true of Narnia, a fictional world.
Why agonise over this stuff? We understand - you understand that unicorns are mythical creatures and that is the reason for using it rather than a rabbit.
It's fiction by intent. "A Unicorn is Running" pretends to make an assertion. So long as we keep the domains of discourse clear, there should be no problem.
Nothing to do with the cogito.
Yep, that seems to be the most logical option.
I tried translating "If I think THEN I exist" into predicate logic but all I can manage is nonsense like this:
[math]\forall x(Tx \to \exists y(y = x))[/math]. If I instantiate using d = Descartes, I get [math]Td \to \exists y(y = d)[/math]. In English, if Descartes thinks then there exists something that is identical to Descartes.
In propositional logic there's no issue.
[math]\forall x(Bx \to \exists x(Ax))[/math]
If x thinks then a thinker x exists
[math]\forall x(Sx \to \exists x(Rx))[/math]
You might use a free logic.