Рефераты. Логики как наука, ее предмет и задачи

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

S

есть

не-есть

P

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

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

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

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

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

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

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

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

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

1

2

3

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

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

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

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

Страницы: 1, 2, 3



2012 © Все права защищены
При использовании материалов активная ссылка на источник обязательна.