definitions and analytic truth

John McCarthy <>
Date: Mon, 6 Jan 92 00:08:15 -0800
From: John McCarthy <>
Message-id: <9201060808.AA17710@SAIL.Stanford.EDU>
In-reply-to: Richard Fikes's message of Sun, 5 Jan 1992 23:26:17 PST <CMM.0.88.694682777.fikes@hpp.Stanford.EDU>
Subject: definitions and analytic truth 
All this is rather complicated, so I'm still not sure whether the
word "definition" is being used in the sense of mathematical logic
as a sentence that introduces a constant symbol in a conservative
way.  If not, then you should choose another word instead of
"definition", because definitions in the sense of mathematical
logic will surely be required.