СУЖДЕНИЕ
Если сказанное оценивается только по истинностному значению ( утверждения: «А - истинно» или «А - ложно») , С. наз. ассерторическим. Если утверждается (истинности) сказанного [модус утверждения: «А - возможно (истинно) » или «возможно, что А (истинно) »], С. наз. проблематическим. Когда же утверждается (истинности) сказанного [модус утверждения: «А необходимо (истинно) » или «необходимо, что А (истинно) »], С. наз. аподиктическим. Допустимы, конечно, и иные оценки сказанного, напр. «Л - прекрасно» или «Л - неудачно», но такого рода С. пока не нашли формального выражения в к.-л. логич. теории.
В классич. логике единств. способ оценки сказанного сводится к первому рассмотренному выше случаю, но сказанное и ассерторич. сказанного (как показывают табл. 1 и 2) , с т. зр. этой логики,-
А истинно
истина ложь
истина ложь
ложь истина
ложь истина
неразличимы. Поэтому в классич. логике термины «С.» и «высказывание» синонимичны и как самостоят. объекты исследования С. не выделяются. Предметом спец. изучения С. фактически становятся только в модальной логике.
Зигварт X., Логика, пер. с нем. , т. 1, СПБ , 1908 ; Ч ё ? ч А., Введение в математич. логику, пер. с англ. , т. 1, М., I960, § 04; Фейс Р., Модальная , пер. [с англ.], М., 1974.
Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .
СУЖДЕНИЕ
в логике выраженное в форме предложения высказывание, с помощью которого связываются два понятия ( и предикат; см. Предложение). В суждении мысль выкристаллизовывается. Суждение соотносит с предметом и вместе с тем с его предикатами с помощью связки «есть», которая всегда направлена на абсолютную утверждаемого положения вещей. Ибо для истинного суждения характерно, что нельзя допустить ничего противоречащего этому суждению и одновременно обладающего значимостью. Если существуют данного положения вещей, то благодаря суждению эти условия сополагаются столь же категорично, как и само положение вещей. Внутренним, неотъемлемым качеством всякого суждения является то, что оно заключает в себе с содержанием всех возможных субъектов познания, всех возможных положений вещей и необходимых условий. Эта совокупность всех возможных субъектов, положений дел и необходимых условий управляется одним общим законом – законом непротиворечия. Кант в «Критике чистого разума» различает следующие виды суждений: 1) по количеству – общие, частные и единичные; 2) по качеству – утвердительные, отрицательные, бесконечные; 3) по отношению – категорические, гипотетические, разделительные; 4) по модальности – проблематические, ассерторические, аподиктические. Аналитическими, или объясняющими, суждениями являются, по Канту, суждения, предикат которых уже заранее содержится в субъекте («все тела протяженны»); синтетическими, или расширяющимися, суждениями – суждения, прибавляющие к понятию субъекта предикат, который еще не подразумевается в знании о субъекте («все тела обладают весом»).
Философский энциклопедический словарь . 2010 .
СУЖДЕ́НИЕ
В традиц. формальной логике (вплоть до работ Фреге по логической семантике) под С. понимали (с теми или иными незначительными оговорками и дополнениями) утвердительное или отрицательное повествовательное предложение. Однако в традиц. учении о С., в особенности в разделе о преобразовании формы суждения, интуитивно подразумевалось и в использовании терминов "С." и "повествовательное предложение". Первый обычно использовался как термин для обозначения утверждений (или отрицаний) "чего-то о чем-то", осуществляемых посредством повествовательных предложений (в том или ином языке). Второй служил для языковой характеристики утверждений, т.е. оставался Преимущественно грамматическим термином. Это неявное различие находило выражение в различении (в общем случае) логической структуры С. и грамматической структуры предложений, к-рое проводилось со времен аристотелевской силлогистики. Так, в классич. атрибутивных С. с у б ъ е к т (то, о чем сказывается, или говорится – речи) отождествлялся, как , с грамматич. подлежащим, а п р е д и к а т (то, что сказывается, или говорится, о предмете речи – субъекте) понимался уже грамматич. сказуемого и отождествлялся с именной частью сказуемого, выражаемого, напр., прилагательным. В отличие от грамматической, логическая сказывания (форма С.) всегда обозначала, что предмету (субъекту С.) присущ (или не присущ) определ. , т.е. сводилась к атрибутивной трехчленной связи: субъект – глагол-связка – .
Указанное различие в употреблении терминов "С." и "повествовательное предложение" привело в дальнейшем к более четкому определению соответствующих им понятий. Уже для Б. Больцано, а затем и для Г. Фреге С. – это (смысл) истинного (или ложного) повествовательного предложения. Характеристика (повествовательного) предло-жения с т. зр. его истинностного значения восходит к Аристотелю и не является, конечно, новой. Главное, что отличает понимание от традиционного, это абстрагирование содержания (повествовательного) предложения – С. в собственном смысле слова – от его истинностного значения и от материальной (языковой) формы его выражения, выделение С. исключительно в качестве логического элемента речи – абстрактного объекта "...той же степени общности, что и , число или " (Чёрч Α., Введение в математическую логику, М., 1960, с. 32). Существенно новым является также выделение истинностных значений предложений – "истины" и "лжи" (к-рые могут быть поставлены в соответствие каждому повествовательному предложению в качестве его значения) – в качестве самостоятельных абстрактных объектов, включаемых в интерпретацию логических исчислений. Эта новая т. зр. объяснила эквивалентных преобразований в логике, основанных на принципе объемности (см. Объемности , Принцип абстракции): все истинные предложения эквивалентны в интервале абстракции отождествления по значению (но не по смыслу). С др. стороны, она позволила обобщить традиц. понятие структуры С. на основе понятия логической (или пропозициональной) функции, значениями к-рой являются предложения, или их истинностные значения. Так, предложению "Сократ есть человек" в традиц. понимании соответствовала "S есть Р". Если в этой схеме S и Ρ понимать как переменные, имеющие различные области значений, или как переменные различных семантических уровней, или разного сорта, или, наконец, принадлежащие к различным алфавитам: – как переменную на области "индивидуальных имен", а Р – как переменную на области "понятий", то при выборе понятия "человек" в качестве значения переменной Ρ (или в общем случае, полагая переменной Ρ фиксированным, т.е. полагая, что Ρ имеет вполне определенное, хотя и произвольное, неуточняемое в данном контексте, значение) схема "S есть Р" преобразуется в выражение "S есть человек" (в общем случае в выражение "...есть Р", где точки заменяют букву S), к-рое при подстановке на переменной S индивидуального имени (значения) "Сократ" обращается в истинное предложение. Очевидно, что выражение "...есть человек" (в общем случае выражение "...есть Р") – это функция от одной переменной, к-рая принимает значения " " или "ложь", когда на место точек ставят нек-рого субъекта, играющее здесь обычную роль аргумента функции. Аналогично этому выражение "...больше чем..." есть функция от двух переменных, а выражение "находится между... и..." – функция от трех переменных и т.п. Т. о., совр. взгляд на структуру С. сводится к тому, что его традиц. "предикат" и "субъект" заменяются соответственно точными матем. понятиями функции и ее аргументов. Эта новая трактовка отвечает давно ощущавшейся в обобщенной характеристике логич. рассуждений, к-рая охватывала бы не только (и даже не столько) силлогистические, но и в особенности – осн. умозаключения науки. В свою очередь функциональная форма выражения С. открывает широкие возможности для формализации предложений любой науч. теории. (Объяснение того, как в совр. логике характеризуется и формализуется субъектно-предикатная С. см. в ст. Квантор и Предикатов исчисление.)
М. Новосёлов. Москва.
Рассмотренные выше деления С. на виды создавались гл. образом для обслуживания потребностей традиц. формальной логики и прежде всего для решения проблем осн. ее раздела – теории вывода. Так, деление С. по количеству, качеству и модальности было установлено Аристотелем для потребностей созданной им теории силлогистич. вывода (см. Силлогистика). Деление С. на простые и сложные и разработка вопроса о видах сложного С. логиками мегаро-стоической школы потребовалось для исследования ими различных видов условного и разделительного умозаключений. Деление С. на С. свойства и С. отношения возникло в связи с рассмотрением т.п. несиллогистических умозаключений. Обычно считается, что в задачу формальной логики не входит всех встречающихся в познании видов и разновидностей С. и построение всеохватывающей классификации С. Попытки построения подобного рода классификаций имели место в истории философии [такова, напр., С. у Вундта (см. W. Wundt, Logik, 4 Aufl., Bd 1, Stuttg., 1920)].
Вместе с тем следует отметить, что, кроме формальнологич. подхода к вопросу о видах С., когда С. делятся на виды по точно фиксир. логич. основаниям деления и само деление устанавливается для обслуживания потребностей теории вывода, вполне правомерен так же и иной, гносеологич. подход к этому вопросу. Для верно понятого гносеологич. подхода к проблеме видов С. характерным является к сравнительной познавательной ценности известных в науке видов С. и исследование переходов от одного вида С. к другому в процессе познания действительности. Так, рассматривая с этой т. зр. деление С. по количеству, мы обращаем внимание на то, что единичные С. играют в основном двоякую роль в процессе познания. Во-первых, единичные С. выражают и закрепляют знания об отд. предметах. Сюда относятся историч. событий, характеристика отд. личностей, описание Земли, Солнца и т.п. При этом среди подобного рода единичных С. мы отмечаем переход от т.н. С. принадлежности, в к-рых утверждается только принадлежность признака предмету, к включающим и выделяющим С., коль скоро мы устанавливаем, что утверждаемый признак принадлежит не только данному предмету (включающее суждение) или только данному предмету (выделяющее суждение). Во-вторых, единичные С. подготовляют послед, формулировку частных и общих С. Исследовав все пласты к.-л. геологич. разреза и зафиксировав в ряде единичных С., что каждый из исследуемых пластов – морского происхождения, мы можем высказать общее С: "Все пласты данного геологич. разреза – морского происхождения".
Относительно частного С. заметим, что в процессе познания действительности совершается переход от неопредел. частного С. к определ. частному С. либо к общему С. В самом деле, неопредел. частное С. (или просто частное С.) высказывается в таких случаях, когда, зная, что нек-рые предметы к.-л. класса предметов обладают или не обладают известным признаком, мы еще не установили ни того, что этим признаком обладают (не обладают) так же и все прочие предметы данного класса предметов, ни того, что этим признаком не обладают (обладают) нек-рые др. предметы данного класса предметов. Если в дальнейшем устанавливается, что указ. признаком обладают только нек-рые или все предметы данного класса, то частное С. заменяется определ. частным или общим С. Так, частное С. "Нек-рые металлы тяжелее воды" в процессе изучения металлов уточняется в определ. частном С. "Только нек-рые металлы тяжелее воды". Частное С. "Нек-рые виды механич. движения переходят посредством трения в теплоту" заменяется общим С. "Всякое механич. переходит посредством трения в теплоту". Определ. частное С., решая проблему, выдвинутую частным С., а именно – о том, всем или не всем предметам данного класса предметов присущ или не присущ известный признак, в то же время оставляет не решенным вопрос о том, какие именно предметы обладают или не обладают утверждаемым признаком. Для устранения этой неопределенности определ. частное С. должно быть заменено либо общим, либо множественным выделяющим С. Для перехода от определ. частного С. к т.н. множественному выделяющему С. требуется установить качеств. определенность каждого из тех нек-рых предметов, о к-рых идет речь в определ. частном С. В этом случае, напр., определ. частное С. "Только нек-рые ученики данного класса хорошо успевают по русскому языку" заменяется множественным выделяющим С. "Из всех учеников данного класса только Шатов, Петров и Иванов хорошо успевают по русскому языку". Переход к общевыделяющему С. осуществляется тогда, когда один или несколько из познанных общих признаков нек-рых предметов данного рода мы можем выделить в качестве характерной особенности всех этих ("нек-рых") предметов. Напр., познав, что все те ("нек-рые") животные, о к-рых идет речь в С. "Только нек-рые животные обладают толстыми кишками", составляют класс млекопитающих животных, мы можем высказать общее выделяющее С: "Все млекопитающие, и только млекопитающие, обладают толстыми кишками". Подобного рода переходы между С. можно установить также с т. зр. их модальности и в нек-рых иных отношениях (см. А. П. Шептулин, Диалектический , М., 1965, с. 271–80; Логика, под ред. Д. П. Горского и П. В. Таванца, М., 1956).
Лит.: Таванец П. В., Вопр. теории суждениями., 1955: Πопов П. С., Суждение, М., 1957; Ахманов А. С., Логическое учение Аристотеля, М., 1900; Смирнова Е. Д., К проблеме аналитического и синтетического, в сб.: Филос. вопр. совр. формальной логики, М., 1962; Горский Д. П., Логика, 2 изд., М., 1963.
П. Таванец. Москва.
Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .
СУЖДЕНИЕ
СУЖДΕΗИΕ - мысль, в которой утверждается наличие или отсутствие каких-либо положений дел. Различают простые и сложные суждения. Простым называется суждение, в котором нельзя выделить правильную часть, т. е. часть, не совпадающую с целым, в свою очередь являющуюся суждением. Основными видами простых суждений являются атрибутивные и суждения об отношениях. Атрибутивными называются суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов. Атрибутивные суждения состоят из субъекта (логического подлежащего), предиката (логического сказуемого) и связки, а в некоторых имеются еще так называемые кванторные (количественные) слова (“некоторые”, “все”, “ни один” и др.). Субъект и предикат называются терминами суждения.
Субъект часто обозначается латинской буквой S (от слова “subjectum”), а предикат - P (от слова “praedicatum”). В суждении “Некоторые науки не являются гуманитарными” субъект () - “науки”, предикат () - “гуманитарные”, связка - “не являются”, а “некоторые” - кванторное . Атрибутивные суждения делятся на виды “по качеству” и “по количеству”. По качеству они бывают утвердительными (связка “суть” или “есть”) и отрицательными (связка “не суть” или “не есть”). По количеству атрибутивные суждения делятся на единичные, общие и частные. В единичных суждениях выражается принадлежность или непринадлежность предмета классу предметов. В общих - или невключение класса предметов в класс.
В частных суждениях выражается частичное включение или невключение класса предметов в класс предметов. В них слово “некоторые” употребляется в Смысле “по крайней мере некоторые, а может быть и все”.
Суждения форм “Все S суть Ps> (общеутвердительное), “Ни один S не сугьР” (общеотрицательное), “Некоторые S суть Р” (частноутвердительное), “Некоторые S не суть Р” (частноотрицательное) называются категорическими. Термины в категорических суждениях могут быть распределены (взяты в полном объеме) и не распределены (взяты не в полном объеме). В общих суждениях распределены субъекты, а в отрицательных предикаты. Остальные термины не распределены.
Суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т. д. предметов, называются суждениями об отношениях. Они делятся по качеству на утвердительные и отрицательные. По количеству суждения о двухместных отношениях делятся на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, общеединичные, частно-единичные, обще-частные, частно-общие. Напр., суждение “Каждый студент нашей группы знает какого-нибудь академика” является обще-частным. Аналогично деление на виды по количеству суждений о трехместных, четырехместных и т. д. отношениях. Так, суждение “Некоторые студенты философского факультета знают некоторые древние языки лучше любого современного иностранного языка” является частно-частно-общим.
Кроме атрибутивных и суждений об отношениях в качестве специальных видов простых суждений выделяют суждения существования (типа “Инопланетяне существуют”) и суждения тождества (равенства) (типа “a=fe>).
Описанные суждения, а также образованные из них сложные суждения называются ассерторическими. Они являются (просто) утверждениями или отрицаниями. Наряду с утверждениями и отрицаниями выделяют так называемые сильные и слабые утверждения и отрицания. Напр., усилением ассерторических суждений “Человеку присуще общения с себе подобными”, “Человек не живет вечно”, “Человек имеет мягкие мочки ушей” являются соответственно суждения “Человеку по необходимости присуще свойство общения с себе подобными”, “Человек не может жить вечно”, “Человек случайно имеет мягкие мочки ушей”. Сильные и слабые утверждения и отрицания являются алетическими модальными суждениями. Среди них выделяют суждения необходимости (аподиктические), возможности и случайности.
Среди сложных суждений выделяют несколько видов. Соединительные суждения - это суждения, в которых утверждается наличие двух или более ситуаций. В естественном языке они образуются из других суждений чаще всего посредством союза “и”. Этот союз обозначается символом л, называемым знаком (коммутативной) конъюнкции. Суждение с этим союзом называется (коммутативно) конъюнктивным. Определением знака конъюнкции является таблица, показывающая зависимость значения конъюнктивного суждения от значений составляющих его суждений. В ней “и” и “л” - это сокращения для значений “истина” и “ложь”.
Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются некоммутативно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами T-t, 7з и т. д. в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками некоммутативной конъюнкции и соответственно читаются “..., а затем...”, *..., затем..., а затем...” и т. д. Индексы 2,3 и т. д. указывают на местность союза.
Разделительные суждения - это суждения, в которых утверждается наличие одной из двух, трех и т. д. ситуаций. Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух или более ситуаций, суждение называется строго-разделительным, или строго-дизъюнктивным. Союз “или”, посредством которого выражается утверждение первого типа, обозначается символом ν (читается “или”), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз “или..., или...”, посредством которого выражается утверждение второго типа, - символом у (читается “или..., или...”), называемым знаком строгой дизъюнкции. Табличные определения знаков нестрогой и строгой дизъюнкции:
Суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие , называется условным. Условные суждения чаще всего выражаются предложениями с союзом “если..., то...”. Условный союз “если..., то...” обозначается стрелкой “->”.
В языках современной логики находит широкое распространение союз “если..., то...”, обозначаемый символом “э”. Этот называется знаком (материальной) импликации, а суждение с этим союзом - импликативным. Часть импликативного суждения, находящуюся между словами “если” и “то”, называют антецедентом, а часть, находящуюся после слова “то”, - консеквентом. Знак импликации определяется таблицей истинности:
Суждение эквивалентности - это суждение, в котором утверждается взаимная обусловленность двух ситуаций. Союз “если и только если..., то...” употребляется еще в одном смысле. В этом случае он обозначается символом “=”, называемым знаком материальной эквивалентности, который определяется таблицей истинности:
Суждения с этим союзом называются суждениями материальной эквивалентности.
Выше охарактеризованы простые алогические модальные суждения. Сложные суждения, образованные из других суждений посредством выражений “необходимо, что”, “случайно, что”, возможно, что” тоже называются алетическими модальными суждениями. Алетическими модальными суждениями являются также сложные суждения, отдельные составные части которых являются алетическими модальными суждениями. Алетические модальные понятия (“необходимо”, “случайно”, “возможно”) делятся на логические и фактические (физические). Положение дел может быть логически возможно или фактически возможно, логически необходимо или фактически необходимо, логически случайно или фактически случайно. Логически возможно то, что не противоречит законам логики. Фактически возможно то, что не противоречит законам природы и общественной жизни.
Логика. Учебное пособие Гусев Дмитрий Алексеевич
2.1. Что такое суждение?
Суждение – это вторая после понятия форма мышления. Суждением называется форма мышления, в которой что-либо утверждается или отрицается. Примеры суждений: Все сосны являются деревьями; Некоторые люди – это спортсмены; Ни один кит – не рыба; Некоторые животные не являются хищниками и т. п. Суждение также называется высказыванием.
Рассмотрим несколько важных свойств суждения, которые также являются его отличиями от понятия.
1. Любое суждение состоит из понятий, связанных между собой. Например, если связать между собой понятия карась и рыба , то может получиться суждение: Все караси являются рыбами или Некоторые рыбы являются карасями.
2. Любое суждение выражается в форме предложения (вспомним, понятие выражается в слове или словосочетании). Однако не всякое предложение может выражать суждение. Как известно, предложения бывают повествовательными, вопросительными и восклицательными. Суждение – это форма мышления, в которой что-либо утверждается или отрицается. В вопросительных и восклицательных предложениях ничего не утверждается и не отрицается, поэтому они не могут выражать собой суждение. Повествовательное предложение, наоборот, всегда представляет какое-то утверждение или отрицание, в силу чего суждение выражается в форме повествовательного предложения. Тем не менее, есть такие вопросительные и восклицательные предложения, которые только по форме являются вопросами и восклицаниями, а по смыслу что-то утверждают или отрицают. Они называются риторическими . Например, известное высказывание: И какой же русский не любит быстрой езды? представляет собой риторическое вопросительное предложение (или риторический вопрос), т. к. в нем в форме вопроса утверждается, что всякий русский любит быструю езду. Такой вопрос, конечно же, выражает собой суждение. То же самое можно сказать о риторических восклицаниях. Например, в высказывании: Попробуй найти черную кошку в темной комнате, если ее там нет! в форме восклицательного предложения утверждается мысль о невозможности предложенного действия, в силу чего данное восклицание выражает собой суждение. Понятно, что не риторический, а настоящий вопрос, например: Как тебя зовут? не выражает собой суждение, точно так же, как не выражает его настоящее, а не риторическое восклицание, например: Прощай, свободная стихия! Приведем еще несколько примеров.
а) Неужели ты не знал, что Земля вращается вокруг Солнца? (риторический вопрос – является суждением).
б) Прощай, немытая Россия!
в) Кто написал философский трактат «Критика чистого разума»? (вопрос – суждением не является).
г) Логика появилась примерно в V в. до н. э. в Древней Греции (повествование – является суждением).
д) первый президент Америки (понятие – суждением не является).
е) Разворачивайтесь в марше! (восклицание – суждением не является).
3. Любое суждение является истинным или ложным. Если суждение соответствует действительности или реальности, оно истинное, а если не соответствует, – ложное. Например, суждение: Все розы – это цветы является истинным, а суждение: Все мухи – это птицы – ложным. Надо отметить, что понятия, в отличие от суждений, не могут быть истинными или ложными. Невозможно, например, утверждать, что понятие школа – истинное, а понятие институт – ложное, понятие звезда – истинное, а понятие планета – ложное и т. п. Но разве понятия Змей Горыныч или Кащей Бессмертный , или вечный двигатель не ложные? Нет, не ложные, эти понятия являются нулевыми или пустыми, но не истинными и не ложными. Вспомним, понятие – это форма мышления, которая обозначает собой какой-либо объект, – и именно поэтому не может быть истинным или ложным. Истинность или ложность – это всегда характеристика какого-то высказывания, утверждения или отрицания, в силу чего она применима только к суждениям, но не к понятиям. Поскольку любое суждение принимает одно из двух значений – истины или лжи, – то аристотелевская формальная логика также часто называется двузначной логикой .
4. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединенных каким-либо союзом. О простых и сложных суждениях речь пойдет далее.
Из книги Материализм и эмпириокритицизм автора Ленин Владимир Ильич1. ЧТО ТАКОЕ МАТЕРИЯ? ЧТО ТАКОЕ ОПЫТ? С первым из этих вопросов постоянно пристают идеалисты, агностики, и в том числе махисты, к материалистам; со вторым - материалисты к махистам. Попытаемся разобраться, в чем тут дело.Авенариус говорит по вопросу о материи:«Внутри
Из книги Логические ошибки. Как они мешают правильно мыслить автора Уемов Авенир3. Суждение Понятий, как вообще всякие мысли, не существуют изолированно друг от друга, они всегда взаимосвязаны. Связь эта может быть различной: в сочетании понятий «ель - хвойное дерево» понятие «ель» включается в понятие «хвойное дерево»; в сочетании «кит не рыба»
Из книги Логика автора Шадрин Д А23. Суждение Суждение – это форма мышления, в которой утверждается или отрицается что-либо об окружающем мире, предметах, явлениях, а также отношениях и связях между ними.Суждения выражаются в форме высказывания относительно определенного предмета. Например, суждениями
Из книги Феноменология духа автора(?) Моральное суждение Но это суждение имеет в то же время другую сторону, начинающую разрешение имеющейся здесь противоположности. - Сознание всеобщего относится к злому сознанию не как то, что действительно и совершает поступки (ведь, напротив, злое сознание есть то,
Из книги Обоснование интуитивизма [ёфицировано] автора Лосский Николай ОнуфриевичII. Суждение Познавательная деятельность приводит всегда к истине или к лжи. В какой же форме выражается истина или ложь? В форме суждения, отвечает на этот вопрос логика. Но если так, то это значит, что представления, понятия и даже умозаключения, служа выразителями истины
Из книги Философская пропедевтика автора Гегель Георг Вильгельм ФридрихII. Суждение § 11Суждение есть выражение некоторого предмета в различных моментах понятия. Суждение содержит: a) предмет в определении единичности как субъект; b) его определение всеобщности, или его предикат, причем однако же субъект может относиться к предикату и как
Из книги Логика. Том 1. Учение о суждении, понятии и выводе автора Зигварт ХристофII. Суждение § 58Суждение есть отделение субъекта от его определения, или же особенности, и соотнесение его с этой особенностью, представляющей собой его предикат. Субъект и предикат относятся друг к другу либо как единичное и особенное, либо как единичное и всеобщее, либо
Из книги Логика для юристов: Учебник. автора Ивлев Юрий ВасильевичII. УСЛОВНОЕ СУЖДЕНИЕ
Из книги Философия как духовное делание (сборник) автора Ильин Иван Александрович Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений АкимовичПонятие и суждение 1) Я попытался вскрыть систематически основные свойства всякого смысла как такового.Смысл всякий и всегда сверхвременен; сверхпространственен; сверхпсихичен; идеален; объективен; тождественен; всеобщ; содержится во всяком мысленном акте; абстрактен;
Из книги Логика для юристов: учебник автора Ивлев Ю. В.2. Суждение и предложение Суждение и назначение предложений. Подобно понятию, суждение выражается посредством языка. Но, как более сложная форма мышления, она облекается и в более сложную языковую форму. Если материальной оболочкой понятия служит слово (или
Из книги Логика: учебник для юридических вузов автора Кириллов Вячеслав ИвановичА. СУЖДЕНИЕ Суждение - это мысль, в которой утверждается наличие или отсутствие каких-либо ситуаций или связей между ситуациями. В языке суждение, как правило, выражается повествовательным предложением и может оцениваться в качестве истинного или ложного.Примеры
Из книги Логика. Учебное пособие автора Гусев Дмитрий Алексеевич§ 1. СУЖДЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. СУЖДЕНИЕ И ПРЕДЛОЖЕНИЕ Суждение как форма мышленияПознавая окружающий мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами, утверждает или отрицает факт существования предмета. Эти
Из книги Антология реалистической феноменологии автора Коллектив авторовГлава 2 Суждение 2.1. Что такое суждение? Суждение – это вторая после понятия форма мышления. Суждением называется форма мышления, в которой что-либо утверждается или отрицается. Примеры суждений: Все сосны являются деревьями; Некоторые люди – это спортсмены; Ни один кит
Из книги автора2.1. Что такое суждение? Суждение – это вторая после понятия форма мышления. Суждением называется форма мышления, в которой что-либо утверждается или отрицается. Примеры суждений: Все сосны являются деревьями; Некоторые люди – это спортсмены; Ни один кит – не рыба;
Из книги автора1. Суждение и предложение Суждения обычно выражаются в определенных языковых предложениях. В языкознании различают, вообще говоря, четыре типа предложений, а именно: 1. повествовательные, или утвердительные предложения, 2. вопросительные предложения, 3. желательные
В предыдущей главе мы определили логику как дисциплину, изучающую отношение импликации между суждениями, т. е. отношение между посылками и заключениями, с помощью которого истинность или ложность одного множества определяет истинность или ложность другого. Таким образом, как посылки, так и заключения являются суждениями, и, исходя из задач, стоящих перед логикой, суждение можно определить как все, что может быть истинным или ложным. Данное определение будет более понятным, если мы также скажем, чем суждение не является.
1. Суждение не то же самое, что и предложение, в котором оно излагается. В трех разных предложениях – «Я мыслю, следовательно, я существую», «Je pense, done je suis», «Cogito ergo sum» – излагается одно и то же суждение. Предложение – это группа слов, а слова, как и все другие символы, сами по себе являются физическими объектами, отличными от того, на что они указывают или что символизируют. Будучи написанными, предложения занимают определенные поверхности, а будучи высказанными, они являются звуковыми волнами, переходящими от одного организма к другому. Однако суждение, вербальным выражением которого является предложение, отличается от видимых меток или звуковых волн конкретного выражения. Таким образом, предложения обладают физическим существованием. Они могут соответствовать или не соответствовать определенному вкусу или стандартам использования. Но они не являются истинными или ложными. Истина или ложь могут утверждаться только относительно суждений, обозначаемых предложениями.
2. При этом наряду с необходимостью отличать суждение от символов, в которых оно излагается, следует отметить, что ни одно суждение не может быть выражено или передано без символов. Следовательно, структура суждения должна быть выражена и сообщена посредством соответствующей структуры символов. Это требуется для того, чтобы суждение не могло быть передано с помощью какой угодно комбинации символов. «Джон крыса синий Джонс», «ходить сел есть очень» не являются символами, выражающими суждения. Данные символы – просто бессмыслица, если, конечно, мы не имеем дела с каким-либо кодом. Только определенные компоновки символов могут выражать суждение. И именно поэтому изучение систем обозначений обладает неоценимой значимостью для правильного анализа структуры суждений. И именно поэтому грамматика языка, несмотря на несходство грамматического и логического анализа, зачастую способна прояснить различия, которые по своей природе являются логическими.
3. Суждение, как мы сказали, является тем, относительно чего осмыслены вопросы об истинности и ложности. Следовательно, когда Гамлет восклицает: «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» или же когда он спрашивает: «К чему тебе плодить грешников?», он не утверждает никакого суждения, а если и утверждает, то только имплицитно. Дело в том, что пожелания, вопросы или команды сами по себе не могут быть истинными или ложными. При этом следует отметить, что вразумительность пожеланий, вопросов и команд основывается на допущениях о том, что определенные положения дел преобладают. А такие допущения содержат суждения. Для примера рассмотрим вопрос: «К чему тебе плодить грешников?» В нем, помимо многих других суждений, несомненно, предполагается, что особа, к которой обращаются, существует, способна рожать детей и что эти дети обязательно будут грешниками. Сходным образом в восклицании «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» предполагается, что говорящий способен обладать мыслями, что эти мысли могут быть смертоносными, что они могут иметь некую ценность и т. д. Более того, команду или пожелание можно представить в декларативной форме, которая, как правило, выражает определенное суждение. Примером тому являются следующие переформулировки: «я хочу, чтобы ты пришел», «мне будет приятно, если ты придешь», «ты пожалеешь, если не придешь». Декларации являются суждениями в той степени, в какой то, что в них сообщается, может быть истинным или ложным.
4. Суждения часто спутываются с психическими актами, необходимыми для того, чтобы иметь суждение. Данная путаница происходит из понимания термина «суждение» как субстантивированного глагола. Это приводит к туманностям, ибо в одних случаях этим термином обозначается психический акт вынесения определенного суждения, а в других – само суждение, как содержание такого акта. Однако точно так же, как мы провели различие между суждением (как объективным смыслом) и предложением, в котором оно выражается, мы должны разграничить суждение и акт психики, связанный с вынесением суждения .
5. Суждения также не должны отождествляться с каким-либо конкретным объектом, вещью или событием. Они являются в лучшем случае лишь отдельными абстрактными отношениями между вещами. Когда мы утверждаем или отрицаем суждение «Луна находится ближе к Земле, чем Солнце», то ни Луна, ни Земля, ни Солнце, равно как и расстояние между ними, не являются суждением. Суждение – это отношение, которое утверждается как существующее между этими телами. Такие отношения, как объекты нашей мысли, являются элементами или аспектами реальных, конкретных ситуаций. Эти аспекты находятся в неразрывной пространственно-временной связи со всеми остальными составными элементами соответствующих ситуаций, однако их отличительная особенность заключается в их смысле. Именно поэтому чувственный опыт не может превратиться в знание без рефлексивного анализа того, что мы воспринимаем. А знание – это знание суждений, и обладать им можно, только различая отношения, присутствующие между абстрактными свойствами соответствующей ситуации.
6. Мы определили суждение как нечто, способное быть истинным или ложным. Однако это не означает, что мы обязаны знать его истинностное значение. «Рак излечим» является суждением, однако мы не знаем, истинно оно или нет.
Это, однако, приводит к известному затруднению, заключающемуся в том, что иногда мы не в состоянии определить, выражает ли некоторое предложение какое-либо суждение. Рассмотрим, к примеру, выражение «ярд состоит из трех футов». Задаемся ли мы вопросом об истинности или ложности, когда формулируем его? Следует признать, что данное предложение имеет вид предложения, выражающего некое суждение. Однако если мы проанализируем его содержание, то обнаружим, что оно выражает скорее некую резолюцию, чем нечто способное быть истинным или ложным. Мы решаем использовать единицу измерения, равную трем футам. Однако резолюции как таковой не может приписываться истинность или ложность. Резолюции, зачастую принимающие форму определений, выражаются способами, сходными с тем, как выражаются суждения, однако их следует отличать от суждений.
Вопрос о том, используется ли слово «ярд» согласно своему определению, разумеется, имеет фактическую природу, и ответ на него может быть истинным или ложным. Однако в данных суждениях речь идет о языковом использовании, а не об объектах, обозначаемых словами, входящими в состав суждений.
7. Еще одна сложность возникает вследствие того обстоятельства, что мы зачастую считаем, что одни и те же суждения иногда могут быть истинными, а иногда ложными. Однако наше определение суждения исключает подобную возможность и предполагает, что если некое суждение истинно, то оно должно быть истинным всегда. Как часто простые люди используют подобные реплики: «То, что ты говоришь, бывает истинным, но не всегда». Данная позиция относится к утверждениям типа «религия учит любить ближних», «тяжело противостоять соблазну», «повинную голову меч не сечет». Данную сложность мы можем преодолеть, признав, что если в данных суждениях утверждается, что нечто является всеобщим правилом, то наличие исключения лишь докажет их ложность. В суждении «иногда религия учит ненавидеть ближних» не утверждается абсурдная идея о том, что общее суждение «религия всегда учит ненавидеть ближних» иногда является истинным.
Быть может, следующий пример позволит лучше понять данную мысль. Создается впечатление, что суждение «нынешний губернатор Коннектикута – доктор Кросс» истинно в течение определенных лет, но, разумеется, не на все времена. Подобный анализ, однако, является неадекватным, поскольку фраза «нынешний губернатор», несомненно, предполагает определенную дату. Таким образом, эксплицитно включая в наше выражение нужную дату, мы получаем выражения для разных суждений, некоторые из которых будут истинными, а некоторые – ложными. Вообще говоря, утверждения, делаемые нами в обыденной речи, редко содержат все необходимые условия для определения их истинности или ложности. Одни из этих условий мы осознаем, о других не догадываемся. Неполное выражение не является ни истинным, ни ложным. И когда мы говорим, что некоторое суждение иногда истинно, а иногда ложно, мы имеем в виду лишь то, что используемое нами утверждение может быть закончено различными способами, выражающими иногда истинные, а иногда ложные суждения.
Хотя операции над ними очень важны и встречаются повсеместно, сами по себе они ещё не составляют рассуждений. В этом уроке мы как раз приблизимся к теме того, как правильно рассуждать. Мы будем рассматривать рассуждения на примере силлогистики. Силлогистика - это самая древняя логическая система. Она была изобретена древнегреческим философом Аристотелем в IVвеке до н.э. До сих пор она остаётся одной из самых понятных, приближенных к естественному языку и лёгких для изучения логических систем. Одно их главных её достоинств - возможность применения в повседневных ситуациях без особых усилий.
Что такое рассуждение? Можно было бы сказать: вывод, умозаключение, размышление, доказательство и т.д. Всё это верно, но, пожалуй, самым очевидным ответом было бы: рассуждение - это последовательность суждений, которые в идеале должны быть связаны между собой согласно правилам логики. Поэтому обучение правильному рассуждению нужно начинать с того, что такое суждения и как ими корректно пользоваться.
Суждение - это мысль об утверждении или отрицании наличия некоторой ситуации в мире.
В естественном языке суждения передаются с помощью повествовательных предложений, или высказываний. Примеры суждений, выраженных в высказываниях: «Пришла осень», «Катя не знает английского языка», «Я люблю читать», «Трава зелёная, а небо голубое». Одно и то же суждение может быть выражено с помощь разных высказываний, в частности: «Небо голубое» и «Theskyisblue» - разные высказывания, но суждение они выражают одно и то же, так как они передают одну и ту же мысль. Точно также высказывания «Никто не покидал дома» и «Все оставались дома» разные, но они передают одно суждение.
Поскольку высказывания посредством суждений фиксируют какое-то положение дел в мире, в отличие от понятий и определений, мы можем оценивать их с точки зрения их истинности и ложности. Так высказывание «Бил Гейтс основал компанию “Microsoft”» - истинное, а высказывание «Апельсины фиолетовые» - ложное.
Рисунки последовательно представляют отношения: пересечения, дополнительности, подчинения, равнообъёмности и обратного подчинения. С первыми тремя картинками всё должно быть довольно ясно: видно, что объёмы терминов S и P пересекаются, поэтому в области пересечения находятся элементы, которые одновременно обладают и признаком S и признаком P. Примеры истинных высказываний таких типов: «Некоторые актёры хорошо поют», «Некоторые автомобили с ценой ниже миллиона стоят больше шестисот тысяч», «Некоторые грибы съедобны».
Что касается отношений равнообъёмности и обратного подчинения, то может возникнуть вопрос, почему они тоже представляют собой условия истинности для частноутвердительных высказываний, если на картинках, обозначающих их, чётко видно, что не только некоторые S есть P, но все S есть P. Правда, естественный язык толкает нас к идее, что если некоторые S есть P, то ещё существуют и другие S, которые не есть P: некоторые грибы съедобны, а некоторые несъедобны. Для логиков такое заключение неверно. Из высказывания «Некоторые S есть P» нельзя вывести заключение, что некоторые S не есть P. Зато из высказывания «Все S есть P» можно заключить, что и некоторые S есть P, потому что если что-то верно относительно всех элементов объёма термина, то оно будет верно и относительно некоторых отдельных элементов. Поэтому в силлогистике слово «некоторые» употребляется в значении «по крайней мере некоторые», но не в значении «только некоторые». Таким образом, из высказывания «Все папоротники размножаются спорами» можно смело вывести и высказывание «Некоторые папоротники размножаются спорами», а из высказывания «Все ученики пятого класса являются пионерами» - высказывание «Некоторые ученики пятого класса являются пионерами».
Частноутвердительные высказывания будут ложными, только если термины S и P находятся в отношении противоречия или соподчинения: «Некоторые тракторы - это самолёты», «Некоторые ложные высказывания истинны».
Типа «Некоторые S не есть P» истинны, если термины S и P находятся в следующих :
Это отношения: пересечения, дополнительности, включения, противоречия и соподчинения. Очевидно, что первые три отношения совпадают с тем, что было верно и для частноутвердительных высказываний. Все они как раз представляют случаи, когда некоторые S есть P, и в то же время некоторые S не есть P. Примеры подобных истинных высказываний: «Некоторые здоровые люди не употребляют алкоголь», «Некоторые наши работники из категории младше сорока ещё не достигли возраста и двадцати пяти», «Некоторые деревья не являются вечнозелёными».
По тем же причинам, по которым отношения равнообъёмности и обратного подчинения представляли собой условия истинности для частноутвердительных высказываний, отношения противоречия и соподчинения будут верны для частноотрицательных высказываний. Из высказывания, имеющего форму «Некоторые S не есть P» нельзя логично вывести высказывание «Некоторые S есть P». Однако из высказывания «Все S не есть P» можно перейти к высказыванию «Некоторые S не есть P», так как на основании информации, которой мы обладаем обо всех элементах объёмов терминов S и P, можно сделать вывод и об их отдельных представителях. Поэтому верными будут высказывания: «Некоторые журналы не являются книгами», «Некоторые глупцы не являются умными» и т.п.
Частноотрицательные высказывания будут ложными, только если термины S и P находятся в отношениях равнообъёмности и обратного подчинения. Примеры ложных высказываний: «Некоторые рыбы не умеют дышать под водой», «Некоторые яблоки не являются фруктами».
Итак, мы выяснили, при каких условиях высказывания той или иной формы будут истинными и ложными. При этом стало понятно, что не всегда истинность и ложность высказываний с логической точки зрения совпадает с нашими интуитивными представлениями. Иногда одинаковые на первый взгляд высказывания оцениваются совершенно по-разному, так как за ними скрываются разные логические формы и, следовательно, разные отношения между входящими в них терминами. Эти условия истинности важно запомнить. Они пригодятся, когда в следующем уроке мы научимся складывать высказывания в цепочки рассуждений и будем пытаться найти такие формы умозаключений, которые будут всегда правильными.
В этом упражнении вам нужно внимательно прочитать текст задания и правильно расположить множества, соответствующие понятиям.
Прочитайте следующие категориальные атрибутивные высказывания. Определите, к какому типу они относятся. С помощью диаграмм покажите, истинны они или ложны.
Если вы хотите проверить свои знания по теме данного урока, можете пройти небольшой тест, состоящий из нескольких вопросов. В каждом вопросе правильным может быть только 1 вариант. После выбора вами одного из вариантов, система автоматически переходит к следующему вопросу. На получаемые вами баллы влияет правильность ваших ответов и затраченное на прохождение время. Обратите внимание, что вопросы каждый раз разные, а варианты перемешиваются.
Виды суждений и логические отношения между ними
Для уяснения сущности суждений, а также их роли в практической деятельности человека большое значение имеет их научная классификация.
Все суждения можно разделить на две большие группы: простые и сложные. Простым называется суждение, выражающее связь двух понятий: например, "Некоторые вулканы действуют".
Суждение, состоящее из нескольких простых суждений, называется сложным: например, "Прозрачный лес один чернеет, и ель сквозь иней зеленеет, и речка подо льдом блестит".
Рассмотрим виды простых суждений, которые классифицируются по следующим основаниям.
1. По объему субъекта (по количеству).
Единичные - суждения, включающие утверждение или отрицание об одном предмете. Формула такого суждения:
Это S есть (не есть) P.
Так, суждение "Эрмитаж в Санкт-Петербурге - крупнейший музей России" - единичное суждение, так как объем субъекта включает конкретное учреждение культуры.
Частные суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класса. Эта часть может быть неопределенной и определенной. В зависимости от данного обстоятельства частные суждения подразделяются на неопределенные и определенные.
В неопределенных суждениях логическая схема такова: "Некоторые 8 есть Р". Слово "некоторые" придает им неопределенность. Например: "Некоторые проблемы политологии носят философский характер".
Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему:
"Только некоторые S есть Р".
Например: "Только некоторые проблемы языкознания носят философский характер".
Общие- суждения, в которых что-либо утверждается или отрицается в каждом предмете данного класса. Логическая схема таких суждений имеет вид:
"Все S есть Р" или "Ни одно S не есть Р"
Например, цитата из "Евгения Онегина" А.С. Пушкина: "Мы все учились понемногу" - является общим суждением, так как объем субъекта включает весь класс отображаемых предметов.
2. По качеству связки суждения могут быть утвердительные или отрицательные.
Утвердительные суждения, выражающие принадлежность предмету некоторого признака: например, "Научная организация труда повышает эффективность деятельности инженера".
Отрицательные суждения, выражающие отсутствие у предмета некоторого признака: например, "Ни один дельфин не является рыбой".
При этом следует различать отрицательное суждение и негативную форму выражения утвердительного суждения: например, "Захватническая война не имеет законного основания" и "Захватническая война - незаконна". Такого вида суждения не всегда идентичны.
Суждения свойства отражают принадлежность или не принадлежность предмету мысли того или иного свойства, состояния: например, "В наше время приобретение философских знаний составляет важнейший элемент духовной культуры человека".
Суждения отношения выражают различные связи между предметами мысли по месту, времени, величине и прочее: например, суждение "Эверест выше Монблана" - определяется отношением (через сравнение) одной горы с другой; или "Л.Н. Толстой был современником И.С. Тургенева и А.М. Горького".
Суждения существования призваны решать вопрос о наличии предмета нашей мысли - любого явления природы, общества или духовной жизни. Например: "Одним из объектов исследования социологии является общественное мнение".
Любое суждение имеет и количественную, и качественную характеристики. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству. В результате получаем четыре вида суждений; общеутвердительные, общеотрицательные,частноутвердительныеичастноотрицательные.Рассмотрим их более подробно.
| Общеутвердительное суждение - общее по объему и утвердительное по качеству связки. Его структура: "Все S есть Р ",а символом служит латинская буква " А " . Примером может служить следующее суждение: "Всякое изучение иностранных язы ков развивает ум, сообщая ему гибкость и способность проникать в чужое миросозерцание" (Д.И. Писарев). Второй пример: "Все окуни - рыбы". В этих суждениях объем предиката шире объема субъекта и является его подчиняющим понятием. Объемные отношения субъекта и предиката в таких суждениях можно изобразить в виде указанной круговой схемы. Из нее видно, что объем S составляет только часть объема Р , так что кроме S в объем Р могут входить объемы других понятий (в первом примере это могут быть "изучение истории", "изучение философии" и т.д.). | |
 | Во многих общеутвердительных суждениях (во всех определениях) субъект и предикат будут равнозначными понятиями. Например: "Богатство языка есть богатство мыслей" (Н.М. Карамзин). Или другой пример: "Все квадраты - равносторонние прямоугольники". В таких суждениях объемы терминов полностью совпадают |
Таким образом, в общеутвердительных суждениях субъект подчинен предикату или оба термина - равнозначные понятия.
| Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его структура: "Ни одно S не есть Р " . Символом общеотрицательных суждений служит буква" Е " . Примером может быть следующее суждение: "Ни один тигр не есть травоядное животное". Полная несовместимость субъекта и предиката характерна для всех общеотрицательных суждений, т.е. их объемы полностью исключают друг друга. | ||
 | Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его структура: "Некоторые S есть Р " . Символом частноутвердительных суждений служит буква " I " . Примером могут служить следующие суждения: "Некоторые студенты - книголюбы"; "Некоторые техники - филателисты". | |
| В этих суждениях субъект и предикат - перекрещивающиеся понятия, их объемы, как показано на схеме, частично совпадают. Однако в некоторых частноутвердительных суждениях объем субъекта шире объема предиката: например, "Некоторые актеры - ветераны Великой Отечественной войны"; "Некоторые писатели - герои России". Объем предиката здесь входит в объем субъекта, но объем субъекта только частично совпадает с объемом предиката. Таким образом, в частноутвердительных суждениях субъект и предикат - перекрещивающиеся понятия или предикат подчинен субъекту. |
 | Частноотрицательное суждение - частное по объему и отрицательное по качеству связки. Его структура: "Некоторые S не есть Р ", а символом служит буква " О " . Примером частноотрицательных суждений могут служить следующие суждения: "Некоторые европейские государства не являются франкоязычными"; "Некоторые студенты не являются спортсменами". Объемные отношения субъекта и предиката в этих суждениях напоминают аналогичные схемы в частноутвердительных суждениях с той лишь разницей, что в тех суждениях речь идет о совпадающей части объемов терминов, а в частноотрицательных - о несовпадающей части объема субъекта с объемом предиката. При помощи круговых схем приведенные примеры можно проиллюстрировать соответственно следующим образом: |  |
Следовательно, в частноотрицательных суждениях речь идет о части объема субъекта, несовместимой с объемом предиката.
Анализ объема понятий - терминов суждения связан в дальнейшем с выяснением их распределенности.
Распределенным термин считается тогда, когда он взят в полном объеме. Если термин взят в части объема, он считается нераспределенным. Исследование распределенности терминов суждения - это не формальная логическая операция, а подтверждение правильной связи данных субъекта и предиката в суждении, т.е. ее соответствия объективному отношению самих предметов.
На основе проведенного анализа суждений по объединенной классификации сформулируем правила распределенности терминов:
В общеутвердительных суждениях субъект распределен, а предикат не распределен. Распределенными оба термина будут в случае их равнозначности.
В общеотрицательных суждениях оба термина всегда распределены, они полностью исключают друг друга, являются несовместимыми понятиями. Например: "Ни один овощ не является фруктом".
В частноутвердительных суждениях оба термина не распределены, если они выражаются перекрещивающимися понятиями: например, "Некоторые студенты - изобретатели". Если же в частноутвердительном суждении предикат подчинен субъекту, тогда предикат будет распределен: например, "Некоторые летательные аппараты - космические ракеты".
В частноотрицательных суждениях субъект не распределен, а предикат всегда распределен. Таким образом, субъект распределен в общих суждениях и не распределен в частных суждениях; предикат распределен в отрицательных суждениях и нераспределен в утвердительных суждениях. Исключение составляют общеутвердительные и частноутвердительные суждения, у которых предикат распределен.
В соответствии с функциями логических связок сложные суждения делятся на следующие виды.
Соединительные суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связками "и", "а", "но", "как", "так и", "так же" и др. Например: "Язык и мышление взаимодействуют в процессе перевода" или "Студент Иванов живет в Москве и учится в МГУ".
Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или".
Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.
Условные суждения(импликативные)- это такие суждения, которые образованы из двух посредством логических союзов: "если...то", "там...где", "постольку... поскольку". В качестве примера можно использовать мысль, высказанную таджикским поэтом XI в. Кабусом: "Если хочешь иметь друзей, то не будь мстительным". Аргумент, начинающийся словом "если", называется основанием, а составляющая, начинающаяся словом "то", следствием.
Таковы основные виды суждений. Овладение навыками их логического анализа является эффективным средством точного использования своих мыслей, а также предложений.
