Автор работы: Пользователь скрыл имя, 20 Ноября 2012 в 16:37, контрольная работа
Простыми суждениями называются такие, которые содержат в себе лишь один субъект и один предикат, то есть одно утверждение или одно отрицание.
Различают несколько типов простых суждений.
Простые суждения: понятие и виды.
Простыми суждениями называются такие, которые содержат в себе лишь один субъект и один предикат, то есть одно утверждение или одно отрицание.
Различают несколько типов простых суждений. По характеру признаков, которые утверждаются или отрицаются относительно субъектов (предметов) суждений, суждения подразделяются на:
а) атрибутивные, или сужения о свойствах. Это суждения, в которых утверждается или отрицается наличие признаков-свойств (атрибутов) у субъекта. Признаки-свойства характеризуют предметы, взятые сами по себе, вне связи с другими предметами. Это такие признаки, как цвет, форма, вес, плотность и т.д.
б) релятивные, или суждения об отношениях. Это суждения, в которых утверждается или отрицается наличие у каких-либо предметов (не менее двух) признаков-отношений. Такие признаки характеризуют предметы с точки зрения их отношений, связей, взаимодействий с другими предметами: "выше", "ниже", "родственник", и т.д. и т.п.
в) экзистенциальные суждения, или суждения существования. Это суждения, в которых утверждается или отрицается существование или несуществование предметов, явлений и т. д. например, "Существуют демократические государства", "Не существует идеальной демократии" и т.п. В суждениях существования не идет речь о признаках предметов как таковых (свойствах или отношениях), в них утверждается или отрицается само наличие предметов или их признаков. Эти суждения составляют основу всех наших рассуждений, так как прежде чем выяснять признаки-свойства или признаки-отношения, следует установить само существование этих предметов или соответствующих признаков.
Если перейти к более
формальному анализу видов
Квантором называется количественная (объемная) характеристика субъекта по отношению к предикату данного суждения.
Атрибутивные суждения, у
которых точно установлена
а) простые категорические утвердительные суждения и
б) простые категорические отрицательные суждения
В зависимости от типа квантора, то сеть количественной характеристики субъекта по отношению к предикату различают:
а) простые категорические общие суждения, в которых речь идет обо всех предметах, мыслимых в субъекте по отношению к признаку, представленному предикатом ("Все цветы прекрасны");
б) простые категорические частные суждения, в которых речь идет только о части предметов некоторого класса, как обладающих или не обладающих некоторым признаком ("Некоторые преступники очень умны").
в) простые категорические единичные суждения, в которых речь идет об отдельно взятых, индивидуальных предметах ("Наполеон - великий полководец").
Если теперь объединить оба данных подразделения, как говорят, "по качеству" (по связке, положительной или отрицательной) и "по количеству" (по квантору, по тому, общий, частный или индивидуальный случай имеет место), то мы получаем следующие разновидности простых категорических суждений:
- общеутвердительные суждения,
- общеотрицательные суждения,
- частноутвердительные суждения,
- частноотрицательные суждения,
- единичные утвердительные суждения и
- единичные отрицательные суждения.
Отношения между субъектами и предикатами в этих суждениях можно выразить с помощью круговых схем, кругов Эйлера, изображающих объемы соответствующих общих понятий. Объем единичного понятия будем изображать точкой (класс, состоящий из одного элемента).
Общий анализ простых категорических
суждений сводят обычно только к первым
четырем разновидностям, так как
формально единичные суждения ведут
себя как соответствующие общие
суждения: единичные утвердительные
как общеутвердительные, единичные
отрицательные как
В традиционной логике принято обозначать категории общеутвердительных, общеотрицательных, частноутвердительных и частноотрицательных суждений гласными латинскими буквами А, Е, I, E - соответственно (от латинских "afirmo" - утверждаю, и "nego" - отрицаю).
Сложные суждения: понятие и виды.
Сложные суждения образуются из простых путем того или иного их соединения ,а также, путем соединения простых со сложными и сложных между собой.
Подобно простым, сложные суждения
могут быть истинными и ложными.
Но если истинность или ложность простого
суждения непосредственно определяется
его соответствием или
Сложные суждения отличаются от простых также по своим функциям и структуре. Их функции носят более сложный характер, так как в них раскрывается не одна, а одновременно несколько - две или более - связей между предметами мысли. Их структура тоже характеризуется большей сложностью, обретая новое качество. Основными структурообразующими элементами здесь выступают уже не понятия-термины (субъект и предикат), а самостоятельные суждения (причем их внутренняя субъектно-предикатная структура уже не учитывается). И связь между ними осуществляется не с помощью связки "есть" ("не есть"), а в качественно иной форме - посредством логических союзов (они называются также логическими связками). Это такие союзы, как "и", "или", "либо", "если... то" и др. Они близки по смыслу к соответствующим грамматическим союзам, но, как будет показано ниже, полностью с ними не совпадают. Главное их отличие сводится к тому, что они однозначны, тогда как грамматические союзы могут иметь множество смыслов и оттенков.
Каждый из логических союзов является бинарным, т.е. соединяет между собой только два суждения независимо от того, простые они или сами, в свою очередь, сложные, имеющие внутри себя собственные союзы.
Если в простых суждениях
переменными были субъект и предикат
(S и Р), а постоянными - логические
связки "есть" и "не есть", то
в сложных суждениях
В русском языке сложные суждения имеют весьма многообразные формы выражения. Они могут выражаться, прежде всего сложносочиненными предложениями. Например: "Ни один виновный не должен уйти от ответственности, и ни один невиновный не должен пострадать". Они могут быть выражены также сложноподчиненными предложениями. Таково, например, высказывание Цицерона: "Ведь если бы даже ознакомление с правом представляло огромную трудность, то и тогда сознание его великой пользы должно было бы побуждать людей к преодолению этой трудности". Наконец, они могут облекаться и в особую форму простых распространенных предложений. Этого нетрудно добиться, например, в результате своеобразного "свертывания" сложных предложений. Так, сложносочиненное предложение "Аристотель был великим логиком, и Гегель тоже был великим логиком" можно превратить в простое распространенное: "Аристотель и Гегель были великими логиками". Благодаря такому "свертыванию" достигается большая лаконичность речи, а следовательно, ее экономность и динамичность.
Таким образом, не всякое сложное суждение выражается непременно сложным предложением, но всякое сложное предложение выражает сложное суждение.
Сложным называют суждение, включающее в качестве составных частей другие суждения, связанные логическими связками - конъюнкцией, дизъюнкцией или импликацией. В соответствии с функциями логических связок основными видами сложных суждений являются: соединительные, разделительные, условные и эквивалентные суждения.
Соединительным (конъюнктивным) суждением
называют суждение, включающее в качестве
составных частей другие суждения-конъюнкты,
объединяемые связкой "и". Например:
"Кража и мошенничество
В естественном языке соединительные суждения могут быть выражены одним из трех способов.
1. Соединительная связка
2. Соединительная связка
3. Соединительная связка
Конъюнктивная связка грамматически выражается не только союзом "и", но и словами "а", "но", "также", "как", "так и", "хотя", "однако", "несмотря на", "вместе с тем" и др.
Возможны четыре способа сочетания двух исходных суждений "А" и "В" в зависимости от их истинности ("и") и ложности ("л"). Конъюнкция таких суждений истинна в одном случае: если истинно каждое из них в отдельности. В остальных случаях она ложна. Вот таблица (матрица) конъюнкции:
В принципе логический союз "и", в отличие от грамматического, может объединять даже такие суждения, которые по смыслу очень далеки друг от друга. Классический пример: "2 ? 2 = 4, и снег бел". Правда, и здесь можно найти что-то общее, например: "Это верно, что 2 ? 2 = 4 и что снег бел".
Разделительным (дизъюнктивным) называют суждение, включающее в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или". Например, "Договор купли-продажи может быть заключен в устной или письменной форме". Если одно из суждений - "Договор купли-продажи может быть заключен в письменной форме" обозначить р, другое суждение - "Договор купли-продажи может быть заключен в устной форме" - q, а дизъюнкцию - символом ?, то в целом разделительное суждение символически можно выразить как р ? q.Бывает две их разновидности: слабая и сильная (или нестрогая и строгая).
Слабая (нестрогая) дизъюнкция образуется логическим союзом "или". Она характеризуется тем, что объединяемые им суждения не исключают друг друга. Языковые средства выражения слабой дизъюнкции - грамматические союзы "или", "либо" и другие.
Например, как сказано в древнем поучении "Мудрая книга, оставленная человеком после его смерти, более полезна, чем дворец или часовня на кладбище".
Слабая дизъюнкция истинна в тех случаях, когда истинно, по крайней мере, одно из составляющих ее суждений, и ложна, когда оба суждения ложны.
Как и в конъюнкции, логический союз "или" обладает свойствами коммутативности. Дизъюнкция может состоять из трех и более исходных суждений - по формуле p?q?r….
Примером может служить
Дизъюнктивное суждение может не исчерпывать всех возможных случаев. Тогда в русском языке ставятся выражения типа: "и так далее", "и тому подобное", "и прочее"... Они применимы даже в юридических текстах, к которым предъявляются особо строгие требования, если нет возможности перечислить все варианты чего-либо.
Сильная (строгая) дизъюнкция образуется логическим союзом "либо... либо" (символ ?). Она отличается от слабой тем, что её составляющие исключают друг друга. Общая формула: p?q. И она выражается, по существу, теми грамматическими средствами, что и слабая: "или", "либо", но уже в ином, разделительно-исключающем значении.