Категорические и модальные суждения

Размещено на http://www.allbest.ru/

Содержание

Введение

1. Категорические суждения

2. Модальные суждения

Заключение

Список использованной литературы

Введение

Форма мысли, представляющая собой логическую связь двух и более понятий, могущая быть истинной или ложной, называется суждением. Между понятиями, как известно, устанавливаются отношения тождества, подчинения, частичного совпадения (пересечения, перекрещивания, сходства), которые выразимы утвердительной логической связкой "есть"; отношения же противоречия, противоположности и соподчинения выразимы логической связкой "не есть". Эти отношения, корректно выраженные в соответствующей языковой форме, в грамматических предложениях, и будут выражать суждения разного вида.

Всякое суждение выразимо предложением, но не всякое предложение может выражать суждение. Не выражают суждений, т.е. не отражают ни истины, ни лжи, и не устанавливают логических отношений между несколькими понятиями, вопросительные, побудительные, назывные и безличные предложения. Хотя они и являются формами мысли, но суждениями признаны быть не могут. Суждения при адекватном отражении предмета мысли и его свойства, или признака - истинны, при неадекватном отражении - ложны.

Логика, отвлекаясь от конкретного содержания понятий, тем самым, не занимается обстоятельно и содержанием суждений, но общую качественную особенность содержания суждения она отмечает: суждения по содержанию могут быть либо истинными, либо ложными. Как форма мысли суждение - идеальное отражение чего бы то ни было, и как идеальное - оно нуждается в материальном (языковом, знаковом и пр.) выражении.

1. Категорические суждения

Категорическое суждение (суждение действительности) можно определить как такое, в котором что-то утверждается или отрицается относительно предмета мысли. Другими словами -- это такое простое суждение, в котором между субъектом и предикатом устанавливается категорическая (утвердительная или отрицательная) связь, т.е. отношение тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения: "Жучка есть собака», «Студент не есть профессор» и т.п.

Как и любое суждение, простое категорическое суждение может быть истинным («и») или ложным («л»). В языке это суждение выражается повествовательным предложением, при этом тесная связь и взаимозависимость суждения и предложения не является основанием для их отождествления.

Структура простого категорического суждения обычно представляется трехэлементной, т.е. такое суждение состоит из субъекта, предиката и связки, что удобно представить в виде формулы: S--P. Но здесь непроизвольно опускается тот элемент, который связан с количественной характеристикой субъекта суждения, т.е. квантор. C учетом его приходится говорить о четырех элементах простого категорического суждения. Символическое изображение такого суждения уже приводилось. Логическая связь (утверждение или отрицание), т.е. связка между субъектом и предикатом простого категорического суждения выступает основным структурным законом, необходимой связью элементов, формирующих целостность данной форму мысли.

Простые категорические суждения по количественному и качественному признакам подразделяются на виды. По количественному (объемному) показателю, выражаемому квантором, простые категорические суждения делятся на единичные, частные и общие.

Единичное суждение отражает единственный предмет мысли, т.е. субъект этого суждения -- единичное понятие: «Крупнейший город Северо-Запада нашей страны расположен в устье Невы».

Общее суждение -- суждение о всей без исключения предметной области, на которую направлено внимание, которая является предметом мысли. Это суждение с квантором "все" (ни один, каждый, всякий, без исключения и пр.) перед субъектом: «Все S есть Р», «Ни одно насекомое не есть млекопитающее», «Каждый школьник имеет дневник».

Интерпретация языковых выражений, уточнение объема суждений зачастую представляют собой известную трудность. Так, для человека не знакомого с предметной областью, даже такое простое суждение как "Студенты нашей группы хорошие спортсмены" будет неопределенным в количественном отношении: все или только некоторые студенты группы являются спортсменами. Логика не может сама разрешать такие проблемные ситуации, поэтому столь важно знания специалистов в конкретных предметных областях, потому что только они могут адекватно действительности уточнить некоторые объемные и, тем более, содержательные характеристики суждений.

По качественному признаку, т.е. по характеру связки, простые категорические суждения делятся на утвердительные и отрицательные. Утвердительная связка в русском языке нередко пропускается.

По объединенному качественно-количественному признаку все простые категорические суждения делятся на шесть видов: общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные, единичноутвердительные и единичноотрицательные. Обычно, в логике все свойства общих суждений переносятся на единичные, ведь субъект единичных суждений, как и субъект общих, полностью исчерпывает свою предметную область, поэтому единичные суждения в особый вид не выделяются.

Оставшиеся четыре вида простых категорических суждений имеют в логике специальные, удобные для формульной записи, буквенные обозначения: А -- общеутвердительное, Е -- общеотрицательное, I -- частноутвердительное, О -- частноотрнцательное.

Формальнологический анализ этих суждений позволяет выявить некоторые структурные закономерности их, не зависящие от содержания суждений. Исходя из структуры общих (как утвердительного, так и отрицательного) суждений («Все S есть Р», «Все S не есть Р», или, что одно и то же, «Ни одно S не есть Р»), можно, не зная содержания, сказать, что их субъекты взяты в полном своем объеме (для отрицательного случая - в полном объеме исключаются из рассмотрения). В логике, понятие, взятое в полном своем объеме или в полном объеме исключающееся из рассмотрения, называется распределенным. Таким образом, общее закономерного характера положение для этих суждений формулируется так: субъекты общих суждений всегда распределены. Ясно, что субъекты частных суждений будут всегда нераспределены, ибо речь в них идет лишь о «некоторых S».

Что касается предикатов отрицательных суждений, то, раз они в полном объеме исключаются из рассмотрения - «не есть Р», «не суть Р», значит они всегда распределены. Предикаты же утвердительных суждений свою объемную характеристику проявляют нечетко. Учитывая своеобразие утвердительной связки, могущей выражать как тождество (когда S равно Р), так и подчинение, частичное совпадение (когда S есть только часть Р и когда Р есть только часть S), -- приходится заключить: предикаты утвердительных суждений, как правило, нераспределены (взяты только в части своего объема). В тех же особых случаях, когда предикат подчиняется субъекту, т.е. объем его полностью входит в объем субъекта, или когда они тождественны по объему, тогда предикат утвердительных суждений может быть распределенным. Например. «Все квадраты -- это ромбы с прямыми углами» или «Некоторые учащиеся -- студенты».

2. Модальные суждения

В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также составленные из простых сложные суждения. В них утверждается или отрицается наличие определенных связей между предметом и его свойствами или констатируется отношение между двумя или большим числом предметов. Например: “Школьники - учащиеся”;

“В прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы, т. е. а2 + b2 = с2; “Объем конуса равен 1/3 площади основания, умноженной на высоту”; “Яблоко сладкое и красное”; “Я эту работу не выполню в срок”; “Если будет плохая погода, то мы не поедем на теплоходе” и др. Общая форма таких простых высказываний (суждений): “S есть (не есть) Р”. Из простых суждений образуются сложные, например: “Если S есть (не есть) Р, то S1,есть (не есть) Р1”.

В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом. Помимо ассерторических существуют модальные суждения, в которых уточняется или квалифицируется характер связи между S и Р или характер связи между отдельными простыми суждениями в сложном суждении. Из вышеприведенных суждений можно образовать такие, например, модальные суждения: “Обязательно, что все школьники - учащиеся”; “Доказано, что в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы”;

“Хорошо, что яблоко сладкое и красное”; “Возможно, что я эту работу не выполню в срок”; “Вероятно, что если будет плохая погода, то мы не поедем на теплоходе”. Мы видим, что мо­дальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой-то точки зрения.

О предмете А можно просто сказать, что он имеет свойство В (это ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой или, наоборот, случайной, хорошо ли, что А есть В или это плохо, доказано, что А есть В или не доказано, а только есть предположение, и т. д. В результате таких уточнений мы получаем модальное суждение различных типов. Приведем еще примеры модальных суждений: “Возможно, на Марсе есть жизнь”; “Доказано, что в современных условиях невозможна ограниченная ядерная война”. В модальном суждении к ассерторическому суждению приписывается тот или иной модальный оператор (модальное понятие): возможно, доказано, необходимо, запрещено, обязательно, плохо и др. Стру­ктура простых модальных суждений такая:

М (S есть Р) или М (S не есть Р),

где М обозначает модальный оператор (модальное понятие).

Но как было уже сказано, модальными могут быть и сложные суждения. Если а и b - простые суждения, то из сложных ассерторических суждений:

а ^ b, а b, а ? b, а b, а bможно получить соответствующие сложные модальные суждения:

М(а ^ b); М{а U b); M(a ?b}; М(а ± b); М{а b).

В каждом из этих пяти типов сложных модальных суждений модальный оператор М может быть заменен его разновидностями. Например, из сложного ассерторического суждения “Если в почву внести удобрения, то урожай повысится” можно получить такие модальные суждения: “Доказано, что если в почву внести удобрения, то урожай повысится”, “Хорошо, если в почву внести удобрения, тогда урожай повысится” и др.

Проиллюстрировав многочисленными примерами, что представляет собой модальное суждение, можно дать определение понятиям “модальное простое суждение” и “модальное сложное суждение”.

Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий).

Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий).

Модальные высказывания изучаются в модальной логике, в которой имеются отдельные разделы (или ветви): логика норм, логика времени, деонтическая логика, логика действия, логика принятия решений и другие виды логик.

В модальной логике модальность суждений выражается различными модальными операторами (категориями модальности):

“доказуемо”, “опровержимо”, “запрещено”, “необходимо”, “невозможно” и т. п. В настоящее время современной модальной логикой изучены многие виды модальностей, и те из них, которые сравнительно хорошо изучены, систематизированы в следующей таблице, предложенной А. А. Ивиным'. В каждую из групп модальностей входят три основных модальных понятия. Второе из них называется слабой характеристикой, первое и третье - сильной положительной и сильной отрицательной характеристиками соответственно. Иногда в дополнение к трем основным модальным понятиям вводится четвертое, которое может употребляться вместо них для обозначения объединения сильного положительного и нейтрального.

Далее обнаруживается аналогия в структуре ассерторических и модальных суждении: во-первых, и те, и другие делятся на простые и сложные суждения; во-вторых, простые суждения делятся на утвердительные и отрицательные, а каждое из них, в свою очередь, делится на общие суждения и частные суждения, в результате чего возникли четыре вида простых ассерторических и четыре вида простых модальных суждений; в-третьих, аналогична структура сложных ассерторических и сложных модальных суждений: каждая группа включает конъюнктивные, дизъюнктивные, условные и эквивалентные суждения (либо ассерторические, либо модальные). Среди ассерторических суж­дений не выделены только выделяющие и исключающие суждения, так как они не очень вписываются в эту схему, являясь разновидностями общих или частных суждений.

Заключение

Категорическое суждение (суждение действительности) можно определить как такое, в котором что-то утверждается или отрицается относительно предмета мысли. Другими словами -- это такое простое суждение, в котором между субъектом и предикатом устанавливается категорическая (утвердительная или отрицательная) связь, т.е. отношение тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения: "Жучка есть собака», «Студент не есть профессор» и т.п.

Как и любое суждение, простое категорическое суждение может быть истинным («и») или ложным («л»). В языке это суждение выражается повествовательным предложением, при этом тесная связь и взаимозависимость суждения и предложения не является основанием для их отождествления.

Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий).

Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий).

Модальные высказывания изучаются в модальной логике, в которой имеются отдельные разделы (или ветви): логика норм, логика времени, деонтическая логика, логика действия, логика принятия решений и другие виды логик.

суждение категорический модальный предикат

Список использованной литературы

1. Берков В. Ф. Логика : учебник для вузов / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич, общ. ред. В. Ф. Берков. - 4-е изд., испр. и доп. - Минск : ТетраСистемс, 2000. - 412 с.

2. Гетманова А. Д. Логика : учебник для вузов / А. Д. Гетманова. - М. : Омега-Л ; Высш. шк., 2002. - 415 с.

3. Демидов И. В. Логика : учебное пособие для юридических вузов / И. В. Демидов, ред. Б. И. Каверин. - 2-е изд., испр. и доп. - М. : Юриспруденция, 2002. - 271 с.

4. Иванов Е. А. Логика : учебник для юридических вузов и факультетов / Е. А. Иванов. - 2-е изд., перераб. и доп. - М. : БЕК, 2001. - 358 с.

5. Рузавин Г. И. Логика : практический курс / Г. И. Рузавин. - М. : ЮНИТИ, 2002. - 256 с.

6. Солодухин О. А. Логика : экзаменационные ответы / О. А. Солодухин. - Ростов н/Д : Феникс, 2002. - 351 с.

7. Федосеев П. С. Логика : учебное пособие / П. С. Федосеев, науч. ред. Н. С. Толстов, Чебоксар. кооп. ин-т. - Чебоксары : Новое время, 2006. - 163 с.

Размещено на Allbest.ru