1.3. Логика и язык

Предметом логики являются законы и формы правильного мышления, а также принципы, методы и операции рационального познания и осмысления мира.

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

Формы рационального мышления выражают элементы и структуру мысли, ее строение. К основным формам мышления относят: понятие, суждение, умозаключение и некоторые другие.

Каждая наука оперирует собственным языком. Под языком науки понимают определенную систему знаков, предназначенную для коммуникации и познания. Языки используются для описания вещей или событий, их оценки, призывов к побуждениям к действию, а также для выражения эмоций. Различают языки естественные и искусственные. Естественными называют те знаковые информационные системы, которые возникали в результате общения между людьми в процессе их историко-культурного развития. К естественным языкам относятся народные (национальные) языки, языки жестов и т. п. Искусственными (формальными или формализованными) языками называют те вспомогательные знаковые системы, которые создаются на базе естественных с целью рационализации человеческой деятельности в отдельных областях для более точной и экономной передачи информации. Искусственные языки широко применяются в естественных науках, в математике, в программировании, в связи и т. п. Особую группу составляют полуформализованные языки, в которых естественный язык дополняется ограниченной системой условных обозначений (символов), относящихся к конкретной предметной области.

На ранних стадиях своего развития классическая логика использовала в качестве научного обычные естественные языки. В дальнейшем языками логики становятся языки полуформализованные и формализованные. Формализованными языками логики являются искусственные знаковые системы: язык логики предикатов и язык логики высказываний.

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

К основным семантическим категориям языка логики предикатов относятся имена предметов, имена признаков и высказывания. В широком смысле под именем понимают слово или словосочетание, обозначающее предметы, признаки предметов или отношения. В структуре простых предложений имена могут быть выражены словами, играющими роль подлежащих или сказуемых. Так, в предложении «Гагарин стал первым космонавтом» именами являются слова «Гагарин» и «первый космонавт».

Важнейшие характеристики имени — его смысловое (концепт) и предметное (денотат) значения. Смысловое значение состоит в выделении наиболее существенной информации об обозначаемом понятием объекте. К примеру, смысловым значением слова «газета» является следующая информация: материальный объект; бумажное изделие, созданное человеком; печатное издание, отличающееся периодичностью, небольшим объемом, особой информативностью; предназначена для чтения широким социальным слоям общества и т. п. Предметное значение характеризует количество предметов, обозначаемых данным именем. Предметное значение (денотат) слова «газета» распространяется на множество всех издававшихся ранее газет, на все существующие в наше время газеты и на те соответствующие концепту данного имени печатные издания, которые, возможно, возникнут и в будущем. Имена являются разновидностями знаков.

Знаки представляют собой различным способом материализованные формы носителей информации. Различают знаки-образы, знаки-индексы и знаки-символы. Для знаков — образов предполагается достаточно высокая степень их сходства с отображаемыми предметами или явлениями (рисунки, фотографии и т. п.). Знаки - индексы характеризуют «внутреннюю» форму их связи с предметами (дым — знак-индекс огня, температура — болезни и т. п.). Знаки - символы — искусственно применяемые знаки для обозначения чего-либо на основе соглашения (буквы, цифры, ноты и т. п.). Множество исходных знаков языка называется его алфавитом.