Язык как знаковая система логика
§ 2. язык как знаковая система
§ 2. язык как знаковая система
Являясь наукой о формах мыслей, логика изучает способы выражения мыслей в языке, а следовательно, является наукой о языке. В логике исследуются отдельные аспекты естественных языков (языков, которые возникли и развиваются в основном стихийно), а также создаются искусственные языки — специальные языки логики. Одним из таких языков является язык логики высказываний, широко используемый при выявлении связей между мыслями по их логическим формам. Основное достоинство этого языка заключается в том, что его выражения однозначны. В нем нет омонимов и нет неясных выражений. Это позволяет строго фиксировать ход рассуждений и точно решать вопрос об их правильности или неправильности, а также ряд других вопросов.
При логическом анализе язык рассматривается как знаковая система.
З н а к — это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.
Как правило, знаки имеют предметные и смысловые значения. Предметным значением является тот объект, который представляется (или обозначается) знаком. Смысловым значением — выражаемая знаком характеристика объекта, представителем которого является знак (информации об этом объекте). Предметное значение часто называют просто значением, а смысловое значение — смыслом.
Некоторые знаки не имеют значения, т.е. представляют несуществующие объекты (например, “вечный двигатель”), а некоторые не имеют смысла, т.е. обозначают какие-то объекты, но не несут о них информации, по крайней мере, такой, которая позволяла бы однозначно выделять предметы, обозначаемые знаком.
Роль знаков в познании исследовал еще Аристотель. Этой проблемой занимались Лейбниц и другие ученые. Особенно актуальным стало развитие учения о знаках в XIX в. в связи с запросами лингвистики и символической логики. Американский философ Чарльз Пирс (1839—1914) заложил основы особой науки о знаках — семиотики. В этой науке выделяют три раздела — синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.
Синтаксисом называется раздел семиотики, в котором исследуются отношения между самими знаками (правила построения и преобразования выражений языка и т.д.). В процессе этого исследования отвлекаются от смыслов и значений знаков.
Семантикой называется раздел семиотики, в котором прежде всего исследуются отношения знаков к представляемым ими объектам, а также смыслы знаков, поскольку они являются одним из средств установления связи знаков и их значений.
Прагматика изучает отношение человека к знакам, а также отношения между людьми в процессе знакового общения.
Укажите смысл и значение следующих выражений (знаков-символов).
1. язык как знаковая система
1. язык как знаковая система
Язык представляет собой необходимое условие существования абстрактного мышления.
Язык возникает одновременно с сознанием и мышлением. Являясь чувственно воспринимаемой оболочкой мышления, язык обеспечивает мысли человека реальное существование. Вне такой оболочки мысль недоступна для других. Язык это непосредственная действительность мысли.
Логический анализ мышления всегда имеет форму исследования языка, в котором оно протекает и без которого оно не является возможным. В этом плане логика наука о мышлении есть в равной мере и наука о языке.
Мышление и язык две предполагающие друг друга стороны процессов познания и общения. Язык участвует не только в выражении мысли, но и в самом ее формировании. Нельзя противопоставлять «чистое», внеязыковое мышление и его «вербализацию», последующее выражение в языке.
Вместе с тем язык и мышление не тождественны. Каждая из сторон единства, составляемого ими, относительно самостоятельна и обладает своими специфическими законами.
Иногда предполагается, что единственным способом получения подлинной истины является мистическое «вживание» в предмет, позволяющее в одном акте постичь его. При этом мышлению с помощью языка противопоставляется непосредственное, внеязыковое познание. Задача языка сводится к передаче и притом с необходимостью в более или менее искаженной форме результатов интуитивного постижения. Очевидно, что настаивание на интуитивном характере нашего познания ведет так или иначе к противопоставлению мышления и языка.
Язык представляет собой систему знаков, используемую для целей коммуникации и познания.
Системность языка выражается в том, что каждый язык, помимо словаря, имеет также синтаксис и семантику.
Синтаксические правила языка устанавливают способы образования сложных выражений из простых.
Семантические правила определяют способы придания значений выражениям языка. Это достигается указанием тех обстоятельств, в которых должны приниматься предложения определенного вида.
Правила значения обычно делятся на три группы: аксиоматические, дедуктивные и эмпирические.
Аксиоматические правила требуют принятия предложений определенного вида во всех обстоятельствах. Примером могут служить правила русского языка, предписывающие всем говорящим на этом языке всегда принимать предложения «Каждый холостяк не женат», «Сантиметр равен одной сотой метра», «Красное не есть черное» и т.п.
Дедуктивные правила требуют принятия следствий, вытекающих из некоторых посылок, если приняты сами посылки. Таково, например, правило, согласно которому, приняв предложения «Если Иван Ильич человек, то он смертей», и «Иван Ильич человек», следует принять также предложение «Иван Ильич смертей».
И наконец, ситуация принятия предложений, указываемая эмпирическими правилами значения, предполагает выход за пределы языка и внеязыковое наблюдение. Примерами таких правил являются правила, требующие принятия предложения «Больно» в случае ощущения боли, предложения «Этот предмет красный» при восприятии красного предмета и т.п.
Языки, включающие эмпирические правила значения, принято называть эмпирическими. Очевидно, что ни язык логики, ни язык математики не требуют при принятии или отбрасывании своих предложений обращения к непосредственному опыту и ощущению. В этом смысле данные языки не являются эмпирическими.
Все языки могут быть разделены, далее, на естестественные, искусственные и частично искусственные.
Первые, называемые также «повседневными», «разговорными», «обычными» и т.п., складываются стихийно и постепенно. История каждого такого языка неотделима от истории народа, владеющего им. Искусственные языки сознательно создаются людьми для каких-либо специальных целей. Таковы, например, языки математики, логики, алгоритмические языки программирования для ЭВМ, шифры и т.п. Языки естественных и гуманитарных наук относятся к частично искусственным. Скажем, учебник биологии написан всегда на том или ином естественном языке: русском, английском, немецком и т.п. Вместе с тем, помимо слов этого языка, учебник обязательно включает собственно биологическую терминологию и символику, являющуюся по преимуществу интернациональной.
Одна из особенностей искусственных языков состоит в строгой определенности их словаря, синтаксиса и семантики. Во многих случаях эта особенность оказывается несомненным преимуществом таких языков в сравнении с естественными языками, аморфными как со стороны словаря, так и со стороны правил образования и значения.
Искусственные языки генетически и функционально вторичны в отношении естественного языка: первые возникают на базе второго и могут функционировать только в связи с ним.
Традиционная логика пользуется для описания мышления обычным языком.
Этот язык, возникший как средство общения людей, претерпел долгую и противоречивую эволюцию. Многое в нем остается невыявленным, а только молчаливо предполагается.
Все это не означает, конечно, что обычный язык никуда не годен, и его следует заменить во всех областях какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать форму нашей мысли.
Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения. Он должен служить только одной задаче выявлению логических связей наших мыслей, но решаться она должна с предельной эффективностью.
Принципы построения искусственного логического языка разработаны в современной логике. Создание его имело примерно такое же значение в области мышления для техники логического вывода, какие в области производства имел переход от ручного труда к труду механизированному.
Специально созданный для целей логики язык получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык это «насквозь символический» язык.
Введение его означает принятие особой теории логического анализа рассуждении.
В обычном языке деление на синтаксис и семантику во многом условно. И синтаксические, и семантические правила этого языка расплывчаты и всегда имеют исключения. В нем нет, например, ясного определения осмысленного предложения, нет перечня тех частей, которые должны быть в каждом предложении, чтобы оно могло считаться правильно построенным, и т.д.
Логика. Язык как знаковая система
Логика есть знание об абстрактном мышлении. Это мышление вербально, поэтому логика не может не интересоваться языками.
Коротко о предмете исследования
Подробно о предмете исследования
отношения между знаками
правила построения выражений языка из отдельных знаков
отношение между знаком и его значением
связь знака с тем, что он обозначает
отношение человека к знакам
По характеру отношения репрезентации различают три типа знаков: индикаторы, образы и символы.
По характеру отношения репрезентации различают три типа знаков:
Дым (по отношению к огню), улыбка (по отношению к хорошему настроению)
Отношение подобия (внешнего сходства)
Фотография (по отношению к тому, что сфотографировано)
Буква алфавита, арабская цифра
Любой знак имеет смысловое и предметное значения (иногда говорят короче: смысл и значение).
Возьмем, например, слово «лес». Чтобы указать смысловое значение, дают описание мысли, заключенной в знаке. Для слова «лес» смысл можно передать словосочетанием «множество деревьев». Это неточное указание смыслового значения. Точнее нужно выразиться так: «массив дикорастущих деревьев». Что касается предметного значения слова «лес», то в этом качестве выступает произвольный элемент множества, обозначенного данным словом.
Всякое выражение языка относится к той или иной семантической категории. Эти категории бывают двух типов: дескриптивные и логические.
Дескриптивными категориями являются предложение, имя, признак, знаки свойства и отношения.
ЛОГИКА И ЯЗЫК ПРАВА
Специфика языка права заключается в единообразии терминов, которые должны употребляться разными людьми в различных случаях и ситуациях. Такие термины называются юридическими. Напр., в обыденной жизни мы можем употребить выражение: «Петров – коренной москвич». Слова «коренной москвич» разными людьми понимается по-разному. Одни считают коренными всех, кто родился в Москве, другие только тех, у кого родители были москвичами, третьи – тех, кто много лет прожил в Москве. Такая неопределенность обыденного языка неприемлема при решении правовых вопросов. Напр., несколько лет назад было принято постановление о постановке в очередь на получение отдельной квартиры москвичей, проживающих в коммунальных квартирах. Кто имеет на это право?
Чтобы избежать неопределенностей, взамен обычных слов вводят юридические термины посредством определений: «Коренной москвич – это человек, который прожил в Москве 40 лет». Можно выделить два основных способа введения юридических терминов. Первый – посредством выделения одного из смыслов, в которых выражение употребляется в естественном языке, как в указанном примере. Другой – в придании выражению дополнительного смысла по сравнению с общепринятым. Напр., «совершенным впервые является преступление, если оно совершено фактически первый раз, или истек срок давности привлечения за предыдущее преступление, или судимость снята или погашена». В этом случае сфера приложения термина расширяется. Кроме юридических терминов в языке права используются и неуточняемые выражения. Это выражения, которым придан точный смысл в других науках, а также те, которые не являются многозначными в обыденном языке. В данном случае это такие выражения, как «жить в Москве», «40 лет», «человек».
Язык права подчиняется 3-м нормативным принципам:
1. Принцип предметности. Должно утверждаться или отрицаться нечто о значениях понятий, входящих в предложения, а не о самих понятиях. Напр., в определении В.И. Ленина: «Материя есть философская категория для обозначения объективной реальности» не ясным остается: Ленин называл материей объективную реальность или только категорию, т. е. мысль об объективной реальности.
2. Принцип однозначности. Понятие должно обозначать только один предмет, если оно единично. Понятие общее должно обозначать предметы одного класса.
3. Принцип взаимозаменимости. Если в понятии заменить часть другим понятием с тем же значением, то значение полученного в результате такой замены сложного понятия должно быть таким же, как и значение исходного понятия. Напр., дано предложение «Земля вращается вокруг Солнца». Заменим понятие «Солнце» на понятие «центральное тело Солнечной системы». Очевидно, что истинность предложения не изменилась. Но если произвести такую же замену в предложении «Птолемей считал, что Солнце вращается вокруг Земли», то получится ложное предложение.
Язык как знаковая система. Виды языков.
Язык логики – язык, специально созданный логикой в качестве средства точного анализа некоторых процедур мышления и, главным образом, логич. выводов одних высказываний из других и док-в высказываний.
Знак – это объект, используемый интерпретатором в процессе познания или общения в качестве представителя какого-либо другого объекта.
Роль знаков в познании исследовал еще Аристотель. Этой проблемой занимались Лейбниц и другие ученые. В XIX веке, в связи с запросами логики и лингвистики возникает специальная наука о знаках – семиотика, основы которой заложил Пирс. Предметом этой науки является знаковая ситуация, состоящая из трех элементов: знак, обозначаемое, интерпретатор. это общая теория знаковых систем, с помощью которой в виде знаков, отражаются структурные элементы логики.
В качестве «знаков» могут выступать произнесенные вслух или написанные слова и словосочетания, графические символы, жесты, сигналы. «Обозначаемым» в логике называют все, что мы можем мыслить, все, что может стать объектом нашего рассмотрения. В качестве «интерпретатора» может выступать отдельное лицо, группа людей или общество в целом.
Язык как знаковую систему можно рассматривать в трех аспектах, каждый из которых исследуется в специальном разделе семиотики.
1) Синтаксис— раздел семиотики, который изучает структуру языка, отношения между самими знаками, правила построения и преобразования выражений языка.
2) Семантика –занимается проблемой интерпритации-анализом отношений между знакои и обозначаемым объектом.
3) Прагматика-анализирует коммуник. фун-и языка,т.е.изучает отношение интерпретатора к знакам, а также отношения между интерпретаторами в процессе языкового общения (правила и приемы практического использования знаков людьми).
Значение знака -предмет, репрезентируемый данным знаком. Множество всех предметов, которые знак репрезентирует, называется его экстенсионалом.
Например, значением знака «автором произведения «Война и мир» является Толстой, именно он обозначается этим словосочетанием. Смысл же этого знака – та информация о Л.Н. Толстом, которую он содержит, а именно признак «быть (единственным) человеком, написавшим «Войну и мир».
Принято считать, что все знаки имеют смысл. Смысл может уже содержаться в самом знаке (тогда знак называют описательным) или придаваться ему как бы внешним образом, с помощью определения (тогда знак называют не описательным). «Наименьшее натуральное число», «первый российский космонавт», «высочайшая вершина мира» – знаки описательные, а «0», «Гагарин», «Эверест» – не описательные.Однако не все знаки обязательно имеют значение в той предметной области, о которой говорится в контекстах, содержащих эти знаки. Например, знак «наибольшее натуральное число» не имеет значение на множестве натуральных чисел. Такие знаки называют пустыми или мнимыми. Если же знак репрезентирует предметы, имеющиеся в соответствующей предметной области, то его называют непустым. Например, очевидно непустой знак «студент, читающий учебник по «Логике».
Произведем логический анализ выражения «учащийся высшего или среднего специального учебного заведения».
Значение: (любой) студент. Экстенсионал: множество всех студентов.
Смысл (интенсионал): сложный признак «обучаться в высшем или среднем специальном учебном заведении».
Вид знака: знак непустой, описательный.
знаки-образы— имеют определённое сходство с обозначаемыми предметами, находящимися с ними в отношениии подобия(копия с док-та).
Знаки-индексы— естественные знаки, связанные с обозначаемым предметом, как следствие с причиной(повышенная т. чел. –о заболевании,причина-следствие связи)
знаки-символы-знаки,не имеющие сходства с обозначаемыми предметами(нотные знаки,дорожные, морзе).
Естественные и искусственные языки
Естественные языки возникли как средство общения между людьми. Их формирование и развитие представляет собой длительный исторический процесс и происходит в основном стихийно. В качестве знаков здесь используются произнесенные вслух или написанные слова и словосочетания. К числу естественных языков относятся такие разговорные языки как русский, английский, французский и т.п.
Искусственные языки сознательно создаются человеком для решения определенных задач. Здесь в качестве знаков используются специальные символы. Примерами искусственных языков являются музыкальные ноты, азбука Морзе. Логические теории также используют искусственные языки для выражения внутренней структуры суждений и умозаключений.
Смешенные:языки естест. и гуманит. наук(матем. логика,формальная логика).
Естественный язык, прекрасно приспособленный для общения людей, с формальной точки зрения обладает рядом негативных свойств.
1)Многозначность: значение некоторых выражений можно понять только из контекста («замок», «ручка», «ключ», «коса» и т.п.).
2)Некомпозициональность: в естественном языке отсутствуют четкие правила, позволяющие определять значение сложного выражения, когда известны значения всех входящих в него слов («Он встретил ее на солнечной поляне с ромашками»).
3)Семантическая замкнутость: семантические атрибуты выражений естественного языка (смысл, значение, истинность и пр.) определяются в рамках самого этого языка.
Важной особенностью искусственных языков является то, что они позволяют не просто фиксировать информацию о мире, но фиксировать ее в максимально четкой и эффективной форме. Все современные научные теории либо создают свои формализованные языки, либо, как минимум, стремятся соблюдать простейшие семантические принципы, позволяющие избежать языковых «ловушек» и парадоксов.
13.Отношения между понятиями по объему. Круги Эйлера.
Между понятиями существуют объективные, независящие от человека отношения. Прежде всего, это отношения сравнимости и несравнимости.
Два понятияaА(a)иaВ(a)являютсясравнимыми,если и только если их универсумы совпадают. Например, понятия о преступнике и о жертве преступления являются сравнимыми. Оба они относятся к одной и той же предметной области – универсуму людей.
Два понятияaА(a)иaВ(a)являютсянесравнимыми,если они относятся к различным универсумам. Например, понятие о четном числе и понятие о европейской столице являются несравнимыми, поскольку первое из них имеет своим родом универсум чисел, а второе – универсум городов.
Среди всевозможных пар сравнимых понятий можно выделить три фундаментальных отношения в том смысле, что с их помощью возможно задать все остальные отношения. К числу фундаментальных принадлежат отношения совместимости, включения и исчерпывания.
Фундаментальные отношения:
1) ПонятияaА(a) и aВ(a) находятся в отношении совместимости, если и только если пересечение их объемов А и В не пусто, то есть АÇВ ¹ Æ.Это означает, что в универсуме имеется по крайней мере один элемент, обладающий как признаком А(a), так и признаком В(a) (например, А – студент, В – спортсмен).
2) Понятие aВ(a) находится к понятию aА(a) в отношении включения если и только если при вычитании объема aА(a)из объемаaВ(a)получается пустое множество, то есть В\A = Æ.Это означает, что всякий элемент универсума, обладающий признаком В(a), обладает также признаком А(a)(например, А – учащийся, В– студент).
3) Понятия aА(a) и aВ(a) находятся в отношении исчерпывания, если и только если объединение их объемов А и В равно универсуму, то есть АÈВ = U.Это означает, что каждый элемент универсума обладает признаком А(a) или признаком В(a)(например, А – сын, В – дочь; каждый человек является чьим-то сыном или дочерью).
Вспомогательные отношения выводятся из фундаментальных. Наиболее важными из них являются: равнообъемность, подчинение, соподчинение, противоречие, дополнение, перекрещивание.
14.Основные способы умозаключений классической логики высказываний.
Как уже отмечалось, что умозаключение – это логическая форма получения нового знания (вывода) из мыслительной связи нескольких истинных суждений. При этом исходным суждением называется посылка, а получаемое суждение – заключение. Логика изучает дедуктивные и индуктивные умозаключения.
В процессе получения умозаключения всегда важно установить, в каких логических отношениях находятся те или иные суждения, высказывания. Они обозначаются латинскими буквами А, В,С и т.д.
Основными способами умозаключений являются: условно-категорические, разделительно-категорические и условно-разделительные умозаключения.
А É В, А – modus ponens (утверждающий способ)
А É В, ØВ– modus tollens (отрицающий способ)
Таким образом, правильными являются умозаключения от утверждения антецедента (А) к утверждению консеквента (В)и от отрицания консеквента (ØВ) к отрицанию антецедента (ØА).
Например, «Если идет дождь, то крыши мокрые. Дождь идет. Значит, крыши мокрые» и «Если наступает осень, с деревьев опадают листья. Листья еще не опали. Значит, осень не наступила».
К числу правильных разделительно-категорических умозаключений относятся:
А Ú В, ØА– modus tollendo ponens
В (отрицающе-утверждающий способ)
АÚВ, А – modus ponendo tollens
ØВ(утверждающе-отрицающий способ).
Например, «В банкомате закончились деньги или он сломался.
Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций.
Поперечные профили набережных и береговой полосы: На городских территориях берегоукрепление проектируют с учетом технических и экономических требований, но особое значение придают эстетическим.