Namespaces
Variants
Actions

Difference between revisions of "Adequacy theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
a1103801.png
 +
$#A+1 = 147 n = 4
 +
$#C+1 = 147 : ~/encyclopedia/old_files/data/A110/A.1100380 Adequacy theorem
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''for senses''
 
''for senses''
  
Line 5: Line 17:
 
The statement of the theorem is as follows. Assume that:
 
The statement of the theorem is as follows. Assume that:
  
i) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103801.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103802.png" /> are well-formed expressions of an interpreted theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103803.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103804.png" /> is a theory based on the modal calculus (cf. [[Modal logic|modal logic]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103805.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103806.png" /> is a model for the definition system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103807.png" />;
+
i) $  \Delta $
 +
and $  \Phi $
 +
are well-formed expressions of an interpreted theory $  ( {\mathcal T},D, {\mathcal I} ) $,  
 +
where $  {\mathcal T} $
 +
is a theory based on the modal calculus (cf. [[Modal logic|modal logic]]) $  { \mathop{\rm MC} }  ^  \nu  $
 +
and $  {\mathcal I} $
 +
is a model for the definition system $  D $;
  
ii) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103808.png" /> is a valuation of the constants, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a1103809.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038010.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038011.png" />-valuations of the variables, and the set-theoretical unions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038013.png" /> are injective functions on the elementary expressions (i.e., the primitive constants and free variables) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038015.png" />, respectively. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038016.png" /> has (with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038018.png" />) the same sense as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038019.png" /> (with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038020.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038021.png" />) if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038022.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038023.png" />) can be obtained from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038024.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038025.png" />) by replacing the elementary expressions (i.e., the primitive constants and free variables) occurring in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038026.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038027.png" />) with those of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038028.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038029.png" />) suitably rearranged.
+
ii) $  I $
 +
is a valuation of the constants, $  V $
 +
and $  W $
 +
are $  {\mathcal I} $-
 +
valuations of the variables, and the set-theoretical unions $  I \cup V $
 +
and $  I \cup W $
 +
are injective functions on the elementary expressions (i.e., the primitive constants and free variables) of $  \Delta $
 +
and $  \Phi $,  
 +
respectively. Then $  \Delta $
 +
has (with respect to $  I $
 +
and $  V $)  
 +
the same sense as $  \Phi $(
 +
with respect to $  I $
 +
and $  W $)  
 +
if and only if $  \Phi $(
 +
respectively, $  \Delta $)  
 +
can be obtained from $  \Delta $(
 +
respectively, $  \Phi $)  
 +
by replacing the elementary expressions (i.e., the primitive constants and free variables) occurring in $  \Delta $(
 +
respectively, $  \Phi $)  
 +
with those of $  \Phi $(
 +
respectively, $  \Delta $)  
 +
suitably rearranged.
  
 
==Hyperintensional predication.==
 
==Hyperintensional predication.==
By hyperintensional predication one understands a predication which can assume different truth values on terms having equal intensions but different senses. This happens, for instance, when propositional attitudes are involved: if one assumes that mathematical equality implies equi-intensionality, then  "3"  has the same intension as  "log28" , even if the assertions  "Peter knows that 3= 3"  and  "Peters knows that 3=log28"  may have different truth values. The treatment of hyperintensional predications has important applications, for example in artificial intelligence. Various approaches for constructing a general and systematic theory of propositional attitudes were proposed, starting with work by A. Church [[#References|[a8]]] and R. Carnap [[#References|[a6]]], [[#References|[a7]]]. Those based on Church's view use extensional languages (see [[#References|[a10]]], [[#References|[a12]]]); others use categorial or quotational languages (see [[#References|[a11]]], [[#References|[a9]]]; in the latter the literature and the situation with respect to the solution of the problem are surveyed). The approach to sense presented in [[#References|[a3]]], [[#References|[a5]]] is based on a very different point of view, in which uniformity and generality features are taken into account. This approach deals explicitly with Church's <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038031.png" />-operator, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038033.png" />-operator for descriptions, general operator forms and synonymy, and propositional attitudes of transfinite order. It is modal, but not in an essential way.
+
By hyperintensional predication one understands a predication which can assume different truth values on terms having equal intensions but different senses. This happens, for instance, when propositional attitudes are involved: if one assumes that mathematical equality implies equi-intensionality, then  "3"  has the same intension as  "log28" , even if the assertions  "Peter knows that 3= 3"  and  "Peters knows that 3=log28"  may have different truth values. The treatment of hyperintensional predications has important applications, for example in artificial intelligence. Various approaches for constructing a general and systematic theory of propositional attitudes were proposed, starting with work by A. Church [[#References|[a8]]] and R. Carnap [[#References|[a6]]], [[#References|[a7]]]. Those based on Church's view use extensional languages (see [[#References|[a10]]], [[#References|[a12]]]); others use categorial or quotational languages (see [[#References|[a11]]], [[#References|[a9]]]; in the latter the literature and the situation with respect to the solution of the problem are surveyed). The approach to sense presented in [[#References|[a3]]], [[#References|[a5]]] is based on a very different point of view, in which uniformity and generality features are taken into account. This approach deals explicitly with Church's $  \lambda $-
 +
operator, the $  \iota $-
 +
operator for descriptions, general operator forms and synonymy, and propositional attitudes of transfinite order. It is modal, but not in an essential way.
  
 
==Senses and synonymy.==
 
==Senses and synonymy.==
 
The formulation of the adequacy theorem for the senses (or quasi-senses) considered here refers to an approach to sense presented in [[#References|[a3]]]. Senses are closely connected with the notion of synonymy. This notion has been studied in itself, independently of its relation to senses, in connection with an extensional and a modal language (see, e.g., [[#References|[a13]]], [[#References|[a14]]]).
 
The formulation of the adequacy theorem for the senses (or quasi-senses) considered here refers to an approach to sense presented in [[#References|[a3]]]. Senses are closely connected with the notion of synonymy. This notion has been studied in itself, independently of its relation to senses, in connection with an extensional and a modal language (see, e.g., [[#References|[a13]]], [[#References|[a14]]]).
  
In order to obtain a unified theory for the various synonymy notions, C. Bonotto and A. Bressan [[#References|[a3]]] have introduced a general rigorous definition of synonymy as a binary relation between well-formed expressions of a theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038034.png" /> endowed with a definition system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038035.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038036.png" /> is a theory based on the modal calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038037.png" /> (see [[#References|[a4]]]). In [[#References|[a3]]], four particular synonymy notions, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038038.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038039.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038040.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038041.png" />, were first introduced by conditions only on the forms of well-formed expressions among which they hold. Among them, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038042.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038043.png" /> are defined, first, only for empty <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038044.png" />, because the principles of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038045.png" />-conversion are not meaning-preserving in connection with them. Therefore, they may appear too weak (not extended enough) or too rich in content. On the other hand, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038046.png" /> also has a basic role in treating quasi-senses connected with any other synonymy notion. Moreover, the definitions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038047.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038048.png" /> can be extended to a certain theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038049.png" /> endowed with the definition system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038050.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038051.png" />, provided that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038052.png" /> is of a suitable kind. Finally, in [[#References|[a3]]] a general rigorous definition of synonymy is introduced. For any synonymy notion <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038053.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038054.png" />.
+
In order to obtain a unified theory for the various synonymy notions, C. Bonotto and A. Bressan [[#References|[a3]]] have introduced a general rigorous definition of synonymy as a binary relation between well-formed expressions of a theory $  {\mathcal T} $
 +
endowed with a definition system $  D $.  
 +
$  {\mathcal T} $
 +
is a theory based on the modal calculus $  { \mathop{\rm MC} }  ^  \nu  $(
 +
see [[#References|[a4]]]). In [[#References|[a3]]], four particular synonymy notions, $  \approx _ {0} $,  
 +
$  \approx _ {1} $,  
 +
$  \approx _ {2} $,  
 +
and $  \approx _ {3} $,  
 +
were first introduced by conditions only on the forms of well-formed expressions among which they hold. Among them, $  \approx _ {0} $
 +
and $  \approx _ {1} $
 +
are defined, first, only for empty $  D $,  
 +
because the principles of $  \lambda $-
 +
conversion are not meaning-preserving in connection with them. Therefore, they may appear too weak (not extended enough) or too rich in content. On the other hand, $  \approx _ {0} $
 +
also has a basic role in treating quasi-senses connected with any other synonymy notion. Moreover, the definitions of $  \approx _ {0} $
 +
and $  \approx _ {1} $
 +
can be extended to a certain theory $  {\mathcal T}  ^ {*} $
 +
endowed with the definition system $  D $
 +
of $  {\mathcal T} $,  
 +
provided that $  D $
 +
is of a suitable kind. Finally, in [[#References|[a3]]] a general rigorous definition of synonymy is introduced. For any synonymy notion $  \approx $
 +
one has $  \approx _ {0} \subseteq \approx $.
  
 
==A formal theory of senses.==
 
==A formal theory of senses.==
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038055.png" /> be an interpreted theory based on the modal calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038056.png" /> introduced in [[#References|[a4]]], where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038057.png" /> is a definition system and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038058.png" /> is an [[Interpretation|interpretation]], i.e. a [[Model (in logic)|model (in logic)]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038059.png" />. In the semantics adopted by [[#References|[a3]]], every expression of a theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038060.png" /> has both an intension and a sense, depending on the notion of synonymy chosen.
+
Let $  ( {\mathcal T},D,I ) $
 +
be an interpreted theory based on the modal calculus $  { \mathop{\rm MC} }  ^  \nu  $
 +
introduced in [[#References|[a4]]], where $  D $
 +
is a definition system and $  I $
 +
is an [[Interpretation|interpretation]], i.e. a [[Model (in logic)|model (in logic)]] for $  D $.  
 +
In the semantics adopted by [[#References|[a3]]], every expression of a theory $  {\mathcal T} $
 +
has both an intension and a sense, depending on the notion of synonymy chosen.
  
The basic idea for the construction of senses is a generalization of the idea of intensional isomorphism according to [[#References|[a6]]]. Senses of complex expressions are suitable equivalence classes, modulo the chosen synonymy, of sequences constructed starting with intensions. These sequences correspond to the weakest synonymy notion, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038061.png" />. Senses of expressions are determined in an essentially unique way and depend on the formal aspect of the expression and on valuation of the constants and variables occurring in it. Therefore, for every choice of synonymy notion the sense must fullfill certain natural adequacy requirements. The first of these is:
+
The basic idea for the construction of senses is a generalization of the idea of intensional isomorphism according to [[#References|[a6]]]. Senses of complex expressions are suitable equivalence classes, modulo the chosen synonymy, of sequences constructed starting with intensions. These sequences correspond to the weakest synonymy notion, $  \approx _ {0} $.  
 +
Senses of expressions are determined in an essentially unique way and depend on the formal aspect of the expression and on valuation of the constants and variables occurring in it. Therefore, for every choice of synonymy notion the sense must fullfill certain natural adequacy requirements. The first of these is:
  
a) the senses assigned to any two closed well-formed expressions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038062.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038063.png" /> of an interpreted theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038064.png" /> coincide if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038065.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038066.png" /> are synonymous. Since open well-formed expressions are also used, e.g., within propositional attitudes, they, too, must have a sense. The requirement a) has been strengthened into one which involves a certain extension of the synonymy relation considered to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038067.png" />-valued well-formed expressions, which are couples <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038068.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038069.png" /> is a well-formed expression and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038070.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038071.png" />-valuation, i.e., an assignment of intensions to variables.
+
a) the senses assigned to any two closed well-formed expressions $  \Delta $
 +
and $  \Phi $
 +
of an interpreted theory $  ( {\mathcal T},D,I ) $
 +
coincide if and only if $  \Delta $
 +
and $  \Phi $
 +
are synonymous. Since open well-formed expressions are also used, e.g., within propositional attitudes, they, too, must have a sense. The requirement a) has been strengthened into one which involves a certain extension of the synonymy relation considered to $  v $-
 +
valued well-formed expressions, which are couples $  \langle  {\Delta,V } \rangle $,  
 +
where $  \Delta $
 +
is a well-formed expression and $  V $
 +
is a $  v $-
 +
valuation, i.e., an assignment of intensions to variables.
  
The adequacy theorem, basic to the sequel, has a uniqueness character, in that it substantially asserts that if both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038072.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038073.png" /> are related to the same sense <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038074.png" />, then a simple procedure transforms them into one another. This allows one to associate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038075.png" /> with a unique determination of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038076.png" /> by a suitable convention. In [[#References|[a3]]] a version of the adequacy theorem is proved when the well-formed expressions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038077.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038078.png" /> are constant free. This proof holds only when the language is effectively modal, because the following assumption is used:
+
The adequacy theorem, basic to the sequel, has a uniqueness character, in that it substantially asserts that if both $  \langle  {\Delta,V } \rangle $
 +
and $  \langle  {\Phi,W } \rangle $
 +
are related to the same sense $  \sigma $,  
 +
then a simple procedure transforms them into one another. This allows one to associate $  \sigma $
 +
with a unique determination of $  \langle  {\Delta,V } \rangle $
 +
by a suitable convention. In [[#References|[a3]]] a version of the adequacy theorem is proved when the well-formed expressions $  \Delta $
 +
and $  \Phi $
 +
are constant free. This proof holds only when the language is effectively modal, because the following assumption is used:
  
b) the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038079.png" /> of possible worlds is infinite.
+
b) the class $  \Gamma $
 +
of possible worlds is infinite.
  
 
Subsequently, in [[#References|[a1]]] a version of the adequacy theorem has been presented which is applicable to every case, including the extensional case, since b) is not used.
 
Subsequently, in [[#References|[a1]]] a version of the adequacy theorem has been presented which is applicable to every case, including the extensional case, since b) is not used.
  
==The sense language <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038080.png" />.==
+
==The sense language $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $.==
On the basis of [[#References|[a3]]], the modal language <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038081.png" /> has been extended in [[#References|[a5]]] to the sense language <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038082.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038083.png" /> may be a transfinite ordinal, cf. also [[Ordinal number|Ordinal number]]; [[Transfinite number|Transfinite number]]), which contains well-formed expressions of every (iteration) order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038084.png" />. Thus, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038085.png" /> is capable of dealing with propositional attitudes whose iteration orders may be transfinite.
+
On the basis of [[#References|[a3]]], the modal language $  { \mathop{\rm ML} }  ^  \nu  $
 +
has been extended in [[#References|[a5]]] to the sense language $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $(
 +
where $  \alpha $
 +
may be a transfinite ordinal, cf. also [[Ordinal number|Ordinal number]]; [[Transfinite number|Transfinite number]]), which contains well-formed expressions of every (iteration) order $  \beta < \alpha $.  
 +
Thus, $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $
 +
is capable of dealing with propositional attitudes whose iteration orders may be transfinite.
  
Any semantics for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038086.png" /> must, on the basis of [[#References|[a3]]], involve sense, hence it must be based on a synonymy relation. Every well-formed expression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038087.png" /> of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038088.png" /> has a hyper-quasi-intension (hyper-quasi-extension) of order less than or equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038089.png" /> which represents its hyperintension (hyperextension). In addition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038090.png" /> has as quasi-sense of order less than or equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038091.png" /> which represents its sense.
+
Any semantics for $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $
 +
must, on the basis of [[#References|[a3]]], involve sense, hence it must be based on a synonymy relation. Every well-formed expression $  \Delta $
 +
of order $  \beta $
 +
has a hyper-quasi-intension (hyper-quasi-extension) of order less than or equal to $  \beta $
 +
which represents its hyperintension (hyperextension). In addition, $  \Delta $
 +
has as quasi-sense of order less than or equal to $  \beta $
 +
which represents its sense.
  
Intuitively, every hyper-quasi-intension is a function from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038092.png" /> (the class of possible worlds) into a set of hyper-quasi-extensions. Hyper-quasi-extensions are constructed in the usual type-theoretical way except that, if a hyper-quasi-extension is a function, its domain is formed with hyper-quasi-intensions and quasi-senses. A relevant feature of this construction is that the quasi-senses must have an order (see below) lower than that of the function involved. The entities assignable to variables and constants of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038093.png" /> are hyper-quasi-intensions or quasi-senses of order less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038094.png" />. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038095.png" />-valuations (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038096.png" />-valuations) assigning a hyper-quasi-intension to every variable (constant) will be called ostensive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a11038098.png" />-valuations (respectively, ostensive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380100.png" />-valuations).
+
Intuitively, every hyper-quasi-intension is a function from $  \Gamma $(
 +
the class of possible worlds) into a set of hyper-quasi-extensions. Hyper-quasi-extensions are constructed in the usual type-theoretical way except that, if a hyper-quasi-extension is a function, its domain is formed with hyper-quasi-intensions and quasi-senses. A relevant feature of this construction is that the quasi-senses must have an order (see below) lower than that of the function involved. The entities assignable to variables and constants of order $  \beta $
 +
are hyper-quasi-intensions or quasi-senses of order less than $  \beta $.  
 +
The $  v $-
 +
valuations (respectively, $  c $-
 +
valuations) assigning a hyper-quasi-intension to every variable (constant) will be called ostensive $  v $-
 +
valuations (respectively, ostensive $  c $-
 +
valuations).
  
Since expressions may contain both constants and variables, quasi-senses are relative to a valuation of the constants and variables. Roughly speaking, the senses of constants and variables are their valuations, whereas the quasi-sense of a compound expression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380101.png" /> is a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380102.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380103.png" /> is a marker depending on the form of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380104.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380105.png" /> are senses (of the components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380106.png" />) or functions (depending on the senses of the components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380107.png" />).
+
Since expressions may contain both constants and variables, quasi-senses are relative to a valuation of the constants and variables. Roughly speaking, the senses of constants and variables are their valuations, whereas the quasi-sense of a compound expression $  \Delta $
 +
is a sequence $  \langle  {\chi,x _ {1} \dots x _ {n} } \rangle $,  
 +
where $  \chi $
 +
is a marker depending on the form of $  \Delta $
 +
and $  x _ {1} \dots x _ {n} $
 +
are senses (of the components of $  \Delta $)  
 +
or functions (depending on the senses of the components of $  \Delta $).
  
==Adequacy theorem for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380108.png" />.==
+
==Adequacy theorem for $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $.==
In [[#References|[a2]]], a theory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380109.png" /> based on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380110.png" /> and a definition system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380111.png" /> is presented. Strong (weak) extensions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380112.png" /> are defined in connection with a semantics for which the senses of well-formed expressions are (are not) preserved by the principles of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380114.png" />-conversion. In [[#References|[a2]]] the designation rules for the senses, given in [[#References|[a5]]] only for weak theories, have been given in a complete form for strong theories as well. In fact, by means of a suitable notion, every defined constant has a sense, and the synonymy relations, introduced in [[#References|[a3]]] for theories based on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380115.png" />, have been extended to strong and weak extensions of theories based on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380116.png" />. In [[#References|[a2]]] a strong version of the adequacy theorem is shown to hold, which is a new result also for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380117.png" />, which is substantially <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380118.png" />. The last version of the adequacy theorem does not involve the assumptions that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380119.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380120.png" /> are injective functions and that no primitive constant or defined constants occur in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380121.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380122.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380123.png" /> is required to be an ostensive valuation of the constants, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380124.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380125.png" /> are ostensive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380127.png" />-valuations of the variables.
+
In [[#References|[a2]]], a theory $  {\mathcal T} $
 +
based on $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $
 +
and a definition system $  D $
 +
is presented. Strong (weak) extensions of $  {\mathcal T} $
 +
are defined in connection with a semantics for which the senses of well-formed expressions are (are not) preserved by the principles of $  \lambda $-
 +
conversion. In [[#References|[a2]]] the designation rules for the senses, given in [[#References|[a5]]] only for weak theories, have been given in a complete form for strong theories as well. In fact, by means of a suitable notion, every defined constant has a sense, and the synonymy relations, introduced in [[#References|[a3]]] for theories based on $  { \mathop{\rm MC} }  ^  \nu  $,  
 +
have been extended to strong and weak extensions of theories based on $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $.  
 +
In [[#References|[a2]]] a strong version of the adequacy theorem is shown to hold, which is a new result also for $  { \mathop{\rm ML} }  ^  \nu  $,  
 +
which is substantially $  { \mathop{\rm SL} } _ {1}  ^  \nu  $.  
 +
The last version of the adequacy theorem does not involve the assumptions that $  I \cup V $
 +
and $  I \cup W $
 +
are injective functions and that no primitive constant or defined constants occur in $  \Delta $
 +
and $  \Phi $.  
 +
$  I $
 +
is required to be an ostensive valuation of the constants, $  V $
 +
and $  W $
 +
are ostensive $  I $-
 +
valuations of the variables.
  
==Orders of hyperintensional predications in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380128.png" />.==
+
==Orders of hyperintensional predications in $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $.==
The basic notion of order is crucial in the sense language <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380129.png" /> presented in [[#References|[a5]]]. It arises from the observation that, when propositional attitudes are involved, one faces a proposition containing subordinate clauses. In other words, the logical analysis of the proposition considered cannot ignore the recognition that there subsists a hierarchy among the components of the proposition itself. Orders are just the mathematical counterparts of this hierarchy: every expression of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380130.png" /> (as well as its interpretation) has an order, so that the hierarchy can be established by comparing the orders of the components of the formula. In this way, it is natural to translate the propositions considered above into two formulas like, e.g., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380131.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380132.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380133.png" /> denotes Peter, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380134.png" /> is a binary relation representing knowledge and the order of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380135.png" /> is greater than those of  "3= 3"  and  "3=log28" .
+
The basic notion of order is crucial in the sense language $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $
 +
presented in [[#References|[a5]]]. It arises from the observation that, when propositional attitudes are involved, one faces a proposition containing subordinate clauses. In other words, the logical analysis of the proposition considered cannot ignore the recognition that there subsists a hierarchy among the components of the proposition itself. Orders are just the mathematical counterparts of this hierarchy: every expression of $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $(
 +
as well as its interpretation) has an order, so that the hierarchy can be established by comparing the orders of the components of the formula. In this way, it is natural to translate the propositions considered above into two formulas like, e.g., $  K ( P,3 = 3 ) $
 +
and $  K ( P,3 = { \mathop{\rm log} } _ {2} 8 ) $,  
 +
where $  P $
 +
denotes Peter, $  K $
 +
is a binary relation representing knowledge and the order of $  K $
 +
is greater than those of  "3= 3"  and  "3=log28" .
  
The example considered above shows that operators like  "knows that"  seem to be sensitive to something more than the extension (or the intension) of the known assertion. According to the role of the orders pointed out above for the semantics of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380136.png" />, the truth value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380137.png" />, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380138.png" /> a predicate term, in general depends on the sense of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380139.png" />, when the interpretation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380140.png" /> has order greater than that of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380141.png" />. Thus, the fact that the assertions considered above may have different truth values can be explained by accepting the translations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380142.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380143.png" />, with the order of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380144.png" /> greater than those of  "3= 3"  and  "3=log28" , and by holding that  "3= 3"  and  "3=log28"  have different senses.
+
The example considered above shows that operators like  "knows that"  seem to be sensitive to something more than the extension (or the intension) of the known assertion. According to the role of the orders pointed out above for the semantics of $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $,  
 +
the truth value of $  F ( \Delta ) $,  
 +
for $  F $
 +
a predicate term, in general depends on the sense of $  \Delta $,  
 +
when the interpretation of $  F $
 +
has order greater than that of $  \Delta $.  
 +
Thus, the fact that the assertions considered above may have different truth values can be explained by accepting the translations $  K ( P,3 = 3 ) $
 +
and $  K ( P,3 = { \mathop{\rm log} } _ {2} 8 ) $,  
 +
with the order of $  K $
 +
greater than those of  "3= 3"  and  "3=log28" , and by holding that  "3= 3"  and  "3=log28"  have different senses.
  
This example shows that substitution of identicals fails to be valid in the semantics for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380145.png" />. It is replaced with the substitutivity of synonymous expressions, which are expressions having the same sense. Synonymy can be expressed in the language and hence this also holds for the principle of substitutivity of synonymous expressions. Roughly speaking, the synonymy of two expressions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380146.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380147.png" />, of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380148.png" />, is expressed by asserting that no predicate of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380149.png" /> can distinguish <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380150.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380151.png" />. This means, in particular, that the mutual substitutivity of two expressions of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380152.png" /> corresponds to an axiom of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380153.png" />.
+
This example shows that substitution of identicals fails to be valid in the semantics for $  { \mathop{\rm SL} } _  \alpha  ^  \nu  $.  
 +
It is replaced with the substitutivity of synonymous expressions, which are expressions having the same sense. Synonymy can be expressed in the language and hence this also holds for the principle of substitutivity of synonymous expressions. Roughly speaking, the synonymy of two expressions $  \Delta $
 +
and $  \Delta  ^  \prime  $,  
 +
of order $  h $,  
 +
is expressed by asserting that no predicate of order $  h + 1 $
 +
can distinguish $  \Delta $
 +
and $  \Delta  ^  \prime  $.  
 +
This means, in particular, that the mutual substitutivity of two expressions of order $  h $
 +
corresponds to an axiom of order $  h + 1 $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C. Bonotto,  "An adequacy theorem for the quasi-senses used in certain theories which are extensional, modal, or strongly intensional"  ''Atti Ist. Veneto di Sci., Lettere ed Arti'' , '''CXLVII'''  (1988–89)  pp. 31–39</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  C. Bonotto,  "A generalization of the adequacy theorem for the quasi-senses"  ''Notre Dame J. Formal Logic'' , '''31'''  (1990)  pp. 560–575</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C. Bonotto,  A. Bressan,  "On generalized synonymy notions and corresponding quasi-senses"  ''Mem. Atti Accad. Naz. Lincei (VIII), Sect. I'' , '''17'''  (1984)  pp. 163–209</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  A. Bressan,  "A general interpreted modal calculus" , Yale Univ. Press  (1972)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Bressan,  "On the interpreted sense calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380154.png" />"  G. Dorn (ed.)  P. Weingartner (ed.) , ''Foundations of Logic and Linguistic'' , Plenum  (1985)  pp. 427–463</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  R. Carnap,  "Meaning and necessity" , Chicago Univ. Press  (1947)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  R. Carnap,  "Meaning and synonymy in natural languages"  ''Philosophical Studies'' , '''6'''  (1955)  pp. 33–47</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  A. Church,  "A formulation of the logic of sense and denotation" , ''Structure, Method, and Meaning. Essays in honor of H. Sheffer'' , Liberal Art Press  (1951)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  M.J. Cresswell,  "Structured meanings" , MIT  (1985)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  D. Kaplan,  "How to Russell a Frege–Church"  ''J. Philosophy'' , '''72'''  (1975)  pp. 716–729</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  D.K. Lewis,  "General semantics"  ''Synthese'' , '''22'''  (1972)  pp. 18–67</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  T. Parsons,  "Intensional logic in extensional language"  ''J. Symb. Logic'' , '''47'''  (1982)  pp. 289–328</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  C. Bonotto,  "Synonymy for Bressan's modal calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380155.png" />. Part I: A synonymy relation for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380156.png" />"  ''Atti Ist. Veneto di Sci., Lettere ed Arti'' , '''CXL'''  (1982)  pp. 11–24</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  C. Bonotto,  "Synonymy for Bressan's modal calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380157.png" />. Part II: A sufficient criterium"  ''Atti Ist. Veneto di Sci., Lettere ed Arti'' , '''CXL'''  (1982)  pp. 85–99</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C. Bonotto,  "An adequacy theorem for the quasi-senses used in certain theories which are extensional, modal, or strongly intensional"  ''Atti Ist. Veneto di Sci., Lettere ed Arti'' , '''CXLVII'''  (1988–89)  pp. 31–39</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  C. Bonotto,  "A generalization of the adequacy theorem for the quasi-senses"  ''Notre Dame J. Formal Logic'' , '''31'''  (1990)  pp. 560–575</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C. Bonotto,  A. Bressan,  "On generalized synonymy notions and corresponding quasi-senses"  ''Mem. Atti Accad. Naz. Lincei (VIII), Sect. I'' , '''17'''  (1984)  pp. 163–209</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  A. Bressan,  "A general interpreted modal calculus" , Yale Univ. Press  (1972)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Bressan,  "On the interpreted sense calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380154.png" />"  G. Dorn (ed.)  P. Weingartner (ed.) , ''Foundations of Logic and Linguistic'' , Plenum  (1985)  pp. 427–463</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  R. Carnap,  "Meaning and necessity" , Chicago Univ. Press  (1947)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  R. Carnap,  "Meaning and synonymy in natural languages"  ''Philosophical Studies'' , '''6'''  (1955)  pp. 33–47</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  A. Church,  "A formulation of the logic of sense and denotation" , ''Structure, Method, and Meaning. Essays in honor of H. Sheffer'' , Liberal Art Press  (1951)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  M.J. Cresswell,  "Structured meanings" , MIT  (1985)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  D. Kaplan,  "How to Russell a Frege–Church"  ''J. Philosophy'' , '''72'''  (1975)  pp. 716–729</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  D.K. Lewis,  "General semantics"  ''Synthese'' , '''22'''  (1972)  pp. 18–67</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  T. Parsons,  "Intensional logic in extensional language"  ''J. Symb. Logic'' , '''47'''  (1982)  pp. 289–328</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  C. Bonotto,  "Synonymy for Bressan's modal calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380155.png" />. Part I: A synonymy relation for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380156.png" />"  ''Atti Ist. Veneto di Sci., Lettere ed Arti'' , '''CXL'''  (1982)  pp. 11–24</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  C. Bonotto,  "Synonymy for Bressan's modal calculus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110380/a110380157.png" />. Part II: A sufficient criterium"  ''Atti Ist. Veneto di Sci., Lettere ed Arti'' , '''CXL'''  (1982)  pp. 85–99</TD></TR></table>

Revision as of 16:09, 1 April 2020


for senses

A theorem from the theories of sense and synonymy. This theory provides a solution for the treatment of hyperintensional predications.

The statement of the theorem is as follows. Assume that:

i) $ \Delta $ and $ \Phi $ are well-formed expressions of an interpreted theory $ ( {\mathcal T},D, {\mathcal I} ) $, where $ {\mathcal T} $ is a theory based on the modal calculus (cf. modal logic) $ { \mathop{\rm MC} } ^ \nu $ and $ {\mathcal I} $ is a model for the definition system $ D $;

ii) $ I $ is a valuation of the constants, $ V $ and $ W $ are $ {\mathcal I} $- valuations of the variables, and the set-theoretical unions $ I \cup V $ and $ I \cup W $ are injective functions on the elementary expressions (i.e., the primitive constants and free variables) of $ \Delta $ and $ \Phi $, respectively. Then $ \Delta $ has (with respect to $ I $ and $ V $) the same sense as $ \Phi $( with respect to $ I $ and $ W $) if and only if $ \Phi $( respectively, $ \Delta $) can be obtained from $ \Delta $( respectively, $ \Phi $) by replacing the elementary expressions (i.e., the primitive constants and free variables) occurring in $ \Delta $( respectively, $ \Phi $) with those of $ \Phi $( respectively, $ \Delta $) suitably rearranged.

Hyperintensional predication.

By hyperintensional predication one understands a predication which can assume different truth values on terms having equal intensions but different senses. This happens, for instance, when propositional attitudes are involved: if one assumes that mathematical equality implies equi-intensionality, then "3" has the same intension as "log28" , even if the assertions "Peter knows that 3= 3" and "Peters knows that 3=log28" may have different truth values. The treatment of hyperintensional predications has important applications, for example in artificial intelligence. Various approaches for constructing a general and systematic theory of propositional attitudes were proposed, starting with work by A. Church [a8] and R. Carnap [a6], [a7]. Those based on Church's view use extensional languages (see [a10], [a12]); others use categorial or quotational languages (see [a11], [a9]; in the latter the literature and the situation with respect to the solution of the problem are surveyed). The approach to sense presented in [a3], [a5] is based on a very different point of view, in which uniformity and generality features are taken into account. This approach deals explicitly with Church's $ \lambda $- operator, the $ \iota $- operator for descriptions, general operator forms and synonymy, and propositional attitudes of transfinite order. It is modal, but not in an essential way.

Senses and synonymy.

The formulation of the adequacy theorem for the senses (or quasi-senses) considered here refers to an approach to sense presented in [a3]. Senses are closely connected with the notion of synonymy. This notion has been studied in itself, independently of its relation to senses, in connection with an extensional and a modal language (see, e.g., [a13], [a14]).

In order to obtain a unified theory for the various synonymy notions, C. Bonotto and A. Bressan [a3] have introduced a general rigorous definition of synonymy as a binary relation between well-formed expressions of a theory $ {\mathcal T} $ endowed with a definition system $ D $. $ {\mathcal T} $ is a theory based on the modal calculus $ { \mathop{\rm MC} } ^ \nu $( see [a4]). In [a3], four particular synonymy notions, $ \approx _ {0} $, $ \approx _ {1} $, $ \approx _ {2} $, and $ \approx _ {3} $, were first introduced by conditions only on the forms of well-formed expressions among which they hold. Among them, $ \approx _ {0} $ and $ \approx _ {1} $ are defined, first, only for empty $ D $, because the principles of $ \lambda $- conversion are not meaning-preserving in connection with them. Therefore, they may appear too weak (not extended enough) or too rich in content. On the other hand, $ \approx _ {0} $ also has a basic role in treating quasi-senses connected with any other synonymy notion. Moreover, the definitions of $ \approx _ {0} $ and $ \approx _ {1} $ can be extended to a certain theory $ {\mathcal T} ^ {*} $ endowed with the definition system $ D $ of $ {\mathcal T} $, provided that $ D $ is of a suitable kind. Finally, in [a3] a general rigorous definition of synonymy is introduced. For any synonymy notion $ \approx $ one has $ \approx _ {0} \subseteq \approx $.

A formal theory of senses.

Let $ ( {\mathcal T},D,I ) $ be an interpreted theory based on the modal calculus $ { \mathop{\rm MC} } ^ \nu $ introduced in [a4], where $ D $ is a definition system and $ I $ is an interpretation, i.e. a model (in logic) for $ D $. In the semantics adopted by [a3], every expression of a theory $ {\mathcal T} $ has both an intension and a sense, depending on the notion of synonymy chosen.

The basic idea for the construction of senses is a generalization of the idea of intensional isomorphism according to [a6]. Senses of complex expressions are suitable equivalence classes, modulo the chosen synonymy, of sequences constructed starting with intensions. These sequences correspond to the weakest synonymy notion, $ \approx _ {0} $. Senses of expressions are determined in an essentially unique way and depend on the formal aspect of the expression and on valuation of the constants and variables occurring in it. Therefore, for every choice of synonymy notion the sense must fullfill certain natural adequacy requirements. The first of these is:

a) the senses assigned to any two closed well-formed expressions $ \Delta $ and $ \Phi $ of an interpreted theory $ ( {\mathcal T},D,I ) $ coincide if and only if $ \Delta $ and $ \Phi $ are synonymous. Since open well-formed expressions are also used, e.g., within propositional attitudes, they, too, must have a sense. The requirement a) has been strengthened into one which involves a certain extension of the synonymy relation considered to $ v $- valued well-formed expressions, which are couples $ \langle {\Delta,V } \rangle $, where $ \Delta $ is a well-formed expression and $ V $ is a $ v $- valuation, i.e., an assignment of intensions to variables.

The adequacy theorem, basic to the sequel, has a uniqueness character, in that it substantially asserts that if both $ \langle {\Delta,V } \rangle $ and $ \langle {\Phi,W } \rangle $ are related to the same sense $ \sigma $, then a simple procedure transforms them into one another. This allows one to associate $ \sigma $ with a unique determination of $ \langle {\Delta,V } \rangle $ by a suitable convention. In [a3] a version of the adequacy theorem is proved when the well-formed expressions $ \Delta $ and $ \Phi $ are constant free. This proof holds only when the language is effectively modal, because the following assumption is used:

b) the class $ \Gamma $ of possible worlds is infinite.

Subsequently, in [a1] a version of the adequacy theorem has been presented which is applicable to every case, including the extensional case, since b) is not used.

The sense language $ { \mathop{\rm SL} } _ \alpha ^ \nu $.

On the basis of [a3], the modal language $ { \mathop{\rm ML} } ^ \nu $ has been extended in [a5] to the sense language $ { \mathop{\rm SL} } _ \alpha ^ \nu $( where $ \alpha $ may be a transfinite ordinal, cf. also Ordinal number; Transfinite number), which contains well-formed expressions of every (iteration) order $ \beta < \alpha $. Thus, $ { \mathop{\rm SL} } _ \alpha ^ \nu $ is capable of dealing with propositional attitudes whose iteration orders may be transfinite.

Any semantics for $ { \mathop{\rm SL} } _ \alpha ^ \nu $ must, on the basis of [a3], involve sense, hence it must be based on a synonymy relation. Every well-formed expression $ \Delta $ of order $ \beta $ has a hyper-quasi-intension (hyper-quasi-extension) of order less than or equal to $ \beta $ which represents its hyperintension (hyperextension). In addition, $ \Delta $ has as quasi-sense of order less than or equal to $ \beta $ which represents its sense.

Intuitively, every hyper-quasi-intension is a function from $ \Gamma $( the class of possible worlds) into a set of hyper-quasi-extensions. Hyper-quasi-extensions are constructed in the usual type-theoretical way except that, if a hyper-quasi-extension is a function, its domain is formed with hyper-quasi-intensions and quasi-senses. A relevant feature of this construction is that the quasi-senses must have an order (see below) lower than that of the function involved. The entities assignable to variables and constants of order $ \beta $ are hyper-quasi-intensions or quasi-senses of order less than $ \beta $. The $ v $- valuations (respectively, $ c $- valuations) assigning a hyper-quasi-intension to every variable (constant) will be called ostensive $ v $- valuations (respectively, ostensive $ c $- valuations).

Since expressions may contain both constants and variables, quasi-senses are relative to a valuation of the constants and variables. Roughly speaking, the senses of constants and variables are their valuations, whereas the quasi-sense of a compound expression $ \Delta $ is a sequence $ \langle {\chi,x _ {1} \dots x _ {n} } \rangle $, where $ \chi $ is a marker depending on the form of $ \Delta $ and $ x _ {1} \dots x _ {n} $ are senses (of the components of $ \Delta $) or functions (depending on the senses of the components of $ \Delta $).

Adequacy theorem for $ { \mathop{\rm SL} } _ \alpha ^ \nu $.

In [a2], a theory $ {\mathcal T} $ based on $ { \mathop{\rm SL} } _ \alpha ^ \nu $ and a definition system $ D $ is presented. Strong (weak) extensions of $ {\mathcal T} $ are defined in connection with a semantics for which the senses of well-formed expressions are (are not) preserved by the principles of $ \lambda $- conversion. In [a2] the designation rules for the senses, given in [a5] only for weak theories, have been given in a complete form for strong theories as well. In fact, by means of a suitable notion, every defined constant has a sense, and the synonymy relations, introduced in [a3] for theories based on $ { \mathop{\rm MC} } ^ \nu $, have been extended to strong and weak extensions of theories based on $ { \mathop{\rm SL} } _ \alpha ^ \nu $. In [a2] a strong version of the adequacy theorem is shown to hold, which is a new result also for $ { \mathop{\rm ML} } ^ \nu $, which is substantially $ { \mathop{\rm SL} } _ {1} ^ \nu $. The last version of the adequacy theorem does not involve the assumptions that $ I \cup V $ and $ I \cup W $ are injective functions and that no primitive constant or defined constants occur in $ \Delta $ and $ \Phi $. $ I $ is required to be an ostensive valuation of the constants, $ V $ and $ W $ are ostensive $ I $- valuations of the variables.

Orders of hyperintensional predications in $ { \mathop{\rm SL} } _ \alpha ^ \nu $.

The basic notion of order is crucial in the sense language $ { \mathop{\rm SL} } _ \alpha ^ \nu $ presented in [a5]. It arises from the observation that, when propositional attitudes are involved, one faces a proposition containing subordinate clauses. In other words, the logical analysis of the proposition considered cannot ignore the recognition that there subsists a hierarchy among the components of the proposition itself. Orders are just the mathematical counterparts of this hierarchy: every expression of $ { \mathop{\rm SL} } _ \alpha ^ \nu $( as well as its interpretation) has an order, so that the hierarchy can be established by comparing the orders of the components of the formula. In this way, it is natural to translate the propositions considered above into two formulas like, e.g., $ K ( P,3 = 3 ) $ and $ K ( P,3 = { \mathop{\rm log} } _ {2} 8 ) $, where $ P $ denotes Peter, $ K $ is a binary relation representing knowledge and the order of $ K $ is greater than those of "3= 3" and "3=log28" .

The example considered above shows that operators like "knows that" seem to be sensitive to something more than the extension (or the intension) of the known assertion. According to the role of the orders pointed out above for the semantics of $ { \mathop{\rm SL} } _ \alpha ^ \nu $, the truth value of $ F ( \Delta ) $, for $ F $ a predicate term, in general depends on the sense of $ \Delta $, when the interpretation of $ F $ has order greater than that of $ \Delta $. Thus, the fact that the assertions considered above may have different truth values can be explained by accepting the translations $ K ( P,3 = 3 ) $ and $ K ( P,3 = { \mathop{\rm log} } _ {2} 8 ) $, with the order of $ K $ greater than those of "3= 3" and "3=log28" , and by holding that "3= 3" and "3=log28" have different senses.

This example shows that substitution of identicals fails to be valid in the semantics for $ { \mathop{\rm SL} } _ \alpha ^ \nu $. It is replaced with the substitutivity of synonymous expressions, which are expressions having the same sense. Synonymy can be expressed in the language and hence this also holds for the principle of substitutivity of synonymous expressions. Roughly speaking, the synonymy of two expressions $ \Delta $ and $ \Delta ^ \prime $, of order $ h $, is expressed by asserting that no predicate of order $ h + 1 $ can distinguish $ \Delta $ and $ \Delta ^ \prime $. This means, in particular, that the mutual substitutivity of two expressions of order $ h $ corresponds to an axiom of order $ h + 1 $.

References

[a1] C. Bonotto, "An adequacy theorem for the quasi-senses used in certain theories which are extensional, modal, or strongly intensional" Atti Ist. Veneto di Sci., Lettere ed Arti , CXLVII (1988–89) pp. 31–39
[a2] C. Bonotto, "A generalization of the adequacy theorem for the quasi-senses" Notre Dame J. Formal Logic , 31 (1990) pp. 560–575
[a3] C. Bonotto, A. Bressan, "On generalized synonymy notions and corresponding quasi-senses" Mem. Atti Accad. Naz. Lincei (VIII), Sect. I , 17 (1984) pp. 163–209
[a4] A. Bressan, "A general interpreted modal calculus" , Yale Univ. Press (1972)
[a5] A. Bressan, "On the interpreted sense calculus " G. Dorn (ed.) P. Weingartner (ed.) , Foundations of Logic and Linguistic , Plenum (1985) pp. 427–463
[a6] R. Carnap, "Meaning and necessity" , Chicago Univ. Press (1947)
[a7] R. Carnap, "Meaning and synonymy in natural languages" Philosophical Studies , 6 (1955) pp. 33–47
[a8] A. Church, "A formulation of the logic of sense and denotation" , Structure, Method, and Meaning. Essays in honor of H. Sheffer , Liberal Art Press (1951)
[a9] M.J. Cresswell, "Structured meanings" , MIT (1985)
[a10] D. Kaplan, "How to Russell a Frege–Church" J. Philosophy , 72 (1975) pp. 716–729
[a11] D.K. Lewis, "General semantics" Synthese , 22 (1972) pp. 18–67
[a12] T. Parsons, "Intensional logic in extensional language" J. Symb. Logic , 47 (1982) pp. 289–328
[a13] C. Bonotto, "Synonymy for Bressan's modal calculus . Part I: A synonymy relation for " Atti Ist. Veneto di Sci., Lettere ed Arti , CXL (1982) pp. 11–24
[a14] C. Bonotto, "Synonymy for Bressan's modal calculus . Part II: A sufficient criterium" Atti Ist. Veneto di Sci., Lettere ed Arti , CXL (1982) pp. 85–99
How to Cite This Entry:
Adequacy theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Adequacy_theorem&oldid=45032
This article was adapted from an original article by C. Bonotto (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article