- средство преобразования знак овых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа в некоторое третье число . В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы - индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. - бинарные логические связки : конъюнкция , дизъюнкция , импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция ).
Что такое Функтор? Значение слова Функтор в философском словаре
Функтор - - средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак "+" можно рассматривать как Ф., преобразующий два числа в некоторое третье число . В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы - индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. - бинарные логические связки: конъюнкция , дизъюнкция , импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция ).
Значение слова Функтор в других словарях:
- Что такое Функтор? Словарь логики
Узнайте лексическое, прямое, переносное значение следующих слов:
- Фикх - (араб. разумение) мусульм. правоведение, отражавшее феод. ...
- Фетишизм - (от франц. fetiche талисман амулет идол ) ...
- Фетва - (араб. мнение решение ) у мусульман ...
- Феб - — см. Аполлон. ...
- Фатум - (лат. fatum ) у др. римлян ...
- Фатима - деревушка недалеко от Лиссабона, вблизи крой в ...
- Фатализм - (от лат. fatalis предопределенный судьбой, роковой) ...
- Утилитаризм - (лат. utilitas— польза ) — этическая теория признающая ...
- Урбанизация - (лат. urbanus—городской) — исторический процесс распространения городского образа ...
- Упанишады - — один из разделов Вед, древнеинд. религиознофилософские комментарии ...
- Умозрение - — способ теоретического постижения истины, основанный на отвлеченных ...
- Утопия - (от греч. ou не и topos место ...
- Утилитаризм - (от греч. utilitas польза выгода) точка зрения ...
- Устойчивость - постоянство, пребывание в одном состоянии; противоположность ...
- Искупление - жертвоприношение богам с целью загладить нанесенные им ...