The essentially intensional and temporal notion of choice sequences, as developed by Brouwer and his school, is of far greater worth to us here than anything offered by the atemporal and extensionally
determined landscape of classical set theory.
As HiLog does not support extensionally
represented sets, we do not classify it as a complex-value deductive language.
Computational function (Level 1) and psychological algorithm (Level 2) are not even extensionally
equivalent, so the mapping required by the cascade of explanation is blocked.
In minutes, the instrument supplies the force needed to break the hairs extensionally
the drawing of a distinction between three different kinds of identity (so that objects which are both extensionally
and referentially identical may fail to be intensionally identical--for example Cicero and Tully) (pp.
Furthermore, if we take the Disney enterprise as an allegorical exemplum, its pervasiveness is not only intensionally total (in all fields of life) but also extensionally
total (global) as none before (cf.
The problem is that constraints of this sort may coincide extensionally
with our intuitions concerning what could be conscious and what couldn't be, but they don't seem to characterize them in terms that are internally connected to our notion of conscious experience.
Luce makes a similar point in different terms, Holder's ratios being extensionally
equivalent to Luce's translations in the case of continuous quantity.
What, after all, is so unpalatable about the suggestion that a representation might function extensionally
, without the mediation of a represented object?
Such a world is in fact quoted, but it is not constructed, or - if you want - extensionally
mentioned, but not intensionally analyzed" (Eco 234).
And, of course, there will be the need to assess the comparative merits of utilitarianism and contractualism themselves, as they are neither extensionally
nor intensionally equivalent.
So, rather surprisingly, the two sets are extensionally