Начала логики.

Истина в логике.

Сознание, интеллект, разум и здравый смысл.

Логическое пространство.

Автономный интеллект.

Логическое определение.

«Сужающаяся» и «расширяющаяся» логика.

Системные части логики.

Принцип.

Метод

Логическое моделирование.

Единицы измерения логической системы.

Уровни общей логики.

Абстрактная логика

Логика образного представления.

Автоматическая логика

Логика движения.

Заключение.

Литература:

Логике не одна тысяча лет. Много веков логика была частью великой философии, отражающей какой-то способ доказательства какой-то истины….

Логика менялась и по внутреннему содержанию и по статусу неоднократно.

Тогда же, в древности, возникла риторика. То, что мы считаем ораторским искусством, или искусством говорить. Красиво, заинтересованно, увлекательно, зажигательно.

И, может быть, по этой причине в философской логике появилась новая часть – софистика. Её хвалили и ругали, запрещали и разрешали, применяли и критиковали…, но она просуществовала в общем случае, без малого, тысячу лет.

Да и сейчас, похоже, еще не умерла…

Тем временем, в логике возникла вполне разработанная теория силлогизма и его модуса. Силлогизм преобладал в логике до XIX века.  Заменой теории силлогизма служит более простая и мощная логика первого порядка, а также теория кванторов.

Пришли средние века, а вместе с ними в философию пришли сначала схоластика, а потом и казуистика. Если первую сначала отнесли к философии, а потом к логике, то вторую сразу - к логике. Хотя, и та, и другая представляют собой только различные уровни формализации доказательства истины. Схоластика всё сводила к вере, богу и истине, а казуистика отстаивала, что истина в деталях, в частностях, в мелочах …

Наконец, в 17 веке ученые снова обратили особое внимание на логику. Френсис Бэкон в 1620 году публикует свой «Новый органон», содержащий основы  индуктивных методов. Суть индукции (обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. В противовес дедукции.

Разрабатывается и применяется большое количество самых разнообразных логик. Философских, модальных, лингвистических ….

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

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

В середине 19 века, точнее, в 1848 году Дж.Буль делает публикацию  в «Журнале механика» (Mechanic’s Magazine) о математических основах логики. Сегодня основа той статьи стала булевой алгеброй в составе математической логики.

Математическая логика отражает важнейший момент осознания автоматического выполнения логических действий на основе объективных принципов управления.

Это заслуга кибернетики.

Мы осознали глобальность понимания применения обратной связи в процессах взаимодействия.

С другой стороны, сегодня уже понятно и то, что математика сама построена на основе законов логики, а потому является в какой-то степени только частью логики, и не может служить эталоном или инструментом для поиска непротиворечивого логического решения.

Математическая логика, от символьной до машинной, построена на основе исторической логики слова. Она использует те же логические операции, формализует понятие противоположности, использует логические законы, установленные еще логикой Аристотеля.

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

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

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

Компьютер сместил акценты. Сначала появилась вычислительная машина, а потом для неё начали искать подходящую математическую логику. Так вычислительная машина [22], двоичная система счисления и алгебра логики Дж. Буля нашли друг друга.

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

Здесь корни появления в логике формальных систем логических ответов, на которых базируется математическая логика. ДА - НЕТ или ДА - НЕ ЗНАЮ – НЕТ, это не просто форма разрешенного ответа на поставленный вопрос, но и основа применения в математической логике той или иной системы счисления для автоматизации вывода результата из математической постановки задачи.

Сегодня мы знаем несколько систем счисления, применяемых в математической логике. Это, в первую очередь, двоичная система счисления, предложенная Дж.фон Нейманом в качестве основы для машинных вычислений, и троичная, предложенная Н.Брусенцовым.

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

Логика и техника связаны неразрывно и представляют собой единое целое.

Правда, это не всегда было видно, особенно на начальном этапе развития логики.

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

Но и в далеком прошлом человек пытался провести аналогию между фомальной логикой и машиной, в которой эта логика должна была работать. Логические машины [23], самые различные, человек начал создавать еще в древности. Чаще всего это был механизм или механическая картотека с адресным хранением логических построений.

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

Свою логическую машину – мозг, человек почему-то не учитывает. Хоть именно эта машина и обеспечила развитие его логики и интеллекта до уровня разумности. И на примере эволюции клетки и её логической машины - ядра можно вполне отчетливо понять, что логика имеет взаимозависимое положение относительно техники, на которой она используется.

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

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

Для себя мы не ставим задачу без ответа. Мало того, часто мы формулируем сначала ответ в виде какой-то цели, а потом, уже под него формируем задачу. Можно это назвать как угодно, фантазиями, прожектами, мечтой…, смысл почти не меняется.

Это свободное моделирование.

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

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

Именно в этом направлении сформулирована парадигма общей логики.

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

Вот об этой общей логике мы и будем говорить…

формате PDF (4721Кб)