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