Informally , a
<term>
disposition
</term>
is a
<term>
proposition
</term>
which is preponderantly , but not
#15176Informally, a disposition is a proposition which is preponderantly, but not necessarily always, true.
other,19-3-P84-1064,ak
disposition
</term>
may be viewed as a
<term>
proposition
</term>
with
<term>
implicit fuzzy quantifiers
#15229An idea which underlies the theory described in this paper is that a disposition may be viewed as a proposition with implicit fuzzy quantifiers which are approximations to all and always, e.g., almost all, almost always, most, frequently, etc.
other,20-4-P84-1064,ak
fuzzy quantifier
</term>
most in the
<term>
proposition
</term>
most birds can fly . Similarly ,
#15276For example, birds can fly may be interpreted as the result of suppressing the fuzzy quantifier most in the proposition most birds can fly.
other,8-6-P84-1064,ak
transforming a
<term>
disposition
</term>
into a
<term>
proposition
</term>
is referred to as
<term>
explicitation
#15309The process of transforming a disposition into a proposition is referred to as explicitation or restoration.
other,10-7-P84-1064,ak
representing the
<term>
meaning
</term>
of a
<term>
proposition
</term>
through the use of
<term>
test-score
#15328Explicitation sets the stage for representing the meaning of a proposition through the use of test-score semantics (Zadeh, 1978, 1982).
other,10-8-P84-1064,ak
</term>
, the
<term>
meaning
</term>
of a
<term>
proposition
</term>
, p , is represented as a
<term>
procedure
#15353In this approach to semantics, the meaning of a proposition , p, is represented as a procedure which tests, scores and aggregates the elastic constraints which are induced by p.