Говорит о противоречащих друг другу высказываниях, т.е. о высказываниях, одно из которых является отрицание другого. «Луна – спутник Земли» и «Луна не является спутником Земли». В одном из высказываний что-то утверждается, а в другом – это же самое отрицается. Высказывание и его отрицание не могут быть вместе истинными. Никакое высказывание не является вместе истинным и ложным. Из двух противоречащих друг другу высказываний одно является ложным.
Закон противоречия был открыт Аристотелем, сформулировавшем его так: «…невозможно, чтобы противоречащие утверждения были вместе истинными…»
Закон исключения третьего.
«Из двух противоположных суждений одно истинно, другое ложно, а третьего не дано» А или не –А. Например:» Аристотель умер в 322 г. до н.э. или он не умер в этом году» дело обстоит так, как говорится в рассматриваемом высказывании, или так, как говорится в его отрицании, и никакой третьей возможности нет.
Закон исключения третьего с иронией обыгрывается в художественной литературе: «жила одна старушка, вязала кружева, и если не скончалась – она еще жива». Немецкий ученый Гегель весьма иронично отзывался о законе исключения третьего и о законе противоречия. Первый он представлял так: дух является зеленым или не является зеленым и задавал каверзный вопрос, как ему казалось, вопрос: какое из этих двух выражений истинно? Ни одно из этих выражений не является истинным, поскольку оба выражения бессмысленны. Закон исключения третьего приложим только к осмысленным высказываниям. Только они могут быть истинными или ложными. Бессмысленное же ни истинно, ни ложно.
Закон достаточного основания.
Впервые был сформулирован Лейбницем: «Ничто не происходит без причины и должна быть причина, почему существует это, а не другое». Лейбниц пришел к выводу, что существующий мир находится в предустановленной Богом гармонии, является логически непротиворечивым и наилучшим из возможных миров. При этом он подчеркивает, что сам Бог есть нечто такое, пониманию чего способствует принцип достаточного основания. «Всякая истинная мысль должна быть достаточно обоснованной». Это значит, что любое положение, прежде чем стать научной истиной, должно быть подтверждено аргументами, достаточными для признания его твердо и неопровержимо доказанным. Формализованный язык может служить основой для разработки информационного языка, которым пользуются в вычислительных машинах.
Понятие как форма мышления. Содержание и объем.
Понятие – это форма мышления, отражающая предметы в их существенных признаках. Понятие как форма мышления отражает предметы и их совокупности в абстрактной, обобщенной форме на основе существования их признаков.
Понятие – одна из основных форм научного познания. Формируя понятия, наука отражает в них изучаемые ею предметы, явления, процессы. Содержанием понятия называется совокупность существенных признаков предмета, которая мыслится в данном понятии. Множество предметов, которое мыслится в данном понятии называется объемом понятия. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки.
Логика также оперирует понятиями «класс»(множество), «подкласс»(подмножество), «элемент класса». Класс студентов включает в себя подкласс студентов юридических вузов, класс преступлений- подкласс экономических преступлений. Класс, стоящий из всех элементов исследуемой области, называется универсальным классом. Если класс состоит из одного элемента, то это единичный класс. Класс, который не содержит ни одного элемента, называется нулевым(пустым) классом.
Содержание и объем понятия тесно связаны друг с другом. Эта связь выражается в законе обратного отношения между объемом и содержанием понятия, который устанавливает, что увеличение содержания понятия ведет к образованию понятия с меньшим объемом, и наоборот.
Виды понятий:
1. единичные и общие
В зависимости от того, мыслится в них один или множество элементов. Общие понятия могут быть регистрирующими и нерегистрирующими. Регистрирующими называются понятия, в которых множество мыслимых в нем элементов поддается учету, регистрируется. Они имеют конечный объем. Общее понятие, относящееся к неопределенному числу элементов, называется нерегистрирующими и имеет бесконечный объем.
2. собирательные и несобирательные.
Понятия, в которых мыслятся признаки некоторой совокупности элементов, составляющие единое целое, называются собирательными. Содержание собирательного понятия относится ко всей совокупности элементов, а не к каждому отдельному предмету. Понятие, в котором мыслятся признаки, относящиеся к каждому из его элементов, называется несобирательным. В процессе рассуждения общие понятия могут употребляться в разделительном и собирательном смысле. Если высказывание относится к каждому элементы класса, то такое употребление понятия будет разделительным; если же высказывание относится ко всем элементам, то такое употребление называется собирательным.
3.конкретные и абстрактные.
Понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее, называется конкретным понятие, в котором мыслится признак предмета или отношение между предметами, называется абстрактным. Различие между конкретными и абстрактными понятиями основано на различии между предметом, который мыслится как целое. Абстрактные понятия образуются в результате отвлечения, абстрагирования определенного признака предмета; эти признаки мыслятся как самостоятельные объекты мысли. Не следует смешивать конкретные понятия с единичными, а абстрактные с общими. Общие понятия могут быть и конкретными, и абстрактными.
4. положительные и отрицательные
Понятия, содержание которых составляют свойства, присуще предмету, называются положительными. Понятия, в содержании которых указывается на отсутствие у предмета определенных свойств, называются отрицательными.
5.безотносительные и относительные
Понятия, отражающие предметы, существующие раздельно и мыслящиеся вне их отношения к другим предметам, называются безотносительными. Таковы понятия «студент», «государство» и другие. Соотносительные понятия содержат признаки, указывающие на отношение одного понятия к другому.
6. с пустым и непустым объемом
Логическая характеристика понятий помогает уточнить их содержание и объем, вырабатывает навыки более точного употребления понятий в процессе рассуждения.
