— средство преобразования знак овых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число . В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. — бинарные логические связки : конъюнкция , дизъюнкция, импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция ).
Что такое Функтор? Значение слова Функтор в словаре логики
Функтор - — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. — бинарные логические связки: конъюнкция, дизъюнкция, импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция).
Значение слова Функтор в других словарях:
- Что такое Функтор? Философский словарь
Узнайте лексическое, прямое, переносное значение следующих слов:
- Ясность - – характеристика термина (понятия) с точки зрения определенности, ...
- Язык Семантически Замкнутый - – язык, который содержит в себе как выражения, ...
- Язык Логики - — специально создаваемый современной логикой для своих целей ...
- Юма Принцип - — принцип, утверждающий, что невозможно с помощью одной ...
- Эпихейрема - (от греч. epiheirema — умозаключение) — сокращенный силлогизм, ...
- Эмпирическое И Теоретическое - см.: Теоретическое и эмпирическое. ...
- Экстенсиональность - объемность; сведение содержания, понятий, утверждений, контекстов к ...
- Учетверение Терминов - (лат. quaternio terminorum) — логическая ошибка в простом ...
- Условное Высказывание - — сложное высказывание, формулируемое обычно с помощью связки ...
- Умозаключения Из Суждений С Отношениями - умозаключения, в которых посылки и заключение представляют ...
- Умозаключение - мыслительный процесс, в ходе которого из одного ...
- Традиционная Логика - — первый этап в развитии (формальной) логики, начавшийся ...
- Тождества Закон - — логический закон, согласно которому всякое высказывание влечет ...
- Типов Теория - — система логики предикатов более высокого порядка, чем ...
- Модус Толленс - (лат. modus tollens) термин средневековой логики, обозначающий ...