Логика: краткий теоретический курс. Веревичев И.И. - 7 стр.

UptoLike

Составители: 

Рубрика: 

6
закон непротиворечия (недопущения противоречия), закон исключенного
третьего и закон (принцип) достаточного основания.
Формы рационального мышления выражают элементы и структуру
мысли, ее строение. К основным формам мышления относят: понятие,
суждение, умозаключение и некоторые другие.
Каждая наука оперирует собственным языком. Под языком науки
понимают определенную систему знаков, предназначенную для коммуникации
и познания. Языки используются для описания вещей или событий, их оценки,
призывов к побуждениям к действию, а также для выражения эмоций.
Различают языки естественные и искусственные. Естественными называют те
знаковые информационные системы, которые возникали в результате общения
между людьми в процессе их историко-культурного развития. К естественным
языкам относятся народные (национальные) языки, языки жестов и т.п.
Искусственными (формальными или формализованными) языками называют те
вспомогательные знаковые системы, которые создаются на базе естественных с
целью рационализации человеческой деятельности в отдельных областях для
более точной и экономной передачи информации. Искусственные языки
широко применяются в естественных науках, в математике, в
программировании, в связи и т.п. Особую группу составляют
полуформализованные языки, в которых естественный язык дополняется
ограниченной системой условных обозначений (символов), относящихся к
конкретной предметной области.
На ранних стадиях своего развития классическая логика использовала в
качестве научного обычные естественные языки. В дальнейшем языками
логики становятся языки полуформализованные и формализованные.
Формализованными языками логики являются искусственные знаковые
системы: язык логики предикатов и язык логики высказываний.
Общая теория знаковых систем называется семиотикой. Составными
частями семиотики являются синтаксис, семантика и прагматика. Синтаксис -
раздел семиотики, изучающий особенности строения языка: способы
образования, преобразования и связи между знаками. Семантика занимается
изучением специфики отношений между знаками и обозначаемыми ими
объектами. Прагматика анализирует особенности самой коммуникативной
функции языка.
К основным семантическим категориям языка логики предикатов
относятся имена предметов, имена признаков и высказывания. В широком
смысле под именем понимают слово или словосочетание, обозначающее
предметы, признаки предметов или отношения. В структуре простых
предложений имена могут быть выражены словами, играющими роль
подлежащих или сказуемых. Так, в предложении “Гагарин стал первым
космонавтом” именами являются слова “Гагарин” и “первый космонавт”.
Важнейшие характеристики имени - его смысловое (концепт) и
предметное (денотат) значения. Смысловое значение состоит в выделении
наиболее существенной информации об обозначаемом понятием объекте. К
примеру, смысловым значением слова газета” является следующая