Что такое Функтор? Значение и толкование слова funktor, определение термина
Функтор - — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. — бинарные логические связки: конъюнкция, дизъюнкция, импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция).
Посмотреть значение слова Функтор в других словарях:
Что означает термин Функтор?Философский словарьВозможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Функция - (от лат. functio — осуществление, выполнение) — соответствие между переменными величинами х и...
Целевое Обоснование - - обоснование позитивной оценки какого-то объекта ссылкой на то, что с его помощью может быть...
Цель-Средство - - обоснование позитивной ценности средства путем ссылок на позитивную ценность цели и наличие...
Частное Суждение - - суждение, имеющее логическую структуру «Некоторые S суть Р» (частноутвердительное суждение)...
Эвристика - (от греч. heurisko - отыскиваю, открываю) - совокупность приемов и методов, облегчающих и...
Эйлера Круги - - геометрическая наглядная иллюстрация объемов понятий и отношений между ними с помощью кругов....
Эквивалентность - или: Равнозначность, - общее название отношений, являющихся рефлексивными, симмет- ричными и...
Эквивокация — - логическая ошибка, заключающаяся в том, что одно и то же слово используется в разных значениях в...
Экзистенциальное Высказывание - (от лат. existentia - существование) — высказывание о существовании к.-л. предметов и явлений,...
Эклектика - — соединение разнородных, внутренне не связанных и, возможно, несовместимых взглядов, идей,...
