Issue 15008: Use of "denotes" in note for "state of affairs" (sbvr-rtf) Source: International Business Machines (Mr. Mark H. Linehan, mlinehan(at)us.ibm.com) Nature: Uncategorized Issue Severity: Summary: The note under "state of affairs" reads: "A state of affairs can be possible or impossible. Some of the possible ones are actualities. A state of affairs is what is denoted by a proposition. A state of affairs either occurs or does not occur, whereas a proposition is either true or false. A state of affairs is not a meaning. It is a thing that exists and can be an instance of a concept, even if it does not happen. " Although unstyled, the use of "denoted by" is likely to confuse readers. The fact symbol "denotes" is used in clause 11.2.1.3 in the fact type "term denotes thing ". But a proposition is not a term, so this fact type is not what is meant in the note. The note is trying to use a passive version of "meaning corresponds to thing" from clause 8.6.1. Proposed resolution: 1. Add a synonymous form to "meaning corresponds to thing" such as "thing is meant by meaning". 2. Revise the note under "state of affairs" to use the new synonymous form and style the wording to make clear the reference to this formal SBVR concept. Resolution: Revised Text: Actions taken: January 29, 2010: received issue Discussion: End of Annotations:===== ubject: SBVR issue: Use of "denotes" in note for "state of affairs" X-KeepSent: DA1898B9:FDACDE4B-852576BA:00218EAC; type=4; name=$KeepSent To: sbvr-rtf@omg.org, juergen@omg.org X-Mailer: Lotus Notes Release 8.0.2 HF623 January 16, 2009 From: Mark H Linehan Date: Fri, 29 Jan 2010 01:18:29 -0500 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.0.2FP1|November 13, 2008) at 01/29/2010 03:14:16 The note under "state of affairs" reads: "A state of affairs can be possible or impossible. Some of the possible ones are actualities. A state of affairs is what is denoted by a proposition. A state of affairs either occurs or does not occur, whereas a proposition is either true or false. A state of affairs is not a meaning. It is a thing that exists and can be an instance of a concept, even if it does not happen. " Although unstyled, the use of "denoted by" is likely to confuse readers. The fact symbol "denotes" is used in clause 11.2.1.3 in the fact type "term denotes thing ". But a proposition is not a term, so this fact type is not what is meant in the note. The note is trying to use a passive version of "meaning corresponds to thing" from clause 8.6.1. Proposed resolution: 1. Add a synonymous form to "meaning corresponds to thing" such as "thing is meant by meaning". 2. Revise the note under "state of affairs" to use the new synonymous form and style the wording to make clear the reference to this formal SBVR concept. -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research phone: (914) 784-7002 or IBM tieline 863-7002 internet: mlinehan@us.ibm.com From: Don Baisley To: "sbvr-rtf@omg.org" Subject: RE: issue 15008 -- SBVR RTF issue Thread-Topic: issue 15008 -- SBVR RTF issue Thread-Index: AQHKoPyx8vKtk1ttmEKgWDVHLi9ZFJHqm7YQ Date: Wed, 10 Mar 2010 01:22:54 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: I agree with Mark that the use of .denoted by. in the note under .state of affairs. is troublesome. I recommend a more simple fix that does not require adding any new formal vocabulary, but simply uses SBVR.s existing vocabulary: Change the sentence that says: A state of affairs is what is denoted by a proposition. To say: A proposition corresponds to a state of affairs. Regards, Don From: Juergen Boldt [mailto:juergen@omg.org] Sent: Friday, January 29, 2010 8:01 AM To: issues@omg.org; sbvr-rtf@omg.org Subject: issue 15008 -- SBVR RTF issue Subject: SBVR issue: Use of "denotes" in note for "state of affairs" X-KeepSent: DA1898B9:FDACDE4B-852576BA:00218EAC; type=4; name=$KeepSent To: sbvr-rtf@omg.org, juergen@omg.org X-Mailer: Lotus Notes Release 8.0.2 HF623 January 16, 2009 From: Mark H Linehan Date: Fri, 29 Jan 2010 01:18:29 -0500 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.0.2FP1|November 13, 2008) at 01/29/2010 03:14:16 The note under "state of affairs" reads: "A state of affairs can be possible or impossible. Some of the possible ones are actualities. A state of affairs is what is denoted by a proposition. A state of affairs either occurs or does not occur, whereas a proposition is either true or false. A state of affairs is not a meaning. It is a thing that exists and can be an instance of a concept, even if it does not happen. " Although unstyled, the use of "denoted by" is likely to confuse readers. The fact symbol "denotes" is used in clause 11.2.1.3 in the fact type "term denotes thing ". But a proposition is not a term, so this fact type is not what is meant in the note. The note is trying to use a passive version of "meaning corresponds to thing" from clause 8.6.1. Proposed resolution: 1. Add a synonymous form to "meaning corresponds to thing" such as "thing is meant by meaning". 2. Revise the note under "state of affairs" to use the new synonymous form and style the wording to make clear the reference to this formal SBVR concept. -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research phone: (914) 784-7002 or IBM tieline 863-7002 internet: mlinehan@us.ibm.com Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org To: sbvr-rtf@omg.org Subject: Issue 15008 resolution X-KeepSent: F8E09555:C9CDDCED-852576F1:004FAC54; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.0.2 HF623 January 16, 2009 From: Mark H Linehan Date: Thu, 25 Mar 2010 10:31:36 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.0.2FP4|December 10, 2009) at 03/25/2010 10:31:37 Here is the proposed resolution of issue 15008 that I was asked to prepare during today's RTF discussion: -------------------------------- Mark H. Linehan STSM, Model Driven Business Transformation IBM Research phone: (914) 784-7002 or IBM tieline 863-7002 internet: mlinehan@us.ibm.com Issue 15008.doc Disposition: Resolved OMG Issue No: 15008 Title: Use of 'Denotes' in the Note for 'State of Affairs' Source: Mark H. Linehan, IBM Research, mlinehan@us.ibm.com Summary: The note under "state of affairs" reads: "A state of affairs can be possible or impossible. Some of the possible ones are actualities. A state of affairs is what is denoted by a proposition. A state of affairs either occurs or does not occur, whereas a proposition is either true or false. A state of affairs is not a meaning. It is a thing that exists and can be an instance of a concept, even if it does not happen. " Although unstyled, the use of "denoted by" is likely to confuse readers. The fact symbol "denotes" is used in clause 11.2.1.3 in the fact type "term denotes thing ". But a proposition is not a term, so this fact type is not what is meant in the note. The note is trying to use a passive version of "meaning corresponds to thing" from clause 8.6.1. Proposed resolution: 1. Add a synonymous form to "meaning corresponds to thing" such as "thing is meant by meaning". 2. Revise the note under "state of affairs" to use the new synonymous form and style the wording to make clear the reference to this formal SBVR concept.Resolution: Revised Text: Replace the third sentence of the Note for state of affairs in clause 8.5 on printed page 39 from "A state of affairs is what is denoted by a proposition." to "A proposition corresponds to a state of affairs." The Note should read: Note: A state of affairs can be possible or impossible. Some of the possible ones are actualities. A proposition corresponds to a state of affairs. A state of affairs either occurs or does not occur, whereas a proposition is either true or false. A state of affairs is not a meaning. It is a thing that exists and can be an instance of a concept, even if it does not happen. Disposition: Resolved