Соподчинение (координация) — это отношение между объемами двух или нескольких понятий, исключающих, друг друга, но принадлежащих некоторому более общему (родовому) понятию (например, “пианино”, “скрипка”, “виолончель” принадлежат объему понятия “музыкальный инструмент”). Они изображаются отдельными неперекрещивающимися кругами внутри более обширного круга (рис. 3). Это виды одного и того же рода.
В отношении противоположности (контрарности) находятся объемы таких двух понятий, которые являются видами одного и того же рода, и притом одно из них содержит какие-то признаки, а другое эти признаки не только отрицает, но и заменяет их другими, исключающими (т. е. противоположными признаками). Слова, выражающие противоположные понятия, являютсяантонимами. Антонимы широко используются в обучении. Примеры противоположных понятий: “великан” — “карлик”; “белые туфли” — “черные туфли”. Объемы последних двух понятий
разделены объемом некоторого третьего понятия, куда, например, входит понятие “коричневые туфли”.
В отношении противоречия (контрадикторности) находятся такие два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их никакими другими признаками. Если одно понятие обозначить А (например, “глубокое озеро”), то другое понятие, находящееся с ним в отношении противоречия, следует обозначить не-А (т. е. “неглубокое озеро”). Круг Эйлера, выражающий объем таких понятий, делится на две части (А и не-А), и между ними не существует третьего понятия. Например, товар может быть либо дорогой, либо недорогой; комната бывает светлой или несветлой; животное -позвоночным или беспозвоночным и т. д. Понятие А является положительным, а понятие не-А — отрицательным. Понятия А и не-Атакже являются антонимами.
Задачи. Определить отношения между данными понятиями и изобразить эти отношения кругами Эйлера.
1. Игрушка, заводная игрушка, кукла, заводной автомобиль, пистолет
Рис. 4
2. Стихийное бедствие, землетрясение, явление приро ды, наводнение, гроза
2. Законы формальной логики.
Основные формально-логические законы
Первый закон логики— закон тождества — гласит: «Каждая мысль в процессе данного рассуждения должна иметь одно и то же определенное, устойчивое содержание». Это значит, что во время рассуждения нельзя подменять один предмет мысли другим.
Следующий логический закон— закон противоречия: «Две противоположные мысли об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть одновременно истинными». По мнению исследователей, впервые этот закон был сформулирован Аристотелем. Закон противоречия он считал основным принципом мышления.
Против непоследовательности в наших рассуждениях направлен и закон исключенного третьего. Он гласит: «Из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно». Этот закон, как и предыдущий, был сформулирован Аристотелем. Латинская формулировка этого закона звучит так: «Третьего не дано» (tertium non datur).
Правильное мышление должно быть не только определенным, последовательным и непротиворечивым, но также и доказательным. Этого требует закон достаточного основания: «Всякая правильная мысль должна быть обоснована другими мыслями, истинность которых доказана». Этот закон был сформулирован немецким мыслителем Лейбницем. Он выразил его в виде следующего принципа: «Все существующее имеет достаточное основание для своего существования».
Закон достаточного основания отражает важнейшую особенность окружающего мира: в природе и обществе все взаимосвязано и взаимообусловлено. Ни одно явление не может произойти, если оно не подготовлено предшествующим развитием.
Закон достаточного основания не допускает голословности утверждений и выводов, требует убедительного подтверждения истинности наших мыслей. Обоснованность высказываний — важнейшее требование, предъявляемое к речи.
Формально-логические законы — это законы правильного мышления, соблюдение которых делает рассуждения ясными, четкими, последовательными и непротиворечивыми, обоснованными и доказательными.