Язык и мир

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

ЯЗЫК И МИР

1. Мышление и язык

Французский философ XVII в. Р. Декарт доказывал, что способность нормально использовать язык является единственным достоверным признаком того, что некоторое существо обладает человеческим разумом. Эту способность невозможно обнаружить ни у автомата, ни у животного. Животное, впрочем, тоже представляет собой, по Декарту, разновидность автомата, наделенного рефлексами. Во всех отношениях, кроме языка, автомат может обнаруживать признаки интеллекта, иногда превосходящие соответствующие признаки человека. Но к языку ни животное, ни машина, лишенные разума, не будут способны, даже если наделить их физиологическими органами, необходимыми для производства речи.

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

Язык -- необходимое условие существования абстрактного мышления. Не случайно такое мышление, являющееся отличительной особенностью человека, принято называть «мышлением в понятиях».

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

Как и мышление, язык диалогичен: он существует для отдельного человека лишь постольку, поскольку существует для других.

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

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

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

Язык -- знаковая система, служащая для целей коммуникации и познания.

Системность языка выражается в наличии в каждом языке словаря, синтаксиса, семантики и прагматики.

Синтаксические правила языка устанавливают способы образования сложных выражений из простых и способы преобразования выражений языка.

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

Правила значения обычно подразделяются на три группы: аксиоматические, выводные и эмпирические. Аксиоматические правила требуют принятия предложений определенного вида во всех обстоятельствах. Например, правила русского языка предписывают всем говорящим на этом языке всегда принимать предложения: «Каждый холостяк не женат», «Сантиметр равен одной сотой метра», «Красное не есть черное» и т. п. Выводные правила требуют принятия следствий, вытекающих из некоторых посылок, если приняты сами посылки. Например, таково правило, согласно которому, приняв предложения: «Если Иван Ильич человек, то он смертен» и «Иван Ильич человек», следует принять также предложение «Иван Ильич смертен». Ситуация принятия предложений, указываемая эмпирическими правилами значения, предполагает выход за пределы языка и внеязыковое наблюдение. К таким правилам относятся, например, правила, требующие принятия предложения «Больно» в случае ощущения боли, предложения «Этот предмет -- красный» -- при восприятии красного предмета и т. п.

Языки, включающие эмпирические правила значения, принято называть «эмпирическими». Языки всех наук, за исключением логики и математики, являются эмпирическими.

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

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

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

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

2. Употребления языка

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

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

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

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

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

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

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

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

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

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

Например, я вправе поздравить вас с победой на соревнованиях, если вы действительно победили и если я на самом деле рад вашей победе. В этом случае поздравление будет искренним, и его можно считать истинным, т. e. соответствующим внешним обстоятельствам и моим чувствам. Если же я поздравляю вас с тем, что вы хорошо выглядите, хотя на самом деле вы выглядите неважно, мое поздравление неискренне. Оно не cooтветствует реальности, и если я знаю об этом, то не соответствует и моим чувствам. Такое поздравление вполне можно оценить как ложное.

Ложным было бы и поздравление с тем, что вы открыли квантовую механику: всем, в том числе и вам, заведомо известно, что это не так, и поздравление звучало бы насмешкой.

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

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

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

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

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

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

Язык может использоваться также для обещаний, т. е. для возложения на себя говорящим обязательства совершить в будущем какое-то действие или придерживаться определенной линии поведения. Обещаниями являются, к примеру, выражения: «Обещаю вести себя примерно», «Клянусь говорить правду и только правду», «Буду всегда вежлив» и т. п. Обещания можно истолковать как нормы, адресованные говорящим самому себе и в чем-то предопределяющие его поведение в будущем. Как и все нормы обещания не являются истинными или ложными. Они могут быть обдуманными или поспешными, целесообразными или нецелесообразными и т. п.

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

Оценка (оценочное высказывание) -- высказывание, устанавливающее абсолютную или сравнительную ценность некоторого объекта.

Оценками являются, к примеру, выражения: «Хорошо, что погас свет», «Плохо, когда кто-то опаздывает», «Лучше прийти раньше, чем опоздать» и т. п. Оценки столь же фундаментальны и ни к чему не сводимы, как и описания. Однако в отличие от описаний они не являются истинными или ложными.

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

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

Многообразные употребления языка можно привести в определенную систему, которая излагается далее.

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

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

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

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

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

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

Орективами являются, к примеру, выражения: «Возьмите себя в руки», «Вы преодолеете трудности», «Верьте в свою правоту и действуйте!» и т. п.

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

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

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

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

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

3. Логические категории

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

Результатом разложения предложения на простые, далее неразложимые части будут выражения двух типов: содержательные и логические.

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

Логические части, или символы, -- выражения языка, не имеющие самостоятельного содержания, но в сочетании с одними или несколькими содержательными выражениями образующие сложные выражения с самостоятельным содержанием.

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

Логические символы называются также логическими постоянными.

Различие между содержательными и логическими частями можно уподобить различию между числами и арифметическими операциями над ними. Числа обладают каким-то содержанием, даже когда рассматриваются сами по себе. Операции же, такие, как сложение и вычитание, не имеют самостоятельного содержания, но они из одних чисел позволяют получать другие числа. Скажем, из чисел 7 и 3 с помощью сложения получаем новое число 10, а с помощью вычитания второго числа из первого -- новое число 4.

К содержательным частям относятся имена (понятия) и высказывания. Имена обозначают какие-то объекты, высказывания описывают или оценивают некоторые ситуации, или положения дел. Именами являются, например, «Александр Македонский», «полководец», «стол», «живопись» и т. д. К высказываниям относятся: «Александр Македонский одержал победу над царем Дарием», «Стало холодно, и поднялся ветер» и т. п.

Логические символы подразделяются на виды в зависимости от того, к чему они применяются (к понятиям или к высказываниям) и что возникает в результате их применения (понятие или высказывание).

Из многих видов логических символов выделим следующие логические связки:

• «...и...», «...или...», «если..., то...», «неверно, что...», -- позволяющие из одних высказываний образовывать новые высказывания;

• «... есть ...», «все ... есть ...», «некоторые ... есть ...», «все ... не есть ...», «некоторые ... не есть ...», -- позволяющие из двух понятий получить высказывание.

С помощью логических связок из высказываний «Письмо отправлено» и «Письмо сожжено» можно получить новые высказывания: «Письмо отправлено и оно сожжено» (явно противоречивое высказывание), «Письмо отправлено или оно сожжено», «Письмо ни отправлено, ни сожжено», «Неверно, что письмо отправлено» и т. п.

С помощью связок «... есть ...», «все ... есть ...» и им подобных из понятий «металл» и «проводник электричества» можно получить высказывания: «Металл есть проводник электричества»; «Всякий металл -- проводник электричества»; «Некоторые металлы -- проводники электричества» и т. п.

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

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

Для выявления логической формы надо отойти от содержания, заменить содержательные части какими-нибудь пробелами или буквами. Останется только связь этих частей. Она выражается словами «и», «или», «если, то», «есть» и т. п. Часто ли мы задумываемся над ними? Вряд ли. Знаем ли мы те правила, которым подчиняется их употребление? Довольно смутно. Изучение логики предполагает изменение ориентации нашего ума: с анализа содержания он должен переключиться на логическую форму проводимых рассуждений. Это кажется трудным, но только на первых порах.

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

В качестве переменных для понятий обычно используются буквы Б, Р, Q и др. Переменными для высказываний обычно служат буквы А, В, С и др. Сами буквы Б и Р не несут конкретного содержания. Они только указывают, что в выражения «Б есть Р» или «Некоторые Б не есть Р» вместо данных букв должны подставляться какие-то конкретные понятия, чтобы получилось содержательное высказывание. Буквы А и В точно так же бессодержательны. Они указывают лишь на то, что вместо них в выражения типа «А и В», «если А, то В» и т. п. следует подставлять конкретные высказывания, чтобы получить новое содержательное высказывание.

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

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

мышление язык логический символика

4. Логическая символика

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

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

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

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

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

~; И -- знаки, служащие для обозначения отрицания; читаются: «не», «неверно что»;

*; л; & -- знаки для обозначения логической связки, называемой конъюнкцией; читаются: «и»;

V -- знак для обозначения логической связки, называемой неисключающей дизъюнкцией; читается: «или»;

V -- знак для обозначения строгой, или исключающей, дизъюнкции; читается: «либо, либо»;

^; з -- знаки для обозначения импликации; читаются: «если, то»;

=; ^ -- знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;

V -- квантор общности; читается: «для всякого», «всем»;

3 -- квантор существования; читается «существует», «имеется по крайней мере один»;

L, N -- знаки для обозначения модального оператора необходимости; читаются: «необходимо, что»;

М -- знак для обозначения модального оператора возможности; читается: «возможно, что».

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

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

Возьмем, для примера, некоторые содержательные высказывания и приведем рядом их запись на языке логики:

а)«Тот, кто ясно мыслит, ясно говорит» -- (А ^ В); буква А обозначает высказывание «Человек ясно мыслит», В -- высказывание «Человек ясно говорит», ^ -- связка «если, то»;

б)«Он -- образованный человек и неправда, что он не знаком с сонетами Шекспира» -- А л ~ В; А -- высказывание «Он образованный человек», В -- «Он не знаком с сонетами Шекспира», л -- связка «и», «не»;

в)«Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка» -- (А ^ (В ^ С)); А -- «Свет имеет волновую природу», В -- «Свет представляется в виде потока частиц», С -- «Допускается ошибка»;

г)«Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» -- (А ^ (В V С)); А -- «Вы были в Париже», В -- «Вы видели Лувр», С -- «Вы видели Эйфелеву башню»;

д)«Если какое-то вещество нагревать, то оно расплавится или испарится, но оно может также взорваться» -- (А ^ (В V С V Д)); А -- «Вещество нагревается», В -- «Вещество расплавляется», С -- «Вещество испаряется», D -- «Вещество взрывается».

Приведем еще один простой пример перехода от искусственного языка логики к обычному языку. Пусть переменная А представляет высказывание «Теория Дарвина является научной», В -- «Теория Дарвина может быть подтверждена опытными данными», С -- «Теория Дарвина может быть опровергнута опытными данными». Какие содержательные высказывания выражаются формулами:

а)А ^ (В ^ С);

б)(В л ~ С) ^ ~ А;

в)(~ В л ~ С) ^ ~ А?

Ответом на этот вопрос являются, соответственно, три высказывания:

а)Если теория Дарвина научна, то если она может быть подтверждена опытными данными, она может быть также опровергнута ими;

б)Если теория Дарвина может быть подтверждена опытными данными, но не может быть опровергнута ими, она не научна;

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