K: John knows that x
F: is a vegan
The D: the shortest chinese spy
N: Lee
/x = lamba x
1. (/x. K Fx) the D
2. K (/x. Fx) the D
(1) doesn't imply (2) and (2) doesn't impy (1).
3. (/x. K Fx) the actual D
4. K (/x. Fx) the actual D
(3) doesn't imply (4) and (4) doesn't imply (3).
5. (/x. K Fx) N
6. K (/x. Fx) N
Does (5) imply (6) or visa versa? If so then how do we model the difference between (3)(4) and (5)(6)? It seems that any model on which (5) implies (6), (3) will imply (4). If not...well the semantics of names must involve more than mere extension (maybe?).
No comments:
Post a Comment