Человеческое мышление



ЛОГИКА КАК НАУКА

1. Возникновение и генезис понятия логики.

Логика зародилась и развивалась в лоне философии. Поскольку длительное время мышление не выделялось философами из всего сущего, а то и отождествлялось с бытием точнее, бытие наделялось чертами, характерными для мислення1, выявить первых зародышей логической науки непросто.

Срок логика происходит от древнегреческого слова иоgos, Что означает слово, ум, мысль и имеет несколько значений. Сформулируем основные значения срока логика :

1 Познавая мир природу, общество, свою личность, люди пользуются сроками объективная логика и субъективная логика. Под объективной логикой Понимают объективный ход вещей, событий, независимый от мышления, сознания человека, то есть объективную закономерность, последовательность, необратимость развития всего существующего и необходимую связь между предметами и явлениями объективного свитув этом значении часто используют высказывание логика вещей, логика событий, логика истории и ин. Под субъективной логи Творю понимают особенности индивидуального мышления человека в этом значении часто используют высказывание железная логика, черно-белая логика, мужская логика, женская логика и ин.

2 Этот срок употребляют в значении рациональное мышление лат. ratio - Ум.

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

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

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

2. Логика как наука : ее предмет, метод, а также практическое значение ее знаний.

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

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

Особенности логики как науки :

- Изучает законы и формы умственной деятельности людей на основании анализа их Языковых высказываний, то есть через реализацию материализацию результатов умственной деятельности в языке; создает свой специфический язык логический язык для анализа структуры мышления и формализации знания.

- изучение логики по Требує сосредоточения и систематического подхода. Все разделы учебника взаимоувязаны, нельзя понять следующую тему, не усвоив предыдущую. Изучение логики нуждается много времени и в определенных усилиях. Как сказал один мудрец: В водах логики не следует плыть с поднятыми парусами.

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

В результате успешного усвоения теоретического материала и Отработка его на практике студент сможет:

выявлять основные понятия в тексте, выяснять их структуру, устанавливать отношение между ними;

логично правильно разделять, классифицировать, определять понятие;

находить ошибки в разделениях, классификациях, определениях, критиковать их и не допускать в своих рассуждениях;

выявлять логическую структуру высказываний и на основании этого истолковывать их;

рассуждать в соответствии с законами логики; находить помилкив текстах и рассуждениях других людей, связанные с их нарушением;

анализировать вопросительно-соответствующие ситуации, логично корректно задавать вопрос и давать ответы на них;

выявлять рассуждение, исходные положения и последствия, которые содержатся в тексте;

выводить рациональные выводы а имеющейся информации в соответствии с правилами и законами логики;

логично грамотно строить свои рассуждения и находить ошибки в рассуждениях оппонентов;

конструировать корректную аргументацию;

убедительно критиковать аргументацию оппонента;

избегать типичных ошибок у аргументаций и критике;

распознавать приемы манипулирования собеседником и противостоять им.

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

Знание логики значительно помогает юристу:

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

применять логические методы в процессе криминально-правовой квалификации преступления;

строить судебно-следственные версии с использованием методов логики;

складывать четкие планы расследования преступлений;

применять логические методы в процессе прогнозирования преступности и оценки деятельности правоохранительных органов;

не допускать логических ошибок при складывании официальных документов : протоколов допроса и обзора места события, решений И Постановлений, рапортов, договоров и тому подобное;

на высоком уровне проводить споры в суде: отстаивать
собственное мнение и критиковать мнение противника; быстро находить логические ошибки в ходе судебного заседания;

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

Современная логика

В истории логики Выделяют два этапа:

1. От логики Давнего мира к возникновению во второй половине XIX ст. современной логики.

2. От второй половины XIX ст. до наших дней.

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

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

Джордж Буль 1815-1864 - Один из основателей Математической логики. Положив в основу своих исследований аналогию между алгеброй и логикой, он разработал соответствующее логическое исчисление, в котором применил законы и операции математики добавления классов, умножения и тому подобное. Алгебрологичний метод дал возможность Булю выявить новые типы выводов, которые не учитывались в традиционной силогистици. Он детально проанализировал законы коммутативности, ассоциативности, дистрибутивности.

Огастес где Морган 1806-1871 - основатель логического анализа отношений, в частности предложил формулу суждений отношения, которая напоминает современную формулу "аКЬ". Он Сформулировал основные принципы логи Ки высказываний и логики классов. В разработанной им алгебре отношений анализировал операции добавления, умножения и тому подобное. В математической логике Морган сформулировал законы, которые носят его имя - "законы где Моргана".

Готлиб Фреге 1848-1925 Заложил основы логической Семантики. В своем фундаментальном труде "Основные законы арифметики" он построил систему формализированной арифметики на основе разработанного им расширенного исчисления предикатов с целью обоснования идеи о возведении математики к логике.

Идеи Фреге во многом заранее определили развитие логики XX в. он ?вив понятие логической функции и различение свойств вещей и отношений а соответственно одноместных и многоместных логических функций; впервые ?вив символы для обозначения кванторов; ?вив понятие истинностного значения и тому подобное.

Фреге систематически исследовал отношение между языковыми выражениями и предметами, которые обозначаются этими выражениями; раскрыл отличие между значением и смыслом языковых выражений. Его труды расцениваются как начало нового этапа в развитии математической символической логики.

Чарлз-Самдерс Пирс 1839-1914 - Родоначаль Поникал семиотику общей теории знаков. В своем исчислении он использовал как строгую, так и нестрогую дизъюнкции. Пирс сформулировал законы материальной импликации. Длительное время его труды не были известны широкой научной общественности.

Давид Гильберт 1862-1943 достиг значительных успехов в применении метода формализации в толковании логических умозаключений, в разработке исчисления высказываний и предикатов, в исследовании аксиоматизации знаний. Он Осуществил строго аксиоматическое построение геометрии Евк-лида, что заранее определило дальнейшее развитие исследований из аксиоматизации научного знания, предложил развернутый план обоснования математики путем ее полной формализации. Правда, эта программа оказалась неосуществимой, однако ее идеи повлекли возникновение метаматематики теории доведений.

Альфред-Норт Уайтхед 1861-1947 в соавторстве из Б. Расселом написал трехтомный труд "Принципы математики", которая сделала значительный вклад в развитие математической логики.

Бертран Рассел 1872-1970 имеет большие заслуги в сфере разработки языка современной логической символики. Он систематически изложил теорию исчисления высказываний и теорию классов. В книге "Принципы математики" вместе с Уайтхедом развил математическую логику способом аксиоматизации и формализации исчислений высказываний, классов и предикатов, а также теорию типов как способу преодолевания парадоксов. Кроме того, Рассел исследовал логический аспект проблемы существования, логический статус дескрипциї, природу некоторых парадоксов и тому подобное.

Джузеппе Пеано 1858-1932 предложил идеи, благодаря которым был осуществлен переход от старой алгебры логики к математической в ее современном виде. Он ?вив принятые в современной математической логике символы есть - знак вхождения элемента к тому или другому множеству; ~из - знак включения множества; И - знак объединения множеств; П - знак пересечения множеств, сформулировал систему аксиом для арифметики натурального ряда.

Платон Порецький 1846-1907 первым в России разработал и читал курс математической логики. Он обобщил и развил достижение Дж. Буля, У. - С. Джевонса, Е. Шредера в сфере алгебры логики. Значительное место в трудах Порецького занимала "теория последствий". Им обобщенная теория силогистики традиционной логики, проанализированы некоторые не силогистични рассуждения и тому подобное.

Значительным является вклад в развитие современной логики и некоторых других ученых, в частности представителей львовско-варшавской школы, к которой принадлежали К. Твардовськйй, Я. Лукасевич, С. Лесьневський, А. Тарський, Т. Котарбиньський, К. Айдукевич и др. Они много сделали для развития логической семантики, теории множеств, модальной и многозначной, математической логики, для решения металогичних и методологических проблем и тому подобное.

Из истории логики в України1

Есть основания считать, что некоторые труды античных мыслителей из логики стали известными в Киевской Руси уже в XI ст. Наиболее известными среди античных мыслителей были Аристотель и Платон.

Письменные достопримечательности второй половины XV ст. среди которых были и книги научно-естественного содержания : трактаты из метафизики и логики, астрономическая и астрологическая литература свидетельствуют о культурно-литературном пробуждении в Украине. Именно в то время благодаря стараниям киевских книжников-вольнодумцев появляются переводы книг научно-энциклопедического характера под общим названием "Аристотелевьи вра-та", или "Тайная тайньїх", логических трактатов арабского философа XI - начала XII ст. Аль-Газали так называемая "Логика Авиасафа". Тогда же в Киеве была осуществленная компиляция староукраинским языком логических трудов средневекового еврейского ученого Моисея Маймонида. Она известна под разными названиями "Вещи Моисея Египтянина", "Словесница Моисея Египтя-нина", "Книга, глаголемая логика" и тому подобное. "Логика Авиасафа" и "Речи Моисея Египтянина" сыграли важную роль в распространении логических знаний, поскольку основательно знакомили читателей с основным содержанием "Органону" Аристотеля. Кроме этих трудов, в Украине на то время был известный трактат и. Дамаскина "Диалек-тика" где рассматривались такие логические вопросы: соотношения универсального и единичного; определение рода, вида и индивида; собственного и случайного признаков; толкование аристотелевских категорий; диалектические методы: подразделение, определение, решение анализ и доведение.

В XVI ст. Украина испытала влияние Реформации. Росла сеть протестантских учебных заведений. Особенное влияние имела Ракивська академия, где училось около тысячи студентов, среди которых было немало украинцев. Логику и метафизику там читали известные ученые X. Стегман и X. Остородт.

Курс диалектики и риторики читали в братских школах на рубеже XVI - XVII ст., в частности во львовской школе, организованной Львовским Успенским братством. Правда, в это время наблюдалось негативное отношение к "язьических любомудрцев" и их произведений, особенно философских и логических. Это оказалось в советах и. Вишенського Львовскому братству не прибегать к внешней философии, языческим Аристотелям и Платонив, в "Алфавите духовному" и. Копинського и других тогдашних авторов.

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

Распространению логических знаний способствовала деятельность ученого кружка типографии Киево-печерской лавры. В это время наблюдалось движение от патристики к схоластике и гуманистическим идеям. Кстати, схоластику не нужно рассматривать как полностью негативное явление, поскольку она, абсолютизируя духовность, была "гимнастикой ума", обеспечивала то развитие абстрактного мышления и логического выведения, без которого невозможно было перейти к высшим этапам историко-философского прогресса, в том числе и гуманизму.

Логика была обязательным предметом изучения в Киево-могилянской академии. Правда, поскольку она скомпрометировала себя в средние века службой теологии, то как в Западной Европе, так и в Украине в Киево-могилянской академии некоторое время было модно подчинять логику риторике. Причем, каждый преподаватель риторики складывал собственный курс. Но в конечном итоге логика заняла одно из ведущих мест в системе лекционных философских курсов Киево-могилянской академии. О ее высоком авторитете в этом учебном заведении свидетельствуют многочисленные высказывания, имеющиеся в философских курсах, логику называли "глазами ума", "зарей мышления", "оракулом истины", "дорогой к мудрости". Большого значения предоставляли логике отечественные просветители. Они различали логику "естественную" и "искусственную", то есть логику как науку.

В конце XVIII - в начале XIX ст. проблемы логики изучал П. Лодий, который опубликовал результаты своих исследований в трудах "Логические наставленный" и "Теория общих правил". Значительный вклад в развитие логики сделал О. Потебня.

В период советской власти в Украине формальную логику длительное время игнорировали, а то и критиковали как основу метафизического метода. Только во второй половине 40-х годов при таинственных обстоятельствах она была реабилитирована "молча", и курс формальной логики введен к программам не только вузов, но и средних школ и некоторых специальных средних заведений образования крайности тогда были нормой жизни. А через какое-то время курс логики изъяли из программ средних учебных заведений и большинства вузивських1. Современную же логику, в частности логику высказываний и логику предикатов, пренебрежительно называли логистикой. Лишь в 1961 г. Є. Войшвилло прочитал в Киевском;государственном университете для преподавателей логики курс лекций по логике высказываний и логики предикатов. В то же время в Институте философии АН УССР начинали свою работу М. Попович и С. Крымский а в Одессе - А. Уйомов. Эти киевские ученые и их ученики - С. Васильєв и Є. Ледников - сделали определенный вклад в развитие символической логики, логической семантики и семиотики и пробудили любопытство к этой сфере знаний.

В последние десятилетия в Украине выросла целая когорта ученых, которые плодотворно работают над проблемами современной логики. Это в первую очередь А. ишмуратов, В. Оме-льянчик и другие.

4. Особенности общей или традиционной аристотелевской логики.

Под сроком общая традиционная аристотелевская логика объединяют: Античную логику, В становление и развитие которой сделали взнос Парменид, Зенон Єлейський, Сократ, Платон, Аристотель, Теофраст, Хрисипп и другие античные философы; Схоластическую логику, В развитие которой на основании античной логики сделали взнос М. Пселл, Р. Луллий, Р. Декарт и др. 1

Особенности общей или традиционной логики заключаются в следующем:

А исследуя формы и законы мышления, она лишь частично абстрагируется от гносеологического содержания мыслей, то есть содержание мыслей учитывается при анализе структуры построения мышления;

Б при изображении структуры мыслей используется естественный язык и частично искусственный формализированный язык, то есть особенная система знаков и символов. Использование особенной искусственной знаковой системы для изображения структуры мышления получило название метод формализации, сущность которого будет рассмотрена в разделе 3;

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

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

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

5. Особенности символической или математической Логика.

Под сроком символическая математическая логика объединяют разнообразные логические теории системы знания, которые при исследовании форм и законов мышления полностью абстрагируются от конкретного содержания мыслей; при изображении структуры мышления используют особенную систему знаков и символов искусственный или формализированный язык; исследуют рассуждение, рассуди как необходимый переход от одних высказываний к другим срок логика в узком значении и при этом правильность розсудив независима от содержания этих высказываний; оперируют категориями истинное значение высказывания и ошибочное значение высказывания, которые не всегда имеют гносеологическое содержание анализ этих категорий будет приведен в разделе V.

Впервые основы символической логики были разработаны еще немецким философом, логиком и математиком Г. В. Лейбницем 1646-1716, а как самостоятельная научная дисциплина она стала формироваться с середины XIX ст. в результате научных исследований таких выдающихся математиков и логиков как Дж. Буль, Г. Фреге, А. где Морган, Е. Шредер, Б. В. Рассел, А. Уайтхед, П. Порецкий и др. Г. В. Лейбниц выдвинул идею о возможности выразить логическую операцию доведения обоснования истинности определенного высказывания с помощью других истинных высказываний в форме математического исчисления, используя особенный язык, который бы, в отличие от естественного языка, мог более точно и однозначно выражать формы мышления понятия, высказывания, умозаключения и связки между формами мышления.

Английский логик и математик Дж. Буль 1815-1864 разработал исторически первую систему математической логики, которая получила название алгебра логики, или булевая алгебра, в которой он применил символику алгебры к логическим исследованиям форм и законов мышления.

Немецкий логик, математик, философ Г. Фреге 1848-1925 впервые построил строгое аксиоматическое исчисление высказываний и предикатов и обосновал возможность логической формализации арифметики.

Таким образом, символическая математическая логика возникла на грани логики и математики в результате использования математических методов в логических исследованиях математизация, алгебраизирование логики и логического метода формализации в математике логицизм.

Классическая символическая логика Включает у себя такие разделы направления как логика высказываний и логика предикатов. Логикой вислов Лювань Или Пропозицийною логикой Называют раздел современной символической логики, который изучает функционально-истинностни взаимосвязи между высказываниями и принципы и правила формализации этих взаимосвязей. Логикой предикатов Или Кванторною логикой Называют раздел современной символической логики, который изучает суб'єктно-предикатну структуру высказываний и обусловлены этой структурой функционально-истинностни взаимосвязи между высказываниями.

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

Неклассическая символическая логика Включает у себя разнообразные логические теории многозначная логика, модальная логика, паранесупе-речлива логика, интуїционистська логика, теория логического следования, индуктивно-ймовирнистна логика и ин. Первая неклассическая логика логические системы знания появились в первой половине ХХст. в результате научных исследований таких логиков как Я. Лукасевич, Е. Пост, К. Льюїс, А. Гейтинг и др.

Особенностью неклассической символической логики Есть то, что она : а использует понятие, принципы и методы, которые отличаются от тех понятий, принципов и методов, которые используются в классической логике. Такие логические теории, которые в чем-то имеют расхождение с классической логикой, еще называют девиантными.1; бы строит формально-логические теории на новых принципах принцип многозначности высказываний, модальности, релевантности и др. и аксиомах; в создает и использует качественно новый формализированный язык для выражения нестандартных взаимосвязей между высказываниями; г оперирует П2 истин-ностними значениями высказываний.

6. Теоретическая и практическая логика.

Кроме перечисленных типов логики, которые возникли исторически, существует другая классификация типов логики, то есть, виризнють теоретическую и практическую логику.

Основатель науки логики Аристотель рассматривал логику как теоретическую часть философии. В философии Аристотель выделил две части: практическую и теоретическую. Практическая включает этику и политику; теоретическая - физику и логику.

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

Подол логики на теоретическую чистую и практическую прикладную, осуществленный и. Кантом, был развитым немецким философом Регелем, а следовательно другими философами и логикой.

Г. Регель 1770-1831 рассматривал логику в своей системе философских наук. Логика есть наука о чистой идее, то есть об идее в абстрактной стихии мышления.. есть наука о мышлении, о его определении и законах..1, а другие философские науки - философия природы, философия духа, напротив, являются будто прикладной логикой, поскольку последняя есть их животворная душа..

В наше время до теоретической логики относится не только общая традиционная логика, но и все другие типы логики, о которых уже шла речь.

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

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

Практическая логика. Этот срок имеет несколько значений:

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

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

3 Как определенная совокупность логических теорий или направление современных логических исследований, которые изучают и формализируют высказывание с оператором намеревается стремится, желает, способный, может, хочет и ин.' К практической логике формально-логических теорий относятся логика действия, логика принятия решений, логика выбора, логика преимущества, логика диалога, эвристика, праксиология, конфликтология и др.