Непосредственным результатом революции, произошедшей в логике в конце ХIХ — начале ХХ в., было возникновение теории, получившей со временем название «классическая логика». В ней впервые была реализована идея перенесения в логику тех методов, которые обычно применяются в математике, и прежде всего методов символизации, аксиоматизации и формализации.
Классическая логика является, таким образом, исторически первым этапом в развитии современной логики.
Классическая логика ориентировалась главным образом на анализ математических рассуждений. С этим связаны некоторые ее особенности, нередко оценивающиеся теперь как ее недостатки. В процессе развития она оказалась одной из многих логических теорий. Но это не означает, что ей принадлежит теперь только исторический интерес. Классическая логика по прежнему остается ядром современной логики, сохраняющим
как теоретическую, так и практическую ценность.
Разнообразные направления в логике, возникшие позднее, составляют то довольно неопределенное и разнородное целое, которое получило название неклассическая логика.
Различие между классическими и неклассическими логическими системами не сводится к чисто историческим моментам. Вторыми принимается во внимание, как правило, большее число факторов, определяющих логическую форму рассуждений.
Результатом этого являются теории, дающие более полное и детализированное описание процессов мышления.
В числе неклассических логических теорий — интуиционистская логика, многозначная логика, модальная логика и др.
Рассмотрим только модальную логику. Модальные высказывания— это высказывания, в которые входят модальные понятия, или модальности (от лат.modus— мера, образ, способ).
Модальная логика — раздел современной (неклассической) логики, занимающийся рассуждениями, в которые входят модальные высказывания.
Примеры модальных понятий: «возможно», «необходимо», «случайно», «убежден», «знает», «полагает», «обязательно», «разрешено», «запрещено», «хорошо», «безразлично», «плохо», «лучше», «хуже» и др.
Никакого точного и полного перечня модальных понятий не существует. Их круг широк, в языке они могут выражаться в разных контекстах разными словами.
Модальные понятия — понятия, конкретизирующие качественный характер связи (содержательный по Канту), установленной в высказывании. Каждая группа модальных понятий дает характеристику устанавливаемой в высказывании связи с некоторой единой точки зрения.
Так, для теоретико-познавательной конкретизации утверждений используются понятия «доказуемо», «опровержимо» и «неразрешимо», для нормативной — понятия обязательно», «разрешено» и «запрещено», для оценочной — понятия «хорошо», «плохо» и «безразлично» или понятия «лучше», «хуже» и «равноценно».
Модальная логика исследует наиболее интересные из групп модальных понятий и распространяет затем полученные результаты на другие их группы.
Модальные понятия разных групп выполняют одну и ту же функцию: уточняют устанавливаемую в высказывании связь, конкретизируют ее. Правила их употребления определяются преимущественно этой функцией и не зависят от содержания включающих их высказываний. Поэтому данные правила являются сходными для всех групп понятий и имеют формальный характер.
По своим логическим характеристикам понятие «обязательно» мало чем отличается от понятия «убежден», «нормативно безразлично» — от «случайно».
В середине прошлого века в логике сложились два новых раздела, занимающихся ценностями: логика оценок , исследующая логическую структуру и логические связи оценочных высказываний, и деонтическая (нормативная) логика, исследующая логические связи нормативных (прескриптивных) высказываний.
Логика оценок слагается из логики абсолютных оценок и логики сравнительных оценок.
Логический анализ сравнительных оценок (предпочтений) начался в связи с попытками экономистов установить формальные критерии разумного (рационального) предпочтения.
Оценочное высказывание — высказывание, устанавливающее абсолютную или сравнительную ценность какого то объекта.
Все оценочные высказывания делятся на абсолютные и сравнительные. Первые формулируются с использованием терминов «хорошо», «плохо», «(оценочно) безразлично» или их аналогов, во вторых употребляются термины «лучше», «хуже», «равноценно» или их заменители.
Оценочное высказывание включает следующие части:
субъект оценки:
— лицо (или группа лиц), приписывающее ценность некоторому объекту;
предмет оценки:
— объект, которому приписывается ценность, или объекты, ценности которых сопоставляются;
характер оценки:
— указание на то, является оценка абсолютной или сравнительной и как именно оценивается рассматриваемый объект (позитивно, негативно и т.д.);
основание оценки:
— позиция, с точки зрения которой производится оценивание.
Исходя из выше изложенного выберем, в качестве машинной содержательной (трансцедентальной) логики, основанной на типах суждений и категориях по Канту, машинную модальную многозначную пропозициональную логику на основе аксиологической логики профессора А.А.Ивина, которая по моему мнению наиболее полно отражает подобие процесса мышления метаразума процессу мышлению человека.