Язык логики

Размещено на http://www.allbest.ru/

1

Контрольная работа

Вариант 2

Язык логики

Содержание

1. Язык как знаковая информационная система. Знаки и их основные характеристики. Естественный и искусственный языки.

2. Понятие об искусственном языке логики. Основные семантические категории и семантический анализ языка.

3. Основные синтаксические категории и функциональный анализ языковых выражений.

4. Понятие о языке логики высказываний и логики предикатов.

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

1. Язык как знаковая информационная система. Знаки и их основные характеристики. Естественный и искусственный языки

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

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

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

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

Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.

Множество исходных знаков языка составляет его алфавит.

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

По происхождению языки бывают естественные и искусственные.

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

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

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

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

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

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

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

Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени.

2. Понятие об искусственном языке логики. Основные семантические категории и семантический анализ языка

Формальная логика, по нашему определению, должна изучать структуры мышления в их языковой форме. Люди могут обмениваться друг с другом мыслями не иначе, как с помощью языковых средств, будь то произносимые или написанные слова и предложения, сигнализация флагами или другие знаки, основанные на соглашении; мысли также могут сохраняться, накапливаться только с помощью языковых средств. Однако, как мы уже поняли, это не означает такой связи мыслей и языковых средств, когда каждой мысли соответствует определенная формулировка и наоборот. Свои мысли можно формулировать более или менее точно. С другой стороны, языковые формы оказывают определенное влияние на мышление: они могут прояснять мышление, например, при логическом выводе, но они могут и тормозить его или вводить в заблуждение (ср.: Все студенты нашей группы изучают японский язык. Петров изучает японский язык. Следовательно, Петров - студент нашей группы; множество газетных курьезов: Пять тысяч километров и столько же часовых поясов разделяют берега Тихого Дона и Ангары; Модернизация прокатного стана, выполненная по предложению Е. Кутузова, подняла его производительность на 50 %). Поэтому нельзя недооценивать анализ языка в науке. Но его нельзя и переоценивать, как это было, например, у Людвига фон Витгенштейна (1889 - 1951 гг.), видевшего единственную задачу философии в критике языка, а также у многих неопозитивистов. Правда, в результате анализа языка можно косвенно многое узнать об объективной реальности и о мышлении, но никакой анализ языка не может заменить изучение действительности. Только совокупность исследования действительности, мышления и языка составляет аналитическую деятельность в науке.

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

1. Наиболее близки к обозначаемому так называемые знаки-индексы, или естественные знаки. Они настолько близки к нему, что являются его частью. Естественный знак - это объект (процесс, явление) реального мира, являющийся частью некоего целого и свидетельствующий об этом целом или других частях этого целого. Например, дым в лесу указывает на возникновение пожара. Человек внезапно побледнел - это знак того, что ему стало плохо. Легко заметить, что связь естественного знака с обозначаемым - причинно-следственная. Огонь - причина дыма и т. д. Знаки-индексы так привязаны к своим обозначаемым, что между собой практически не взаимодействуют: в естественной знаковой системе нет никакой "грамматики".

2. Следующий тип знака - это знак-образ. Образ уже не является частью обозначаемого предмета, но отражает его и, следовательно, должен напоминать обозначаемое. Знак-образ дальше отдаляется от обозначаемого, чем знак-индекс, но все-таки еще связан с обозначаемым хотя бы тем, что должен быть на него похож. Образные знаковые системы чрезвычайно распространены: система дорожных знаков и геральдика, народные обряды и этикет, древние наскальные рисунки и образные системы современной живописи и т. д. Следует отметить, что знаки-образы могут отличаться друг от друга по степени приближенности к обозначаемому.

3. Следующий тип знаковых систем - собственно языки. Знаком в языках является слово. Слово отдалено от того, что оно обозначает: колебания воздуха при произнесении слова "студенты" не имеют никакой видимой связи со студентами. Таким образом, слово как знак произвольно. Если и есть какая-либо связь между словами и объектами, обозначаемыми этими словами, то у нас мало шансов ее установить.

Семиотика. Комплексное изучение языка осуществляется особой наукой - семиотикой. Основателем семиотики как науки считается американский ученый Чарльз Пирс (1839 - 1914 гг.), который и ввел термин "семиотика". Отдельные более или менее развернутые мысли о знаках и знаковых системах высказывали многие исследователи. Так, по определению Г. Клауса (Германия), семиотика является общей теорией языковых знаков и их связей друг с другом, с мышлением, объективной реальностью и человеком. При этом семиотика не изучает конкретные языки, как, например, русский, немецкий, английский, литовский, это задача отдельных языковедческих наук - русистики, германистики, литуистики. Семиотика занимается тем, что является общим для всех языков независимо от их словарного состава, их грамматической структуры, от того, возникли они естественным путем или были созданы для определенных целей. Своим понятием знака семиотика охватывает не только слова таких языков, как русский, немецкий, литовский и т. п., но и все материальные образования, которые что-либо значат или что-либо обозначают. Семиотика анализирует язык в четырех аспектах:

- синтаксическом; - семантическом; - прагматическом; - сигматическом.

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

Например, отношения между значением слов и значением предложений, построенных из этих слов. Чтобы понять специфику проблем и объекта исследования семантики, рассмотрим знаменитый семиотический, или семантический, треугольник американского исследователя Чарлза Кея Огдена (1889 - 1957 гг.) и английского ученого Айвора Армстронга Ричардса (1893 -1979 гг.) (см. схему 2).

Имя (номинация) обозначает, именует вещь (денотат) и выражает понятие о вещи (десигнат). Термины, написанные в каждой вершине треугольника, иногда считают синонимами. Все они активно употребляются в семиотике и отличаются друг от друга оттенками смыслов у разных авторов. В европейской традиции в связи с изучением философских вопросов семантики следует вспомнить такие имена: Платон (427 - 347 гг. до н. э.), Аристотель (384 - 322 гг. до н. э.), Секст Эмпирик (кон. II - нач. III в.), Порфирий (ок. 233 - ок. 304 гг.), Уильям Оккам (ок. 1285 -1349 гг.), Николай Кузанский (1401-1464 гг.), Готлиб Фреге, Алексей Лосев (1893 - 1988 гг.), Рудольф Карнап (1891 - 1970 гг.), Алонзо Черч (р.1903 г.) и др.

Десигнат, сигнификат, интенсионал соответствуют смыслу, или значению знака в нашем сознании. Денотат, референт, экстенсионал обозначают тот предмет или ряд предметов "внешнего мира", который соответствует данному имени (знаку, слову, словосочетанию).

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

3. Основные синтаксические категории и функциональный анализ языковых выражений

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

Серьезные и систематические исследования в области синтактики начались лишь в ХХ в., хотя интерес к этим явлениям обнаруживается значительно ранее, и на то были свои причины. В XIX в. мир перестал восприниматься как состоящий из хорошо определимых вещей, каждая из которых имеет свою сущность и называется каким-либо именем. Сами вещи начали «двоиться», «троиться», как бы распадаться на ряд самостоятельных объектов (конечно, в восприятии некоторых людей, а не в действительности). Известный французский философ Анри Бергсон (1859 - 1941 гг.), считавший, что сущность жизни может быть постигнута только с помощью интуиции, писал в 1889 г.: "Каждый день я смотрю на одни и те же дома и, зная, что это те же самые объекты, постоянно называю их тем же именем. Но если через некоторое время я сравню свое первоначальное впечатление от них с теперешним, то буду поражаться, насколько неповторимое, необъяснимое и, самое главное, невыразимое изменение совершилось в них". Вспомним серию полотен Клода Моне "Руанские соборы" (на них изображен один и тот же Руанский собор, но в разное время дня и при разном освещении). "Раздваиваются" и люди (Ф.М. Достоевский "Двойник", Э. По "Вильям Вильсон"). В философии языка на первый план постепенно, но уверенно выходят факт, событие и вытесняют собой вещь. Мир теперь состоит не из вещей, а из событий и фактов. А формой и средством выражения факта является предложение. Значит, главным объектом исследования становится предикат (см. параграф 3.7. Язык логики предикатов).

4.Понятие о языке логики высказываний и логики предикатов

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

Так же, как и в логике высказываний, в логикике предикатов любое высказывание считается либо истинным, либо ложным. Однако при этом кроме пропозициональных связок «)», «&», «V», «-->», «<-->» используются еще три логических оператора: оператор предикации «<--», квантор общности «V» и квантор существования «Э». Если с помощью оператора предикации (субъектно-предикатной связки) формализуется внутреннее логическое строение высказываний об отдельных объектах, то с помощью кванторов формализуются высказывания о различных совокупностях объектов.

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

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

Функциональная логика, квантор пая логика, основной. раздел математической логики, средствами которого строятся многие др. её разделы. Логика предикатов, в отличие от логики высказываний, расширением которой она является, учитывает не только связи между предложениями (высказываниями), но и их субъектно-предикатную структуру: выделяются аналоги подлежащих в предложениях естественных языков (т. н. термы) и аналоги сказуемых -- предикаты. Для этой цели выразительные средства логики высказываний пополняются спец. символами для обозначения предикатов и термов, а дедуктивные средства -- правилами образования и преобразования выражений, содержащих эти символы. В логике предикатов вводят также спец. операторы -- кванторы. Аксиоматические построение логики предикатов в виде исчисления предикатов включает аксиомы и правила вывода, позволяющие преобразовывать кванторные формулы и строить формальные доказательства (например, система аксиом и правил вывода для исчисления высказываний пополняется схемами аксиом).

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

Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени.

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

Предметное значение (денотат) имени -- это один или множество каких-либо объектов, которые этим именем обозначаются. Например, денотатом имени «дом» в русском языке будет все многообразие сооружений, которые этим именем обозначаются: деревянные, кирпичные, каменные; одноэтажные и многоэтажные и т.д.

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

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

Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семантические категории, это имена: 1) предметов, 2) признаков и 3) предложений.

Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.

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

Имена признаков -- качеств, свойств или отношений -- называются предико/порами. В предложении они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т.д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» -- к трехместным («Отец дарит книгу сыну»).

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

Алфавит языка логики предикатов включает следующие виды знаков (символов):

1) а, Ь, с,... -- символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, пли константами;

2) х, у, z, ... -- символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;

3) Р', О', R',... -- символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;

4) р, q, г, ... -- символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio -- «высказывание»);

5) V, 3 -- символы для количественной характеристики высказываний; их называют кванторами: V -- квантор общности; он символизирует выражения -- все, каждый, всякий, всегда и т.п.; 3 -- квантор существования; он символизирует выражения -- некоторый, иногда, бывает, встречается, существует и т.п.;

6) логические связки:

Л ---- КОНЪЮНКЦИЯ (СОЮЗ «И»);

V ---- ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»);

--> -- импликация (союз «если..., то...»);

= -- эквиваленция, или двойная импликация (союз «если и только если..., то...»); .

Ч -- отрицание («неверно, что...»). Технические знаки языка: (, ) -- левая и правая скобки.

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

1. Всякая пропозициональная переменная -- р, q, г,... есть ППФ. 1. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ. А' (х), А2 (х, у), А^х, у, z), А" (х, у,..., п), где А', А2, А3,..., А" -- знаки метаязыка для предикаторов.

3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения V хА (х) и 3 хА(х) также будут ППФ.

4. Если А и В -- формулы (А и В -- знаки метаязыка для выражения схем формул), то выражения:

А л В,

A v В,

А--В,

А^В,

-1А.1В ^ также являются формулами.

5. Любые иные выражения, помимо предусмотренных в п. 1--4, не являются ППФ данного языка.

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

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

Задание 1: Дайте анализ логической ошибки "обращение к личности" и приведите примеры этой ошибки из известных вам литературных источников или из конкретной практики.

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

Значит обращение должно складываться так: «обращение»> «человеку»> «личности».

Пример данной ошибки был найден в учебном пособие по профессиональной этике под редакцией Солонициной А.А., где указанно, что «обращение по имени отчеству - это обращение к личности».

Рис. 1

Задание 2: Проверьте, обосновано ли заключение в следующем разделительно-категорическом умозаключении (если нет, то почему?): "Преступление может быть совершено путем действия или путем бездействия. Это преступление не совершено путем действия. Следовательно, это преступление совершено путем бездействия".

Решение:

Данное суждение верно по «закону исключенного третьего». Так «преступление» может быть совершено путем «действия» или путем «бездействия». По данному закону третьего быть не может. Значит если преступление не совершено путем действия, значит оно совершено путем бездействия.

1) Преступление (М) может быть совершено путем действия или путем бездействия (Р). Это преступление (S) не совершено путем действия (M).

Следовательно, это преступление совершено путем бездействия.

Рис.2

Размещено на Allbest.ru