ISSUE-10
MPool
Section 3.1.1 is unclear
- State:
- OPEN
- Product:
- 3.1 Classes of the Uncertainty Ontology
- Raised by:
- Michael Pool
- Opened on:
- 2008-03-05
- Description:
An expression in some logical language that evaluates to a truth-value (formula, axiom, assertion). - not a sentence It is then assumed that information will be presented in the form of sentences. -It is then assumed? when assumed? So the uncertainty will be associated with sentences. -Why? I'd propose that we use 'proposition' here in place of sentence, clearly noting that by 'proposition' we mean the meaning of a sentence that is invariant through all translations of the sentence, i.e., is fully language independent. The uncertainty is not a feature of an expression in a logical language, 'A likes B' does not have an uncertainty until we've assigned values to A and B and then only in virtue of the proposition that 'A likes B' expresses. The uncertainty t is a property of the factual assertion that the expression expresses, not the expression itself
- Related Actions Items:
- No related actions
- Related emails:
- No related emails
Related notes:
2008-03-08 18:17:33: Mitch, since you are coordinating section 3, I'd like to hear your opinion before making any change to the final report. [Paulo Costa]
2008-03-08 21:40:00: I agree that this description is not too good. If I remember correctly our past discussions, "proposition" was discussed, but not accepted. I believe the reason that proposition (as in propositional calculus) was not accepted because a proposition must be either true or false, while this group is interested in other shades of truth.
So I think we should stay with Sentence. However, I agree that the description should be modified. How about the following:
"A Sentence is an assertion expressed in a language."
[Mitch Kokar]
Display change log.