Читать книгу Логика - Н. В. Михалкин - Страница 5

Язык – информационная знаковая система, способ и средство существования и передачи мысли, способ общения между людьми.

Информация (лат. informatio – разъяснение, изложение, осведомленность) – некоторые сведения, совокупность каких-либо данных, знаний и т. п., а также проявления (последствия, результат) неких изменений, движения, либо отсутствия этих изменений, воспринятых одним или несколькими реципиентами.

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

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

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

В самом общем виде выделяют три вида больших групп знаков: знаки-индексы раскрывают связь с предметом в рамках причинно-следственных связей (например, лед на поверхности воды – результат низкой температуры; дым, свидетельствующий о том, что что-то горит или тлеет); знаки-образы находятся в отношении подобия с обозначаемыми объектами (пиктограммы, чертежи, условные изображения на картах и сами карты); знаки-символы причинно не связаны и не сходны с представляемыми ими объектами (например, буквы «А» или «К» ни в каком языке не связаны никак со звуками, которые они символизируют, обозначают). Однако знаки, в том числе и знаки-символы, отражают смысл и значение определенных материальных объектов, идеальных систем.

Согласно взглядам Г. Фреге (автор формулы «семантического треугольника»)[1] смысл – это понятие, которое отражает предмет, значение – сам отражаемый предмет, а имя – слово, вербальная форма, в которую облачено понятие; слова (имена), в «оболочке» которых «живут» понятия, могут быть различными, произнесенными на разных языках, но содержать одно и то же понятие (например, «стул» – англ, chair, нем. der Stuhl; «наука» – англ, science, нем. die Wissenschaft), отражающее конкретные или абстрактные предметы, явления, процессы.

По Э. Гуссерлю (1859–1938), автору известной работы «Логические исследования, значение (нем. die Bedeutung) это лингвистическая форма смысла (нем. der Sinn).

Смысл – выражаемая знаком характеристика объекта, представителем которого является знак.

Смысл заключает в себе определенное актуальное для субъекта представление о тех или иных (нередко – отдельных) параметрах, свойствах, сторонах объекта, возможных способах и вариантах его использования, и т. д.

Значение – выражаемый знаком реальный объект (феномен), который и обозначается этим знаком.

В значении чаще раскрывается вполне конкретный (или «любой

подобный») объект, представленный в совокупности свойств, его сущностная составляющая.

С этой точки зрения некоторые знаки (понятия) не имеют значения, т. е. представляют несуществующие объекты («вечный двигатель», «Баба-Яга»; в которых могут проявляться разные смыслы – от страха, до насмешки, при явной невозможности их реального существования).

Языки обычно делят на две большие группы:

• естественные → национальные, жестов, музыки и т. д.;

• искусственные → специальные, созданные относительно узкой группой людей (например, профессиональные (врачей, сантехников, юристов), языки различных социальных групп (возрастных, представляющих элемент субкультуры); языки конкретных наук (отраслей науки), в том числе язык логики.

Для научного языка характерна строгая определенность содержания. Языки конкретных наук обладают специфическим понятийнокатегориальным аппаратом, используют особенную, отражающую как научность, так и особенности данной отрасли лексику (в данном случае – логики).

Термин (лат. terminus – граница, предел, конец чего-либо) в логике – это слово, имя предметов универсума для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.

Термины бывают дескриптивные и логические.

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

Имена предметов – слова или словосочетания, обозначающие отдельные предметы или классы однородных предметов. Поскольку имя является знаком, то оно имеет смысл и значение. Бывают имена единичные (Луна, столица современной России), обозначают предметы, существующие в единственном экземпляре, и общие (животное, мост, судья) – обозначают любые (неконкретные) предметы некоторого класса.

Свойства – это то, чем предметы и явления отличаются друг от друга («высокий», «низкорослый»).

Отношение – это месторасположение предметов и явлений в их взаимосвязи («больший, чем»; «расположенный между»).

Логические термины можно условно разделить на подгруппы: логические связки – конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция; названия элементов суждения (субъект, предикат), посылок силлогизма (больший, меньший и средний термины).

К логическим терминам иногда относят логические операторы – кванторы: (перевернутое «А» от нем. alle – все) – «для всех», «все», «всякий», «каждый», «ни один» и (перевернутое «Е» от нем. existieren – существовать) – «некоторые», «для некоторых», «существует».

Например, «Все (∀) студенты юридического факультета изучают логику»;

«Некоторые (∃) студенты юридического факультета умеют пользоваться знаниями логики в исследовательской работе повседневной жизни».

В логике предикатов, в дополнение к средствам логики высказываний, вводятся также такие логические термины: «истина» и «ложь».

Истина – адекватное отражение субъектом объекта; таким, каким он существует сам по себе независимо от сознания человека; объективное содержание чувственного эмпирического опыта.

Ложь – неадекватное отражение, намеренное искажение объекта (не нужно путать с этической категорией, с преднамеренным обманом).

«Истина» и «ложь» в формальной логике имеют специфический, формальный оттенок: истина отражает действительность и ее фрагменты адекватно верно, ложь – не соответствует действительности.