1) Способность правильно, т. Е. Логически,

мыслить; 2) учение о тождестве и его от-

рицании (Г. Якоби), учение о последова-

тельности и методах познания (наука ло-

гики). В качестве <элементарной формаль-

ной логики> она имеет дело с самыми об-

щими свойствами, присущими всем

(имеющимся) понятиям.

Осн. свойства понятий выражаются в

логических аксиомах (см. Аксиома). Сна-

чала рассматривается учение о понятии,

затем следует учение о суждении и, нако-

нец, умозаключении. Учения о логических

аксиомах, понятии, суждении и умозаклю-

чении, взятые вместе, образуют чистую

логику. Прикладная логика охваты-

вает в традиционной логике учение об оп-

ределении, о доказательстве, о методе. Ей

часто предпосылаются не научно-логиче-

ские, а теоретико-познавательные, психо-

логические учения о переживании, описа-

нии и формулировании (особенно с по-

мощью специального языка, терминоло-

гии) и об образовании понятий. Иногда к

ней присоединяют учение о системе.

Логика (как наука) - лишь учение о

мышлении в понятиях, но не о познании

посредством понятий; она служит повыше-

нию формальной точности сознания и объ-

ективности содержания мышления и по-

знания. Основателем западноевропейской

логики (как науки) является Аристотель,

<отец логики>. Слово <логика> появилось

впервые у стоиков; они и неоплатоники

уточнили отдельные моменты ее, а в эпоху

средневековья схоластика разработала ее в

мельчайших подробностях, в тонкостях.

Гуманизм изгнал из логики схоластику, но

обновить ее не мог. Реформация взяла на

вооружение логику Меланхтона, Контрре-

формация - логику Суареса. Поднявшись

принципиально над схоластикой, развивал

логику Иоганнес Штурм из Страсбурга;

более известным стал Пьер Раме. С 17 в.

стало заметным влияние на логику сфер

мысли, связанных с математикой, причем

в геометрическом методе Спинозы оно бы-

ло меньше, чем у Лейбница, который ис-

пользовал в логике совершенствующиеся

естественнонаучные методы. От Лейбница

и математики, а также и от неосхоластики

пошла логика школы Вольфа. Кантовская

<трансцендентальная логика> есть в дейст-

вительности критическая теория познания,

логика нем. идеализма (особенно логика

Гегеля) - спекулятивная метафизика.

Шопенгауэр, Ницше, Бергсон и сторонники

философии жизни отбросили традиционную

логику. В настоящее время логика распа-

лась на множество направлений: 1) метафи-

зическая логика (гегельянство); 2) психологи-

ческая логика (Т.Липпс, отчасти В.Вундт);

3) теоретико-познавательная, или транс-

цендентальная, логика (неокантианство);

4) семантическая логика (Аристотель, Кюль-

пе, современный номинализм); 5) предмет-

ная логика (Ремке, Мейнонг, Дриш); 6) нео-

схоластическая логика; 7) феноменологи-

ческая логика; 8) логика как методология

(неокантианство) и логистика, которая на-

ходится в центре споров о логике.

\ЛОГИСТИКА (математическая логика;

англ. symbolic logic) - современная фор-

ма логики. Она отличается от старой, тра-

диционной логики прежде всего своей

формализированностью (т. е. принимает

во внимание не содержательное значение

отдельных высказываний, а лишь их син-

таксические категории и их структурные

связи) и тем, что ее осн. методом является

логическое исчисление (это значит, что

выражения можно преобразовывать со-

гласно строгим правилам чисто формаль-

но, с ними можно производить логические

выкладки). Не из необходимости, но боль-

шей частью исходя из практических сооб-

ражений она широко использует символи-

ку (т. е. отдельные выражения обозначает

совершенно определенными знаками) и ак-

сиоматику (т. е. все существующие знаки

определяются через несколько осн., и все

законы выводятся по определенным прави-

лам выводов из нескольких осн. правил,

аксиом). Логистика в широком смысле -

это учение о логическом исчислении, его

предпосылках и применениях, в узком

смысле - только учение о логическом ис-

числении. Логическое исчисление есть сум-

ма логически интерпретированных исчис-

лений. Исчисление - это система знаков и

правил оперирования с ними. Пример та-

кого исчисления дает шахматная игра: по-

ля и фигуры представляют систему симво-

лов, правила ходов есть операционные

правила. Формальные предпосылки логи-

ческого исчисления разрабатывает мета-

логика, учение о философских осно-

вах логического исчисления; сюда относит-

ся синтаксис (учение об отношениях зна-

ков между собой; см. также Семиотика),

семантика и прагматика (учение об отно-

шениях между знаками и теми, кто их ис-

пользует).

В логистике можно выделить следую-

щие части: