Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Тезис доказательства (Асмус, 1954)

Тезисом называется суждение, или положение, истинность (или ложность) которого выясняется посредством данного доказательства. Доказываемый тезис обычно не имеет очевидности. Так, доказываемое в геометрии положение о том, что площадь круга равняется произведению числа π, выражающего отношение длины окружности круга к длине его диаметра, на квадрат радиуса круга, не есть положение самоочевидное. Истинность его обнаруживается доказательством. И так обстоит дело с громадным большинством доказываемых положений.

Даже в случаях, когда доказываемый тезис представляется очевидным, он всё же обычно доказывается (это особенно относится к математике). Так обстоит дело, например, с положением, что диаметром круг делится на две равные части...

Логика: общее описание (Строгович, 1949)

Логикой называется наука о законах правильного мышления. Законы правильного мышления — это такие законы выражения и связи мыслей, которые необходимо соблюдать, чтобы развитие наших мыслей было правильным, последовательным и систематичным, чтобы при изучении и разрешении какого-либо вопроса мы могли делать верные выводы из известных нам положений. Исследуя какой-либо вопрос (научный, бытовой, политический и т. п.), рассуждая на какую-либо тему (в сочинении, споре и т. п.)» мы выражаем различимо мысли и связываем их, из одних мыслей выводим другие. Выражая какую-либо мысль, мы в её подтверждение приводим то или другое основание, доказываем правильность нашего утверждения и оспариваем правильность иного, противоречащего утверждения, раскрывая его ложность...

Понятие: общая характеристика (Горский, 1954)

Логическое мышление обычно состоит не из отдельных, изолированных мыслей, оно представляет собой различные связи мыслей. Отдельными звеньями этих связей являются суждения. Примеры суждений: «Логика — философская наука», «Научная система земледелия — условие высокой урожайности растений».

Будучи единой мыслью, суждение имеет некоторое строение, некоторый состав.

Так, из суждения «Логика — философская наука» могут быть выделены в качестве его членов мысли «логика» и «философская наука». И точно так же из суждения «Научная система земледелия — условие высокой урожайности растений» могут быть выделены мысли «научная система земледелия» и «условие высокой урожайности растений»...

Предикабилии

ПРЕДИКАБИЛИИ (лат. praedicabilia) – логический термин, обозначающий типы предикатов, используемые в суждениях. Аристотель в «Топике» (I ч., 101 в) классифицировал предикаты (сказуемые) по категориям и предикабилиям, рассматривая четыре типа последних – род (genus), вид (species), собственный признак (proprium), случайный признак (accidens). Его комментатор Профирий добавил пятую предикабилию – видовое отличие (differentia). Например, живое существо (род), человек (вид), разумное (видовое отличие), с чувством юмора (собственный признак), брюнет (случайный признак). Предикабилии противостоят единичным именам. И.Кант расширил значение термина. Он называл в «Критике чистого разума» (§ 10) предикабилиями понятия рассудка, выводимые из категорий. Например, из категории причинности выводятся такие предикабилии, как сила, действие и страдание, из категории модальность – возникновение, исчезновение, изменение и т.д.

Концепт (Степанов, 2004)

КОНЦЕПТ. Концепт — явление того же порядка, что и понятие. По своей внутренней форме в русском языке слова концепт и понятие одинаковы: концепт является калькой с латинского conceptus — «понятие», от глагола concipere «зачинать», т. е. значит буквально «поятие, зачатие»; понятие от глагола пояти, др.-рус. …, «схватить, взять в собственность, взять женщину в жены» буквально значит, в общем, то же самое. В научном языке эти два слова также иногда выступают как синонимы, одно вместо другого. Но так они употребляются лишь изредка. В настоящее время они довольно четко разграничены.

Концепт и понятие — термины разных наук; второе употребляется главным образом в логике и философии, тогда как первое, концепту является термином в одной отрасли логики — в математической логике...

Логические ошибки

ЛОГИЧЕСКИЕ ОШИБКИ, ошибки, связанные с нарушением в содержательности мыслительных актах законов и правил логики, а также с некорректным применением логических приёмов и операций. В логике рассматриваются различные виды логических ошибок, возникающие в процедурах определения и деления понятий, в дедуктивных и индуктивных выводах, в доказательстве и т. п. Так, нарушение правил определения понятия приводит к ошибочным — несоразмерным, содержащим в себе порочный круг или тавтологию — дефинициям. Нарушение правил силлогизма приводит к логически неправомерным формам выводов, не обеспечивающим истинность заключения при условии истинности исходных посылок...

Анализ

АНАЛИЗ (от греч. ανάλυσις — разложение, расчленение), процедура мысленного, а часто также и реального расчленения предмета (явления, процесса), свойства предмета (предметов) или отношения между предметами на части (признаки, свойства, отношения); процедурой, обратной анализу, является синтез, с которым анализ часто сочетается в практической или познавательной деятельности. Процедуры анализа входят органической составной частью во всякое научное исследование и обычно образуют его первую стадию, когда исследователь переходит от нерасчленённого описания изучаемого объекта к выявлению его строения, состава, а также его свойств, признаков...

Логический атомизм

ЛОГИЧЕСКИЙ АТОМИЗМ, номиналистическое и плюралистическое учение о действительности, выдвинутое Расселом и Витгенштейном в 10—20-х годах 20 века. Программа логического атомизма предусматривала построение логически совершенного языка, моделью которого объявлялся логический язык. Один из основных постулатов логического атомизма — признание языка образом действительности: его предложения изображают сочетания объектов так же, например, как проекция какой-либо геометрической фигуры изображает эту фигуру. Логический атомизм рассматривал мир как совокупность лишь внешне связанных друг с другом атомарных фактов...

Логические операции

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

Логицизм (Ильичёв, 1983)

ЛОГИЦИЗМ, направление в логико-философских основаниях математики, исходящее из выдвинутого Лейбницем тезиса о «сводимости математики к логике», согласно которому математика изучает так называемые аналитические истины, т. е. утверждения, «истинные во всех возможных мирах». В систематическом виде доктрина логицизма была изложена Фреге в «Основных законах арифметики» («Grundgesetze der Arithmetik», Bd 1—2, 1893—1903), где основное для математики понятие натурального числа сводилось к объёмам понятий, а теоремы арифметики доказывались средствами некоторой логической системы. Эта доктрина была развита затем Расселом, обнаружившим парадокс (противоречие) в системе Фреге...

Страницы