Hilary Putnam responds to Smart's response by essentially rejecting functionalism because, he believes, it is indeed a second-order type identity theory.
32.
For " well "-ordered sets we say the set has an " order type " which we label with an ordinal number.
33.
In 1885, Cantor extended his theory of order types so that the ordinal numbers simply became a special case of order types.
34.
I'd like some nomenclature analogous to " order type " that identifies the order relation on a given set of these trees.
35.
In 1885, Cantor extended his theory of order types so that the ordinal numbers simply became a special case of order types.
36.
The cofinality of a set of ordinals or any other well-ordered set is the cofinality of the order type of that set.
37.
"And he looks for law-and-order types, people with a background of putting victims'rights and concerns at the top of their agenda ."
38.
I . e . is there something we'd call an " order type " for the reals and the standard < ordering?
39.
Its order type is independent of the choice of, but the notation is not, since the integer coordinate " rolls over " at.
40.
He is a partisan, to be sure, but he is youthful and energetic, articulate and has the image of a square-jawed law-and-order type.
