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