Тема 2. Язык логики

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

2.1.Соотношение языка и мышления. Понятие о знаковых системах.

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

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

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

На базе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах.

Слово и понятие. Имя. Способность познавать внешний мир посредством идей, отражающих предметы в их общих и существенных признаках, создает общезначимую логическую форму мышления – понятие. Без понятия нельзя сформулировать законы и выделить предметную сферу науки. Понятие помогает выделить определенные классы вещей и отличить их друг от друга. Понятие выступает как результат абстрагирования, то есть мысленного выделения существенных свойств вещей и их обобщения посредством отличительных признаков.

Язык служит для выражения мыслей. Имена не только обозначают те или иные объекты, но выра­жают также ту или иную мысль. Эта мысль (точнее, форма мысли) называется понятием.

Понятие есть форма мысли, выражаемая именем. Наши бытовые и профессиональные разговоры, ре­чи, споры состоят из слов и предложений.

Среди употребляемых нами слов наиболее важ­ными являются имена, так как именно они и со­ставляют большую часть слов.

Имя - это выражение языка, обозначающее отдельный предмет, совокупность предметов, свойство или отношение.

Имена делятся на: 1) простые, сложные, описательные; 2) собственные; 3) общие. Каждое имя имеет значение, или смысл. Значением, или смыслом имени, является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени. Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, или смысл.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями. Именная функция - это выражение, которое при замене переменных постоянными превращается в обозначение предмета. Так называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при подстановке вместо переменной имени предмета из определенной предметной области.

При логическом анализе язык рассматривается как знаковая система.

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

Можно выделить знаки следующих трех типов: 1) знаки - индексы; 2) знаки - образцы; 3) знаки - символы.

Знаки-индексы связаны с представляемыми ими объектами или следствия с причинами.

Знаками-образцами являются те знаки, которые сами по себе дают информацию о представляемых ими объектах (карта местности, карта-чертеж), поскольку они находятся в отношении подобия с обозначаемыми объектами.

Знаки-символы не связаны причинно и не сходны с представление ими объектами. Логика исследует знаки последнего вида.

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

"Предикат" в философии и логике почти совпадают по своему значению, это любой признак, присущий или не присущий тому или иному предмету, в логике, конечно же, предмету мысли.

Итак:

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

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

М - средний термин умозаключения, общее дли исходных суждений понятие.

«Есть» - «не есть» (суть - не суть и пр.) - логическая связка между субъектом и предикатом суждения, выражаемая иногда простым тире между «S» и «Р».

R - символ любого отношения.

А (а) - символ общеутвердительного су­ждения («Все студенты - учащиеся»).

Е (е) - символ общеотрицательного сужде­ния («Все студенты этой группы не являются спортсменами», или, что одно и то же, «Ни один студент этой группы не яв­ляется спортсменом»).

I (i) - символ частноутвердительного су­ждения («Некоторые студенты отличники»).

О (о) - символ частноотрицательного су­ждения («Некоторые студенты не есть отличники»).

V - символ квантора общности (всеобщности), в языке выражается словом "все", «для всякого» и т.п.

I - символ квантора существования, в языке выражается словом «некоторые», «существуют такие», "многие" и т.п.

/\ - символ, или знак соединительного логического союза «и» (конъюнкция).

V - символ (знак) разделительного логиче­ского союза «или» (дизъюнкция).

--> - символ условного логического союза «если.., то...» (импликация).

<--> - символ логического союза тождества, эквивалентности: «если и только если», «тогда и только тогда, когда» (эквиваленция).

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

- символ для обозначения необходимости.

- символ для обозначения возможности.

На базе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах.

Именами являются языковые выражения, подстановка которых в формулу "S есть Р" вместо переменных S и Р дает осмысленное предложение.

Именами являются, к примеру, "звездная ночь", "Волга", "Тамбов" и "вечерние сумерки". Подстановка данных выражений в указанную форму дает осмысленные (хотя и необязательно истинные) предложения: "Тамбов есть Волга", "Вечерние сумерки есть звездная ночь", "Звездная ночь есть Волга" и т.п.

Предложение (высказывание) - это языковое выражение, являющееся истинным или ложным.

Функтор - это языковое выражение, не являющееся, ни именем, ни высказыванием и служащее для образования новых имен или высказываний из уже имеющихся.