Неклассический облик логики.

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

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

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

Первые многозначные логики построили независимо друг от друга польский логик Я. Лукасевич в 1920 г. и американский логик Э. Пост в 1921 г. С тех пор построены и исследованы десятки и сотни таких «логик». Я. Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и возможными, или неопределенными. Э. Пост подходил к построению многозначных логик чисто формально. Пусть 1 означает истину, а 0 — ложь. Естественно допустить тогда, что числа между единицей и нулем обозначают какие-то уменьшающиеся к нулю степени истины. 

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

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

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

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

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

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

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

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