абстракция отождествления
21АБСТРАКТНОЕ И КОНКРЕТНОЕ — философские категории, обозначающие ступени познания действительности, выраженные в гносеологическом законе восхождения от А. к К. А. (лат. abstractio отвлечение, удаление) мысленный образ, полученный путем отвлечения (абстрагирования) от тех или …
22АБСТРАКТНОЕ и КОНКРЕТНОЕ — философские категории, обозначающие ступени познания действительности, выраженные в гносеологическом законе восхождения от А. к К. А. (лат. abstractio отвлечение, удаление) мысленный образ, полученный путем отвлечения (абстрагирования) от тех или …
23НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… …
24конструктивизм — КОНСТРУКТИВИЗМ (от лат. constructio построение) направление в эпистемологии и философии науки, в основе которого лежит представление об активности познающего субъекта, который использует специальные рефлексивные процедуры при построении… …
25обобщение — (лат. generalisatio) мыслительная операция, переход от мысли об индивидуальном, заключенной в понятии, суждении, норме, гипотезе, вопросе и т. п., к мысли об общем; от мысли об общем к мыслям о более общем; от ряда фактов, ситуаций, событий к их… …
26ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… …
27РАВЕНСТВО ( и ) — РАВЕНСТВО (в логике и математике) отношение между выражениями языка логики и математики, верное тогда (и только тогда), когда оба выражения обозначают один и тот же предмет, т.е., когда все, что можно сказать на языке данной теории про объект,… …
28ТОЖДЕСТВА ПРОБЛЕМЫ — проблемы эквивалентности, проблемы иден тичности, проблемы равенства с л о в (англ. word problems) – задачи нахождения общего метода (алгоритма), позволяющего для произвольной пары элементов к. л. множества, в к ром определено отношение типа… …
29А=А — формула, выражающая принцип тождества в формальной логике; читается: А есть А , А тождественно А , А равно А , А есть то же самое, что А , А эквивалентно А . Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает… …
30Тождество — основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем. В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… …