Закон тождества кажется в высшей степени простым и очевидным. Однако и его ухитрялись истолковывать неправильно. Заявлялось, например, будто этот закон утверждает, что вещи всегда остаются неизменными, тождественными самим себе. Это, конечно, недоразумение. Закон ничего не говорит об изменчивости или неизменности. Он утверждает только, что если вещь меняется, то она меняется, а если она остается одной и той же, то она остается той же.
Закон достаточного основания.
Сущность закона: всякая мысль может быть признана истинной только тогда, когда она имеет достаточное основание, всякая мысль должна быть обоснована. Записывается: А есть потому, что есть В.
Закон контрапозиции.
«Закон контрапозиции» — это общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие условного высказывания.
Один из этих законов, называемый иногда законом простой контрапозиции, звучит так:
если первое влечет второе, то отрицание второго влечет отрицание первого.
Например: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится на шесть».
Другой закон контрапозиции говорит:
если верно, что если не-первое, то не-второе, то верно, что если второе, то первое.
Например: «Если верно, что рукопись, не получившая положительного отзыва, не публикуется, то верно, что публикуемая рукопись имеет положительный отзыв». Или другой пример: «Если нет дыма, когда нет огня, то если есть огонь, есть и дым».
Еще два закона конрапозиции:
если дело обстоит так, что если А, то не-В, то если В, то не-А; например: «Если квадрат не является треугольником, то треугольник не квадрат»;
если верно, что если не-А, то В, то если не-В, то А; например: «Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно».
ЗАКЛЮЧЕНИЕ
Формально-логические законы в содержательном плане представляют собой свойства мысли, которые выражают существенные особенности абстрактного мышления и лежат в основе всех умственных операций. При этом объективной основой формально-логических законов выступает качественная определенность предметов, их относительная устойчивость и взаимная обусловленность.
СПИСОК ЛИТЕРАТУРЫ
1. Бузук Г.Л., Ивин А.А., Панов М.И. Наука убеждать: логика и риторика в вопросах и ответах. М., 1992.
2. Гжегорчик А. Популярная логика. М., 1979.
3. Зегет В. Элементарная логика. М., 1985.
4. Гетманова А.Д. Учебник по логике. М., 1994.
5. Ивин А.А. По законам логики. М., 1983.
6. Кириллов В.И., Старченко А.А. Логика. Учебник. М., 1987.
7. Краткий словарь по логике. М., 1991.