Высказывание как форма суждения

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

ВВЕДЕНИЕ

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в 4 в. до н. э. Ее основателем является древнегреческий философ Аристотель (348 - 322 гг. до н. э.).

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

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

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

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

Знание логики повышает культуру мышления, вырабатывает навык мыслить более “грамотно”, развивает критическое отношение к своим и чужим мыслям.

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

1. ПОНЯТИЕ ВЫСКАЗЫВАНИЯ (СУЖДЕНИЯ), ИХ ВИДЫ И СТРУКТУРА

Суждение - это такая форма мышления, которую отличают такие свойства: 1) что-либо утверждать или отрицать 2) относительно всех или части предметов, свойств, явлений, процессов какого-либо рода; 3) выражать либо истину, либо ложь.

Любое предложение допустимо рассматривать как суждение, когда его можно оценить с точки зрения истинности. Таковыми не являются только побудительные и вопросительные предложения. В них (в вопросах, призывах, командах), не делается сопоставления наших представлений о действительности с ней самой, по этой причине они не содержат ни истины, ни заблуждения. Так, не представляют собой суждений высказывания вроде: "Что есть истина?"; "Встать, суд идет!"; "Шапки долой, коли я говорю".

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

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

Наряду с ними имеются также суждения отношений, или релятивные: "Киев древнее Москвы", "Десять больше семи", "Каренин любит Анну". Их отличительная особенность состоит в том, что отмечаемое ими свойство нельзя отнести к одному объекту. Оно возникает из взаимодействия двух, а то и большего их числа, называемых релятами. Для записи таких суждений часто используется символическая форма: aRb, где a и b обозначают реляты - предметы, связанные отношением.

Суждения отношений делятся на транзитивные и не транзитивные, симметричные и несимметричные, рефлексивные и нерефлексивные, а также некоторые другие.

Транзитивными являются те, у которых отношения могут переноситься на другие пары. Так, если Киев древнее Москвы, а Москва древнее Костромы, то тогда правильно будет утверждать: Киев древнее Костромы. Можно это выразить и с помощью символов: если aRb и bRc, то тогда aRc. С отношением же "любить" такой перенос недопустим (если Каренин любит Анну, а Анна любит Вронского, то отсюда ни в коем случае не следует, будто Каренин любит Вронского). Следовательно, первое отношение транзитивно, второе нет. Симметричность выражается в возможности менять реляты местами: aRb = bRa. Если, скажем, треугольник A подобен треугольнику B, то тогда и треугольник B подобен треугольнику A. При несимметричных отношениях такая перестановка приведет к ошибкам, как это легко увидеть на примере суждения: "Потемкин - фаворит Екатерины II".

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

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

Полная структура простого суждения включает четыре элемента:

· субъект (S) - понятие, отражающее сам предмет мысли, то, о чем что-то говорится. Его можно было бы также назвать логическим подлежащим, так как в функциях того и другого много сходного. Для обозначения субъекта используется латинская буква S;

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

В суждениях "Роза красная", "Гитара семиструнная" субъектами являются "роза" и "гитара", а предикатами - "красная" (все то, что называется красным) и "семиструнная" (все то, что называется семиструнным). Само собой понятно, что и тот, и другой компонент могут задаваться многими словами.

· связка (в языковой форме выражается словами "есть/не есть", "суть/не суть, "является/не является" и т.п., либо вообще только подразумевается). Отражает наличие /отсутствие определенной связи субъекта и предиката;

· квантор выражается словами "все", "каждый", "всякий", "никакой", "некоторый", "большинство", "отчасти", "почти все" и пр. (в русском языке квантор может опускаться). Он служит для указания количественной характеристики суждения.

Символически структура простого суждения выражается формулой: (K)S-P, где <К> - некоторый квантор, а <-> - связка (если квантор отсутствует в явном виде, то суждение формально неопределенно по количеству, хотя эту характеристику обычно можно установить по смыслу).

2. КЛАССИФИКАЦИЯ ПО КОЛИЧЕСТВУ И КАЧЕСТВУ

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

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

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

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

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

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

При выполнении логических операций удобно использовать круговые схемы Эйлера.

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

Общеутвердительное суждение. Всем предметам приписывается какое-то свойство. Оно, следовательно, является общим по количеству и утвердительным по качеству. Структура такого суждения - "Все S есть P". Например, 1) "Все планеты - небесные тела" или 2) "Квадрат - прямоугольник с равными сторонами"; а так как единичные суждения тоже относятся к общим, то и высказывания 3) "Уральские горы протянулись с севера на юг" и 4) "Данное преступление совершено вчера" тоже относятся к общеутвердительным суждениям.

В Средние века были приняты буквенные обозначения по первой гласной латинского слова affirmo - утверждаю. Тогда ту же структуру можно изобразить так: S a P; читается: все S есть P.

Если изобразить соотношение понятий, входящих в это суждение, круговыми схемами, то общеутвердительному суждению, как правило, соответствует нижняя часть рисунка 1. В нем все S входят в объем понятия P (отношение подчинения). Так, все планеты, естественно, должны входить в круг тел, относимых нами к небесным телам, Уральские горы, согласно суждению (3), входят в число всего того, что можно отнести к протянувшемуся с севера на юг, а преступление, о котором речь в суждении (4), обязательно должно охватываться кругом событий, произошедших вчера. И только для суждения (2) надо брать верхнюю часть этого рисунка, так как данные понятия равнозначны и потому изображающие их круги сливаются.

Рисунок 1

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

Общеотрицательное суждение. Этот вид суждения является общим по количеству и отрицательным по качеству - у всех предметов отрицается какое-либо свойство: все (никакое) S не есть P. 1) "Никакая параллель не пересекает экватор", 2) "Дельфин не рыба", 3) "Всякая война не обходится без жертв" - примеры таких суждений. Их обозначают первой гласной из латинского "nego" (отрицаю) - E (e).

Краткая запись: S e P. Читается: все (никакое) S не есть P.

Рисунок 2

Общеотрицательное суждение "Ни одно S не есть P" изображается двумя кругами вне друг друга, как для несравнимых понятий (рис. 2).

Частноутвердительное суждение образуется тогда, когда берется высказывание, частное по количеству и утвердительное по качеству, стало быть, части предметов приписывается какое-то свойство. Например, 1) "Некоторые студенты изучают китайский язык", 2) "Большинство учебников не являются задачниками", 3) "Преступники порой избегают наказания". Символическим обозначением ему служит вторая гласная из того же слова "affirmo" - I (i), так что записывается оно так: S i P; читается: некоторые S есть P. Частноутвердительным суждениям соответствуют две круговые схемы (рис. 3).

Рисунок 3

Чаще всего S и P являются перекрещивающимися понятиями, поэтому круги, отображающие объемы субъекта и предиката пересекаются. Так, круг лиц, называемых студентами, лишь частично накладывается на круг лиц, которые изучают китайский язык; и в первой и второй категории людей есть такие, кто принадлежит только к одной из них и не принадлежит к другой. Учебники же и задачники находятся в отношении подчинения (хотя лишь некоторые учебники - задачники, но все задачники являются учебниками, поэтому круг для P полностью входит в круг для S).

Частноотрицательное суждение, как легко понять, по аналогии с предыдущими, является частным по количеству и отрицательным по качеству. Для обозначения берется вторая гласная из слова "nego" - O (o). Тогда структура суждения - S o P; читается: некоторые S не есть P. 1) "Некоторые законы не имеют обратной силы", 2) "Большинство музыкантов не скрипачи", 3) "Иные из бабочек не являются однодневками", 4) "По меньшей мере, часть грибов не относят к высшим растениям".

Рисунок 4

Соотношение по объему может изображаться тремя вариантами, показанными на рисунке 4. Закон, с одной стороны, и все то, что можно назвать имеющим обратную силу, с другой стороны (о которых идет речь в первом суждении), образуют, очевидно, отношение пересечения. Легко также понять, что в суждении (2) понятия "музыкант" и "скрипач" образуют отношение подчинения. В суждении (3), однако, такой однозначности уже нет. Если под "однодневками" иметь в виду только однодневных бабочек, то тогда между понятиями, стоящими на месте субъекта и предиката, отношение подчинения. Но, строго говоря, под "однодневным" можно понимать и все, что длится не более одного дня, - от грозы до курса ценных бумаг; в таком случае те же понятия образуют отношение пересечения. В суждении (4) речь идет о несовместимых понятиях, поскольку все грибы - низшие растения (поэтому не только некоторые из них, но и все они не относятся к высшим). Тем не менее, данное суждение является истинным, так как в нем дается осторожное ручательство всего лишь за часть грибов. Напомним еще раз, что в традиционной логике квантор "некоторые" имеет (когда не сделано специальных оговорок) именно такой смысл - "некоторые, но, может быть, и все".

3. РАСПРЕДЕЛЕННОСТЬ ТЕРМИНОВ В ПРОСТОМ ВЫСКАЗЫВАНИИ

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

Градаций распределенности всего две: либо мы получаем сведения обо всем объеме, либо только о части; это соответствует и делению суждений по

количеству на общие и частные.

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

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

Теперь рассмотрим все виды суждений и отметим распределенность терминов в каждом из них. Для этого будем обращаться к рисункам 1 - 4, на которых воспроизводятся объемные соотношения между понятиями, играющими роль терминов в суждении.

В общеутвердительном суждении субъект всегда распределен. На это указывает квантор. Обычно стоящее на месте предиката понятие шире по объему, чем то, которое стоит на месте субъекта (рис. 3), как, например, в суждении "Каждый поэт - литератор". Предикат же, как правило, не распределен. В данном случае это видно из того, что не все литераторы поэты. Но могут быть и исключения, когда субъект (S) и предикат (P) образуют равнозначные понятия и тогда оба термина - и S, и P - распределены. Таковы суждения "Правительство - кабинет министров" и "Клептомания - болезненно навязчивое стремление к воровству".

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

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

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

Частноутвердительное суждение всегда имеет нераспределенный субъект; на это указывает квантор "некоторые". Предикат тоже чаще всего не является распределенным, как в суждении "Некоторые музыканты - филателисты"; эти два понятия относятся к числу пересекающихся, поэтому часть людей одной категории обладает свойством другой, а часть нет (рис. 3). Но здесь тоже бывают исключения. Они относятся к тем случаям, когда между S и P отношения подчинения и S подчиняет себе P. Так, в суждении "Некоторые музыканты скрипачи" понятие скрипачей полностью входит в понятие музыкантов.

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

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

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

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

Распределенность терминов и высказываний кратко представлена в табл.1.

Таблица 1

4. ОТНОШЕНИЯ МЕЖДУ ПРОСТЫМИ СУЖДЕНИЯМИ

логика высказывание суждение

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

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

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

Рисунок 5

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

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

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

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

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

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

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

Высказывание выражается при помощи предложений, но не совпадает с ними.

Общей схемой простого высказывания является - S есть (не есть) P.

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

Все суждения делятся по качеству на утвердительные и отрицательные, по количеству - на общие, частные и единичные суждения.

При выполнении логических операций удобно использовать круговые схемы Эйлера.

Одним из важным показателей свойств высказываний является распределенность термина (если он взят в нем во всем объеме) и его нераспределенность (если он берется не во всем объеме).

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

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

СПИСОК ЛИТЕРАТУРЫ

1. Войшвилло, Е.К. Дегтярев, М.Г. Логика. - Владос-Пресс, 2001 - 528 с.

2. Маслов Н.А. Логика: учебник / Н.А. Маслов. - Ростов-н/Д: Феникс, 2007. - 413 с.

3. Попов Ю.П. Логика. Часть 1. - Владивосток, 1999. - 97 с.

4. И.И. Терлюкевич, Е.К. Булыго, Н.В. Струтинская. Логика: учебно-методическое пособие для студентов БНТУ. Минск, 2010 - 84 с.

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