ЛИЧНОСТЬ 315

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

Марксистская филос. и социологич. концепция Л. имеет важное значение для этики, педагогики и др. наук, а также для практики коммунистич. строитель­ства и воспитания нового человека.

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

• Материалы XXV съезда КПСС, М., 1976; Материалы XXVI съезда КПСС, М., 1981; Замошкин Ю. А., Кризис бурж. индивидуализма и Л., М., 1966; К о н И. С., Социология Л., М., 1967; его же, Открытие «Я», М., 1978; Проблемы экспе­риментальной психологии Л., «Уч. зап. Пермского педагогич. ин-та», 1968, т. 59, в. 5; 1970, т. 77, в. 6; А н а н ь е в Б. Г., Че­ловек как предмет познания, Л., 1968; Б о ж о в и ч Л. И., Л. и её формирование в детском возрасте, М., 1968; Б у е в а Л. П., Социальная среда и сознание Л., М., 1968; Проблема человека в совр. философии, М., 1969; Ковалев С. М., О человеке, его порабощении и освобождении, М., 1970; Л е о н-т ь е в А. Н.,Проблемы развития психики, M., 1981⁴; его ж е, Деятельность. Сознание, Л., M., 1977²; С э в Л., Марксизм и теория Л., пер. с франц., М., 1972; ЯрошевскийТ. М., Л. и общество, пер. спольск.,М., 1973; Смирнов Г. Л., Сов. человек, M., 1981³; Теоретич. проблемы психологии Л.,М., 1974; Человек и его бытие как проблема совр. философии, М., 1978; Зейгарник Б. В., Теория Л. в зарубежной психологии, М., 1982; Α Π ρ о r t G. W., Pattern and growth in personali­ty, L.— N.Y ., 1.967; Bischof L. J., Interpreting perso­nality theories, N. Y.. 1970². И. С. Кон.

ЛОГИКА (греч. λογική, от λογικός — построенный на рассуждении, от λόγος — слово, понятие, рассужде­ние, разум) формальная, наука об общезначи­мых формах и средствах мысли, необходимых для рацио­нального познания в любой области знания. К обще­значимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли — определения, правила (принципы) образования поня­тий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых (правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т. п. Представляя общие основания для корректности мысли (в ходе рассужде­ний, выводов, доказательств, опровержений и пр.), Л. является наукой о мышлении — и как метод анализа дедуктивных и индуктивных процессов мышления, и как метод (норма) мышления, постигающего истину. Задача Л., к-рую вслед за Кантом обычно наз. фор­мальной Л., исторически сводилась к каталогизации правильных способов рассуждений (способов «обраще­ний с посылками»), позволяющих из истинных сужде­ний-посылок всегда получать истинные суждения-за­ключения. Известным набором таких способов рассуж­дений однозначно определялся процесс дедукции, ха­рактерный для т. н. традиционной Л., ядро к-рой сос­тавляла силлогистика, созданная Аристотелем. По мере изучения особенностей умозаключений и демон-

ЛОГИКА

стративного (доказывающего) мышления вообще предмет традиционной Л. постепенно расширялся за счёт не-силлогистич., хотя и дедуктивных способов рассужде­ний, а также за счёт индукции. Поскольку последняя выпадала из рамок Л. как дедуктивной теории, она ста­ла предметом особой теории — индуктивной логики.

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

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

Каждая из этих логич. теорий включает, как прави­ло, два осн. раздела: логику высказываний и логику

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

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

По мере использования логич. исчислений в качестве необходимой «техники мышления» собств. идейное со­держание логич. теорий совершенствуется и обогаща­ется, а растущие потребности решения науч. и прак-тич. задач стимулируют развитие старых и создание новых разделов Л. Примером может служить обуслов­ленное задачей обоснования математики возникнове­ние метатеории (теории доказательств) — в узком смысле как теории формальных систем, ограниченной рамками финитизма, и в широком — как металогики, воплощающей взаимодействие формальных (синтак-сич.), содержат. (семантич.) и деятельностных (прагма-тич.) аспектов познания. Мн. результаты, относящиеся к взаимоотношению формальных логич. систем и их моделей, а потому имеющие и общенауч. значение, полу­чены как металогич. теоремы (напр., о полноте Л. пре­дикатов первого порядка, о наличии счётной модели у любой непротиворечивой теории, формализуемой в языке предикатов первого порядка, о неполноте фор­мальных систем, включающих арифметику, и ряд др.), раскрывающие гносеологич. подтекст самой Л.

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

гич. ошибок, первую математич. модель атрибутивных отношений, указав на изоморфизм этих и объёмных отношений, и заложил основы учения о логич. доказа­тельстве (логич. обосновании истинности). Ученики Аристотеля (Теофраст, Евдем) продолжили его теорию применительно к условным и разделит. силлогизмам.

Потребность в обобщениях силлогистики в целях полноты учения о доказательстве привела мегариков к анализу связей между высказываниями. Диодор Крон и его ученик Филон из Мегары предложили па­раллельные уточнения отношения логич. следования посредством понятия импликации. Диодор толковал импликацию как модальную (необходимую) условную связь, а Филон — как материальную.

Логич. идеи мегарской школы восприняли стоики. Хрисипп принял критерий Филона для импликации и принцип двузначности как онтологич. предпосылку Л. Идею дедукции стоики формулировали более чётко, чем мегарики: высказывание логически следует из по­сылок, если оно является консеквентом всегда истин­ной импликации, имеющей в качестве антецендента конъюнкцию этих посылок. Это исторически первая формулировка т. н. теоремы дедукции, дающей общий метод формального доказательства средствами логики. Аргументы, основанные только на правильной форме дедукции и не исключающие ложность посылок, стоики наз. формальными. Если же привлекалась содержат. истинность посылок, аргументы наз. истинными. На­конец, если посылки и заключения в истинных аргу­ментах относились соответственно как причины и след­ствия, аргументы наз. доказывающими. Последние предполагали понятие о естеств. законах, к-рые стоики считали аналитическими, отрицая возможность их обо­снования посредством аналогии и индукции. Стоич. учение о доказательстве выходило за пределы собствен­но Л.— в область теории познания, и здесь дедукти-визм стоиков встретил филос. противника в лице ра­дикального эмпиризма школы Эпикура, к-рая в споре со стоиками защищала опыт, аналогию и индукцию. Эпикурейцы положили начало индуктивной Л., указав, в частности, на роль противоречащего примера в проб­леме обоснования индукции, и сформулировали ряд правил индуктивного обобщения (Филодем из Гадары).

На смену логич. мысли ранней античности пришла антич. схоластика, сочетавшая аристотелизм со стои­цизмом и заменившая искусство свободного исследова­ния искусством экзегезы (истолкования авторитетных текстов), популярной и в «языч.» школе поздних пери­патетиков, и в христ. школах неоплатоников. Из ново­введений эллино-римских логиков заслуживают вни­мания: логич. квадрат (quadrata formula) Апулея из Медавры, реформированный позднее Боэцием; поли­силлогизмы и силлогизмы отношений, введённые Га ле­ном; дихотомич. деление понятий и учение о видах и родах, встречающиеся у Порфирия; зачатки истории Л. у Секста Эмпирика и Диогена Лаэртия; наконец, ставшая с тех пор общепринятой латинизированная ло­гич. терминология, восходящая к соч. Цицерона и лат. переводам из аристотелевского «Органона», выполнен­ных Боэцием. В этот период Л. входит в число семи свободных иск-в, к-рые Марциан Капелла наз. энци­клопедией гуманитарного образования.

Логич. мысль раннего европ. средневековья беднее эллино-римской. Самостоят. значение Л. сохраняет лишь в странах арабоязычной культуры (аль-Фараби, Ибн Сина, Ибн Рушд), где философия остаётся относи­тельно независимой от теологии. В Европе же склады­вается в основном схоластич. Л.— церковно-школьная дисциплина, приспособившая элементы перипатетич. Л. к нуждам христ. вероучения. Только после того, как все произв. Аристотеля канонизируются церк. орто­доксией, возникает оригинальная (несхоластич.) ср.-