Frege's Version:
- If the sense designated by a sign is it's reference, then any two signs that have the same reference designate the same sense.
p→q - 'Mata Hari' and 'Margaretha Zelle' have the same reference, but do not designate the same sense.
r - If (2), then it is false that any two signs that have the same reference designate the same sense.
r→~q - So, it is false that any signs that have the same reference designate the same sense.
~q (3,2) MP - Therefore, it is false that the sense designated by a sign is it's reference.
~p (1,4)MT
The Argument Again With Some Different Words:
- If the information content encoded by a singular term is it's extension, then any two singular terms that have the same extension encode the same information.
p→q - 'Mata Hari' and 'Margaretha Zelle' have the same extension, but do not encode the same information.
r - If (2), then it is false that any two singular terms that have the same extension encode the same information.
r→~q - So, it is false that any singular terms that have the same extension encode the same information.
~q (3,2) MP - Therefore, it is false that the information content encoded by a singular term is it's extension.
~p (1,4)MT
So, what to say about this... Either I can deny (1), (2), or both. If I deny (2), then 'Mata Hari' and 'Margaretha Zelle' do not have the same extension, that is that they do not have the same referent @ w, this is assuming that both terms are rigid and not flaceid (on some construe of flaceidity?) and that a singular terms extension is the referent. If I deny (1) , then I have to deny the consequent, (i.e. assert (4)). That it is false that any two singular terms that have the same extension encode the same information. Honestly, I still (yep been thinking about this for a while now...) haven't decided which I prefer. Big problem. I'll jump off the fence soon enough, hopefully.
No comments:
Post a Comment