Логика - Учебник - Войшвилло Е.К., Дегтярев М.Г. (PDF). Учебник для студентов высших учебных заведений
 Скачать 3.83 Mb.
|
|
§ 6. Основные семантические и синтаксические категории языковых выражений Все значащие выражения языкато есть выражения, являющиеся знаками, могут быть разбиты на некоторую совокупность классов, называемых семантическими категориями. Семантическая категория — это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа. К числу семантических категорий относятся прежде всего предложения, причем каждый из видов предложений, выделяемых по содержанию (а именно повествовательные, вопросительные и побудительные, составляет отдельную категорию. Все остальные знаки языка — это возможные части предложений. Они с логической точки зрения делятся на дескриптивные и логические термины. Среди дескриптивных выделяются в качестве самостоятельных семантических категорий имена, предикаторы и предметные функторы. Логические термины (логические константы) в свою очередь распадаются на несколько видов семантических категорий. Каждая из семантических категорий, выделяемых в составе предложений, выполняет особую синтаксическую роль в строении предложения, его формировании или в определении его смысла, и потому является особой синтаксической категорией. Таким образом, знаки, составляющие части предложений, однотипные по своим предметным значениям, оказываются однотипными по своей синтаксической роли в языке. Далее при функциональной характеристике семантических категорий (см. § 7 Функциональные синтаксические характеристики основных семантических категорий языка») увидим, что каждый знак, относящийся к некоторой семантической категории в составе какого-то предложения, представляет собой определенную функцию, что именно и характеризует эту семантическую категорию как особую синтаксическую категорию. Сами же предложения не играют ка Незначащими выражениями языка являются, например, знаки препинания. Такие выражения называются синкатегорематическими. Незначащими здесь — в смысле не имеющими предметных значений, но они значимы в том смысле, что выполняют в языке некоторые функции ив силу этого, относятся к синтаксическим категориям кой-либо синтаксической роли в языке, кроме того, что могут быть частями других предложений. Они выполняют особую роль лишь в самом процессе познания ив процессе коммуникации. Характеристика каждой семантической категории состоит, во-первых, в выявлении особенностей предметных значений знаков этой категории, во-вто- рых, в указании видов знаков в составе каждой категории и специфики их предметных значений, в-третьих, выяснение типов смысла знаков в связи с типами предметных значений, в-четвертых, для всех знаков, кроме предложений, выяснение их синтаксической роли в составе предложений. Полезно однако, заметить, что не всегда эти характеристики можно выявить достаточно четким образом, различение их имеет, скорее, не практическое, а теоретическое значение, существенное именно для понимания языка как средства познания. ИМЕНА — слова и словосочетания, являющиеся знаками предметов. Слово Предметы здесь, как уже говорилось, используется в широком смысле. Они понимаются как предметы познания, это все то, что может быть предметом обсуждения, то, о чем можно — осмысленным образом — что-то утверждать или отрицать. Хотя утверждая или отрицая что-то о чем-то, мы вынуждены употреблять имя этого чего-то. Так логическими подлежащими простых повествовательных предложений, например, всегда являются простые или сложные имена. Таким образом, понятие предмета и имени тесно связаны друг с другом. По существу, предметом мысли является все то, что обозначено именем. Таковыми могут быть не только отдельные вещи (типа деревьев, домовит. дно их свойства и отношения (таковы, например, свойство электропроводности металлов», отношения отцовства, процессы (экономическая реформа, землетрясение, война, явления, события («гром», молния, взрыв, ударит. па также и множества или классы предметов (множество Москвы», «класс млекопитающих и т. д. Таким образом, имя — в свою очередь — может быть охарактеризовано как языковое выражение такого рода, которое, будучи соотнесенным в качестве знака с каким-либо предметом, явлением, процессом действительности, превращает его в предмет мысли При таком широком понимании предмета и имени как его знака, фактически все в действительности, что имеет более или менее качественно определенный характер и может быть мысленно выделено из всего многообразия действительности, может стать предметом мысли, будучи поименованным. Казалось бы нет смысла различать предметы и то, что о них может утверждаться или отрицаться. Иначе говоря, нет смысла и даже возможности различать, например, с одной стороны, предметы, ас другой — их свойства и отно- поскольку последние также могут быть предметами мысли. Однако это необходимо и является возможным при различении типов отношения знаков к обозначенным объектам. Одним из наиболее важных типов этих отношений является как раз отношение именования Оно имеет место, когда знак выступает в качестве именитого, что он обозна- чает. Другой тип отношения знаков к обозначаемым объектам состоит в том, что знак представляя этот объект, не является, однако, его именем. Таковыми являются отношения знаков свойств и знаков отношений к самим этим свойствами отношениям, наличие или отсутствие которых у соответствующих предметов утверждается или отрицается в составе предложений. Таковы рассматриваемые далее знаки, употребляемые в составе предложений (предикаторы и предметные функторы). Предикаторы, например, играют роль логических сказуемых в простых повествовательных предложениях (тогда как роль логических подлежащих таких предложений играют простые или сложные имена) и поэтому не являются именами обозначаемых ими объектов. Имена, составляя единую семантическую категорию, делятся на некоторые виды. Различаем, во-первых, единичные («Солнце», центральное тело Солнечной системы) и общие имена (планета, большое небесное тело, вращающееся вокруг Солнца. Единичные имена обозначают отдельные предметы. Общее имя является знаком произвольного предмета некоторого класса. Отдельные авторы считают, что оно тем самым является именем любого предмета класса и отличается от единичного тем, что вместо одного предметного значения имеет много таковых. Или, как говорят, если единичное имя имеет один десигнатор, то общее имя — много таковых. Однако общее имя, например, человек или город, являясь общим знаком для предметов соответствующих классов (людей, городов) вовсе не является также именем каждого из них. Для каждого отдельного человека существует свое имя, как и дня всякого города. По существу общие имена вообще не являются именами. Само их название имена возникло очевидно из указанных неверных представлений. На самом деле они представляют собой своего рода переменные естественного языка (в формализованных языках их аналогами являются специальные символы, называемые предметными переменными. Употребляя общее имя в качестве логического подлежащего предложения в сочетании с так называемыми кванторными словами всякий, некоторые, не один и др, мы можем говорить сего помощью что-то о классах в целом, например, «все люди нуждаются в пище, некоторые из людей занимаются научной деятельностью. В силу этого общее имя становится (в процессе нашего общения и познания) представителем соответствующего класса предметов. Именно этот класс является предметным значением общего имени, но не десигнатором его. Скорее можно сказать, что это эк- стенсионал общего имени. Экстенсионалами вообще называют часто предметные значения имена десигнаторы — это особый вид экстенсионала, а именно предмет, обозначаемый единичным именем. Десигнаторами называют предметные значения единичных имен. Таким образом, общее имя человек является представителем класса людей, а имя этого класса — единичное имя класс людей и этот класс — де- сигнатор этого имени. Таким образом, отношение между общим именем как знаком и его предметным значением отлично от отношения именования. Это — просто отношение «представительства», состоящее в том, что знак в процессе общения и мышления выступает как представитель некоторого объекта. Впрочем, есть способ образования имен отдельных предметов класса из общего имени. Так, из общего имени человек с помощью так называемых имен-указателей «этот», «тот» и при этом в некоторой определенной ситуации образуются такие единичные имена, как этот человек или тот человек. Известен также способ образования единичных имен из общих — применяемый часто в математических рассуждениях — посредством так называемого оператора неопределенной дескрипции (некоторый из, «какой-то из. Так, говорят Рассмотрим некоторую точку А на прямой а. Здесь некоторая точка А на прямой а — единичное имя, обозначающее некоторую определенную, ноне известно какую фиксированную точку. Один и тот же знак, употребляемый в качестве общего имени для предметов некоторого класса, используется часто как единичное имя, обозначающее этот класс как особый вид предметов некоторого рода. В этом смысле употребляется общее имя «человек» (как имя определенного вида живых существ) в контексте: человек появился на Земле около миллиона лет тому назад», «человек — разумное существо и т. п. Существенно отметить, что говоря указанным выше разом — с использованием кванторных слов всякий, некоторый о классах, мы не употребляем имен самих классов, то есть не вводим в наше рассмотрение особых объектов, каковыми являются эти Именно введение объектов такого рода как классы или множества в те или иные теории приводит часто к противоречиям. В известной канто- ровской теории множеств появились противоречия за счет введения таких объектов, как множество всех множеств», «множество всех нормальных множеств (таких, которые не являются элементами самих себя. Эти объекты оказались противоречивыми, и это указывает на то, что их можно считать просто несуществюущими. Однако это не значит, что мы вообще не можем непротиворечивым образом говорить что-то о множестве всех множеств или о множестве всех нормальных множеств (например, о множестве всех множеств некоторых индивидов или о множестве всех нормальных множеств каких-то индивидов). Мы делаем это, когда говорим, что каждое множество либо пусто, либо непусто, конечно или бесконечно. Но само собой разумеется, что при этом требуется уточнение, какого именно рода предметы мы допускаем в качестве элементов этих всех множеств. Как общие, таки единичные имена делятся на описательные (сложные) и на неописательные (простые, имена О понятии индивид см. в разделе Семантика логики предметов ст ы ми (неописательными) именами являются имена, которые не имеют собственного смысла и могут иметь лишь приданный смысл (Эверест, гора, река, Волга. Сложными (описательными) являются имена, которые имеют собственный смысл (самая большая река в Европе, плоская, замкнутая, ограниченная тремя сторонами фигура»). Имена имеют в качестве смыслов понятия, а именно понятия соответствующих предметов. Мы уже упоминали также, что они представляют собой обобщения типа слово, изменяющееся по падежам, частица, представляющая собой предел деления вещества, при котором сохраняются его физические свойства». Последнее понятие составляет смысл слова «молекула»; оно — приданный смысл этого слова. Но само понятие, как и всякая мысль, тоже выражено в языке. Знаковой формой понятия является описательное имя, а само понятие представляет собой собственный смысл описательного имени. На смыслах других семантических категорий мы здесь специально не останавливаемся, но, вообще говоря, это тоже понятия. Соответственно это понятия свойств и отношений для предикаторов; предметных функций — для выражений характеристик предметно-функционального типа логических отношений и операций — для логических терми- нов. Говоря более точно, надо различать собственные смыслы описательных единичных имени описательных общих имен. Смыслы единичных описательных имен — это особого рода понятия, которые называют индивид н ы ми конце п там и . В отличие от понятия — смысла общего имени (например, город, являющийся столицей некоторого государства) индивидный концепт (например, смысл описательного единичного имени тот город, который является столицей Франции) содержит дополнительную информацию о единственности описываемого объекта. Другие примеры ин- дивидных концептов: тот человек, который первым полетел в космос, та гора, которая является самой высокой в Европе. Характерным для знаков индивидных концептов является употребление логического оператора тот, который, сего помощью единичное описательное имя образуется из некоторого общего описательного имени. В естественном языке его (оператор определенной дескрипции тот, который) часто опускают, нос логической точки зрения и вообще для избежания некоторых двусмысленностей его важно иметь ввиду (см. гл. V). 62 Основная синтаксическая функция имен в языке состоит в том, что они играют роль логических подлежащих в предложениях, то есть указывают именно на ток чему относятся содержащиеся в предложениях утверждения или отрицания, что является объектом той мысли суждения, которое составляет смысл предложений. При этом есть существенные различия в употреблении единичных и общих имен в качестве логических подлежащих. С помощью единичных имен образуются предложения, выражающие единичные суждения (Джакарта — столица Индонезии», «Естественный спутник Земли является остывшим небесным телом. Общие имена играют роль подлежащих в так называемых множественных — общих или частных — суждениях («каждая планета Солнечной системы вращается вокруг своей оси, некоторые существительные не изменяются по падежам»). Повторим еще раз, что употребление общего имени в качестве подлежащего требует дополнения, а именно, указания на то, относится ли утверждение или отрицание в суждении ко всем или не ко всем предметам того класса, который представляет данное общее имя. Функцию таких указателей выполняют явно выраженные или подразумеваемые логические константы (кванторные слова) всякий, каждый, любой (указывают на общность суждения) и некоторые, многие, большинство и т. п. (указывают на частный характер суждения. Без таких указателей мы не имеем, по существу, предложений. Нельзя, например, считать предложением и оценивать как истинные или ложные такие высказывательные формы, как число не является четным, человек справедлив» 1 и т. Напомним, что общие имена представляют собой своеобразные переменные естественного языка. Но именно тогда, когда они играют роль логических подлежащих в высказываниях поэтому приведенные фразы аналогичны выражениям — четно справедлив, при условии, конечно, что употреблен как знак какого-то из целых чисел, а — как знак какого-либо человека. Это — высказывательные формы, называемые в логике предиката По виду эта форма содержит утверждение или отрицание чего-то о чем-то и потому как знаковая форма сходна с высказыванием, однако она не истинна и не ложна (то есть является неопределенно-истинной), поскольку неизвестно, к чему именно относится наше утверждение или отрицание к отдельным ли предметам класса или в ней идет речь обо всех или некоторых предметах классами. Из указанных предикатов, например, мы можем получить предложения (высказывания всякий человек справедлив, некоторые люди справедливы или, подставляя вместо переменных имя определенного предмета «6 — четно, Иванов — справедлив» и т. п. (подробнее о предикатах см. понятие признак, гл. IV). Из предикатов также образуются и понятия, например, человек такой, что он справедлив, число такое, что оно является четным» (см. гл. Предикаты, по существу, представляют собой особую семантическую категорию языковых выражений. В естественном языке они не выделяются в качестве таковой особым образом и употребляются лишь в составе высказываний и понятий. Иначе обстоит дело в формализованных языках. Их выделение существенно с познавательной точки зрения на некоторой стадии развития языка мы можем зафиксировать — в виде предикато- ров — лишь некоторое ограниченное множество простых свойств и отношений. Тогда как в процессе познания нам приходится иметь дело отнюдь не только с этими простыми свойствами и отношениями, поскольку в мире существует неограниченное множество и отнюдь не только простых свойств и отношений. То, что для каждого человека существует женщина старше его и являющаяся его матерью, представляет собой высказывание, в котором утверждается уже непростое, а сложное свойство человека. Непростым является также свойство Земли, утверждаемое в суждении Если ось Земли в некоторый момент ее вращения вокруг Солнца наклонена в сторону Солнца, тов северной ее части имеет место лето, а в южной — зима». Предикаты могут быть выделены из высказываний, по крайней мере, когда последние относятся к отдельным предметам, заменой имен этих предметов переменными или — в естественном языке общими именами. Из последнего высказывания мы можем получить предикат Если планета с наклоненной по отношению к плоскости эклиптики осью вращения в какой-то момент вращения вокруг Солнца наклонена осью к Солнцу, тов верхней ее части имеет место лето, а в нижней — зима. В формализованном языке «планета с наклоненной осью вращения мы бы употребили определенный символ переменной, положим ха область ее возможных значений охарактеризовали бы приведенным выше описательным именем. С помощью предикатов, которые, в свою очередь, строятся из предикаторов, переменных и логических констант, мы можем вы Как знаковые формы, это своего рода сложные предикаторы — знаки свойств и отношений, при этом зачастую весьма сложного характера. Наличие этих форм и их структурное многообразие выявляется в формализованных языках (см. § 64 разить сколь угодно сложное свойство или отношение (по крайней мере, с учетом наших физических возможностей и имеющихся в языке исходных средств. Таким образом, множество предикатов в языке представляет собой множество возможных — выразимых в данном языке — свойств и отношений рассматриваемых областей действительности (см. §§ 13, Наряду с ролью логических подлежащих, общие имена могут играть также — в сочетании со связкой есть — и роль логических сказу ем ы х . Например, в предложениях есть четное Сократ есть человек и др. В этой позиции общее имя (простое число, четное число», «человек») выступает уже не как переменная, а как представитель класса предметов. В силу этого мы имеем в подобных случаях нормальные предложения (истинные или ложные. Впрочем, мы можем употреблять общее имя как логическое сказуемое и без связки есть, трактуя его как знак того свойства или совокупности свойств (рассматриваемой как одно свойство, которое является характеристическим для класса предметов, обобщаемых данным именем. В таком случае образуемое предложение, например, «Иванов человек имеет смысл Иванов обладает свойствами, характерными для людей, то есть теми свойствами, которые выделяют людей из всего животного мира. Таким образом, разница между утверждениями Иванов есть человек и «Иванов обладает свойствами, отличительными для людей» состоит в том, что водном случае мы утверждаем непосредственно принадлежность Иванова к классу людей, а тем самым опосредованным образом — наличие у него типичных для людей свойств, во втором же — говорим непосредственно о принадлежности ему некоторых свойств и опосредованно о принадлежности его к соответствующему классу предметов. Будем говорить, что высказывания первого типа имеют понятийную форму, а вторые — атрибутивную. Эти различия не являются излишне детальными и понадобятся нам в дальнейшем (см. § Существует мнение, что общее имя может употребляться осмысленным образом в качестве подлежащего и без кванторных слов. Приводят примеры Человек произошел от обезьяны или «Человек появился на Земле несколько миллионов лет тому назад». Однако человек здесь употребляется не как общее имя, а как единичное имя класса людей (как особого вида живых существ), что уже было разъяснено выше Единичные имена, в отличие от общих, не могут служить логическими сказуемыми. Кроме указанной основной функции быть логическим подлежащим — они употребляются в качестве составных частей сложных имен, как единичных, так и общих (столица Индонезии, планета Солнечной системы. Следует иметь ввиду, что в русском языке бывают случаи, когда одно и тоже выражение в одних контекстах может трактоваться как общее имя, а в других — как единичное. Таково, например, приведенное имя столица Индонезии. При истолковании его как единичного подразумевается логическая константа тот, который. Без этой константы «столица Индонезии — общее имя, поскольку сама по себе его форма указывает на класс предметов, а не на отдельный предмет. Именем же этого предмета (единственного элемента данного класса) будет тот город, который является столицей Индонезии». Возьмем два предложения, приведенные выше: «Джакарта — столица Индонезии и Столица Индонезии большой город. В первом случае столица Индонезии — общее имя, и именно в силу этого правомерно используется как логическое сказуемое. Во втором случае — это же выражение с подразумеваемой логической константой тот город, который является столицей Индонезии — единичное имя. Будучи представителем некоторого вида предметов, общее имя выступает в некоторых контекстах в качестве знака той совокупности свойств, которые являются отличительными, характеристическими для предметов этого вида. Как видим, общее имя представляет собой очень сложную, семантически многоаспектную категорию. Этим объясняется, что в истории философии и языкознания оно имело различные истолкования. Существует даже особое направление в философии — так называемый реализм, — основой которого является представление о том, что общие имена являются знаками особого рода сущностей — универсалий, таких, как дом вообще, человек вообще и т. д, которые согласно этой концепции реально существуют наряду с отдельными предметами (домами, людьми и т.д.). Древнегреческий философ Платон, именуя их идеями, считал даже, что они существуют в особом мире идей, и что отдельные вещи нашего мира являются лишь отражениями этих идей. Как видим, при такой трактовке общего имени оно не является даже общим именем, а особым, единичным именем отдельной идеи. Споры относительно истолкования общих имен продолжаются ив настоящее время И. ПРЕДИКАТОРЫ — выражения языка (слова или словосочетания, предметными значениями которых являются свойства твердый, жидкий, умный) и отношения («столица», «причина», следствие, брат, южнее. При этом имеются ввиду свойства и отношения, которые употребляются как характеристики предметов познания, то есть как то, наличие или отсутствие чего у предметов мы утверждаем в наших вы- сказываниях. Эти знаки также, как и общие имена, не именуют, а лишь особым образом представляют объекты, знаками которых они являются. Рассмотрим два предложения. Сталь упруга и Упругость — полезное свойство некоторых металлов. В первом случае упруга — предикатор, знак свойства, ноне имя его. Во втором же случае употреблено имя этого свойства. Полезно иметь ввиду, что предметные значения единичных имен называют часто де нота там и , де сиг на торами, референтами соответствующих знаков. Предметные значения общих имен называют также экс те нс иона лам и Следует учитывать и то, что каждому свойству соответствует некоторый класс предметов свойству упругости — класс упругих предметов, свойству четности — класс чисел, являющихся четными. Каждому л-местному отношению соответствует множество последовательностей из л-предметов. Например, двухместному отношению мать соответствует множество пар людей женщина, которая родила кого-то, и тот, кто рожден ею Эти классы свойств и отношений называют часто объемами соответствующих свойств и отношений Ради определенных упрощений, например, при анализе и характеристиках формализованных языков, в логике свойства и отношения отождествляются сих объемами. В таких случаях предметные значения знаков-предикаторов тоже называют экстенсионалами. Вместе стем некоторые авторы (в частности, Р. Карнап) вообще предметные значения всех знаков называют экстенсионалами, а их смыслы — и н те нс иона лам и знаков. Основную синтаксическую роль предикаторов нетрудно уяснить исходя уже из типа их предметных значений. Прежде всего они играют роль логических сказу е - мых в предложениях. Предикатор, обозначающий свойство, употребляется в качестве логического сказуемого, когда утверждение или отрицание в предложении относится код- ному предмету или предметам одного класса. Когда он обозначает отношение, утверждение или отрицание относится к паре, тройке — в зависимости от местности отношения — |