ФУНКТОР

средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы - индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. - бинарные логические связки: конъюнкция, дизъюнкция, импликация и т. п.

Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция).

Смотреть больше слов в «Словаре логики»

ФУНКЦИЯ →← ФОРМЫ МЫШЛЕНИЯ

Смотреть что такое ФУНКТОР в других словарях:

ФУНКТОР

-отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию ... смотреть

ФУНКТОР

ФУНКТОР — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. — бинарные логические связки: конъюнкция, дизъюнкция, импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция). ... смотреть

ФУНКТОР

матем. фу́нктор - аддитивный функтор - двойственный функтор - двуместный функтор - канонический функтор - касательный функтор - контравариантный функтор - накрывающий функтор - постоянный функтор - пренебрегающий функтор - производный функтор - связный функтор - сингулярный функтор - тождественный функтор - функтор вложения ... смотреть

ФУНКТОР

Смотреть что такое ФУНКТОР в других словарях:

Рекомендуем посмотреть: