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

Логические формы мысли. Суждение. Суждение - это такая форма мышления, которую отличают такие свойства: 1) что-либо утверждать или отрицать 2) относительно всех или части предметов, свойств, явлений, процессов какого-либо рода; 3) выражать либо истину, либо ложь. Любое предложение допустимо рассматривать как суждение, когда его можно оценить с точки зрения истинности. Таковыми не являются только побудительные и вопросительные предложения. Суждения воспроизводят отношения и связи между вещами, а также между вещами и свойствами, причем таковыми могут стать и предметы, и явления, и их различные особенности, и процессы, и даже абстрактные мысленные образования - все, что угодно. Наиболее распространенными и лучше всего изученными являются так называемые суждения свойств, или категорические. В них указывается принадлежность (или не принадлежность) предметам тех или иных свойств. Наряду с ними имеются также суждения отношений, или релятивные. Их отличительная особенность состоит в том, что отмечаемое ими свойство нельзя отнести к одному объекту. Оно возникает из взаимодействия двух, а то и большего их числа, называемых релятами. Для записи таких суждений часто используется символическая форма: aRb, где a и b обозначают реляты - предметы, связанные отношением. Суждения отношений делятся на транзитивные и не транзитивные, симметричные и несимметричные, рефлексивные и нерефлексивные, а также некоторые другие. Транзитивными являются те, у которых отношения могут переноситься на другие пары. Симметричность выражается в возможности менять реляты местами: aRb = bRa. Рефлексивность имеет место тогда, когда сохраняет смысл запись aRa. Такие отношения, как можно догадаться из этой записи, могут быть приложимы и к самому себе тоже. Отношения, соединяющие в себе транзитивность, симметричность и рефлексивность, называют отношениями типа равенства. Еще одну группу образуют суждения существования, с помощью которых отмечается наличие (или отсутствие) в действительности тех или иных явлений. Структура суждения. В содержании суждения прежде всего имеются два важнейших компонента - субъект и предикат. Субъект - это понятие, отображающее предмет, о котором идет речь. Его можно было бы также назвать логическим подлежащим, так как в функциях того и другого много сходного. Для обозначения субъекта используется латинская буква S. Предикат же можно уподобить логическому сказуемому, поскольку этот структурный элемент выражает свойства, приписываемые предметам из объема понятия-субъекта или отрицаемые у них. Обозначают предикат латинской P. Помимо субъекта и предиката в составе суждения имеются еще два структурных элемента, которые, однако, задают логические свойства самих суждений как форм мышления, а не их содержание. Один из них - связка. Она обозначается словами "есть", "является", "представляет собой" и другими эквивалентными им выражениями. Совокупность особенностей суждения, выражаемых в нем этим его структурным элементом, называют качеством суждения: когда свойство, отмечаемое в предикате, приписывается субъекту, оно утвердительное, когда же отмечается его отсутствие, - отрицательное. Последний структурный компонент суждения - квантор. Он выражается словами "все", "каждый", "всякий", "никакой", "некоторый", "большинство", "отчасти", "почти все" и пр. (в русском языке и квантор тоже может опускаться). Объединенная классификация суждений. Все суждения делятся по качеству на две категории - утвердительные и отрицательные, и по количеству тоже на две - общие и частные. В логике принято объединять эти две пары категорических суждений в единую классификацию, в которой получается четыре вида. У каждого из них есть свое обозначение латинской буквой и их все можно выразить одной формулой: Все (некоторые) S есть (не есть) P. Общеутвердительное суждение. Всем предметам приписывается какое-то свойство. Оно, следовательно, является общим по количеству и утвердительным по качеству. Структура такого суждения - "Все S есть P". Их принято обозначать буквой A (a) - первой гласной латинского affirmo (утверждаю). Тогда ту же структуру можно изобразить так: S a P; читается: все S есть P. Общеотрицательное суждение. Этот вид суждения является общим по количеству и отрицательным по качеству - у всех предметов отрицается какое-либо свойство: все (никакое) S не есть P. Их обозначают первой гласной из латинского nego (отрицаю) - E (e). Краткая запись: S e P. Читается: все (никакое) S не есть P. Частноутвердительное суждение образуется тогда, когда берется высказывание, частное по количеству и утвердительное по качеству, стало быть, части предметов приписывается какое-то свойство. Например, 1) "Некоторые студенты изучают китайский язык", 2) "Большинство учебников не являются задачниками", 3) "Преступники порой избегают наказания". Символическим обозначением ему служит вторая гласная из того же слова affirmo - I (i), так что записывается оно так: S i P; читается: некоторые S есть P. Частноотрицательное суждение, как легко понять по аналогии с предыдущими, является частным по количеству и отрицательным по качеству. Для обозначения берется вторая гласная из слова nego - O (o). Тогда структура суждения - S o P; читается: некоторые S не есть P.

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

Термин суждения является нераспределенным, если он берется не во всем объеме - лишь часть предметов его объема обладает (не обладает) каким-то свойством. Для распределенности имеет значение только полнота знаний об объеме. В общеутвердительном суждении субъект всегда распределен. На это указывает квантор. Обычно стоящее на месте предиката понятие шире по объему, чем то, которое стоит на месте субъекта. Предикат же, как правило, не распределен. В данном случае это видно из того, что не все литераторы поэты. Но могут быть и исключения, когда субъект (S) и предикат (P) образуют равнозначные понятия и тогда оба термина - и S, и P - распределены. В общеотрицательном суждении оба термина всегда распределены. Раз в нем прямо отрицается принадлежность всех предметов одного класса к предметам другого, то тем самым отрицается и принадлежность всех предметов второго к первому. Частноутвердительное суждение всегда имеет нераспределенный субъект; на это указывает квантор "некоторые". Предикат тоже чаще всего не является распределенным; эти два понятия относятся к числу пересекающихся, поэтому часть людей одной категории обладает свойством другой, а часть нет. Но здесь тоже бывают исключения. Они относятся к тем случаям, когда между S и P отношения подчинения и S подчиняет себе P. У частноотрицательного суждения субъект тоже всегда не распределен по тем же причинам, что и в суждении частноутвердительном: часть предметов из объема S обязательно не обладает свойством, составляющим содержание P. С предикатом дело, однако, обстоит сложнее для понимания, так как этой категории суждений соответствует целых три разных варианта соотношений по объему между S и P. Логический квадрат. Всю систему взаимообусловленности истинностных значений суждений с одинаковой материей удобно изобразить графически с помощью так называемого логического квадрата. Буквы на его углах символизируют различные виды суждений - A, E, I, O (см. рис. 7). А его стороны и диагонали выражают всю совокупность возможных отношений между ними. Линия AE образует отношение противоположности или, иначе, контрарности. Другие же сочетания значений для пары S a P и S e P допустимы: могут быть оба ложны, и может одно быть истинным, а другое ложным. Отсюда получается правило: когда одно из противоположных суждений (S a P или S e P) истинно, то можно уверенно делать вывод, что противоположное ему истинным не является, когда же одно ложно, то никаких выводов о противоположном делать нельзя, оно может быть и тем, и другим. Две расположенные по диагонали пары AO и EI составляют отношение противоречия или контрадикторности. Их истинностные соотношения легче всего запомнить: они не бывают ни одновременно истинными, ни одновременно ложными. Следовательно, их истинностные значения регулируются законом исключенного третьего: когда одно истинно, другое обязательно ложно и наоборот. Это значит, установив истинностное значение одного из членов пары, каким бы оно ни было, мы тем самым однозначно установили значение лежащего против него по диагонали.

Нижняя сторона квадрата IO выражает отношение частичной совместимости, или, иначе, субконтрарности. В отличие от противоположных суждений эта пара никогда не бывает одновременно ложной. В принципе можно рассматривать данное обстоятельство как следствие, обусловленное первыми двумя отношениями. В самом деле, попробуем воспользоваться теми соображениями, которые были высказаны о противоположных и противоречащих суждениях, предположив сначала, что S i P ложно, и определив значение S o P в таком случае, затем проделаем то же самое, отправляясь от того, что ложно S o P. Стороны квадрата AI и EO выражают отношение подчинения или субординации. В какой-то мере его можно было бы уподобить отношению части и целого: истинность общего суждения (и утвердительного S a P, и отрицательного S e P) означает одновременно истинность частного (S i P и соответственно S o P).

Модальные суждения. Суждения называют модальными, когда в них отмечается не только связь между субъектом и предикатом, но и дается характеристика этой связи или выражается отношение к ней автора суждения. Слова, указывающие на характер связи, называются модальными операторами. Иногда они не высказываются прямо, но из контекста видно, что их подразумевают. В традиционной логике наиболее полно изучены так называемые атлетические модальности (от греч. aletheia - истина, т.е. истинные, подлинные), в которых отмечается степень нерасторжимости, непреложности обязательности связи между субъектом и предикатом: иногда она может быть необходимой, иногда - только возможной, в иных же случаях суждение отмечает просто фактическую связь предмета и его свойства без дальнейших уточнений. Позднее в логике стали изучаться и неатлетические модальности. Обычно в каждой из них выделяются, как и в атлетической, по три категории суждений - две противоположные в каком-либо отношении и одна нейтральная. Например: "раньше", "одновременно", "позже". Мы ограничимся здесь лишь перечислением этих видов модальных суждений. Аксиологические модальности (от греч. axios - ценный). Она объединяет суждения, в которых дается оценка тех или иных явлений: "хорошо", "безразлично", "плохо". Эту модальность иногда называют также ценностной. Деонтическая модальность (от греч. deontos - нужное, должное). В ней охватываются высказывания, описывающие различного рода предписания (запреты) и, прежде всего, морально-правовые нормы, могут быть сюда отнесены медицинские, технические и прочие рекомендации, ограничения, запреты. Модальными операторами для это служат: "обязательно" ("подлежит исполнению"), "безразлично", "запрещено"; к этим трем обычно добавляют еще один дополнительный оператор - "разрешено". Временные модальности. Их название говорит само за себя. Подобно аксиологическим, они распадаются на две разновидности - абсолютную и относительную. Первая из них задается операторами: "всегда", "временами", "никогда". Вторая: "раньше (чем что-либо)", "одновременно", "позже (чем что-либо)". Эпистемические модальности (от греч. episteme - знание). Эпистемологией в западной философской литературе называют теорию познания. Поэтому данную разновидность модальных суждений можно было бы называть еще и теоретико-познавательной. Здесь отмечается степень изученности явлений, о которых говорится в высказываниях. В зависимости от того, идет ли речь об уровне знания или об уровне убежденности, различают две разновидности эпистемической модальности. Одна из них выражается операторами: "доказуемо" ("верифицируемо"), "неразрешимо", "опровержимо" ("фальсифицируемо"). Для другой операторами служат: "отстаивает" ("убежден"), "сомневается", "отвергает". 1. Проблематические —«S, вероятно, есть Р». «Илиада есть, вероятно, продукт коллективного творчества». В пробле­матическом суждении соединение подлежащего со сказуемым и разъединение подлежащего от сказуемого выставляется просто как известное предположение. 2. Ассерторические — «S есть Р». «Киевстоит на Днепре», «вода состоит из водорода и кислорода». 3. Аподиктические — «S необходимо должнобыть Р». Например, «две прямые линии не могут замыкать пространства».

Дата добавления: 2015-09-28