МЫШЛЕНИЕ. — активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах и т

— активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах и т. п., имеющий опосредованный, обобщенный характер, связанный с решением нетривиальных задач; высший продукт особым образом организованной материи — человеческого мозга. М. опосредствовано: а) ощущениями и восприятиями, на базе которых формируется мыслительный акт; б) прошлым опытом, благодаря чему внешние причины (объекты познания) отражаются в голове человека через посредство внутренних условий (накопленного ранее опыта); в) познанием чувственно воспринимаемого, непосредственно наблюдаемого, на основе анализа которого человек отражает в М. такие стороны действительности, которые не даны ему в непосредственном опыте (напр., с помощью М. человек формирует понятия о причинной связи, точке, бесконечности и т. п., которые не даны ему в непосредственном опыте). Обобщенный характер М. (см.: Обобщение) в своей развитой форме специфичен лишь для человека. Обобщенность М. выявляется в способности человека познавать общие характеристики предметов в единичном, осуществлять переходы от менее общего к более общему (см.: Тождество), формировать общие понятия, общие суждения (см.: Суждение), законы, нормы, научные теории и т. п. Способность к решению нетривиальных задач означает, что М., как и процесс трудовой деятельности, лежащий в основе формирования мыслительной деятельности, является целеустремленным, активным, связанным с открытием нового, с принятием соответствующих решений, с подчинением ближайшей цели конечному результату, с изобретением и применением различных мыслительных средств для достижения этого результата.

Механизмы М. исследуются различными науками: психологией, физиологией высшей нервной деятельности, логикой, кибернетикой и др. Характерным для логико-гносеологических исследований М. является изучение его в связи с проблемами адекватного отражения изучаемых объектов в мысли, в связи с задачами достижения истины в процессе познания, в связи с теми приемами и процедурами, правильное использование которых является необходимым условием достижения верного, истинного знания. Важной задачей философско-гносеологических исследований М. является изучение его исторического развития, его форм как средств познания, социальных детерминаций познания. М. неразрывно связано с мозгом, но не может быть полностью объяснено физиологией высшей нервной деятельности. М. - продукт не только биологической эволюции человека, но и его развития как общественного существа. М. возникло в процессе коллективной трудовой деятельности людей. Оно имеет общественную природу и по особенностям своего возникновения, и по способу функционирования. М. человека осуществляется в теснейшей связи с речью; его результаты фиксируются в языке. М. свойственны такие процессы, как абстракция, анализ и синтез, формулирование задач и поиски их решения, идеализация, усмотрение в изучаемых объектах неочевидных сходств и различий, обобщение, формирование понятий различных уровней абстракции и обобщенности, объяснение и обоснование полученных в ходе изучения действительности результатов, выдвижение гипотез и т. п. Важной формой обеспечения способности М. к опосредствованному отражению действительности является использование умозаключений, на основе которых, опираясь на приобретенный опыт и правила логики, мы можем получать новые знания. Научные теории являются концентрированной фиксацией знаний о тех или иных сторонах, аспектах изучаемой действительности и отправной точкой для ее дальнейшего исследования. В последнее время важный вклад в наше понимание механизмов М. вносит кибернетика.

НАУКА

— одна из сфер человеческой деятельности, функцией которой является производство и систематизация знаний о природе, обществе и сознании. Н. включает в себя деятельность по производству знания. Термин «Н.» употребляется также для обозначения отдельных областей научного познания — физики, химии, биологии и т. п.

Предпосылками возникновения Н. являются общественное разделение труда, отделение умственного труда от физического и превращение познавательной деятельности в специфический род занятий первоначально небольшой, но постоянно растущей группы людей. Отдельные элементы научного знания появились еще в Древнем Китае, Индии, Египте, Вавилоне. Однако возникновение Н. относят к VI в. до н. э., когда в Древней Греции появляются первые теоретические системы, противостоящие религиозно-мифологическим представлениям. Особым социальным институтом Н. становится в XVII в., когда в Европе возникают первые научные общества и академии, начинают выходить первые научные журналы. На рубеже XIX—XX вв. возникает новый способ организации Н. — крупные научные институты и лаборатории с мощной технической базой. Если до конца XIX в. Н. играла вспомогательную роль по отношению к производству, то в XX в. развитие Н. начинает опережать развитие техники и производства, складывается единая система «Н. — техника — производство», в которой Н. принадлежит ведущая роль. В настоящее время Н. пронизывает все сферы общественной жизни: научные знания и методы необходимы и в материальном производстве, и в экономике, и в политике, и в сфере управления, и в системе образования. Н. оказывает революционизирующее влияние на все стороны общественной жизни, являясь движущей силой научно-технической революции.

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

По их отношению к практике Н. и научные исследования принято разделять на фундаментальные и прикладные. Основными целями фундаментальных Н. являются познание сущности явлений, открытие законов, управляющих течением наблюдаемых процессов, обнаружение глубинных структур, лежащих в основе эмпирических фактов. В методологических исследованиях под Н., как правило, имеется в виду именно фундаментальная Н. Однако в последние десятилетия все большее место в Н. занимают прикладные исследования, непосредственной целью которых является применение результатов фундаментальных Н. для решения технических, производственных, социальных задач. Ясно, что развитие фундаментальных Н. должно опережать рост прикладных исследований, подготавливая для последних необходимую теоретическую основу.

Попытки выработать точное определение Н., научного знания, научного метода, определение, которое позволило бы отделить Н. от других форм общественного сознания и видов деятельности — от искусства, философии, религии, — не увенчались успехом. И это вполне естественно, ибо в процессе исторического развития границы между Н. и не-наукой постоянно изменяются: то, что вчера было не-наукой, сегодня обретает статус Н.; то, что мы сегодня считаем Н., завтра может быть отброшено как псевдонаука. Однако некоторые черты Н., отличающие ее от других форм общественного сознания, все-таки можно указать. Напр., от искусства Н. отличается тем, что дает отображение действительности не в образах, а в абстракциях, в понятиях, стремится к их логической систематизации, дает обобщенное описание явлений и т. д. В отличие от философии, Н. стремится к открытию новых фактов, к проверке, подтверждению или опровержению своих теорий и законов, использует наблюдение, измерение, эксперимент как методы познания и т. п. По отношению к религии Н. отличается тем, что старается ни одного положения не принимать на веру и периодически возвращается к критическому анализу своих оснований. Тем не менее Н., искусство и философию объединяет творческое отношение к действительности и ее отображению, элементы научного знания проникают в искусство и философию, и точно так же элементы искусства и философии являются неустранимым компонентом научного творчества.

Различные стороны Н. изучаются целым рядом особых дисциплин: историей науки, логикой науки, социологией науки, психологией научного творчества и т. п. С середины XX в. начала формироваться особая область, стремящаяся объединить все эти дисциплины в комплексное исследование Н. — науковедение.

«НЕ ВЫТЕКАЕТ», «НЕ СЛЕДУЕТ» (лат. поп sequitur)

— логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемого тезиса.

Ошибка «Н. с.» часто встречается в повседневных рассуждениях и спорах. Многие люди полагают, что если они связали некоторые суждения словами «таким образом», «итак», «следовательно» и т. п., то они тем самым задали логическую связь между ними, т. е. построили последовательное рассуждение. Однако часто в таких рассуждениях вместо подлинной логической связи имеется просто грамматическая связь предложений.

Всякая ошибка в демонстрации доказательства, связанная с нарушением логических правил, приводит к ошибке «Н. с.».

НЕДОКАЗАННОЕ ОСНОВАНИЕ» ДОКАЗАТЕЛЬСТВА - логическая ошибка, заключающаяся в том, что в число аргументов доказательства включается положение, которое само нуждается в доказательстве (см.: Предвосхищение основания).

НЕЗАВИСИМОСТЬ (в логике и математике)

— невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом. Если какую-то аксиому можно вывести из остальных, ее можно исключить из списка аксиом, при этом исходная теория не изменится, класс доказуемых в ней предложений останется тем же.

Зависимая система аксиом содержит лишние аксиомы и в этом смысле является менее совершенной, чем независимая.

Требование Н. распространяется и на правилавывода аксиоматической теории. Исходное правило вывода независимо, если оно не может быть получено в качестве производного правила в системе, из которой оно исключено. Можно также сказать, что аксиома или правило вывода независимы, если существует теорема, которая не может быть доказана без этой аксиомы или этого правила вывода.

Н. имеет по преимуществу эстетическую и дидактическую ценность. Исследование Н. способствует, как правило, лучшему пониманию строения изучаемой теории и ее возможностей.

Исторически первым доказательством Н. было доказательство невыводимости пятого постулата Евклида о параллельных из остальных его постулатов.

Требование Н. может быть распространено не только на аксиомы и правила вывода аксиоматических теорий, но и на исходные их термины (понятия). Термин независим, если он неопределим через остальные исходные термины. Теория с неизбыточным исходным словарем не содержит лишних понятий и является в этом отношении более совершенной, чем теория с зависимыми понятиями.

Зависимость некоторой аксиомы от остальных показывается путем вывода ее из них. Н. аксиомы можно доказать, найдя свойство, присущее всем другим аксиомам и не присущее рассматриваемой.

НЕОБХОДИМОСТЬ (логическая)

— одна из модальных характеристик высказывания (наряду с «возможностью», «случайностью» и «независимостью»); необходимым является высказывание, отрицание которого логически невозможно.

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

Нечто необходимо, если оно не может быть иным, чем оно есть. В зависимости от того, на какое основание опирается утверждение о Н., можно выделить три ее вида: логическую Н.,

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

Н. логическая изучается модальной логикой в связи с понятиями возможности, случайности и др. В число законов, устанавливаемых этой ветвью логики, входят, в частности, утверждения: о из Н. высказывания вытекает его истинность (но не наоборот); о логические следствия необходимого также необходимы; > > высказывание и его отрицание не могут быть вместе необходимыми, и т. п.

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

Логическая невозможность высказывания определяется как Н. логическая его отрицания. Логическая случайность высказывания означает, что ни оно само, ни его отрицание не являются логически необходимыми.

НЕОБХОДИМЫЕ И ДОСТАТОЧНЫЕ УСЛОВИЯ (в логике и математике)

- условия, устанавливающие зависимость истинности к.-л. утверждения А от наличия условий, фиксируемых в другом утверждении Я Необходимымиусловиями истинности утверждения А называются условия, без соблюдения которых А не может быть истинным. Достаточными называются такие условия, при наличии (выполнении, соблюдении) которых утверждение А является истинным. Условия могут быть необходимыми, но недостаточными, достаточными, но не необходимыми, необходимыми и достаточными.

Так, делимость числа п на 2 есть необходимое, но недостаточное условие его делимости на 6 (т. е. необходимое, но недостаточное условие истинности утверждения: «Число п делится на 6»). Это условие является необходимым потому, что без его наличия число п не будет делиться на 6. Это условие не является достаточным потому, что при его наличии число п не обязательно будет делиться на 6. Наоборот, делимость числа п на 6 будет достаточным, но не необходимым условием его делимости на 2, потому что при его наличии число п всегда будет делиться на 2. Это условие не является необходимым, потому что, если число не делится на 6, оно не обязательно не делится на 2. Условие же делимости числа и на 2 и на 3 есть необходимое и достаточное условие его делимости на 6: если не соблюдено условие, то утверждение «Число n делится на 6» будет ложным (условие является необходимым); если же условие соблюдено, то утверждение «Число п делится на 6» будет истинным (условие является достаточным).

НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике)

— умозаключение из одной посылки. К числу Н. у. относятся обращение суждений, превращение суждений, противопоставление предикату, некоторые умозаключения по логическому квадрату, напр. от истинности общих суждений (А и Е) к истинности соответствующих частных суждений (I и О) и др.

Иногда Н. у. ограничиваются умозаключениями из простых атрибутивных суждений, иногда же в их число включаются и умозаключения из суждений с отношениями, и умозаключения из сложных суждений (см.: Суждение). В последнем случае к числу Н.у. относятся и такие умозаключения из одной посылки, как, напр., умозаключения из суждений вида xRy, где R — симметричное отношение. Так, из посылки а = b можно получить заключение b = а; к их числу можно отнести и контрапозицию условного суждения (см.: Контрапозиции законы). Так, из суждения «Если число п делится на 6, то оно делится и на 2» можно сделать заключение «Если число п не делится на 2, то оно не делится на 6».