Логика

МЫШЛЕНИЯ ЗАКОНЫ, логические — законы связи между суждениями и понятиями, законы формирования и развития мысли, определяющие правильные формы и методы познания действительности на ступени абстрактного мышления. Целью изучения Мышления законов является выяснение объективных условий истинности познания. Мышления законы определяются исключительно содержанием мысли, однако не конкретным содержанием отдельных мыслей, а тем общим, что имеется в содержании различных мыслей, т. е., в конечном счете, некоторыми общими чертами отражаемых в мышлении предметов и отношений действительности.

МОДЕЛЬ [фр. modele, от лат. modus — образец] — условный образ (изображение, схема, описание и т. п.) какого-либо объекта (или системы объектов). Служит для выражения отношения между человеческими знаниями об объектах и этими объектами; понятие модели широко применяется в семантике, логике, математике, физике, химии, кибернетике, лингвистике и других науках (главным образом технических) и их приложениях в различных, хотя и тесно связанных между собой, смыслах.

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

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

МЕТАЯЗЫК — понятие современной логики, используемое при исследовании языков различных логико-математических исчислений и естественнонаучных языков, при описании взаимоотношений языков различного «уровня» и при характеристике отношения между рассматриваемыми языками и описываемыми с их помощью предметными областями. Метаязык называется язык, на котором происходит рассмотрение какого-либо другого языка, изучение строения выражений этого языка, доказательство теорем о его дедуктивных свойствах и об отношении его к другим языкам и т. д.

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

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

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

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

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

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