Логика

ЛОГИЧЕСКИЕ ОШИБКИ — ошибки, связанные с нарушением логической правильности рассуждений. Логическаф ошибка состоят в том, что утверждается истинность ложных суждений (либо ложность истинных суждений), или логически неправильные рассуждения рассматриваются как правильные (либо логически правильные рассуждения — как неправильные), или недоказанные суждения принимаются за доказанные (либо доказанные — за недоказанные), или, наконец, неверно оценивается осмысленность выражений (бессмысленные выражения принимаются за осмысленные либо осмысленные — за бессмысленные); эти аспекты познавательных ошибок могут различным образом сочетаться друг с другом (например, принятие бессмысленного суждения за осмысленное обычно бывает связано с убеждением в его истинности). Логические ошибки изучались уже Аристотелем, который в сочинении «Опровержение софистических аргументов» проанализировал их виды. На этой основе в традиционной логике, начиная с трудов схоластов, было разработано подробное описание Логической ошибки.

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

ЛОГИСТИКА [греч. logistike — искусство вычислять, рассуждать]. У древних греков логистикой называлось искусство вычислений и геометрических измерений, т. е. практическая арифметика, противопоставлявшаяся теоретической математике. В этом значении этот термин употреблялся в Западной Европе вплоть до XVII в. Но уже Г. Лейбниц использовал слово logistica (так же как и термин logica mathematica) как синоним calculus ratiocinator (исчисления умозаключений), идею которого он выдвинул. В 1904 г.

ЛОГИКА [греч. λόγος — наука о мышлении, от λόγος — слово, речь, разум, рассуждение] — наука о законах, формах и приемах познания мира на ступени абстрактного мышления, а также о языке как средстве такого познания. Основная цель логики  — выяснение условий истинности познания, выработка эффективных логических аппаратов и правильного метода познания. Слово «логика» употребляется также для обозначения закономерностей развития и взаимосвязей предметов и явлений объективной действительности.

КОНТРАРНЫЙ [лат. contrarius] — противоположный, противный; контрарные суждения — противоположные, взаимоисключающие суждения, одно из которых общеутвердительное, а другое— общеотрицательное, например: «все птицы — хищники» и «ни одна птица— не хищник»; одно из таких суждений неизбежно является ложным, другое может быть либо истинным, либо ложным.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 174.

КОНТРАДИКТОРНОЕ ОТНОШЕНИЕ, отношение противоречия [лат. contradictorius — противоречащий] — одно из отношений, рассматриваемых в традиционной формальной логике. Различают контрадикторные отношения между суждениями и контрадикторные отношения между понятиями; суждения и понятия, находящиеся в контрадикторных отношениях, называются контрадикторными, или противоречащими, или контрадикторно-противоположными. Понятие о контрадикторных отношениях восходит к Аристотелю.

КОНСТРУКТИВНЫЙ ОБЪЕКТ — одно из основных понятий математики, современной формальной логики и теории алгоритмов. Конструктивными называются объекты, построение или рассмотрение которых возможно в рамках абстракции потенциальной осуществимости при противопоставлении ее абстракции актуальной бесконечности. К числу конструктивных объектов могут принадлежать как конкретные, так и абстрактные предметы.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 172.

КОЛИЧЕСТВО — объективная определенность качественно однородных явлений, или качество в его пространственно-временном аспекте, со стороны его бытия в пространстве и времени. Поскольку все явления в природе и человеческой истории существуют в пространстве и изменяются во времени, постольку они и могут рассматриваться как качественно тождественные, т. е. со стороны лишь количественных различий, а категория «Количество» является универсальной, т. е. логической категорией, необходимой ступенькой познания действительности.

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

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

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