 Thread starter
 #1
Mathelogician
Member
 Aug 6, 2012
 35
Hi all;
Look at the attached part from Van Dalen's Logic and structure.
What is he doing exactly?
In axiomatizing 'Identity' as he does, what is gained rather than what we had before (i.e., looking at 'Identity' as a binary predicate)?!
Even in the axioms, he is again using a symbol in the language for identity as a binary predicate (i.e., = ) and then he proves the axioms (or says they are provable) in the language. [note that he also proves I3 and I4 that i haven't shown.]
Thanks.
Look at the attached part from Van Dalen's Logic and structure.
What is he doing exactly?
In axiomatizing 'Identity' as he does, what is gained rather than what we had before (i.e., looking at 'Identity' as a binary predicate)?!
Even in the axioms, he is again using a symbol in the language for identity as a binary predicate (i.e., = ) and then he proves the axioms (or says they are provable) in the language. [note that he also proves I3 and I4 that i haven't shown.]
Thanks.
Attachments

28.6 KB Views: 23