Логика и язык. Понятие об искусственном языке логики

Министерство образования  и науки РФ

 

Негосударственное образовательное  учреждение

высшего профессионального  образования

 

Институт управления

 

Экономический факультет

 

Кафедра государственного и  муниципального управления

 

 

 

КОНТРОЛЬНАЯ РАБОТА

По дисциплине: «Логика»

На тему «Логика и язык. Понятие об искусственном языке логики»

 

	Выполнил:
	студент группы		31МЗ
	Зачетная книжка	109014
	Воронин Максим Дмитриевич
	фамилия, имя, отчество студента
	Проверил:
	преподаватель
	должность, ученое звание преподавателя
	Шумакова Галина Николаевна
	фамилия, имя, отчество преподавателя

 

 

 

ИВАНОВО 2012

Содержание

 

Введение		3
1.	Логика и язык ………………….……………………………………………	4
2..	Искусственные языки   …………………………………….	10
Заключение		15
Библиографический список		16
Практическое  задание		17

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введение

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

Целью нашей работы будет  изучение взаимосвязи логики и языка.

Теоретические и методологические основы исследования стали науч-ные  труды таких ученых как: Гетманова А.Д., Горбатов В.В., В.И. Кирилов, А.А.Старченко.

 

 

 

 

 

 

 

 

 

 

 

 

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

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

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

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

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

Язык — это не только средство общения, но и важнейшая  составная часть культуры всякого  народа.

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

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

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

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

Имена делятся на:

1) простые («книга», «снегирь»,  «опера») и сложные, или описательные («самый большой водопад в Канаде и США», «планета Солнечной системы»). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются;

2) собственные, т. е.  имена отдельных людей, предметов, событий («П. И. Чайковский», «Обь»), и общие (названия класса однородных предметов), например «дом», «действующий вулкан».

Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет.

Смысл (или концепт) имени — это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, например, знаковые выражения «4», «2+2», «9—5» являются именами одного и того же предмета: числа 4. Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т. е. смысл выражений «4», «2+2» и «9 — 5» различен).

Приведем другие примеры, разъясняющие, что такое значение и смысл имени. Такие знаковые выражения, как «великий русский  поэт Александр Сергеевич Пушкин (1799—1837)», «автор романа в стихах «Евгений Онегин», «автор стихотворения, обращенного к Анне Петровне Керн, «Я помню чудное мгновенье», «поэт, смертельно раненный на дуэли с Ж. Дантесом», «автор исторической работы «История Пугачева» (1834)», имеют одно и то же значение (они обозначают поэта А. С. Пушкина), но различный смысл.

Такие языковые выражения, как  «самое глубокое озеро мира»,

«пресноводное озеро в  Восточной Сибири на высоте около 455 метров», «озеро, имеющее свыше 300 притоков и единственный исток — реку Ангару», «озеро, глубина которого 1620 метров», имеют одно и то же значение (озеро Байкал), но различный смысл, поскольку эти языковые выражения представляют озеро Байкал с помощью различных его свойств, т. е. дают различную информацию о Байкале.

Соотношение трех понятий: «имя», «значение», «смысл» — схематически можно изобразить таким образом (рис. 1).

Эта схема пригодна, если имя является не только собственным, т. е. приложимым к одному предмету (число 4, А. С. Пушкин, Байкал), но и общим (например, «человек», «озеро»). Тогда вместо единичного предмета значением имени будет класс однородных предметов (например, класс озер или класс собак и т. д.) и схема останется в силе при данном уточнении, при этом вместо смысла будет содержание понятия.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями. Примерами первых являются «х2+1», «отец у», «разность чисел z и 5»; примерами вторых являются: «х — поэт», «7+у=10», « х >у—7». Рассмотрим эти два вида функций.

Именная функция — это  выражение, которое при замене переменных постоянными превращается в обозначение предмета. Возьмем именную функцию «отец у». Подставив вместо у имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» — имя предмета (в данном случае имя человека).

Именная функция — это  такое выражение, которое не является непосредственно именем ни для какого предмета и нуждается в некотором восполнении для того, чтобы стать именем предмета. Так, выражение х2 — 1 не обозначает никакого предмета, но если мы его «восполним», подставив, например, на место х  имя числа 3 (обозначающее это число цифру), то получим выражение З2 — 1, которое является уже именем для числа 8, т. е. для некоторого предмета. Аналогично выражение х2 + у2 не обозначает никакого предмета, но при подстановке на место х и у каких-нибудь имен чисел, например «4» и «1», превращается в имя числа 17. Такие нуждающиеся в восполнении выражения, как х2— 1, х2 + у2, и называют функциями: первая — от одного, вторая — от двух аргументов.

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

Приведем примеры пропозициональных функций: «z — город»; «х есть космонавт»; «у— четное число»; «х + у = 10»; «х3-1 = 124».

Пропозициональные функции делятся на одноместные, содержащие одну переменную, называемые свойствами (например, «х — композитор», «х—7 = 3», «z — гвоздика»), и содержащие две и более переменных, называемые отношениями (например, «х > у»; «х—z = 16»; «объем куба х  равен объему куба у »).

Возьмем в качестве примера  пропозициональную функцию «х —  нечетное число» и, подставив вместо х число 4, получим высказывание: «4 — нечетное число», которое ложно, а подставив число 5, получим истинное высказывание: «5 — нечетное число».

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

а)  «разность чисел 100 и х». Это именная одноместная функция; например, 100 — 6 есть имя предмета, имя числа 94;

б)  «х2+у». Это именная  двухместная функция; при подстановке вместо х  числа 5 и вместо у числа 7 превращается в имя предмета, имя числа 32;

в)  «у — известный полководец». Это пропозициональная одноместная функция; при подстановке вместо у имени «Александр Васильевич Суворов, родившийся 24 ноября 1730 г.» получим истинное суждение: «Александр Васильевич Суворов, родившийся 24 ноября  1730 г., — известный полководец», выраженное в форме повествовательного предложения;

г)  «z является композитором, написавшим оперы х и у». Это  пропозициональная трехместная функция; превращается в ложное суждение при подстановке вместо z имени «Бизе», вместо х — «Аида», а вместо у — «Травиата», т. е. суждение «Визе является композитором, написавшим оперы «Аида» и «Травиата», выраженное в форме повествовательного предложения.

Понятие пропозициональной  функции широко используется в математике. Все уравнения с одним неизвестным, которые школьники решают начиная с первого класса, представляют собой    одноместные   пропозициональные    функции,    например х+2=7, 10—х = 4. Неравенства, содержащие одну или несколько переменных, также являются пропозициональными функциями. Например, х<7 или х2—у>0.

Искусственные языки.

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

  Всякий  искусственный  язык имеет три  уровня организации:

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

Построение  искусственного языка начинается с  введения алфавита, т.е. набора символов, которыми обозначаются объект данной науки, и правил построения формул данного языка. Часть правильно  построенных формул принимается  за аксиомы. Таким образом, все знание, оформленное с помощью искусственного языка, приобретает аксиоматизированную форму, а вместе с нею доказательность и достоверность.

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

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

  Например, математики  с самого начала стремились  формулировать доказательства и  теоремы на как можно более  четком диалекте естественного  языка. Хотя словарный запас  этого диалекта постоянно расширяется,  основные формы предложений, связки, союзы остаются практически теми же, что были выработаны еще в античные времена. Долгое время считалось, что «математический диалект» состоит из строго сформулированных предложений. Но уже в средние века развитие алгебры привело к тому, что формулировки теорем зачастую становились все длиннее и неудобнее. Соответственно, выкладки становились все более трудными. Даже для того чтобы просто понять фразу:

«Квадрат  первого, сложенный с квадратом  второго и с удвоенным произведением первого  на второе, есть  квадрат первого, сложенного со вторым» требуется значительное усилие. Математическая строгость и удобство стали противоречить друг другу. Тогда заметили, что данное правило математического языка может быть сведено к нескольким условным знакам, и сейчас это записывается кратко и ясно:  x2 + 2 xy + y2 = (x + y)2

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

  Роль  формализации  естественного языка  в научном  познании и в логике в ососбенности:

  1. Формализация дает  возможность  анализировать, уточнять, определять  и разъяснять понятия. Многие  понятия являются не подходящими  для научного познания в силу  их неопределенности, неоднозначности  и неточности. Например, понятия  непрерывности функции, геометрической фигуры в математике, одновременности событий в физике, наследственности в биологии существенно отличаются от тех представлений, которые они имеют в обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же словами, которые употребляются в разговорном языке для выражения совершенно других вещей и процессов. Такие понятия физики, как сила, работа, энергия, отображают вполне определенные и точно указанные процессы: например, сила рассматривается в физике как причина изменения скорости движущегося тела. В разговорной речи этим понятия придается более широкий, но неопределенный смысл, вследствие чего физическое понятие силы неприменимо к характеристике, например, человека.

  2. Формализация приобретает  особую роль при анализе доказательств.  Представление доказательства в  виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность. О том, какое значение имеет строгость доказательства, свидетельствует история попыток доказательства аксиомы о параллельных в геометрии, когда вместо такого доказательства сама аксиома заменялась эквивалентным утверждением. Именно неудача подобных попыток заставила Н.И. Лобачевского признать невозможным такое доказательство.

3. Формализация, основанная  на построении  искусственных  логических языков, служит теоретическим фундаментом  для процессов алгоритмизации  и программирования вычислительных  устройств, а тем самым и  компьютеризации не только научно-технического, но и другого знания.

Искусственные языки также  используются юридической и логической наукой для теоретического или практического  анализа мыслительных структур.

Общепринятый  в современной  логике искусственный  язык – это  язык логики предикатов. Основными  семантическими категориями языка  являются: имена предметов, имена признаков, предложения.

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

 Имена признаков –  это качества, признаки или отношения  предметов. Обычно это сказуемые,  например, «быть красным», «прыгать»,  «любить» и т.д.

 Предложения – это  выражения языка, в котором   нечто утверждается или отрицается. По своему логическому значению  они  выражают истину либо ложь.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

З а к л ю ч е  н и е

  Язык, как известно, представляет  собой  средство коммуникации, общения между людьми, с помощью которого они обмениваются друг с другом мыслями, информацией. Мысль находит свое выражение именно в языке, без такого выражения мысли одного человека оказываются недоступными другому. С помощью языка происходит познание различных объектов. Успех познания зависит от правильного употребления естественных и искусственных языков. Первые этапы познания связано с использованием естественного языка. Постепенное углубление в сущность объекта требует более точных систем исследования. Это приводит к созданию искусственных языков. Чем большей точностью обладает знание, тем более реальна возможность его практического использования. Таким образом, проблема развития искусственных языков науки не является чисто теоретической, она имеет определенное практическое содержание. Вместе с тем, домината естественного языка в познании бесспорна. Как бы ни был развит, абстрактен и формализован конкретный искусственный язык, он имеет своим источником определенный естественный язык и развивается по единым естественным законам языка.

 

 

 

 

 

 

 

 

 

Библиографический список

1. Гетманова А.Д. Учебник по логике / А.Д. Гетманова,2-е изд. – М.: «ВЛАДОС», 1995. – 303 с.
2. Логика: Учебник для юридических вузов. — VLsi перераб. и доп. — М.: Юристь, 2001. — 256 с.
3. Горбатов В.В.  ЛОГИКА: Учебное пособие / Московский государственный университет экономики, статистики и информатики. – М.: МЭСИ, 2006. –  247с.
4. http://turboreferat.ru/logic/logika-estestvennyj-yazyk-iskusstvennye-yazyki/42053-222839-page1.html

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Практическое задание.