НЕГАЦИЯ — (от лат. negatio) отрицание либо субъекта вообще, либо его предиката. Противоположность – подтверждение. В диалектике Гегеля (см. Диалектика) и в историческом материализме антитезис есть негация тезиса; негация, содержащаяся в вещах и понятиях,… … Философская энциклопедия
НЕГАЦИЯ — НЕГАЦИЯ, и, жен. (спец.). То же, что отрицание (в 3 знач.). Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
негация — сущ., кол во синонимов: 1 • отрицание (10) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
негация — нег ация, и … Русский орфографический словарь
ГРАММАТОЛОГИЯ — традиционно область языкознания, которая устанавливает и изучает соотношения между буквами алфавита и звуками речи. Г. как отрасль языкознания появилась достаточно давно, практически одновременно с языкознанием: что касается философской Г., то ее … История Философии: Энциклопедия
ЛОГОТОМИЯ — одна из парадигмально значимых методологических презумпций философии постмодернизма, фиксирующая отказ от характерной для классической культуры установки на усмотрение глубинного смысла и имманентной логики в бытии и сущности как любого феномена … История Философии: Энциклопедия
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
отрицание — Отречение, запирательство, отпирательство, отказ, отнекивание. // Говорят, что беспечность в характере русского человека: полноте, она в характере просто человека . Гонч. // Шалишь! она его не любит! Гриб. Я думаю на будущий год молотилку… … Словарь синонимов
ГРАММАТОЛОГИЯ — традиционно область языкознания, которая устанавливает и изучает соотношения между буквами алфавита и звуками речи. Г. как отрасль языкознания появилась достаточно давно, практически одновременно с языкознанием: что касается философской Г., то ее … История Философии: Энциклопедия
.
верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.