В философии нередко встречается понятие «неформальная логика» (сходные смыслы несут в себе такие аспекты исследования сущности мышления, как «логический анализ языка», «логическая семантика» и некоторые другие). Ее цель – анализ разнообразных смысловых систем, выявление логических ошибок и их причин.
Широко известно такое направление, как «диалектическая логика», которая помимо логических форм (само понятие «форма» может вызвать ощущение завершенности, неподвижности, однозначности) и незыблемых (наиболее простых) правил исследует динамику мысли, «перетекающие» друг в друга смысловые противоположности, соотношения между ними и т. д. Диалектическая логика в большей степени сосредоточена на «движении» мысли, на сложностях и неоднозначных проявлениях мыслительного процесса.
Можно встретить в литературе и в практической деятельности информацию о развитии и результатах деятельности таких направлений, как логика предикатов, символическая, теоретическая, математическая логика и другие. Для одних ученых некоторые из этих понятий являются синонимами, другие усматривают и закрепляют за ними нечто особенное в изучении законов мышления. В каждом таком случае пытливому и заинтересованному читателю стоит разбираться самому и довольно подробно. Очевидно, что все эти направления логики тесно связаны между собой, имеют как много схожего, так и различное, специфику.
Пожалуй, наиболее общее «логическое» содержание (логические формы закономерности, правила и др.), в той или иной степени отражающее сущность большей части направлений в логике, несет в себе формальная логика, которая, в основном, и представлена в данном пособии.
Итак, логика исследует такую важнейшую способность человека, как способность размышлять, создавать образы, идеальные конструкции (формы), которые складываются в особую знаковую систему (язык) – то, что в первую очередь отличает человека от всех иных живых существ на планете.
1.2. Язык формальной логики
Язык – информационная знаковая система, способ и средство существования и передачи мысли, способ общения между людьми.
Информация (лат. informatio – разъяснение, изложение, осведомленность) – некоторые сведения, совокупность каких-либо данных, знаний и т. п., а также проявления (последствия, результат) неких изменений, движения, либо отсутствия этих изменений, воспринятых одним или несколькими реципиентами.
Язык и мышление – не одно и то же, но между ними существует тесная глубокая связь. Мышление выражается через язык, вне языка оно невозможно. Формы мышления и формы языковых выражений соответствуют друг другу. Язык считают формой существования сознания.
Знаковые системы могут быть самыми различными: на основе букв, иероглифов, символов… и представлять собой древнюю письменность, азбуку Морзе, морской семафор, ноты.
Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо другого объекта.
В самом общем виде выделяют три вида больших групп знаков: знаки-индексы раскрывают связь с предметом в рамках причинно-следственных связей (например, лед на поверхности воды – результат низкой температуры; дым, свидетельствующий о том, что что-то горит или тлеет); знаки-образы находятся в отношении подобия с обозначаемыми объектами (пиктограммы, чертежи, условные изображения на картах и сами карты); знаки-символы причинно не связаны и не сходны с представляемыми ими объектами (например, буквы «А» или «К» ни в каком языке не связаны никак со звуками, которые они символизируют, обозначают). Однако знаки, в том числе и знаки-символы, отражают смысл и значение определенных материальных объектов, идеальных систем.