Классификация категорических суждений реферат

Обновлено: 08.07.2024

Категорические суждения делятся 1) по качеству и 2) по количе­ству. А так как любое суждение имеет и количественную и качест­венную характеристику, их принято делить по 3) объединенной классификации.

1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого при­знака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным.

2. Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся наединичные, частные и общие.

Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса.

В отличие от единичных сужденийчастные суждения содержат обобщенные знания. В неопределенном частном суждении эти зна­ния характеризуются незавершенностью.

Знания, содержащиеся вобщих суждениях, характеризуются об­щностью и завершенностью. В общих суждениях выражаются зако­ны науки, законы, устанавливаемые государством, правовые нормы и т.д..

3. Объединенная классификация суждений. Объединяя количест­венную и качественную характеристики, суждения делятся на обще­утвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение — это суждение, общее по коли­честву и утвердительное по качеству. Общеотрицательное суждение — суждение, общее по количе­ству и отрицательное по качеству. Частноутвердительное суждение — суждение, частное по коли­честву и утвердительное по качеству. Частноотрцательное суждение — суждение, частное по количе­ству и отрицательное по качеству.

В логике принято сокращенное обозначение суждений по их объединенной классификации.

Cуждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.

На языке логики предикатов суждения А, Е,I, О записывают следующим образом:

А (Все S суть Р): Vх (S(х) -> Р(х))

читается: для всехх, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): Vх (S(х) -> -1 Р(х))

читается: ни одномух, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуютх, которым присуще свойство S и свой­ство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуютх, которым присуще свойство S и не прису­ще свойство Р.

Выделяющие и исключающие суждения

Особое место в классификации суждений занимают 1) выделяю­щие и 2) исключающие суждения.

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

Частные выделяющие суждения не следует смешивать с опреде­ленными частными суждениями. Если в определенном частном суж­дении уточняется объем субъекта, то в частных выделяющих сужде­ниях уточняется объем предиката.




Значение выделяющих и исключающих суждений состоит в том, что положения, выраженные в форме этих суждений, характери­зуются точностью и определенностью, что исключает их неодно­значное понимание. Именно поэтому ряд научных положений, а также статей международных документов, законов государства вы­ражен в форме выделяющих или исключающих суждений.

В – 15

Распредеденность терминов в суждениях

В логических операциях с суждениями возникает необходимость установить, распределены или не распределены его термины — субъект и предикат.Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.

Рассмотрим, как распределены термины в суждениях А, Е,I, О.

Таким образом, в общеутвердительных суждениях S распреде­лен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.

Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.

Логические отношения между суждениями

Простые суждения

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

Противоположность (контрарность)
Частичная совместимость (субконтрарность)		 Противоречие (контрадикторность)

Среди сравнимых различаютсовместимые и несовместимые суждения.

К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1)эк­вивалентность (полная совместимость), 2)частичная совмести­мость (субконтрарность) и 3)подчинение.

1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъ­екты и предикаты, однотипную — утвердительную или отрицатель­ную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.

2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение имеет место междусуждениями А иI, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истин­ным

При ложности частного суждения общее суждение также будет ложным

Отношение несовместимости.

Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

2. Противоречащими (контрадикторными) являются сужде­ния А и О, Е и I, которые одновременно не могут быть ни истин­ными, ни ложными.

Hесовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому от­дельному предмету может быть либо присущ, либо не присущ оп­ределенный признак.

Категорические (атрибутивные) суждения делятся: 1) по качеству и 2) по количеству. А так как любое суждение имеет количественную и качественную характеристику, их принято делить по 3) объединенной классификации.

2. Деление суждений по количеству. Утверждать или отрицать что- либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие.

Каждый из рассмотренных видов суждений имеет определенную познавательную ценность. В форме единичных суждений выражаются знания об отдельных явлениях, событиях, лицах. Такие знания играют важную роль, например, в исторических науках при описании исторических личностей и событий, а также в судебно-следственной практике, опирающейся на суждения об отдельных фактах, лицах и т. п.

Частные суждения содержат обобщенные знания. В неопределенном частном суждении эти знания характеризуются незавершенностью: известно, что некоторый признак принадлежит (или не принадлежит), по крайней мере, некоторой части элементов класса. Завершенные знания выражаются в форме определенных частных суждений, имеющих по сравнению с неопределенными частными суждениями б?льшую познавательную ценность.

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

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

3. Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делят на 1) общеутвердительные, 2) общеотрицательные, 3) частноутвердительные, 4) частноотрицательные.

Единичные суждения (утвердительные и отрицательные) по этой классификации в особую группу не выделяются. По своей характеристике они приравниваются к соответствующим общим.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S есть Р): ? х (S(x) ? Р(х)) —

для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): ? х (S(x) ? ?Р(х)) —

ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S есть Р): ? х (S(x) ? Р(х)) —

существуют х, которым присуще свойство S и свойство Р.

О (Некоторые S не есть Р): ? х (S(x) ? ?Р(х)) —

существуют х, которым присуще свойство S и не присуще свойство Р.

Вопросы для самопроверки

1. На какие виды делятся суждения по качеству и количеству?

2. Чем отличаются неопределенно частные суждения от определенно частных?

3. На какие виды делятся суждения по объединенной классификации? Приведите их схемы и символы.

Данный текст является ознакомительным фрагментом.

Продолжение на ЛитРес

3.1. Классификация наук

3.1. Классификация наук Классификация (от лат. сlassis – разряд, класс и facio – делаю) – это система соподчиненных понятий (классов, объектов) в какой-либо области знания или деятельности. Научная классификация фиксирует закономерные связи между классами объектов с целью

3.2. Классификация систем

3.2. Классификация систем В настоящем разделе разработана классификация систем, принятая в теоретической и прикладной системной технологии.* Концептуальные и физические системы. По признаку принадлежности к стадиям жизненного цикла можно различать концептуальные и

§ 3. ДЕЛЕНИЕ. КЛАССИФИКАЦИЯ

§ 3. ДЕЛЕНИЕ. КЛАССИФИКАЦИЯ Сущность деленияПри изучении какого-либо понятия нередко встает задача раскрыть его объем, т. е. распределить предметы, которые мыслятся в понятии, на отдельные группы. Так, чтобы лучше понять, что такое сделка (действие гражданина или

Глава II. Классификация суждений

Глава II. Классификация суждений Обладая определенной структурой, суждения различаются в первую очередь по степени сложности. В зависимости от этого все их бесконечное многообразие можно разделить на две обширные группы (два типа) — простые и сложные.Простые суждения

§ 5. Деление и классификация

§ 5. Деление и классификация Согласно традиционному подходу, определение состоит из разложения данного вида на род и видовое отличие. Однако сам род также может быть разделен на разные виды. Так, плоская фигура как род может быть разделена не только на виды треугольника,

22. Классификация деления

22. Классификация деления Одним из особых видов деления является классификация. Это планомерное, последовательное деление понятий с распределением видов во взаимообусловленную систему, в рамках которой последние делятся на подвиды, подвиды также разбиваются на члены

Классификация религий

Классификация религий Рассмотрев индивидуальный облик главных мировых религиозноэтических систем, ученый попытался классифицировать их, исходя из разницы в отношении к миру. Так, согласно Веберу, для конфуцианства характерно принятие мира, для буддизма, напротив, —

4. Классификация

4. Классификация Одним из особых видов деления является классификация. Это планомерное, последовательное деление понятий с распределением видов во взаимообусловленную систему, в рамках которой последние делятся на подвиды, подвиды также разбиваются на члены деления и

§3. Хронология и классификация

§3. Хронология и классификация 1. Хаотическое состояние источников После того как мы пытались определить общую природу гностицизма, естественным является желание установить как хронологию гностицизма, просуществовавшего почти двести лет, так и классификацию

Классификация кодов

Классификация кодов В сфере языкового восприятия действуют определенные психофизиологические закономерности, отчасти подобные тем, которые (наряду с другими) открыты также в физиологической оптике. Соответствующие механизмы компенсируют изменения размеров

Классификация религий.

Классификация религий. Рассмотрев индивидуальный облик главных мировых религиозно-этических систем, ученый попытался классифицировать их, исходя из разницы в отношении к миру. Так, согласно Веберу, для конфуцианства характерно принятие мира, для буддизма, напротив, —

Глава 23. Классификация

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

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

1. Виды простых ассерторических суждений

Это суждения, в которых один субъект и один предикат. Про­стые суждения бывают трех видов 1 :

1. Суждения свойства (атрибутивные).

В них утверждается или отрицается принадлежность пред­мету известных свойств, состояний, видов деятельности. При­меры: “Мед сладкий”, “Шопен не является драматургом”. Схе­мы этого вида суждения: “S есть Р ” или “S не есть Р”.

2. Суждения с отношениями.

В них говорится об отношениях между предметами. Напри­мер: “Всякий протон тяжелее электрона”, “Французский писатель Виктор Гюго родился позднее французского писателя Стендаля”, “Отцы старше своих детей” и др. Формула, выражающая суждение с двуместным отношени­ем, записывается как aRb или R (a,b), где а и b - имена предме­тов, а R - имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не только о двух, но и о трех, четырех или большем числе предметов, например: “Моск­ва находится между Санкт-Петербургом и Киевом”. Такие суж­дения выражаются формулой R (a1, a2, a3, …, an)

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

2. Отношения между простыми суждениями. Логический квадрат

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

Сравнимыми являются суждения с одинаковыми субъектами и предикатами.

Для иллюстрации отношений между простыми суждениями используется логический квадрат 2 :

Рисунок 1. Логический квадрат

Среди сравнимых различают совместимые суждения, которые могут быть одновременно истинными, и несовместимые суждения, которые одновременно истинными быть не могут.

Совместимость бывает трех видов 3 : полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность).

Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).

I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.

II. Отношением противоречия связаны суждения Е и I, А и О.

Два противоречивых суждения (согласно законам логики) не могут быть одновременно ни истинными, ни ложными Если А - истинно, то О – ложно

Если А - ложно, то О – истинно

Если О - истинно, то А – ложно

Если О - ложно, то А – истинно

Если Е - истинно, то I – ложно

Если Е - ложно, то I – истинно

Если I -истинно, то E – ложно

Если I - ложно, то E – истинно

III. Отношением контрарности (противоположности) связаны только общие суждение А и Е. Закон исключения третьего к таким суждениям не применим. А и Е могут оказаться одновременно ложными, но не могут быть одновременно истинными (пример: оба суждения "Все любят логику" и "никто не любит логику" - ложны).

IV. Отношение субконтрарности существует между частными суждениями I и О. I и О могут быть одновременно истинными, но не могут быть одновременно ложными (пример: оба суждения "Некоторые люди любят логику" и "некоторые люди не любят логику" - истинны).

3. Категорические суждения и их виды (деление по количеству и качеству)

В традиционной логике все три указанных вида суждений пред­ставляют собой простые категорические суждения. По качест­ву связки (“есть” или “не есть”) категорические суждения де­лятся на утвердительные и отрицательные. Суждения “Не­которые учителя являются талантливыми воспитателями” и “Все ежи колючие” утвердительные. Суждения “Некоторые книги не являются букинистическими” и “Ни один кролик не является хищным животным” отрицательные. Связка “есть” в утвердительном суждении отражает присущность предмету (предметам) некоторых свойств. Связка “не есть” отражает то, что предмету (предметам) не присуще некоторое свойство 4 .

Некоторые логики считали, что в отрицательных суждениях нет отражения действительности. На самом деле отсутствие определенных признаков также представляет собой действитель­ный признак, имеющий объективную значимость. В отрицатель­ном истинном суждении наша мысль разъединяет (разделяет) то, что находится разделенным в объективном мире.

В познании утвердительное суждение имеет в общем случае большее значение, чем отрицательное, ибо важнее раскрыть, ка­ким признаком обладает предмет, чем то, каким он не обладает, так как любой предмет не обладает очень многими свойствами (например, дельфин не рыба, не насекомое, не растение, не пресмыкающееся и т. д.).

В зависимости от того, обо всем ли классе предметов, о ча­сти этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные. Например:

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

Структура общего суждения: “Все S суть (не суть) P ”. Еди­ничные суждения будут трактоваться как общие, так как их субъ­ектом является одноэлементный класс.

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

Среди общих суждений имеются исключающие суждения, на­пример: “Все металлы при температуре 20°С, за исключением ртути, твердые”. К числу исключающих суждений относятся и те, в которых выражены исключения из тех или иных правил рус­ского или иных языков, правил логики, математики, других наук 5 .

Частные суждения имеют структуру: “Некоторые S суть (не суть) Р”. Они делятся на неопределенные и определен­ные.

Например, “Некоторые ягоды ядовиты” - неопределенное частное суждение. Мы не установили, обладают ли признаком ядовитости все ягоды, но не установили и то, что признаком ядо­витости не обладают некоторые ягоды. Если мы установили, что “только некоторые S обладают признаком Р”, то это будет определенное частное суждение, структура которого: “Только некоторые S суть (не суть) Р”.

Примеры: “Только некоторые ягоды ядовиты”; “Только некоторые фигуры являются сфери­ческими”; “Только некоторые тела легче воды”. В определен­ных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.

В единичном суждении субъектом является единичное поня­тие. Единичные суждения имеют структуру: “Это S есть (не есть) Р”. Примеры единичных суждений: “Озеро Виктория не находится в США”; “Аристотель - воспитатель Александра Ма­кедонского”; “Эрмитаж - один из крупнейших в мире художест­венных и культурно-исторических музеев” 6 .

3. Объединенная классификация простых категорических суждений по количеству и качеству

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

1. А - общеутвердительное суждение. Структура его: “Все Sсуть Р ”. Например: “Все люди хотят счастья”.

2.I- частноутвердительное суждение. Структура его: “Неко­торые S есть P ). Например, “Некоторые уроки стимулируют творческую активность учащихся”. Условные обозначения для утвердительных суждений взяты от слова affirmo , или утвер­ждаю; при этом берутся две первые гласные буквы: А - для обозначения общеутвердительного и I - для обозначения частноутвердительного суждения.

3. Е - общеотрицательное суждение. Его структура: “Ни одно S не есть Р ”. Пример: “Ни один океан не является пресновод­ным”.

4. О - частноотрицательное суждение. Структура его: “Неко­торые S не есть Р ”. Например, “Некоторые спортсмены не явля­ются чемпионами Олимпийских игр”. Условное обозначение для отрицательных суждений взяты от слова nego , или отрицаю.

4. Распределенность терминов в категорических суждениях

Так как простое категорическое суждение состоит из терми­нов S и Р, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и Р в простых суждениях может быть изображено при помощи круговых схем Эйлера, отражающих отношения между понятиями. В суждени­ях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным” если его объ­ем полностью включается в объем другого термина или полно­стью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи) 8 .

Суждение А - общеутвердительное. Его структура: “Все S суть Р”. Рассмотрим два случая.

1. В суждении “Все караси - рыбы” субъектом является по­нятие “карась”, а предикатом -понятие “рыба”. Квантор общно­сти - “все”. Субъект распределен, так как речь идет о всех кара­сях, т.е. его объем полностью включен в объем предиката. Пре­дикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями; речь идет лишь о той части объ­ема предиката, которая совпадает с объемом субъекта.

Распределенность терминов в суждениях можно иллюстриро­вать с помощью круговых схем Эйлера. На рис. 2 изображено соотношение S и Р в суждении А. Заштрихованная часть круга на рисунках 10-15 характеризует распределенность (или нераспределенность) терминов.

Рисунок 2. Соотношение S и Р в суждении А. Если объем Р больше (шире) объема S , то Р - не распределен.

2. В суждении “Все квадраты - равносторонние прямоуголь­ники” термины такие: S - “квадрат”, Р - “равносторонний пря­моугольник” и квантор общности - “все”. В этом суждении S распределен и Р распределен, ибо их объемы полностью совпа­дают (рис. 3).

Рисунок 3. S распределен и Р распределен, их объемы полностью совпа­дают. Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях 1.

Суждение I - частноутвердителъное. Его структура: “Не­которые S суть Р”. Рассмотрим два случая.

1. В суждении “Некоторые подростки - филателисты” тер­мины такие: S - “подросток”, Р - “филателист”, квантор существования - “некоторые”. Соотношение S и Р изображено на рис. 4.

Рисунок 4. Если понятия S и Р перекрещиваются, то Р не распределен.

Субъект не распределен, так как в нем мыслится только часть подростков, т. е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распреде­лен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками) 9 .

2. В суждении “Некоторые писатели - драматурги” термины такие: S - “писатель”, Р - “драматург” и квантор существования -“некоторые”. Субъект не распределен, так как в нем мыслится толь­ко часть писателей, т. е. объем субъекта лишь частично включает­ся в объем предиката. Предикат распределен, ибо объем предика­та полностью входит в объем субъекта (рис. 5). Таким образом,

Рисунок 5. Р распределен, если объем Р меньше объема S , что бывает в част­ных выделяющих суждениях.

Суждение Е - общеотрицательное. Его структура: “Ни одно S не суть Р. Например: “Ни один лев не есть травоядное живот­ное”. В нем термины такие: S - “лев”, Р- “травоядное живот­ное” и кванторное слово - “ни один”. Здесь объем субъекта пол­ностью исключается из объема предиката, и наоборот. Поэтому и S , и Р распределены (рис. 6).

Рисунок 6. Распределение S и Р (а)

Суждение О - частноотрицатеяьное. Его структура: “Неко­торые S не суть Р”. Например: “Некоторые учащиеся не являют­ся спортсменами”. В нем такие термины: S - “учащийся”, Р - “спортсмен” и квантор существования - “некоторые”. Субъект не распределен, так как мыслится лишь часть учащихся, а пре­дикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте (рис. 7).

Рисунок 7. Распределение S и Р (а)

Итак, S распределен в общих суждениях и не распреде­лен в частных; Р всегда распределен в отрицательных су­ждениях, в утвердительных же он распределен тогда, ко­гда по объему Р .

Распределенность терминов в категорических суждениях мож­но выразить в виде схемы 10 , где знаком “+” выражена распределенность термина, а знаком “-” его нераспределенность. В ней же дана объединенная информация о простых суждениях.

Схема 1. Распределенность терминов в категорических суждениях

Без знания правил распределенности терминов в категориче­ских суждениях отпадает один из способов проверки, правильно ли построен категорический силлогизм или сделано непосред­ственное умозаключение.

Заключение

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

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

По качеству они делятся на утвердительные и отрицательные. В утвердительных выражается полное или частичное включение класса предметов в класс предметов или же принадлежность некоторого предмета классу предметов; в отрицательных — невключение класса (части класса) в некоторый класс предметов, непринадлежность предмета классу предметов.

По количеству атрибутивные суждения делятся на единичные, общие и частные. В единичных суждениях выражается принадлежность или непринадлежность предмета классу предметов. В общих — включение или невключение класса предметов в класс.

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

Введенский А.И. Логика как часть теории. М.: Зерцало, 2009.

Гетманова А. Д. Логика. М.: Проспект, 2008.

Горский Д. П., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. М.: Дело, 2008.

Ивин А. А. Логика: Учеб. М.: Гардарики, 2009.

Ивлев Ю. В. Логика. М.: Ракурс, 2007.

Кириллов В. И., Старченко А. А. Логика. М.: Практика, 2008.

Копнин П.В. О логических воззрениях. М.: Ракурс, 2008.

Таванец П.В. Суждение и его виды. М.: Дело, 2008.

Яшин Б. Л. Логика: Учебное пособие для учащихся 10-11 клас­сов. М.: Дрофа, 2007.

1 Гетманова А. Д. Логика. М.: Проспект, 2008. С. 62.

2 Ивин А. А. Логика: Учеб. М.: Гардарики, 2009. С. 37.

4 Кириллов В. И., Старченко А. А. Логика. М.: Практика, 2008. С. 51.

5 Кириллов В. И., Старченко А. А. Логика. М.: Практика, 2008. С. 54.

7 Введенский А.И. Логика как часть теории. М.: Зерцало, 2009. С. 35.

8 Таванец П.В. Суждение и его виды. М.: Дело, 2008. С. 41.

9 Таванец П.В. Суждение и его виды. М.: Дело, 2008. С. 43.

10 Таванец П.В. Суждение и его виды. М.: Дело, 2008. С. 45.

Похожие страницы:

Простое суждение (2)

. простых суждений 1.1 Атрибутивные суждения 1.2. Релятивные суждения 1.3. Экзистенциональные суждения 2. Классификация суждений 3. Практическое задание 4. Список литературы Виды и состав простых суждений Суждение . Классификация суждений Простые суждения, .

Простые суждения, их состав и классификация

. простых суждений Логические операции с суждениями Отрицание простых суждений Преобразование простых суждений Обращения Превращения Противопоставления Схема 3. Логические операции с простыми суждениями .

Суждение как категория логики

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

Суждение как форма мышления (2)

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

Суждение как логико-структурная форма мышления

. наряду с простыми атрибутивными суждениями в логике существуют также простые суждения об отно­шениях (или реляционные) и простые суждения существования .

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.




Введение . 3
Понятие, признаки и характеристика суждения . 4
Простое категорическое суждение. Его структура и виды .. 8
Сложные суждения. Логические связки . 11
Таблицы истинности . 13
Другие виды суждений . 15
Заключение . 17
Список литературы: 18


Введение

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

Данные реферат посвящен такой сложной мысли, как суждение. В нем раскрывается понятие, сущность этого термина с точки зрения науки логики, а также рассматривается структура и классификация суждений.

Понятие, признаки и характеристика суждения

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

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

В языке суждения выражаются посредством повествовательных предложений. Вопросительные предложения не выражают суждений, ибо не содержат в себе ни утверждения, ни отрицания, характерных для суждений. Правда, вопрос опирается на суждение или, как говорят, неявно содержит в себе суждение. И если суждение, лежащее в его основе, истинно, вопрос оценивается как осмысленный, если же оно ложно, вопрос не имеет смысла. Восклицательные предложения, когда они выражают побуждение к действию или эмоциональное состояние, также не являются суждениями.

Итак, только повествовательные предложения выражают суждения. Но и то не все. Когда-то считали, что любое правильно построенное повествовательное предложение выражает суждение. Однако в конце XIX – начале XX в. было обнаружено, что среди правильно построенных предложений могут встречаться бессмысленные предложения, т.е. такие, которые не выражают суждений. К сожалению, несмотря на усилия многих ученых, логика до сих пор не может ясно ответить на вопрос о том, когда некоторое предложение является осмысленным, а когда – бессмысленным. Здесь приходится полагаться на интуицию. Логика вырабатывает все более точные и тонкие критерии осмысленности предложений, но человеческий язык всегда будет выходить за пределы этих критериев.

Следует отметить, что признаки суждения и признаки предложения (знакового комплекса) не совпадают и не тождественны друг другу. Если предложение имеет такие составляющие его элементы как подлежащее, сказуемое, дополнение, обстоятельства места, времени, причины и пр., то в суждении выделяются несколько иные составляющие: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка между ними (логическая связь) и количественный показатель предмета мысли (квантор). Важно, учитывая различные элементы суждения и повествовательного предложения, выработать определенный навык перевода грамматических форм (предложений) в адекватные им логические, что не всегда просто. Грамматически повествовательные предложения значительно сложнее адекватных им логических структур.

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

Суждения действительности — те, которые адекватно или неадекватно, но все равно категорично отражают настоящее.

Поскольку в любом суждении логические связи устанавливают отношения между крайними, составляющими эту структуру, элементами, постольку всякое суждение может считаться суждением отношения. В более строгом, узком значении слова в логике суждениями отношения называют те, в которых устанавливаются отношения причины и следствия, части и целого, пространственные, временные и другие, выразимые в языке словами (операторами): больше, меньше, старше, правее, выше, южнее и т.п. Символически суждения отношения выражаются формулой "в R с ", где символы в (предшествующий член отношения) и с (последующий) соответствуют отдельным понятиям, а символ R – отношению между ними. Читается формула: "в и с находятся в отношении R ", или "в находится в отношении R к с".

Свойства, зависимости и особенности этих отношений — предмет современной формальной (математической) логики, вооруженной специальными средствами исследования (математическими методами, исчислениями), помогающими рассмотреть многообразие зависимостей и связей, следствий этих отношений. Традиционная логика, не обладая такими средствами, необходимо сужает, по сравнению с современной, предмет своего исследования, ей не под силу детальное рассмотрение многообразных модальных отношений, тоже требующих для своего исследования сложного научного аппарата.

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

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

Простое категорическое суждение. Его структура и виды


Опираясь на уже известное определение простого суждения, категорическое суждение (суждение действительности) можно определить как такое, в котором что-то утверждается или отрицается относительно предмета мысли. Другими словами — это такое простое суждение, в котором между субъектом и предикатом устанавливается категорическая (утвердительная или отрицательная) связь, т.е. отношение тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения.

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

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

Единичное суждение отражает единственный предмет мысли, т.е. субъект этого суждения — единичное понятие.

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

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

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

Сложные суждения. Логические связки


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

Наиболее употребительные логические связки:

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

Таблицы истинности


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

Но установить истинность или ложность сложного суждения не так просто. Дело в том, что логическим связкам в реальности ничего не соответствует. Это изобретенные средства связи мыслей или предложений, это – орудия мышления, не имеющие аналогов в реальности. Поэтому вопрос об истинности или ложности высказываний с логическими связками – не вопрос конкретных наук или материальной практики, а чисто логический вопрос. И его решает логика.

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

Отрицание применяется к одному суждению. Это суждение может быть истинным или ложным, поэтому таблица для отрицания выглядит следующим образом:

Если исходное суждение истинно, то его отрицание считается ложным; если же исходное суждение ложно, то его отрицание считается истинным.

Таблицы истинности для остальных логических связок приведены вместе:

Все приведенные связки соединяют два суждения. Для двух суждений имеется четыре возможности: оба могут быть истинными; одно истинно, другое – ложно; одно ложно, другое – истинно; оба ложны. Все эти возможности учтены как случаи 1-4.

Конъюнкция истинна только в одном случае – когда оба ее члена истинны. Во всех остальных случаях мы считаем ее ложной. Аналогичные соображения оправдывают и таблицу истинности для дизъюнкции. Несколько сложнее обстоит дело с импликацией. Когда оба суждения истинны, то импликацию в целом считают истинной. Даже если ее первый член ложен, импликация считается истинной, в последнем случае – ложной.

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

Другие виды суждений


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

Большой интерес современной логики вызывают контрфактические высказывания – условные высказывания, выраженные в сослагательном наклонении. Этот интерес обусловлен многими обстоятельствами. Во-первых, не ясно, каким должно быть их формальное представление. Во-вторых, не совсем ясно, как отличить истинное контрфактическое высказывание от ложного и вообще можно ли говорить об их истинности или ложности. (контрфактическое высказывание заведомо не соответствует действительности). Наконец, часто не понятно, что именно мы хотим сказать, пользуясь сослагательным наклонением.

В современной логике принято различать аналитические и синтетические суждения. Впервые это разделение было осуществлено великим немецким философом И. Кантом (1724-1804). Аналитическим Кант называл такое суждение, предикат которого уже входит в содержание субъекта и, таким образом, ничего не добавляет к тому, что мы знали о субъекте. Синтетическим является такое суждение, предикат которого добавляет что-то новое к содержанию субъекта. Считается, что только синтетические суждения выражают новое знание, аналитические же представляют собой тавтологии, не содержащие никакой информации.

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

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

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

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

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

Читайте также: