Можно встретить в литературе и в практической деятельности информацию о развитии и результатах деятельности таких направлений, как логика предикатов, символическая, теоретическая, математическая логика и другие. Для одних ученых некоторые из этих понятий являются синонимами, другие усматривают и закрепляют за ними нечто особенное в изучении законов мышления. В каждом таком случае пытливому и заинтересованному читателю стоит разбираться самому и довольно подробно. Очевидно, что все эти направления логики тесно связаны между собой, имеют как много схожего, так и различное, специфику.
Пожалуй, наиболее общее «логическое» содержание (логические формы закономерности, правила и др.), в той или иной степени отражающее сущность большей части направлений в логике, несет в себе формальная логика , которая, в основном, и представлена в данном пособии.
Итак, логика исследует такую важнейшую способность человека, как способность размышлять, создавать образы, идеальные конструкции (формы), которые складываются в особую знаковую систему (язык) – то, что в первую очередь отличает человека от всех иных живых существ на планете.
1.2. Язык формальной логики
Язык– информационная знаковая система, способ и средство существования и передачи мысли, способ общения между людьми.
Информация (лат. informatio – разъяснение, изложение, осведомленность) – некоторые сведения, совокупность каких-либо данных, знаний и т. п., а также проявления (последствия, результат) неких изменений, движения, либо отсутствия этих изменений, воспринятых одним или несколькими реципиентами.
Язык и мышление – не одно и то же, но между ними существует тесная глубокая связь. Мышление выражается через язык, вне языка оно невозможно. Формы мышления и формы языковых выражений соответствуют друг другу. Язык считают формой существования сознания.
Знаковые системы могут быть самыми различными: на основе букв, иероглифов, символов… и представлять собой древнюю письменность, азбуку Морзе, морской семафор, ноты.
Знак– это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо другого объекта.
В самом общем виде выделяют три вида больших групп знаков: знаки-индексы раскрывают связь с предметом в рамках причинно-следственных связей (например, лед на поверхности воды – результат низкой температуры; дым, свидетельствующий о том, что что-то горит или тлеет); знаки-образы находятся в отношении подобия с обозначаемыми объектами (пиктограммы, чертежи, условные изображения на картах и сами карты); знаки-символы причинно не связаны и не сходны с представляемыми ими объектами (например, буквы «А» или «К» ни в каком языке не связаны никак со звуками, которые они символизируют, обозначают). Однако знаки, в том числе и знаки-символы, отражают смысл и значение определенных материальных объектов, идеальных систем.
Согласно взглядам Г. Фреге (автор формулы «семантического треугольника») [1] Графическая модель знака, демонстрирующая, что у них есть по меньшей мере две функции. Например (по Фреге), «значение» и «смысл», или «предметная отнесенность» и «значение» (Выготский) и др.
смысл – это понятие, которое отражает предмет, значение – сам отражаемый предмет, а имя – слово, вербальная форма, в которую облачено понятие; слова (имена), в «оболочке» которых «живут» понятия, могут быть различными, произнесенными на разных языках, но содержать одно и то же понятие (например, «стул» – англ, chair, нем. der Stuhl; «наука» – англ, science, нем. die Wissenschaft), отражающее конкретные или абстрактные предметы, явления, процессы.
По Э. Гуссерлю(1859–1938), автору известной работы «Логические исследования, значение (нем. die Bedeutung) это лингвистическая форма смысла (нем. der Sinn).
Смысл– выражаемая знаком характеристика объекта, представителем которого является знак.
Смысл заключает в себе определенное актуальное для субъекта представление о тех или иных (нередко – отдельных) параметрах, свойствах, сторонах объекта, возможных способах и вариантах его использования, и т. д.
Значение– выражаемый знаком реальный объект (феномен), который и обозначается этим знаком.
В значении чаще раскрывается вполне конкретный (или «любой
подобный») объект, представленный в совокупности свойств, его сущностная составляющая.
Читать дальше