Про интесиональную и экстенсиональную логики
https://plato.stanford.edu/entries/logic-intensional/ - здесь про интенсиональную, но есть и сравнение с экстенсиональной.
Интенсиональная логика это логика значений, а экстенсиональная логика - логика вещей, именований.
"Typically a context that is intensional can be recognized by a failure of the substitutivity of equality when naively applied."
А вот отголоски учёбы моего сына: "Чтобы проверить, одушевлённым или неодушевлённым является существительное, необходимо поставить его в формы винительного и родительного падежа множественного числа. Если формы совпадают, то существительные являются одушевлёнными."
Интересно!
Вообще, эту энциклопедию читать-не-перечитать. ;)
Интенсиональная логика это логика значений, а экстенсиональная логика - логика вещей, именований.
"Typically a context that is intensional can be recognized by a failure of the substitutivity of equality when naively applied."
А вот отголоски учёбы моего сына: "Чтобы проверить, одушевлённым или неодушевлённым является существительное, необходимо поставить его в формы винительного и родительного падежа множественного числа. Если формы совпадают, то существительные являются одушевлёнными."
Интересно!
Вообще, эту энциклопедию читать-не-перечитать. ;)