СТРУКТУРНО-ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ 6 страница

СУЖДЕНИЕ. В традиц. формальной логике (вплоть до работ Фреге по логической семантике) под С. пони­мали (с теми или иными незначительными оговорками и дополнениями) утвердительное или отрицательное повествовательное предложение. Однако в традиц. учении о С, в особенности в разделе о преобразовании формы суждения, интуитивно подразумевалось и раз»

160

СУЖДЕНИЕ

 

личие в использовании терминов «С.» и «повествова­тельное предложение». Первый обычно использовался как логический термин для обозначения утверждений (или отрицаний) «чего-то о чем-то», осу­ществляемых посредством повествовательных предло­жений (в том или ином языке). Второй служил для языковой характеристики утверждений, т. е. оставался преимущественно грамматическим терми­ном. Это неявное различие находило явное выраже­ние в различении (в общем случае) логической струк­туры С. и грамматической структуры предложений, к-рое проводилось со времен аристотелевской силло­гистики. Так, в классич. атрибутивных С. с у б ъ е к т (то, о чем нечто сказывается, или говорится — предмет речи) отождествлялся, как правило, с грамматпч. подлежащим, а предикат (то, что сказывается, или говорится, о предмете речи — субъекте) пони­мался уже грамматич. сказуемого и отождествлял­ся с именной частью сказуемого, выражаемого, напр., прилагательным. В отличие от грамматической, логи­ческая форма оказывания (форма С.) всегда обозна­чала, что предмету (субъекту С.) присущ (или не при­сущ) определ. признак, т. е. сводилась к атрибутивной трехчленной связи: субъект—глагол-связка —атрибут. Указанное различие в употреблении терминов «С.» и «повествовательное предложение» привело в даль­нейшем к более четкому определению соответствующих им понятий. Уже для Б. Больцано, а затем и для Г. Фреге С.— это содержание (смысл) истинного (или ложного) повествовательного предложения. Характе­ристика (повествовательного) предложения с т. зр. его истинностного значения восходит к Аристотелю и не является, конечно, новой. Главное, что отличает но­вое понимание от традиционного, это абстрагирование содержания (повествовательного) предложения — С. в собственном смысле слова — от его истинностного значения и от материальной (языковой) формы его выражения, выделение С. исключительно в качестве логического элемента речи — абстрактного объекта «...той же степени общности, что и класс, число или функция» (Ч ё р ч А., Введение в математическую логику, М., 1960,с. 32). Существенно новым является также выделение истинностных значений предложе­ний — «истины» и «лжи» (к-рые могут быть поставлены в соответствие каждому повествовательному предложе­нию в качестве его значения) — в качестве самостоятель­ных абстрактных объектов, включаемых в интерпрета­цию логических исчислений. Эта новая т. зр. объяснила смысл эквивалентных преобразований в логике, осно­ванных на принципе объемности (см. Объемности принцип, Принцип абстракции): все истинные пред­ложения эквивалентны в интервале абстракции отож­дествления по значению (но не по смыслу). С др. сто­роны, она позволила обобщить традиц. понятие струк­туры С. на основе понятия логической (или пропозициональной) функции, значе­ниями к-рой являются предложения, или их истин­ностные значения. Так, предложению «Сократ есть человек» в традиц. понимании соответствовала схема «S есть Р». Если в этой схеме S ж Р понимать как пере­менные, имеющие различные области значений, или как переменные различных семантических уровней, пли разного сорта, или, наконец, принадлежащие к раз­личным алфавитам: S — как переменную на области «индивидуальных имен», а Р — как переменную на области «понятий», то при выборе понятия «человек» в качестве значения переменной Р (или в общем случае, полагая значение переменной Р фиксированным, т. е. полагая, что Р имеет вполне определенное, хотя и про­извольное, неуточняемое в данном контексте, значение) схема « S есть Р» преобразуется в выражение « S есть человек» (в общем случае в выражение «...есть Р», где точки заменяют букву S ), к-рое при подстановке на

место переменной S индивидуального имени (значения)
«Сократ» обращается в истинное предложение. Очевид­
но, что выражение «...есть человек» (в общем случае
выражение «...есть Р»)—это функция от одной перемен­
ной, к-рая принимает значения «истина» или «ложь»,
когда на место точек ставят имя нек-рого субъекта, иг­
рающее здесь обычную роль аргумента функции. Ана­
логично этому выражение «...больше чем...» есть функ­
ция от двух переменных, а выражение «находится меж­
ду... и...» — функция от трех переменных и т. п. Т. о.,
совр. взгляд на структуру С. сводится к тому, что его
традиц. элементы «предикат» и «субъект» заменяются
соответственно точными матем. понятиями функции
и ее аргументов. Эта новая трактовка отвечает давно
ощущавшейся потребности в обобщенной характери­
стике логич. рассуждений, к-рая охватывала бы не
только (и даже не столько) силлогистические, но и
в особенности несиллогистические умозаключения —
осн. умозаключения науки. В свою очередь функцио­
нальная форма выражения С. открывает широкие воз­
можности для формализации предложений любой
науч. теории. (Объяснение того, как в совр. логике
характеризуется и формализуется субъектно-преди-
катная структура С. см. в ст. Квантор и Предикатов
исчисление.)                                             М. Новосёлов. Москва.

Виды С. Большое внимание в истории логики и философии уделялось проблеме деления на виды. Од­ним из важнейших является деление С. на простые и сложные. Понятие о простом С. встречается уже у Аристотеля в его книге «Об истолковании». Простым Аристотель называет здесь С. существования, т. е. С, в к-ром утверждается (или отрицается) только существование предмета С. (напр., человек есть). Простому С.Аристотель противопоставляет трехчлен­ное С, в к-ром, помимо знания о существовании (или несуществовании) предмета С, содержится еще зна­ние о присущности (или неприсущности) предмету С. к.-л. определенности бытия (напр., «человек есть справедлив»).

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

Осн. рубрики классификации простых С. также были известны уже Аристотелю: деление С. п о к а-ч е с т в у (утвердительные и отрицательные) и п о количеству (общие, частные и неопределенные) дано Аристотелем в «Первой аналитике».

В учебниках традиц. логики деления С. по качеству на утвердительные и отрицательные и по количеству на общие и частные (под частным здесь разумелось неопределенное частное суждение типа «Нек-рые, а может быть и все S , суть Р») объединялись в одну руб­рику. Эта рубрика называлась делением С. по каче­ству и количеству. Сюда относилось четыре вида С: 1) общеутвердительное («все S суть Р»), 2) общеот­рицательное («ни одно S не есть Р»), 3) частноутверди-тельное («нек-рые S суть Р»), 4) частноотрицательное («нек-рые S не суть Р»). В учебниках рассматривались далее отношения между этими суждениями с точки зрения истинности и ложности в т. н. логическом квад­рате и отношения между объемами субъекта и преди­ката этих С. в т. н. учении о распределенности терми­нов в суждении.

В совр. логике к видам С. по количеству относят: 1) общие С. (С. с квантором общности), 2) неопредел, частные С, к-рые наз. просто частными (С. с кванто­ром существования) и 3) единичные С.

К Аристотелю восходит и деление С. на С. действи­тельности, возможности и необходимости, впослед-

СУЖДЕНИЕ

161

 

ствии названное делением по модальности. Под С. действительности Аристотель разумел С, в к-ром речь идет о том, что фактически есть, существует в действи­тельности. Под С. необходимости—С,в к-ром речь идет о том, что не может быть иначе. Под С. возможности — С, в к-ром речь идет о том, что может быть иначе, т. е. что может быть, но может и не быть. Напр., «Завт­ра может быть морская битва». В совр. логике выска­зывания с модальными операторами «возможно», «невозможно», «необходимо» и др. исследуются в раз­личных системах модальной логики.

Различение 1) выделяющих и включающих С. и 2) С. свойства и С. отношений также, в известном смыс­ле, можно вести от Аристотеля. В четвертой и десятой главах первой книги «Топики» Аристотель рассмат­ривал след. четыре вида соотношения того, что ска­зывается о предмете, с самим предметом: 1) определе­ние, 2) собственное, 3) род, 4) случайное. Согласно Аристотелю, определением следует называть такое С, в к-ром выявляется собств. сущность предмета С. То, что сказывается в определении, принадлежит пред­мету С; оно не может сказываться о др. предмете. Собственным следует называть такое С, в к-ром, так же как и в определении, речь идет о чем-то, принадлежащем тольно предмету С. Но в отличие от определения, то, что сказывается в собственном С, не означает сущности мыслимого предмета. Родом сле­дует называть такое С, в к-ром выявляется несобств. сущность предмета, т. е. такая сущность, к-рой об­ладают и др. предметы, кроме предмета С. С л у ч а й-н ы м следует называть все то, что, не будучи сущностью предмета С, может, так же как и род, сказываться о многих др. предметах. Это учение Аристотеля, наз­ванное впоследствии его комментаторами учением о предикабилиях, позволяет установить еще два важных вида С, а именно, выделяющее и включающее С. Выде­ляющими естественно называть те С, в к-рых речь идет об отличительном признаке предмета С, независимо от того, является ли этот признак существенным (оп­ределение) или несущественным (собственное). Напр., «Квадрат есть прямоугольник с равными сторонами» (определение). «Марс есть планета, светящаяся крас­ным светом» (собственное). Включающими естественно называть те С, в к-рых речь идет о принадлежности предмету С. таких признаков, о к-рых известно, что они принадлежат не только предмету С, напр.: «Кит есть животное» (род), «Этот человек лежит» (слу­чайное).

Для деления С. на С. свойства и отношения пред­ставляет интерес то сведение всех категорий к трем, а именно к «сущности», «состоянию» и «отношению», к-рое Аристотель осуществил в 14-й книге «Метафи­зики». На основании указанных здесь категорий С. можно разделить на два вида: 1) С. свойства, в к-рых утверждаются как существ, свойства (сущность), так и несуществ, (состояние), 2) С. отношения, в к-рых утверждаются различного рода отношения между предметами. Сам Аристотель разделения на С. свой­ства и С. отношения еще не указывает. Это деление впервые, по-видимому, было дано Галеном (см. С. Galenus, Institutio logica, ed. C. Kalbfleisch, Lipsiae, 1896). Очень подробно оно разработано Каринским (см. «О курсе логики М. И. Карийского», «ВФ», 1947, №2).

В новое время (у X. Вольфа, И. Канта и во мн. следующих им школьных учебниках логики) имелось еще т. и. деление С. по отношению на катего­рические, условные (или гипотетические) и раздели­тельные. Под категорическим С. разумелось здесь общее С, в к-ром связь между подлежащим и сказуе­мым устанавливается в безусловной форме. Гипоте­тическим (или иначе условным) называлось С, в к-ром связь между подлежащим и сказуемым становится

в зависимость от к.-л. условия. Разделительным на­зывалось С, к-рое содержит несколько сказуемых, из к-рых только одно может относиться к подлежа­щему, или несколько подлежащих, из к-рых только к одному может относиться сказуемое (см. М. С. Стро-гович, Логика, М., 1949, с. 166—67).

В совр. логике деление С. по отношению не признает­ся. Т. н. категорическое суждение отождествляется здесь с простым суждением, а различные виды услов­ных н разделительных С. рассматриваются как виды сложных суждений (см. Условное суждение, Раздели­тельное суждение).

В кантовской классификации С, кроме деления по качеству, количеству, модальности п отношению, мы встречаем еще деление С. на 1) априорные и апостери­орные и 2) аналитические и синтетические. С. делятся на апостериорные п априорные в зависимости от спосо­ба, каким соединяются в акте С. представления или по­нятия. Апостериорными Кант называет те С, в к-рых представления соединяются в сознании так, что их соединение не имеет общезначимого характера. На­против, «...если какое-нибудь суждение мыслится как строго всеобщее, т.е. так, что не допускается возмож­ность исключения, то оно не выведено из опыта, а есть безусловно априорное суждение» (Кант И., Соч., т. 3, М., 1964, с. 107). Такими априорными С. являются, напр., согласно Канту, матем. С, аксиомы логики и т. п. В различении априорных и апостериорных суж­дений Кант пытался с позиции априоризма решить проблему, к-рая проходит через всю историю филосо­фии, а именно проблему отличия эмпирического (фак-тофиксирующего) и теоретич. знания. С т. зр. логики, проблема не в том, чтобы признавать (или Не призна­вать) существование как эмпирического, так и тео­ретич. знания. В науке как то, так и др. знание имеется, и мы интуитивно можем в нек-рых случаях [напр., в случае фактофиксирующего (эмпирического) и необходимого (теоретического) знания] их различать. Проблема заключается в том, чтобы указать точные логич. признаки, по к-рым можно было бы отличить С, выражающие эмпирич. знание (эмпирические С), от суждений, выражающих теоретич. знание (теорети­ческие С). Эта проблема не может считаться оконча­тельно решенной, хотя попытки ее решения предпри­нимаются (см., напр., ст. В. А. Смирнова, Уровни знания и этапы процесса познания, в кн.: Проблемы логики научного познания, М., 1964).

Важную роль в кантовской философии играет де­ление С. на аналитические и синтетические. Аналитич. С. отличаются от синтетических тем, что они через свой предикат ничего не дабавляют к понятию субъекта, а только делят его путем расчленения на подчиненные ему понятия, к-рые уже мыслились в нем (хотя и смут­но), между тем как синтетич. С. «...присоединяют к понятию субъекта предикат, который вовсе не мыс­лился в нем и не мог бы быть извлечен из него никаким расчленением» (там же, с. 111 —12). Заслуга И. Кан­та по вопросу о делении С. на аналитические и синте­тические заключается прежде всего в постановке этого вопроса: он первый отличил проблему деления С. на аналитические и синтетические от проблемы деления суждений на эмпирические (апостериорные) и теоре­тические (априорные). До Канта (например, у Лейб­ница) эти проблемы обычно отождествлялись. Вместе с тем И. Кант не смог указать логич. признаков, по­зволяющих отличать аналитич. С. от синтетических. В дальнейшем проблема аналитических и синтетич. С. обсуждалась неоднократно (см. Синтетические и аналитические суждения).

Рассмотренные выше деления С. на виды создавались гл. образом для обслуживания потребностей традиц. формальной логики и прежде всего для решения проб­лем осн. ее раздела — теории вывода. Так, деление С.

162

СУЖДЕНИЕ—СУЛИМОВ

 

по количеству, качеству и модальности было установ­лено Аристотелем для потребностей созданной им те­ории силлогистич. вывода (см. Силлогистика). Деле­ние С. на простые и сложные и разработка вопроса о видах сложного С. логиками мегаро-стоической школы потребовалось для исследования ими различных ви­дов условного и разделительного умозаключений. Де­ление С. на С. свойства и С. отношения возникло в связи с рассмотрением т. н. несиллогпстическнх умо­заключений. Обычно считается, что в задачу фор­мальной логики не входит исследование всех встре­чающихся в познании видов и разновидностей С. и построение всеохватывающей классификации С. По­пытки построения подобного рода классификаций име­ли место в истории философии [такова, напр., класси­фикация С. у Вундта (см. W. Wundt, Logik, 4 Aufl., Bd 1, Stuttg., 1920)].

Вместе с тем следует отметить, что, кроме формаль-нологич. подхода к вопросу о видах С, когда С. делятся на виды по точно фиксир. логнч. основаниям деления и само деление устанавливается для обслу­живания потребностей теории вывода, вполне право­мерен так же и иной, гносеологич. подход к этому вопросу. Для верно понятого гносеологич. подхода к проблеме видов С. характерным является интерес к сравнительной познавательной ценности известных в науке видов С. и исследование переходов от одного вида С. к другому в процессе познания действитель­ности. Так, рассматривая с этой т. зр. деление С. по количеству, мы обращаем внимание на то, что еди­ничные С. играют в основном двоякую роль в про­цессе познания. Во-первых, единичные С. выражают и закрепляют знания об отд. предметах. Сюда от­носятся описание историч. событий, характеристи­ка отд. личностей, описание Земли, Солнца и т. п. При этом среди подобного рода единичных С. мы отмечаем переход от т. н. С. принадлежности, в к-рых утверждается только принадлежность приз­нака предмету, к включающим и выделяющим С, коль скоро мы устанавливаем, что утверждаемый приз­нак принадлежит не только данному предмету (вклю­чающее суждение) или только данному предмету (вы­деляющее суждение). Во-вторых, единичные С. подго­товляют послед, формулировку частных и общих С. Исследовав все пласты к.-л. геологич. разреза и за­фиксировав в ряде единичных С, что каждый из ис­следуемых пластов — морского происхождения, мы можем высказать общее С: «Все пласты данного гео­логич. разреза — морского происхождения».

Относительно частного С. заметим, что в процессе познания действительности совершается переход от неопредел, частного С. к определ. частному С. либо к общему С. В самом деле, неопредел, частное С. (или просто частное С.) высказывается в таких случаях, когда, зная, что нек-рые предметы к.-л. класса пред­метов обладают или не обладают известным признаком, мы еще не установили ни того, что этим признаком обладают (не обладают) так же и все прочие предметы данного класса предметов, ни того, что этим призна­ком не обладают (обладают) нек-рые др. предметы данного класса предметов. Если в дальнейшем уста­навливается, что указ. признаком обладают только нек-рые или все предметы данного класса, то частное С. заменяется определ. частным или общим С. Так, част­ное С. «Нек-рые металлы тяжелее воды» в процессе изучения металлов уточняется в определ. частном С. «Только нек-рые металлы тяжелее воды». Частное С. «Нек-рые виды механич. движения переходят посред­ством трения в теплоту» заменяется общим С. «Всякое механич. движение переходит посредством трения в теплоту». Определ. частное С, решая проблему, выдвинутую частным С, а именно — вопрос о том, всем или не всем предметам данного класса предметов

присущ или не присущ известный признак, в то же время оставляет не решенным вопрос о том, какие именно предметы обладают или не обладают утверждае­мым признаком. Для устранения этой неопределен­ности определ. частное С. должно быть заменено либо общим, либо множественным выделяющим С. Для перехода от определ. частного С. к т. н. множествен­ному выделяющему С. требуется установить качеств, определенность каждого из тех нек-рых предметов, о к-рых идет речь в определ. частном С. В этом случае, напр., определ. частное С. «Только нек-рые ученики данного класса хорошо успевают по русскому языку» заменяется множественным выделяющим С. «Из всех учеников данного класса только Шатов, Петров и Ива­нов хорошо успевают по русскому языку». Переход к общевыделяющему С. осуществляется тогда, когда один или несколько из познанных общих признаков нек-рых предметов данного рода мы можем выделить в качестве характерной особенности всех этих («нек-рых») предметов. Напр., познав, что все те («нек-рые») жи­вотные, о к-рых идет речь в С. «Только нек-рые живот­ные обладают толстыми кишками», составляют класс млекопитающих животных, мы можем высказать об­щее выделяющее С: «Все млекопитающие, и только млекопитающие, обладают толстыми кишками». По­добного рода переходы между С. можно установить также с т. зр. их модальности и в нек-рых иных отно­шениях (см. А. П. Шептулин, Диалектический мате­риализм, М., 1965, с. 271 — 80; Логика, под ред. Д. П.Горского и П. В. Таванца, М., 1956).

---

Дата добавления: 2019-01-14; просмотров: 160; Мы поможем в написании вашей работы!

Поделиться с друзьями:

---

---

Мы поможем в написании ваших работ!