Словарь логики - функтор
Функтор
функтор
— средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. — бинарные логические связки: конъюнкция, дизъюнкция, импликация и т.п. Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным.
К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция). .
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 375 | |
2 | 372 | |
3 | 364 | |
4 | 340 | |
5 | 339 | |
6 | 336 | |
7 | 329 | |
8 | 327 | |
9 | 326 | |
10 | 326 | |
11 | 321 | |
12 | 317 | |
13 | 315 | |
14 | 314 | |
15 | 312 | |
16 | 311 | |
17 | 310 | |
18 | 309 | |
19 | 308 | |
20 | 301 |