Логика

КАТЕГОРИИ [греч. κατηγορία, букв. — высказывание] — основные и наиболее общие понятия наук, особенно логики. Греческое слово означает «осуждение», «решение», «показание», «объяснение», «высказывание». Уже этот большой диапазон значений слова «Категории» свидетельствует о том, что греческие философы имели здесь в виду не просто высказывание о предмете, но и какое-то важное о нем решение, как бы привлечение его к ответственности, высказывание о нем чего- то весьма важного, внутреннего и существенного.

ПОСЫЛКА (PROPOSITION). Элементарное высказывание, которое может быть либо истинным, либо ложным. «Не всякая речь есть высказывающая речь, — подчеркивает Аристотель, — а лишь та, в которой содержится истинность или ложность чего-либо; так, мольба, например, есть речь, но она не истинна и не ложна» («О толковании», глава 4).

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 418.

ПОЗИЦИЯ (POSITION). Одна из десяти категорий Аристотеля. Это не местонахождение (локализация), а определенный способ занимать данное место, например сидеть или стоять. Иногда в указанном смысле употребляют слово «ситуация», что может вызывать путаницу, поэтому лучше этого избегать.

ПАРАЛОГИЗМ (PARALOGISME). Невольно допущенная ошибка в умозаключении. Этим паралогизм отличается от софизма. Софизм сознательно вводит в заблуждение, паралогизм сам заблуждается. У Канта «паралогизмы чистого разума» являются диалектическими рассуждениями, относящимися к первой из трех «Идей разума» (душа, мир, Бог). Они суть иллюзии, в которые неизбежно впадает рациональная психология в своей претензии познать душу (как ноумен), тогда как мы не имеем о душе никакого опытного знания.

ПАРАДОКС (PARADOXE). Мысль, идущая вразрез с устоявшимся мнением или с самым мышлением. Слово «парадокс» имеет два значения. В стремлении пойти против устоявшихся мнений (doxa) нет ничего предосудительного, что, конечно, не означает, будто парадокс всегда прав (есть истинные и ложные парадоксы). Это означает лишь, что есть люди, не желающие довольствоваться послушным повторением того, что говорят другие. Оскар Уайльд, например, сказал, что «природа подражает искусству».

ИМПЛИЦИТНО [лат. implicite, букв. — запутанно, спутанно] — неявно. В логической и методологической литературе термин имплицитно чаще всего употребляется в словосочетаниях «имплицитно содержащийся», «имплицитно определенный», «имплицитно введенный» и т. п., причем в зависимости от контекста он может иметь различный смысл. Так, относительно посылок, опущенных в некотором рассуждении, но подразумеваемых в нем, говорят, что они имплицитно содержатся в данном рассуждении.

ИНВЕРСИЯ [лат. inversio — переворачивание, перестановка] — в логике — преобразование условного суждения (или формулы логического исчисления, являющейся формализацией условного суждения) в новое условное суждение (формулу); в науке о языке — перестановка слов в грамматическом предложении, нарушающая их обычный порядок, но сохраняющая основной смысл предложения; грамматическое предложение (или грамматическая конструкция) с порядком слов, отличным от обычного.

ОШИБКА (ERREUR). Свойство ошибки в том, что ее принимают за истину. Именно этим ошибка отличается от лжи (мы можем понять, что нам лгут, но не в состоянии понять, что сами ошибаемся). Поэтому ошибка всегда бывает невольной. Ошибка — это не просто ложная идея, это ложная идея, принимаемая за истинную. В той мере, в какой она ложна, она имеет лишь отрицательное бытие (Ложность); но в той мере, в какой она является идеей, она является частью действительности и истинного мира (ведь мы действительно ошибаемся, значит, ошибка реально ложна).

ОДНОЗНАЧНЫЙ (UNIVOQUE). Имеющий один и тот же смысл независимо от контекста и в применении к разным предметам. Но в употреблении этого слова, появившегося из научного словаря, исключений гораздо больше, чем правил. Противоположностью однозначного является двусмысленное (имеющее по меньшей мере два разных значения), а иногда и многозначное (имеющее много значений).

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 371.

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — вид логического доказательства, отличающийся способом обоснования тезиса. В отличие от прямого доказательства в косвенном доказательстве истинность доказываемого тезиса обосновывается посредством установления ложности некоторых положений. Последние так связаны с доказываемым тезисом, что из их ложности следует истинность тезиса. Существуют разные виды косвенного доказательства.