Словари

Что такое Функтор? Значение и толкование слова funktor, определение термина

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

Посмотреть значение слова Функтор в других словарях:

Что означает термин Функтор?Философский словарь

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

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