Логики как наука, ее предмет и задачи (стр. 2 из 4)

Отдельные определения форм мысли будут понятны, если будет понятно, что такое логическая форма или форма мысли вообще – этоспособ связи частей мыслимого содержания.

В традиционной логикеосновными формами мысли считаются понятие,суждениеи умозаключение. Каждая из этих основных форм имеет многочисленные разновидности.

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

Понятие = признак + признак...

Как цельная форма мысли понятие представляет собой единство двух составляющих его элементов: объема и содержания. Объем – структурный элемент понятия, отражающий собой совокупность предметов, обладающих одинаковыми существенными и отличительными признаками. Содержание – элемент структуры понятия, отражающий собой совокупность существенных и отличительных признаков, присущих предмету, явлению (классу предметов, множеству явлении, процессов…). Соотношение между объемом и содержанием понятия определяется законом обратного отношения (З.О.О.). Суть закона: с увеличением содержания понятия его объем уменьшается, а с уменьшением содержания – объем увеличивается.

По качественному признаку (по содержанию) понятия делятся на:

конкретные – понятия о предметах;

абстрактные – понятия о свойствах и отношениях;

абсолютные – самостоятельные безотносительные, не зависят от других понятий;

относительные – в их содержании имеются признаки, указывающие на понятия, с которыми они соотнесены по смыслу и без которых они бессмысленны;

положительные – в них мыслится присутствие определенных признаков;

отрицательные – в них фиксируется отсутствующий признак (отсутствие признака – тоже признак).

По количественному признаку (по объему) понятия делятся на:

общие – понятия, в которых выражаются признаки целого класса однородных предметов, носящих одно и то же наименование;

единичные – понятия, в которых отображаются признаки одного единичного предмета или явления;

нулевые – с нулевым объемом, ибо за ними нет реальных предметов.

Также можно выделить:

Родовые понятия – понятия, которые выражают существенные признаки класса предметов, являющегося родом каких-либо видов. Род – класс предметов, в состав которого входят другие классы, являющиеся видами этого рода.

Видовые понятия – понятия, которые отображают существенные признаки класса предметов, являющегося видом какого-либо рода. Вид – класс предметов, который входит в объем более широкого класса, именуемого родом.

Собирательные понятия – понятия, в которых фиксируются существенные признаки ряда однородных предметов, не потерявших своей индивидуальности.

Несобирательные понятия – их содержание можно отнести к каждому предмету данного класса.

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

1. Анализ(от греч. analysis–разложение) –мысленное разложение предмета на свойственные ему признаки. В определенном отношении можно даже проводить аналогию между анализом и арифметическим действием – делением.

2. Сравнение – мысленное сопоставление различных предметов по выделенным признакам и установление сходства и различия между ними.

3. Синтез (от греч. synthesis – соединение) – мысленное объединение признаков, полученных в ходе анализа и сравнения признаков, в определенную систему.

4. Абстрагирование(от лат. abstractio - отвлечение) – логическая операция, основанная на мысленном выделении существенных признаков исследуемых объектов и отвлечении от несущественных. В итоге остаются лишь общие признаки, одинаковые для всех исследованных элементов класса.

5. Обобщение – завершает образование понятия, приписывая выделенные в ходе абстрагирования существенные признаки всему классу объектов.

Суждение – форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений и которая обладает свойством выражать либо истину, либо ложь. Это более сложная форма мысли, она состоит уже не из признаков, а из понятий и может быть истинной либо ложной. Термин «Суждение» широко использовался логикой традиционной.В современной логике обычно пользуются термином «Высказывание», обозначающим грамматически правильное предложение, взятое вместе с выражаемым им смыслом.

Суждение = понятие + понятие...

Структурными элементами понятия являются суждения, входящие в его состав:

-S – субъект – это та часть суждения, в которой говорится о предмете мысли, об объекте, выступающем в качестве предмета наших размышлений. Субъект суждения (субъект мысли) в предложении выражается подлежащим.

-Р – предикат – та часть суждения, которая отображает то, что утверждается или отрицается о предмете мысли, о признаке или свойстве данного предмета.

-Логическая связка – выражает отношение между субъектом и предикатом, между «S» и «Р». В языке выражается словами «есть» - «не есть», «суть» - «не суть», «является» - «не является», «имеется» - «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается.

Общую формальную структуру суждения можно выразить, как представлено ниже, где S и Р являются переменными величинами, а логическая связка – постоянной:

естьне-есть

Кроме названных элементов в суждениях имеется еще один не всегда явно выразимый, как бы непостоянный, плавающий элемент, отражающий количественную характеристику субъекта суждения – квантор суждения. В языке он выражался словами «все», «без исключения», «каждый» и т.п. – квантор общности (всеобщности), или словами «некоторые», «многие», «часть», «большинство» и др. – квантор существования. В некоторых случаях квантор лишь подразумевается, как в суждении «Студенты нашей группы любят спорт»: тут не ясно, все или некоторые студенты группы любят спорт, а данное обстоятельство может иметь существенное значение при дальнейшем использовании и анализе суждения. Символическое обозначение квантора общности – V, квантора существования – I.

Понятие выражается словом или группой слов, а суждения существуют в виде предложений, чаще всего – повествовательных, где группа подлежащего совпадает с субъектом, а группа сказуемого – с предикатом.

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

Умозаключение = суждение + суждение...

Различают умозаключения из простых категорических суждений, из простых относительных суждений, из сложных суждений, а также дедуктивные, индуктивные и традуктивные умозаключения

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

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

Традуктивные умозаключения – умозаключения, в которых и посылки, и вывод одинаковой степени общности, т.е. это умозаключения из суждений отношения и умозаключения по аналогии.

Таким образом, все вышесказанное можно представить:

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

Сформулировал основные законы правильного мышления Аристотель: закон тождества, закон непротиворечия, закон исключенного третьего. Позднее был сформулирован четвертый закон – закон достаточного основания. Данные законы имеют силу для всех форм мысли и выступают условиями правильностимышления. Являются предметом изучения формальной логики.

Закон тождества. Смысл его заключается в том, что каждая мысль, которой мы пользуемся в логических операциях, при повторении должна иметь одно и то же определенное, устойчивое содержание. Он требует от мышления точности, строгости, четкости, определенности, однозначности.