Question A. b. There is no unicorn.
-----------------------------
It is possible that John is seeking a unicorn.
Your Answer: b) Intensional Logic
There is no unicorn = ?(?P[?x[Unicorn(x) ? P(x)]))
It is possible that John is seeking a unicorn. = ?(ˆ ?x(Unicorn(x) ? Seek(john,x))
|
|
Hi muratsekerci. Your choice is right, but there're minor mistakes. I think ...
There is no unicorn = ?(?P[?x[Unicorn(x) ? P(x)]]) ... this is not a proper translation.
It would be better: ??x[Unicorn(x) ? ?
P(x)]
(NB: this ? is an extensional operator)
And the sentence is an ambiguous sentence. It has two readings: de dicto & de re reading. Here we should consider the de dicto one, I suppose, thus:
? (seek*(j, ˆ?
P?x(Unicorn(x) ? ?
P(x)))
------------------------------- thus ------------------------------------------------------------
??x[Unicorn(x) ? ?
P(x)]
? (seek*(j, ˆ?
P?x(Unicorn(x) ? ?
P(x)))
---------------------------------------------------------------------------------------------------
If I made a mistake, please kindly tell me about it. I will appreciate that.