I understand meaning to be referents in the real world.
I do have a different sort of context-dependent meaning in mKR --
a list of propositions. This meaning is part of the definition
of functions and relations. Dick McCullough
Context Knowledge Systems
mKE and the mKR language
Date: Thu, 3 Apr 2014 08:40:25 -0700
To: rhm@xxxxxxxxxxxxx; ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] mKR proof of correctness
Even for your age semantics never meant "meaning" - what is meaning?
"Pragmatics" is the closest that you will get to the informal sense of "meaning" since it refers to the differences that sentences actually make in the world.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J