Here's the idea: since people can have different attitudes towards
different propositions that happen to have the same truth value, we
Here's the idea: since people can have different attitudes towards
different propositions that happen to have the same truth value, we
believed that the earth was round, it would force him to believe
Fermat's last theorem holds, since both propositions are equally true.
The traditional solution is to allow sentences to denote a function
believed that the earth was round, it would force him to believe
Fermat's last theorem holds, since both propositions are equally true.
The traditional solution is to allow sentences to denote a function
in the extensional types, they're there because the behavior of these
expressions depends on which world they're evaluated at. If you are
in a situation in which you can hold the evaluation world constant,
in the extensional types, they're there because the behavior of these
expressions depends on which world they're evaluated at. If you are
in a situation in which you can hold the evaluation world constant,
dependence of the extension of an expression on the evaluation world
is hidden in a superscript, or built into the lexical interpretation
dependence of the extension of an expression on the evaluation world
is hidden in a superscript, or built into the lexical interpretation
The main difference between the intensional types and the extensional
types is that in the intensional types, the arguments are functions
The main difference between the intensional types and the extensional
types is that in the intensional types, the arguments are functions
those attitude verbs that need to worry about intensions, and keep the
rest of the grammar as extensional as possible? This desire is
parallel to our earlier desire to limit the concern about division by
those attitude verbs that need to worry about intensions, and keep the
rest of the grammar as extensional as possible? This desire is
parallel to our earlier desire to limit the concern about division by
-zero to the division function, and let the other functions ignore
-division-by-zero problems as much as possible.
+zero to the division function, and let the other functions, like
+addition or multiplication, ignore division-by-zero problems as much
+as possible.