Функтор

-отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию или, короче, Ф. Из в наз. Пара отображений обозначаемых обычно одной и той же буквой, напр. F подчиненных условиям. 1) для каждого 2) для любых морфизмов Ф. Из категории двойственной категории в категорию наз. Одноместным контравариантным функтором из в Таким образом, для контравариантного Ф. по-прежнему должно выполняться условие 1)..

— теория в формализованном языке. Важной особенностью Ф. Т. Является то, что содержательные утверждения заменены в них последовательностями символов, ма­нипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включает­ся в теорию. Поэтому более точно Ф. Т. Можно определить как упорядоченную тройку (L, A, C), где L представляет формализо­ванный язык, A — множество аксиом и С — множество правил вывода. Ф. Т. Обычно строится следующим образом. В..

Или. Формы мышления, — в традици­онной логике основными формами мысли считаются понятие, суж­дение и умозаключение. Каждая из этих основных форм имеет многочисленные разновидности.. ..

(от лат. Functio — осуществление, выполнение) — соот­ветствие между переменными величинами х и у, в результате которо­го каждому значению величины х (независимой переменной, аргу­менту) сопоставляется одно-единственное значение величины у (за­висимой переменной). Это соответствие записывается в виде выражения y=f(x). Такое соответствие может быть задано не только формулой, но и графиком или таблицей (примером такой таблицы может быть таблица логарифмов). Множество элементов некоторой Ф., подстав..

- обоснование позитивной оценки какого-то объекта ссылкой на то, что с его помощью может быть получен другой объект, имеющий позитивную ценность. Напр., по утрам следует делать зарядку, поскольку это способствует укрепле­нию здоровья. Нужно отвечать добром на добро, т. К. Это ведет к справедливости в отношениях между людьми и т. П. Ц. О. Иногда наз. Мотивационным. Если упоминаемые в нем цели не являются целями человека, оно обычно именуется телеологическим. Центральным и наиболее важным способом..