definitions and analytic truth

• Mail folder: Interlingua Mail
• Next message: sowa@watson.ibm.com: "Definitions and analytic truth"
• Previous message: Richard Fikes: "Re: definitions and analytic truth "
• In-reply-to: Richard Fikes: "Re: definitions and analytic truth "

Date: Mon, 6 Jan 92 00:08:15 -0800
From: John McCarthy <jmc@sail.stanford.edu>
Message-id: <9201060808.AA17710@SAIL.Stanford.EDU>
To: fikes@sumex-aim.stanford.edu
Cc: schubert@cs.rochester.edu, macgregor@isi.edu, fikes@hpp.stanford.edu,
        interlingua@isi.edu, sowa@watson.ibm.com
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 
Reply-To: jmc@cs.stanford.edu

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.