Отрица́ние
(
инве́рсия
, от
лат.
inversio
—
переворот
,
логи́ческое «НЕ»
) в
логике
—
унарная операция
над
суждениями
, результатом которой является суждение, «противоположное» исходному. Обозначается знаком
¬
перед или чертой
—
над суждением. Отрицание является обратной функцией
идентичности
.
Обратное утверждение
верно в классической логике (
закон двойного отрицания
), но не имеет места в интуиционистской. То есть отрицание отрицания искомого утверждения не может служить
интуиционистским
доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.
Отрицание позволяет определить ряд взаимно обратных (инверсионных) двоичных логических функций двух и более аргументов. Например:
Бродский И. Н.
Отрицательные высказывания. —
Л.
: Издательство Ленинградского университета, 1973. — 104 с.
Скиба А. С.
// Логико-философские штудии. — 2020. —
Т. 17
,
№ 4
. —
С. 280—295
.
Фреге Г.
Отрицание. Логическое исследование
// Логика и логическая семантика: сборник трудов. —
М.
: Аспект Пресс, 2000. — С. 343—356.
Зайцев Д. В.
Научно-ред. совет: предс. В. С. Степин, заместители предс.: А. А. Гусейнов, Г. Ю. Семигин, уч. секр. А. П. Огурцов:
(неопр.)
.
Новая философская энциклопедия: В 4 томах
. М.: Мысль. Дата обращения: 8 сентября 2020.
13 мая 2021 года.
Hintikka J.
Truth, Negation and Other Basic Notions of Logic
// The Age of Alternative Logics
(англ.)
. — Drodrecht: Springer, 2006. — P. 195—219. —
ISBN 978-1-4020-5012-1
.
Hintikka J.
(англ.)
// Linguistics and Philosophy. — Springer, 2002. —
Vol. 25
,
no. 5/6
. —
P. 585—600
.
Horn L.
A Natural History of Negation
(англ.)
. — University of Chicago Press, 2001. — 637 p. —
ISBN 1575867176
.