Использование формально-логических методов исследования

<38 39 404142 43 44 >

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

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

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

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

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

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

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

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

Суждения, как и понятия, делятся на сравнимые и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые. Два высказывания называются несовместимыми, если из истинности одного из них необходимо следует ложность другого (т.е. они оба никогда не могут оказаться одновременно истинными).

Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части (частичное совпадение - субконтрарность).

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

При нарушении правил выведения умозаключений такую аналогию называют ложной.

<38 39 404142 43 44 >

Дата добавления: 2020-11-18; просмотров: 365;