41. Как используются формально - логические методы?
Основу логических методов составляют требования и принципы формальной логики.
Формальная логика изучает формы мышления – понятия, суждения, умозаключения,
доказательства и т.п. – с точки зрения их логического строения, отвлекаясь от их
конкретного содержания. Логика исследует формы мышления со стороны их структуры,
описывает наиболее правильные приемы мышления. Формальная логика решает,
например, вопрос о логических действиях над понятиями, формирует правила вывода
одного суждения из другого, рассматривает возможные ошибки при доказательствах и т.д.
Понятие – это мысль, в которой обобщены как класс и выделены из которого
множества предметы по системе признаков, общей только для этих выделенных
предметов. Примеры понятий: «товар», «система», «управление» и др. По типу
обобщенных предметов понятия делятся на собирательные и несобирательные, а также на
конкретные и абстрактные.
Далекие друг от друга по своему содержанию понятия, не имеющие общих
признаков, называются несравнимыми. Остальные понятия называются сравнимыми и
делятся по объему на совместимые (объемы этих понятий совпадают полностью или
частично) и несовместимые (объемы которых не совпадают ни в одном элементе).
Совместимые понятия могут быть равнозначными. Несовместимые понятия могут
находиться в отношениях соподчинения, противоположности (жар–холод, день–ночь) и
противоречия (ночь–солнце).
Суждение – это мысль, в которой утверждается наличие или отсутствие каких-либо
ситуаций или связей между ситуациями.
Традиционная логика является двузначной, так как в ней суждение имеет одно из
двух значений истинности: оно либо истинно, либо ложно. В трехзначных логиках
суждение может быть либо истинным, либо ложным, либо неопределенным. Например,
суждение «На Марсе есть жизнь» в настоящее время не является ни истинным, ни
ложным – оно неопределенно.
Суждения бывают простыми и сложными, состоящими из нескольких простых.
Категорические суждения делятся на утвердительные и отрицательные. В зависимости от
того, о чем идет речь – обо всем классе предметов, о части этого класса или об одном
предмете, – суждения делятся на общие, частичные и единичные.
В каждом суждении имеется количественная и качественная характеристика.
Поэтому в логике применяется объединенная классификация суждений по количеству и
качеству, на основе которой выделяются следующие четыре типа суждений:
общеутвердительные, частноутвердительные, общеотрицательные, частноотрицательные.
Суждения, как и понятия, делятся на сравнимые и несравнимые. Сравнимые
суждения делятся на совместимые и несовместимые. Два высказывания называются
несовместимыми, если из истинности одного из них необходимо следует ложность
другого (т.е. они оба никогда не могут оказаться одновременно истинными). Совместимые
выражают одну и ту же мысль полностью или лишь в некоторой части (частичное
совпадение – субконтрарность).
Умозаключение – это процесс получения знания, выраженного суждением, из других
знаний, тоже выраженных посредством суждений. Умозаключения разделяются на
дедуктивные (от общего к частному), индуктивные (от частного к общему) и
умозаключения по аналогии. Посредством дедуктивных умозаключений «выводят»
некоторую мысль из других мыслей, а индуктивные умозаключения лишь «наводят» на
мысль. Аналогия – умозаключение о наличии у предмета определенного признака на
основе сходства с другим предметом. Строгая аналогия дает достоверное, а нестрогая
аналогия – лишь вероятное заключение.
При нарушении правил выведения умозаключений такую аналогию называют
ложной.