Ведическая религия-reды 235 20 глава
Б. Бирюков. Москва. ВЫВОД (в математической логике). В. обычно называется рассуждение, в ходе к-рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек-рые из числа этих предложений не обосновываются в пределах данного В. и называются либо аксиомами, если их истинность принимается нами без доказательства, либо же посылками или гипотезами этого В., а истинность каждого из остальных предложений вытекает из истинности каких-то ранее сформулированных в данном В. предложений (часто В. также наз. не само рассуждение, а лишь его заключит, результат — последнее предложение в цепи связанных между собой предложений). Практика человеч. мышления показывает, что, обосновывая истинность нек-рого предложения А истинностью каких-то предложений В,,..., В„, мы иногда пользуемся такими закономерностями, к-рые имеют настолько общий характер, что верны при любом содержании как предложений В,, ...,В„, так)и предложения А, т. с. независимо от этого содержания, и зависят только от того, что принято называть логич. формой шли структурой предложений в,,..., В„, А. Такие закопомер-•ности носят название логических, а их формулировки называются логич. правилами. Если при обосновании предложений нек-рого В. используется только логич. закономерность, то такой В. носит название формального или логич. В. В зависимости от того, насколько подробно излагается тот ■или иной формальный В., он может быть либо болеелаконич-тшм,сводясь исключительно, или почти исключительно к одним только логически следующим друг из друга предложениям, либо же, напротив, он может быть более или менее детальным и сопровождать появление нек-рых, или даже каждого нового предложения, точным указанием того, из каких именно предыдущих предложений получается это новое предложение. Т. о., всякий формальный В. состоит из последовательности предложений, логически связанных друг с другом, и может, кроме того, содержать т. н. анализ, в к-ром для нек-рых или для каждого предложения последовательности, указывается, является ли оно гипотезой данного В. или аксиомой, а если нет, то из каких именно предыдущих предложений оно следует. Одним из возможных способов задания анализа нек-рого В. является расположение его предложений в виде «дерева». Пусть, напр., у нас имеется В., состоящий из пяти предложений А,, А., А3, А4 и А5, из к-рых А,, А, Ая являются гипотезами данного вывода, А, получается (следует) из А, и А2, а А3 получается из А, и гипотезы А3. Тогда мы можем описать этот же анализ, следующим образом располагая предложения А,, А.,, А,, А,, А3:
С понятием формального В. тесно связано понятие выводимости. Предложение А называется выводимым из гипотез Г,, Г2....... Г„, если существует хотя бы один формальный В., последним предложением к-рого было бы предложение А и гипотезами к-рого были бы предложения Г,,..., Гп. Этим понятием определяется нек-рое отношение — отношение выводимости, в к-ром могут находиться,с одной стороны, совокупности предложений Г,,..., Гп (в качестве посылок), а с другой— отд. предложения А (в качестве заключений). Хотя формальные В., используемые математикой, ничем принципиально не отличаются от формальных В. вообще, тем не менее специфика изучаемого математикой содержания привела к тому, что именно в математике формальные В. получили наибольшее распространение и в настоящее время являются одной из легче всего замечаемых отличит, черт математики как науки. Математика не только использует формальный В. как инструмент, но и занимается исследованием проблем, связанных с использованием этого инструмента познания. При этом ставится задача создания, а также и исследования свойств и границ возможного применения различных формальных аппара-. тов, к-рые позволяли бы чисто формально, без учета содержания, преобразовывать предложения и к-рые при этом всегда давали бы в качестве результата истинные предложения, если только посылки были истинными. Теорией формального В. занимается математич. логика.
Делая формальный вывод объектом математич. исследования, математич. логика преобразует это понятие следующим образом. Прежде всего уточняется используемое в нем понятие логич. следования. Это достигается явным указанием тех правил В., к-рые разрешается использовать для получения новых предложений из ранее полученных. Теперь в анализе нек-рого конкретного В. по отношению к каждому предложению, не являющемуся гипотезой или аксиомой этого В., должно быть указано не только то, из каких предыдущих предложений оно получается, но и по какому правилу В. Примером правила В. может служить, скажем, следующее: из предложения «Если А, то В» и предложения «А» следует (или выводится) предложение «В», где А и В могут быть предложениями произвольного вида. В общем случае всякое правило В. является утверждением типа; «Из предложений А,,..., Ап. имеющих каждое такой-то вид. следует (или выводится) предложение В такого-то вида». В этом случае А,, ..., Ап называются посылками данного правила, а В — его заключением. Самым существенным здесь является то, что в правилах по какому-то определ. правилу В., мы никак не можем использовать содержание этих предложений, то есть вынуждены обращаться с ними как с последовательностями символов, как с материальными объектами определенной структуры и не более того. Поэтому мы можем смотреть на формальный В. как на последовательность материальных объектов, игнорируя тот факт, что эти объекты являются предложениями, имеющими какое-то содержание. Этим, в частности, объясняется то, что пока занимаются теорией формального В., бесполезно строить предложения из отд. слов, из к-рых каждое в свою очередь составляется из целого ряда букв. Вместо этого появляется возможность ввести спец. символику, в к-рой слова или даже целые предложения обозначаются одним или несколькими символами. От этой символики требуется, чтобы с ее помощью можно было хорошо передавать логич. структуру предложений и совершенно безразлично, можно ли с ее помощью передавать их содержание, к-рое все равно не может быть использовано в формальном В. Так, напр., предложение «Если А, то В» удобнее записывать в виде «AZDB»; предложение, отрицающее то, что утверждается в предложении А, удобнее записывать в виде «~А», и т. д.
Математич. логика изучает формальный В. в рамках т. н. ВЫВОД 309
В качестве примера формальной системы рассмотрим одно из возможных построений т. н. исчисления высказываний, или, как его также иногда называют, «пропозиционального исчисления'). Вначале зададим исходные символы, с помощью к-рых будут строиться все выражения системы (как говорят, зададим алфавит системы). Пусть ими будут: во-первых, бесконечный перечень символов: р q r s р, q, г, s, p2q-i... и т. д. (эти символы будем называть пропозициональными переменными), и, во-вторых, четыре символа [ ] => ~ (из к-рых два первых являются левой и правой скобками, а два последних называются соответственно знаками импликации и отрицания). Затем укажем правила, по к-рым из исходных символов можно будет последовательно строить все более сложные выражения данной системы, к-рые будут называться «формулами». Этими правилами построения являются следующие: 1) Всякая пропозициональная переменная есть формула. 2) Если А и В суть формулы, то [AZ)B] есть формула. 3) Если А есть формула, то ~А есть формула. Следующие три формулы будем называть «аксиомами» нашей системы: а) [о [/О.?] б) [[o[pZxj]]3[Lop];D[o</]]] в) [[~/0~4]Z)[<DP]]. Наконец, возьмем в качестве правил В. следующие два правила: I) Если формула А' получается из формулы А путем за II) Из формул вида [AzjB] и формулы А следует формула Такое задание формальной системы, когда указывается ее алфавит, правила построения, правила В. и «аксиомы», является довольно типичным, хотя и не единственно возможным. Следует иметь в виду, что в данном случае с термином «аксиома» не связывается ничего, что соответствовало бы обычному представлению об аксиомах как о предложениях, истинность к-рых принимается без доказательства. В данном случае это просто формулы, выделенные из общей массы формул формальной системы и играющие особую роль при определении понятий «доказательство» и «теорема» (см. ниже).
Задавая нек-рую формальную систему, используют какую-то часть содержательного разговорного языка, к-рая по отношению к задаваемой формальной системе называется метаязыком. Этот метаязык используется как при построении формальной системы, так и для того, чтобы высказать утверждения о формальной системе. Так, напр, предложениями метаязыка являются правила В. и правила построения, а такие встречающиеся в них обозначения, как, напр., [Az)B], являются элементами не формальной системы, а ее метаязыка. Этот метаязык может оставаться неформализованным, как в рассматриваемом случае, но может быть и формализован и превращен в нек-рую формальную систему (метасистему по отношению к первой системе). Для этого в свою очередь потребовался бы нек-рый содержат, мета-метаязык и т. д. Определим теперь для этой системы понятия В. и выводимости: Последовательность формул А,,..., Ап называется В. формулы А из гипотез Г...................................... Гт, если формула А есть последняя формула последователь В. из пустого множества гипотез называется доказательством. Формула А, для к-рой существует хотя бы один В. из гипотез Г,,..., Гт, называется выводимой из Г,,..., Гт. Утверждение о выводимости А из гипотез Г,...................... Гт часто обозначают так: Г,,..,Г,(-А. Т.о., знак «•-»является сокращением, используемым в содержат, метаязыке. Формула А, для к-рой существует доказательство (т. е. В. из пустого множества гипотез), называется доказуемой формулой или теоремой формальной системы (обозначение: |— А). В соответствии с привел, определениями последовательность из трех формул [pZ)q], г [[рз q]'Or], r является В формулы г из гипотез [/0?1 и [[р07]1У1 по правилу модус поненс. Т. о., Г/О?], [[/»r>?]Z3/-] \-г. Рассмотрим пример доказательства: (1) [ГоГ/Ов^ГэГГО/^ГэГО?]]] (аксиома б) (2) [[o[/os]]z>[[o/>]r>[of)]] (подстановка формулы s вместо пропозицион. переменной q b (1) по правилу подстановки) (3) Го Г/Os]] (аксиома а) (4) [ Lo/>] ZD [O.S] ] (получается по правилу модус поненс из (2) и (3)). (5) [ [о [рГМ] ] Z3 [s~s] ] (подстановка формулы Г/Os] вместо переменной р в (4)). (6) [Os] (получается по правилу модус поненс из (5) и (4)). системе, или, что то же самое, является в ней теоремой. Иногда в качестве выводов формальной системы вместо вышеописанных последовательностей рассматривают какой-либо более ограниченный класс последовательностей. Обычно это мотивируется желанием формулировать без всяких ограничений т. н. дедукционную теорему («Если Г„ Гэ,..., Гп, А |—В, то Г,, Г.,,..., rnt-AZ)B»). Эта теорема, являющаяся, разумеется, не «теоремой» формального исчисления, а содержат, теоремой метаязыка, имеет очень большое эвристич. значение, т. к. позволяет использовать в процессе выведения вспомогат. допущения, исключаемые затем с ее помоп1ью из числа гипотез (подробнее см. ниже). В рассматриваемом случае желаемого результата можно добиться, потребовав, напр., в определении В., чтобы в тех случаях, когда подстановки в соответствии с правилами вывода 1) совершаются в формулы, не являющиеся аксиомами, они не совершались бы вместо переменных, входящих в к.-л. гипотезу. Примем это ограничение. Если различным образом менять определение В., то тем самым будет меняться и отношение выводимости в формальной системе. Это, однако, не должно вести к изменению понятия доказуемости (выводимости из пустого множества гипотез), т. е. множество теорем системы должно при этом оставаться неизменным, т. к. иначе мы получили бы уже другую формальную систему. Отношение выводимости «]—», к-рое мы определили в метаязыке через понятие В. рассматриваемой формальной системы, обладает целым рядом свойств, к-рые приводятся ниже. Формулировки свойств даны в сокращенной эаписи, в к-рой X ш У понимаются как произвольные формулы формальной системы, аОиВ суть произвольные (в частности, может быть, а пустые) списки формул: (1)* Х\— X (2)*------- Х\- X (3)* Если совокупность Н отличается от совокупности О только порядком входящих в нее формул, то: если О |— X, то и Н \ — X (4)* Если О I— X, то и GY |— А" (5)* Если QYY |— X, то и QY \— X (6)* Если QY\— X, то О |— [ГЭ X] (7)* Если О I- IX Г) /1 и G \— X, то О |— У (8)* Если ОК|—X и ОК|-------------- X, то О]---------- К. Утверждения (1)* — (8)* являются сокращенно записанными содержат, предложениями метаязыка и могут быть доказаны как математич. теоремы. Два из них, а именно (1)* и (2)*, утверждают, что в данной системе существуют выводы определенного вида, а остальные дают достаточные условия существования некоторых выводов. В этих предложениях фигурирует понятие «выводимо», к-рое было введено для этой формальной системы и к-рое, разумеется, отлично от соответств. понятия содержат, логики человеч. мышления. Если, однако, считать формулы вида [А^)В] сокращениями вместо обычных условных предложений «Если А, то В» и формулы вида — А— обычными отрицаниями вида «не-А» и переистолковать утверждения (1)* — (8)* как утверждения об обычных предложениях и обычной выводимости, то все они окажутся естественными. Это может служить иллюстрацией того, в каком смысле построенный аппарат пропозицион. исчисления может считаться своего рода приближением к нек-рой части логики челогеч. мышления. Связь между построенным нами пропозицион. исчислением и содепжат. мышлением можно проиллюстрировать еще и на таком "примере. В обычных содержат, рассуждениях часто используется прием, заключающийся во введении в В. тех или иных вспомогат. допущений. Следствия из этих допущений 310 ВЫВОД - ВЫРАЗИТЕЛЬНЫЕ ДВИЖЕНИЯ
Оказывается, что метод вспомогат. допущений находит исключая, т. о., временное допущение ~ А из числа гипотез. Дальше можно вести доказательство совершенно параллельно вышеописанному содержат, рассуждению и свести дело к непосредств. использованию закона противоречия, но сейчас удобнее продолжить его иначе. В пропозицион. исчислении имеется аксиома [[~?Эч]Э[{ Эр]]. Подставляя А вместо р и Гп вместо с?, получаем из нее, что |— [[»AD" rn]ZDX X [Гта3 А]]. Тогда п раз применяя свойство выводимости (4)* (при пустом О), получаем постепенно, что Г,, Г;,..., Гп | — [[~ А1Э Гп ] ZD | Гп ZDA]]. Далее, по свойству (7)* получаем, что Г,, Гг,..., Гп | — Гп з А, так как по (1)* имеет место Гп |— Гп и, следовательно, по (4)* —Г,, Г.,........ Гп |— Гл, то, еще раз применяя (7)*, получаем окончательно Г,,!^,..., г„ I- л. Хотя введенное для пропозицион. исчисления понятие выводимости и отличается от понятия выводимости в обычном содержат, мышлении, оно все же есть понятие содержательное— в том смысле, что утверждение о выводимости нек-рой формулы из нек-рых гипотез есть утверждение о существовании материального объекта (последовательности формул) с определ. свойствами. В соответствии с этим знак |— является содержат, сокращением, а, напр., запись X ~- X | —/содержат, утверждением, к-рое можно расшифровать так: «Если в качестве гипотез взять любую формулу X и ее формальное отрицание — X, то для всякой формулы Y существует В. формулы Y из гипотез X и -— X. Возможен, однако, и другой подход к изучению выводимости. Можно построить другую формальную систему, к-рая давала бы возможность формально получать свойства выводимости в первой системе. Это можно сделать, напр., так. Возьмем за основу уже построенное нами пропозицион. исчисление и несколько видоизменим его. Прежде всего добавим к алфавиту системы новую букву «|—», к-рую не будем относить к числу пропозицион. переменных. Добавим далее к правилам построения новое правило: 4) Если О — произвольная совокупность формул (в частности — может быть и пустая) и А — произвольная формула, то 0|— А есть предложение. Т. о., в новой формальной системе рассматриваются два вида выражений —«формулы» и «предложения», к-рые различаются тем, что в «предложениях» есть один знак «| -», а в «формулах»— нет. Содержательные сокращенные записи, напр. ранее доказанное для пропозицион. исчисления утверждение [рЭ?1 [[pD </] Z) г] |— г, превращаются в новой формальной системе в простые последовательности символов, а содержат, сокращение «I—»— в бес-содержат. символ. В качестве системы аксиом новой системы возьмем бесконечное множество предложений вида (1)* и (2)*, т. е. все предложения, к-рые могут быть получены из (1)* и (2)*, если вместо X и Y подставлять всевозможные формулы. Наконец, в качестве правил В. новой системы возьмем (3)*—(8)*, предварительно заменив всюду оборот «Если..., то»..., на оборот «Из... следует...». Построив новую формальную систему, можно тем самым частично формализовать метаязык ранее построенной системы, о возможности чего уже говорилось. А именно, формализовано понятие выводимости, относящееся к прежней системе. Для новой системы можно определить относящиеся к ней понятия В. и выводимости так же, как это раньше было сделано для пропозицион. исчисления, причем новое отношение выводимости не имеет ничего общего со знаком «[—», к-рый является теперь бессодержат. символом системы. В новой системе является, напр., доказательством следующая последовательность «предложений»: (1) [р 3?1н [р 3</] (аксиома, согласно (1)*) (2) [pDtfL ПрГэдЬНнСрГ)?] (получается из (1) по правилу вывода (4)*)
(3) [[pZDebHi-HpZwbr] (аксиома, согласно (1)*) (4) [[pZwJzw], [рЗдЗьИрГэдЪ'-] (получается из (3) по правилу (4)*; (5) [pZ3?l, l[p^qbr]-[[pz>qbr] (получается из (4) по правилу (3)*) (6) [pzx/1, [hO?fcwl!-/-(получается из (2) и (5) по правилу (7)*). Т. о., доказано, что в новом исчислении предложение [рЭ?], [ [р39fcy J>- г является теоремой. Для прежней системы было доказано нечто аналогичное, но в то время, как там это было содержат, утверждением, здесь это — бессодержат. набор символов. Однако новая система построена таким образом, что всякий раз, когда в прежнем исчислении доказуема нек-рая формула А, в новой системе доказуемо предложение — А, и наоборот, и каждый раз, когда в прежней системе формула А выводима из гипотез Г„..., Гп, в новой системе доказуемо предложение Г„..., Гп1-А и наоборот. Это и дает возможность считать символ «ь» новой системы формализацией отношения выводимости прежней системы и использовать новую систему для изучения свойств выводимости в старой. Лит.: К л и и и С. К., Введение в метаматематику, пер. с англ., М., 1957; Church A., Introduction to mathematical logic, Princeton, 1956; М о n t a g u e R. and H e n k i n L., On the definition of formal deduction, «J. Symbolic Logic», New Brunswick, 1956, v. 21, № 2, p. 129—36. В. Чернявский. Москва. ВЫВОДИМОСТЬ — см. Вывод (в математической логике). ВЫГОТСКИЙ, Лев Семенович [5(17) ноября 1896— 11 июня 1934] — сов. психолог. Окончил Моск. ун-т (1917). В. разрабатывал многие вопросы общей психологии, детской психологии, генетической психологии, дефектологии и психопатологии. Внес в сов. психологию важные принципиальные положения, рассматривая психику в развитии и с социальной точки зрения. Критика Выготским с материалистич. позиций теорий Кёлера, Штерна, Пиаже и др. до сих пор не потеряла своего значения. Соч.: Педагогическая психология, М., 1926; Этюды по истории поведения, М. — Л., 1930 (совм. с А. Р. Лурия); Воображение и творчество в детском возрасте, [М.—Л.], 1930; The problem of the cultural development of the child, «J. Genet. Psychol.», 1929, v. 36; Thought in schizophrenia, «Arch. Neurol, and Psychiatry», 1934, v. 31; Мышление и речь, М.—Л., 1934; Умственное развитие детей в процессе обучения, М., 1935; Избранные психологические исследования, М., 1956. ВЫДЕЛЯЮЩЕЕ СУЖДЕНИЕ — суждение, в к-ром речь идет о признаке, принадлежащем (или не принадлежащем) только предмету суждения и не принадлежащем (принадлежащем) всем прочим предметам или другим предметам, указанным в данном суждении. Напр., «Только спектр натрия заключает в себе яркую желтую линию». Всякое В. с. есть соединение утвердит, и отрицат. суждений. Одно из них утверждает принадлежность к.-л. признака (признаков) предмету (или предметам к.-л. класса), а другое отрицает принадлежность этого же признака (признаков) всем др. предметам или др. предметам, указанным в данном суждении. Так, суждение «Только спектр натрия заключает в себе яркую желтую линию» есть соединение суждений «Спектр натрия заключает в себе яркую желтую линию» и «Спектры других веществ не заключают в себе яркой желтой линии». Понятие о В. с. имелось уже у Аристотеля (он рассматривал его в первой книге «Топики»). В. с. изучались в ср.-век. логике; схоластами, в частности, был построен спец. логич. квадрат В. с. Лит.: Таванец П. В., Вопросы теории суждения, ВЫРАЗИТЕЛЬНЫЕ ДВИЖЕНИЯ — движения, характерным образом проявляющиеся при различных психич. состояниях (особенно эмоциональных) и служащие внешним выражением этих состояний. Самый значит, класс В. д. представлен в мимике и пантомиме. В более широком понимании В. д. включают и все оттенки голоса и интонации, служащие для ВЫРАЗИТЕЛЬНЫЕ ДВИЖЕНИЯ 311
Язык В. д. издавна стал общепонятным языком, для к-рого не существовало преград и к-рый не нуждался в переводе на другой язык. Понимание скрывающихся за В. д. чувств, переживаний, мыслей и даже противоречий в душевном состоянии человека стало возможным только благодаря существованию относительно постоянной связи между переживанием и его внешним проявлением, т. е. благодаря характерности внешнего выражения каждого душевного состояния. Лучшие актеры всех времен и народов знали тайну мимики, жестов, движений тела, позы и умели с поразительным правдоподобием воплощать на сцене все богатство и многообразие человеч. переживаний. Не зная ничего о природе и происхождении В. д. и опираясь лишь на эмпирически найденные законы выражения чувств, они в совершенстве владели игрой мышц (в первую очередь лицевых) и передавали с тончайшими оттенками все свойственные человеку душевные состояния: тревогу, скорбь, гнев, страх, мужество, радость, раздумье, гордость, обиду, горечь, смущение, благодарность, искренность, лживость, хитрость, коварство, добродушие, беспечность, подозрительность, жестокость, сочувствие, жалость, благородство, насмешливость, недоверие, брезгливость, равнодушие, лицемерие, стыдливость, преданность, нетерпение, лесть, подобострастие, иронию, воодушевление, восторженность, любовь, ненависть и т. д. Внешнее выражение эмоций всегда приковывало к себе внимание художников, скульпторов и писателей, от наблюдательности к-рых не ускользнул ни один оттенок В. д. В основу первых, восходящих к глубокой древности попыток построения физиогномики (Аристотель, Гален и др.) были положены представления о специфич. и постоянном характере В. д., свойственных каждой эмоции. Ораторское иск-во древности опиралось на определ. сведения о выразит, роли жестов (трактат Квинтилиана — Quintilianus, Institutiones oratoriae, 1471, написанный в конце 1 в. н. э.). Подробные описания В. д. начали появляться в 17 в. (J. Bulwor, Pathomyotomia..., 1649; Ch. Le Brun, Conferences sur l'expression des passions, 1698).
Воспользуйтесь поиском по сайту: ![]() ©2015 - 2025 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...
|