Логика

ПРИНЦИП (PRINCIP). Теоретическое начало; точка отсчета рассуждения. Природа принципа предполагает его недоказуемость (в противном случае это будет уже не принцип, а теорема или закон), как природа доказательства предполагает опору на какой-либо недоказуемый принцип. Чем принцип отличается от аксиомы или постулата? Тем, что последние употребляются в рамках каких-либо формальных или гипотетически-дедуктивных систем. Принцип же с равным успехом используется в экспериментальных науках, морали и политике. Почему устанавливается тот или иной принцип?

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

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

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

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

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

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

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

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

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

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

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