ВЫБОР ТЕОРИИ(theory choice) — принятие ученым или научным сообществом решения о предпочтении одной из двух или более конкурирующих схем описания и объяс-

466

ВЫВОД ЛОГИЧЕСКИЙ нения изучаемой области реальности. В философии науки термин «выбор теории» применяется для обозначения ситуаций, возникающих при решении задачи теоретической реконструкции переходных периодов в развитии научного знания. Переходные периоды характеризуются конкуренцией старой и новой теорий и (или) парадигм, претендующих на адекватное описание и объяснение одной и той же области эмпирических данных. Разрешением такой ситуации и является выбор одной из теорий (парадигм). Центральным при этом оказывается вопрос о критериях и процедурах оценки и отбора теорий. Предлагались различные модели ситуаций выбора. Одна из них _ социологическая, принадлежащая Т. Куну. Согласно ему, не существует рациональных доводов, на основании которых ученый мог бы предпочесть новую парадигму старой. Выбор теории осуществляется путем «переключения гештальта». Реконструкция ситуации выбора предполагает обращение к социо-психологическим факторам — изменению убеждений научного сообщества. Был предложен также ряд «рациональных» реконструкций переходных периодов. Одна из них принадлежит И. Лака- тосу. Согласно ему, выбор теории осуществляется на основании критерия, который Лакатос охарактеризовал как «прогрессивный сдвиг проблем», обеспечиваемый новой парадигмой. Другие предлагавшиеся критерии выбора теории — способность теории решать проблемы (Л. Лау- дан); критерий увеличивающегося правдоподобия теорий (У. Ньютон-Смит), близкий к лакатосовскому «прогрессивному сдвигу проблем»; прагматический успех теории (М. Хессе)идр. В научном познании существует язык наблюдений, который, будучи теоретически нагруженным, тем не менее является нейтральным по отношению к последовательно сменяющим друг друга теориям. Хотя критерии оценок и отбора теории исторически изменчивы, в них есть инвариантное, кросспарадигмальное содержание, которое позволяет реконструировать процедуру выбора как рациональную. См. также ст. Теория. Лит.: Мамчур Е. А. Проблема выбора теории. К анализу переходных ситуаций в развитии физического знания. М., 1975. ?. А. Мамчур

ВЫБОРА АКСИОМА- см. Множеств теория.

ВЫВОД ЛОГИЧЕСКИЙ— рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности) следующие требования: 1) правила перехода должны воспроизводить отношение следования логического (ту или иную его разновидность); 2) переходы в логическом выводе должны осуществляться на основе учета только синтаксических характеристик высказываний или систем высказываний. В современной логике понятие логического вывода определяется для формальных систем, в которых высказывания представлены формулами. Обычно выделяют три основных типа формальных систем: аксиоматические исчисления, исчисления натурального вывода, исчисления секвенций. Стандартное определение логического вывода (из множества формул Г) для аксиоматического исчисления S таково: логический вывод в S из множества формул Г есть такая последовательность Ау.. Ап формул языка исчисления S, что для каждой А.(\ < / < п) выполняется, по крайней мере, одно из следующих трех условий: 1 ) А. есть формула из Г; 2) А. есть аксиома исчисления S; 3) А. есть формула, получающаяся из предшествующей ей в последовательности Аг..Ап формулы или из предшествующих ей в этой последовательности формул по одному из правил вывода исчисления S. Если а есть логический вывод в ,? из множества формул Г, то формулы из Г называются посылками a, a сам вывод а называется выводом в S из посылок Г; если при этом А есть последняя формула а, то а называется логическим выводом в S формулы А из посылок Г. Запись «Г|-5Л» означает, что существует логический вывод в S формулы А из посылок Г. Логический вывод в S из пустого множества формул называется доказательством в S. Запись «\-А» означает, что существует доказательство в S формулы А. Формула А называется доказуемой в S, если \-А. В качестве примера рассмотрим аксиоматическое исчисление 5, со стандартным определением вывода, являющееся вариантом классической логики высказываний. Алфавит этого исчисления содержит только пропозициональные переменные р{, р2, ..., рп, ..., логические связки о, ] и круглые скобки. Определение формулы в этом языке обычное. Аксиомы Sj — это формулы следующих шести видов (и только эти формулы): I. (Az>A), И. ((^d5)d(BdC)d(^dC))), III. ((Л=>(Я=>С) гэ (Я => (Л z> С))), IV. ((Az>(\B))z>(Bz>(U))), v. (0Oa)^a), VI. (((Az)B)z>A)z>A). Единственное правило исчисления 5, модус поненс: А, А^В\-В. Определение логического вывода для S{ является очевидной конкретизацией определения, данного выше. Следующая последовательность формул Ф1—Ф6 является логическим выводом в Sx формулы (рх =>/?2)z>/?2) из посылок (pj. Ф1. №р/?2)=>(/>, z>p2)), Ф2. (((/>, э р2) => (р, э р2)) =>(/>,=) ((/>, о р2) з р2))), ФЪ.{р^{{р^р2)^р2)\ Ф4. >,, Ф5. ({р^р2)^р2). Анализ: Ф1 есть аксиома вида 1, Ф2 есть аксиома вида III, ФЗ получена по правилу модус поненс из Ф1 и Ф2, Ф4 есть посылка, Ф5 получена по правилу модус поненс из Ф4 и ФЗ. Итак, {р] jj-sl (р, з р2) z> p2). Рассмотрев последовательность формул Ф1, Ф2 ФЗ, убеждаемся, что hi(#=>p2)=>p2). В ряде случаев логический вывод определяется так, что на использование некоторых правил накладываются ограничения. Напр., в аксиоматических исчислениях, являющихся вариантами классической логики предикатов первого порядка и содержащих среди правил вывода только модус поненс и правило обобщения, логический вывод часто определяется так, что на использование правила обоб-

467

ВЫГОТСКИЙ щения накладывается ограничение: любое применение правилам обобщения в а таково, что переменная, по которой проводится обобщение в этом применении правила обобщения, не входит ни в одну посылку, предшествующую в а нижней формуле этого применения правила обобщения. Цель этого ограничения обеспечить ряд полезных с точки зрения логики свойств вывода (напр., выполнение для простых форм дедукции теоремы). Существуют определения логического вывода (как для аксиоматических, так и для исчислений других типов), которые (1) задают логический вывод не только из множества посылок, но допускают другие формы организации посылок (напр., списки или последовательности), (2) структурируют вывод не только линейно, но, напр., в форме дерева, (3) имеют явно выраженный индуктивный характер; при этом индуктивное определение вывода может вестись как по одной переменной (напр., по длине вывода), так и по нескольким переменным (напр., по длине логического вывода и по числу его посылок), (4) содержат формализацию зависимости между формулами в логическом выводе, и многие другие определения логического вывода, обусловленные иными способами формализации и аксиоматизации классических и неклассических систем лотки. О некоторых из них см. в ст. Аналитических таблиц метод, Семиотика, Исчисление секвенций. В. М. Попов

ВЫГОТСКИЙЛев Семенович [5 (17) ноября 1896, Орша — 11 июня 1934, Москва] — русский психолог. Окончил, юридический факультет Московского университета (участвовал в семинаре Г. Г. Шпета) и историко-философское отделение университета Шанявского (где прослушал курсы П. П. Блонского, сыгравшего важную роль в его духовном развитии). После учебы работает в Гомеле в различных учебных заведениях, организует психологическую лабораторию (1922—23). Ранние работы — «Трагедия о Гамлете, принце Датском, У. Шекспира» (1915—16), «Психология искусства» (1925, опубл. 1965) и «Педагогическая психология» (1924, опубл. 1926) — стали важным этапом в формировании его новаторской концепции психологии. После доклада на 2-м Всероссийском съезде по психоневрологии в январе 1924 приглашается на работу в Государственный институт экспериментальной психологии в Москве. В 1925 защищает диссертацию «Психология искусства», выступает с докладом на Международном конгрессе по обучению глухонемых детей (Лондон). Зимой 1925—26 написал большую работу «Исторический смысл психологического кризиса» (опубл. 1982), в которой дал анализ кризиса современной психологии и предпринял попытку использовать ряд философских принципов марксизма для определения программы выхода из этого кризиса. Высокая философско-методологическая культура — знакомство с психологическими течениями современности, творческая продуктивность определили стремительную и богатую по результатам эволюцию воззрений ученого. В те же годы складывается его тесное сотрудничество с А. Н. Леонтьевым, А. Р. Лурия и др. психологами, формируется одна из ведущих школ в мировой психологии — школа Выготского. Крупными вехами в его творческой биографии стали труды: «Орудие и знак в развитии ребенка» (1930, опубл. 1982), «История развития высших психических функций» (1931, опубл. 1960), где получили обоснование принципы культурно-исторической теории развития психики и экспериментально-генетический метод ее исследования. Существо культурного поведения Выготский усматривает в его опосредованности орудиями и знаками, а само формирование психических умений и способностей — в качестве процесса интериоризации. Последние годы его жизни были посвящены исследованию проблемы структуры сознания, его смыслового и системного строения. В книге «Мышление и речь» (1934) обосновывается подход к структуре сознания как динамической смысловой системе, представляющей собой единство аффективных, волевых и интеллектуальных процессов, и выявляется центральная роль слова в сознании в целом, а не в его отдельных функциях. Преждевременная смерть не позволила Выготскому завершить многие замыслы и начинания. На протяжении десятилетий развитие советской психологии, представленное такими именами, как А. Р. Лурия, А. Н. Леонтьев, А. В. Запорожец, П. Я. Гальперин, Д. Б. Эльконин, П. И. Зинченко и др., протекало под влиянием Выготского. Недобросовестная научная критика (уже с нач. 1930-х гт.) после разгрома педологии завершилась забвением его имени. После 1956 идеи Выготского обрели значительную популярность. В 1960—70-х гг. появилось несколько десятков изданий его трудов в других странах мира. Выготский — один из творцов неклассической психологии, представляющей собой (по определению Эльконина) науку о том, как из объективного мира искусства, из мира материальной культуры и промышленности рождается и возникает субъективный мир отдельного человека. Соч.: Собр. соч., т. 1-6. М, 1982-84. Лит.: Ярошевский М. Г., Гургенидзе Г. С. Л. С. Выготский о природе психики. — «ВФ», 1981, № 1; Леонтьев А. А. Л. С. Выготский. М, 1990; Выгодская Г. Л., Лифанова Т. М. Лев Семенович Выготский. Жизнь. Деятельность. Штрихи к портрету. М., 1996(библ.); BergE.E. L. S. Vygotsky's Theory of the Social and Historical Origins of Consciousness, Umpubliched doktoral diss. Wisconsin, 1970, v. 2; Toulmin S. The Mozart of psychology. - «Review of Books» (N. Y), 1978, 23 sept. А. И. Алешин