Answer by causative for formalization: definite description (narrow reading)
Whether you use y or z makes no difference because the scopes are different. I'm not sure either is a good symbolization though. They are both always false; they say, "There exists a unique person who...
View Articleformalization: definite description (narrow reading)
I am not sure which formalization is right [1] or [2]:'The teacher of Plato does not exist.'[1] ∃x(Tx,p ∧∀y[Ty,p → y=x] ∧¬∃y[y = x])[2] ∃x(Tx,p ∧∀y[Ty,p → y=x] ∧¬∃z[z = x])Is it possible to use the...
View Article
More Pages to Explore .....