Риторика как наука и искусство. Предмет и задачи логики. Теоретическое и практическое значение логики. Логика и язык. Символическая логика. Логика высказываний. Образование сложных высказываний. Нуль-единичная проверка истинности высказываний.
Аннотация к работе
Но в отличие от других наук, изучающих человеческое мышление, например от физиологии нервной высшей деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются формы и законы, приемы и принципы мышления, с помощью которых человек познает окружающий его мир. Риторика учила и учит, как осуществлять общение, логично и выразительно излагать и развивать мысли, употреблять слова, как пользоваться речевой активностью в личной жизни и общественной деятельности, как выступать перед аудиторией. Можно логично рассуждать, правильно строить свои; умозаключения, опровергать доводы противника и, не; зная правил логики, подобно тому, как нередко люди выражают свои мысли на языке, не зная его грамматики. Смысл (или концепт) имени - это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Знак эквивалентности говорит только о том, что выражения взаимозаменимы: высказывание с двумя отрицаниями равносильно тому же высказыванию без отрицания.
Введение
Логика-наука о человеческом мышлении. Но в отличие от других наук, изучающих человеческое мышление, например от физиологии нервной высшей деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются формы и законы, приемы и принципы мышления, с помощью которых человек познает окружающий его мир.
Вопросы, связанные с познанием действительности, относятся к важнейшим вопросам философии. Поэтому логика, изучающая познающее мышление и применяемая как метод познания, является философской наукой.
Итак, логика - это философская наука о формах, в которых протекает человеческое мышление, и о законах, которым оно подчиняется. Таково общее понятие науки логики. Но чтобы раскрыть ее предмет, необходимо выяснить, что такое мышление, что такое форма и закон мышления, наконец, в чем состоит значение логики.
Ответ на эти вопросы и составляет задачу данной работы.
На многовековом историческом пути разработки риторики прослеживаются 2 подхода к ее определению: согласно первому - это наука о теоретических законах, мастерстве красноречия; согласно второму - это искусство речи.
Становление риторики как науки произошло в Древней Греции в V в до н.э. и было связано с потребностями демократического общества высочайшей культуры.
По словам В. Г. Белинского, «республиканская форма правления сделала красноречие самым важным и необходимым искусством». Жители классического города - государства должны были прекрасно владеть словом, даром убеждения. Политики выступали на народных собраниях (среди них - Фемистокл, Демосфен), полководцы произносили речи перед войском (к примеру, Перикл), граждане боролись за справедливость в суде (такие, как Антифон, Лисий), восхваляли героев, общественные события (в эпидейктическом (торжественном) красноречии были особенно искусны Горгий, Сократ, философы (Сократ, Платон и другие) вели диалоги, словесные баталии. Появились даже новые профессии - ритора - учителя красноречия, логографа - составителя речей.
Другая причина возникновения риторики не политического, а философского толка. Школа элеатов разорвала казавшуюся до тех пор естественной связь слова и вещи и сделала слово лишь условным обозначением вещи. Таким образом, слово было отделено, явилось особым предметом исследования. При этом слово стало делом.
Так постепенно сложилось теоретическое обобщение ораторской практики, собрание правил и методических приемов обучения. Анализ большого эмпирического материала был проделан Аристотелем («Риторика»), Цицероном («Оратор», «Об ораторе», «Брут, или о знаменитых ораторах»), Квинтилианом («Риторические наставления») и другими античными мыслителями.
Греки полагали, что главное - убедить слушателей, а римляне видели задачу в том, чтобы говорить хорошо. В эпоху Средневековья риторика считалась мастерством украшения речи, причем не только устной, но и письменной. Проповеди «отцов христианской церкви» Тертуллиана, Иоанна Златоуста, Августина Аврелия, Фомы Аквинского легли в основу гомилетики - теории церковного красноречия. В этот период европейские риторические идеи проникли в Древнюю Русь. Встречается несколько видов древнерусского краснословия: политическое (вечевая речь), дипломатическое, военное, торжественное, духовное. История появления на Руси довольно развитой теории ораторского искусства датируется началом XV11 века. К этому времени относятся первые работы - епископа Макария, М. И. Усачева, к более позднему - сочинения Стефана Яворского, Феофана Прокоповича. Становление риторики как научной дисциплины неотделимо от имени М. В. Ломоносова - автора «Краткого руководства к красноречию» (1748). В этом труде представлен свод правил, которым предлагалось следовать в устных и письменных произведениях на государственные, общественные и религиозно - философские темы.
Риторика активно развивалась в Европе до конца XVIII века, в России интерес к ней угас в XIX столетии. Ренессанс науки наблюдается с 60-х годов XX века. Интенсивная разработка проблем отечественного красноречия в последние годы связана с тем, что вновь появился заказ общества на мыслящего и говорящего человека. Демократия ослабляет власть приказа и усиливает значение убеждения.
В настоящее время термин «риторика» употребляется в узком и широком смыслах. Риторика (в узком смысле) - это обозначение филологической дисциплины, изучающей теорию красноречия, способы построения выразительной речи во всех областях речевой деятельности (прежде всего в разных устных и письменных жанрах). Риторику (в широком смысле) называют неориторикой (термин введен профессором Брюссельского университета Х. Перельманом в 1958 году) или общей риторикой. Ее быстрое и продуктивное развитие вызвано появлением новых языковедческих наук - лингвистики текста, семиотики, герменевтики, теории речевой деятельности, психолингвистики. Неориторика занимается поиском путей практического применения этих дисциплин, разрабатывается на стыке языкознания, теории литературы, логики, философии, этики, эстетики, психологии.
В теории современного красноречия возрождается древнее первоначальное ядро - концепт убеждения, рассматриваются формы и методы воздействия средствами устной и письменной речи. Цель обновленной риторики - определение наилучших вариантов (оптимальных алгоритмов) общения. Например, исследуются роли участников диалога, механизмы порождения речи, языковые предпочтения говорящих и т. п. Таким образом, неориторика - это наука об убеждающей коммуникации.
Риторика учила и учит, как осуществлять общение, логично и выразительно излагать и развивать мысли, употреблять слова, как пользоваться речевой активностью в личной жизни и общественной деятельности, как выступать перед аудиторией. Первостепенное внимание теория красноречия всегда уделяла устному, «живому» контакту.
Традиционно риторику считали также искусством, сравнивали с поэзией, актерской игрой на основе важности творчества, импровизации в речи, эстетического наслаждения, которое доставляет публичное «размышление вслух». Такие взгляды характерны, например, для Аристотеля, Цицерона, А. Ф. Кони.
Многим дано от природы ораторское дарование, являющееся залогом успешной практики. Однако, по утверждению исследователей Е. А. Ножина, Н. Н. Кохтева, Ю. В. Рождественского и других, в каждом человеке заложен «ген» риторических способностей, которые можно и нужно развивать.
Скорее всего, в риторике - важнейшей области культуры - наука и искусство составляют сложный сплав, единство.
Предмет и задачи логики.
Мышление как предмет изучения логики. Ступени процесса познания: чувственное познание и абстрактное мышление. Особенности абстрактного мышления, 3 его основные формы: понятие, суждение, умозаключение. Роль языка в познании.
Логика как наука о законах и формах правильного мышления. Понятие логической формы. Конкретное содержание и логическая структура мысли. Понятие логического закона. Истинность мысли и правильность рассуждений по форме. Основные черты правильного рассуждения: определенность, непротиворечивость, последовательность и доказательность.
При изучении этой темы следует обратить внимание на то, что выделению логики как особой ветви знания способствовали два обстоятельства: 1) еще в древности люди знали, что достоверность выводных знаний зависит не только от истинности исходных посылок, но и от способа их соединения;
2) чтобы убеждать, надо не только хорошо говорить, но и владеть различными приемами построения умозаключений и доказательств.
Поэтому логика использовалась теоретически и практически в повседневной интеллектуально - речевой деятельности и вошла в программу европейских университетов в составе так называемого тривиума - первой ступени высшего образования, куда, кроме логики, входили грамматика и риторика.
Теоретическое и практическое значение логики
Можно логично рассуждать, правильно строить свои; умозаключения, опровергать доводы противника и, не; зная правил логики, подобно тому, как нередко люди выражают свои мысли на языке, не зная его грамматики. Знание логики повышает культуру мышления, способствует четкости, последовательности и доказательности рассуждения, усиливает эффективность и убедительность речи. Особенно важно знание основ логики в процессе овладевания новыми знаниями, в обучении, в ходе, подготовки к занятию, при написании сочинения, выступления, доклада; знание логики помогает заметить логические ошибки в устной речи и в письменных произведениях других людей, найти более короткие и правильные пути опровержения этих ошибок, не допускать их самому.
В условиях научно-технической революции и возрастающего потока научной информации особое значение приобретает задача рационального построения процесса обучения в средней школе. Экстенсивные методы, предполагающие расширение объема вновь усваиваемой информации, уступают место интенсивным, предполагающим рациональный отбор из всего потока новой информации важнейших, определяющих компонентов. Необходимым условием внедрения новых методов обучения является развитие логической культуры педагогов и учащихся - овладевание методологией и методикой научного познания, усвоение рациональных методов и приемов доказательного рассуждения, формирование творческого мышления.
Логическая культура - это не врожденное качество. Овладевание ею предполагает ознакомление учителей, студентов педагогических вузов и училищ, а через них и учащихся с основами логической науки, которая в течение двухтысячелетнего развития накопила теоретически обоснованные и оправдавшие себя методы и приемы рационального рассуждения и аргументации. Логика способствует становлению самосознания, интеллектуалы ному развитию личности, помогает формированию у нее научного, марксистско-ленинского мировоззрения. «Успешное решение сложных задач обучения и воспитания молодежи в решающей степени зависит от учителя, от его идейной убежденности, профессионального мастерства, эрудиции и культуры». Профессия учителя требует постоянного творчества, неустанной работы мысли и совершенствования ее культуры, без чего невозможно завоевание авторитета учителя у учащихся. Для улучшения подготовки учительских кадров рекомендуется расширить наряду с другими науками преподавание логики, изучение которой в педагогических учебных заведениях поможет поднять логическую культуру будущих учителей.
На июньском (1983 г.) Пленуме ЦК КПСС отмечалась неустанная забота партии о совершенствовании идейно-политического, трудового и нравственного воспитания советских людей, подчеркивалась мысль о том, что формирование научного, марксистско-ленинского мировоззрения - основы коммунистического воспитания людей - является одной из важнейших задач, стоящих перед идеологическими работниками, в том; числе и перед учителями.
В науке, в полемике, в повседневной жизни, в обучении нам ежедневно приходится из одних истинных суждений выводить другие, опровергать ложные суждения или неправильно построенные доказательства. Сознательное следование законам логики дисциплинирует мышление, делает его более аргументированным, эффективным и продуктивным, помогает избежать ошибок, что особенно важно для учителя.
Логика и язык
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга. Труд способствовал выделению человека из среды животных, явился фундаментом в возникновении у людей сознания (в том числе мышления) и языка. Мышление неразрывно связано с языком. Язык, по выражению К. Маркса, есть непосредственная действительность мысли. В ходе коллективной трудовой деятельности у людей возникла потребность в общении и передаче своих мыслей друг другу, без чего была невозможна сама организация коллективных трудовых процессов.
Функции естественного языка многочисленны и многогранны. Язык - средство повседневного общения людей, средство общения в научной и практической деятельности. Язык позволяет передавать накопленные знания, практические умения и жизненный опыт от одного поколения к другому, осуществлять процесс обучения и воспитания подрастающего поколения.
Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка. «В языке есть только общее»; «Всякое слово (речь) уже обобщает... Чувства показывают реальность; мысль и слово - общее».
Речь может быть устной или письменной, звуковой или незвуковой (как, например, у глухонемых), речью внешней (для других) или внутренней, речью, выраженной с помощью естественного или искусственного языка. С помощью научного языка, в основе которого лежит естественный язык, сформулированы положения философии, в том числе диалектической логики, и всех частных наук - истории, географии, археологии, геологии, медицины (использующей наряду с «живыми» национальными языками и ныне «мертвый» латинский язык) и многих других наук.
Язык - это не только средство общения, но и важнейшая составная часть культуры всякого народа. Русский язык ныне стал средством межнационального общения народов нашей страны, одним из важнейших факторов расцвета и сближения национальных культур народов СССР в их приобщении к богатствам мировой цивилизации.
На базе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, например «Алгол-60», «Алгол-65», «Фортран», «Кобол», «Пл-1», «Ассемблер» и др., которые получили широкое применение в современных вычислительных машинах и системах. Языками программирования называются знаковые системы, применяемые для описания процессов решения задач на ЭВМ. В настоящее время усиливается тенденция разработки принципов «общения» человека с ЭВМ на естественном языке, чтобы можно было пользоваться компьютерами без посредников-программистов.
Знак - это материальный предмет (явление, событие), выступающий в качестве представителя некоторого другого предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний).
Знаки подразделяются на языковые и неязыковые. ( К неязыковым знакам относятся знаки-копии (например, фотографии, отпечатки пальцев, репродукции и др.), знаки-признаки, или знаки-показатели (например, дым - признак огня, повышенная температура тела - признак болезни), знаки-сигналы (например, звонок - знак начала или окончания занятия), знаки-символы (например, дорожные знаки) и другие виды знаков. Существует особая наука - семиотика, которая является общей теорией знаков. Разновидностями знаков являются языковые знаки, использующиеся в целях общения. Одна из важнейших функций языковых знаков состоит в обозначении ими предметов. Для обозначения предметов служат т имена.
Имя - это слово или словосочетание, обозначающее э какой-либо определенный предмет. (Слова «обозначение», «именование», «название» рассматриваются как синонимы.) Предмет здесь понимается в весьма широком » смысле: это вещи, свойства, отношения, процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления. Итак, имя всегда есть имя некоторого предмета. Хотя предметы изменчивы, текучи, в них сохраняется качественная определенность, относительно покоящаяся сущность, которую и обозначает имя данного предмета.
Имена делятся на: 1) простые («книга», «Астрахань», Лейбниц») и сложные, или описательные («самый большой водопад в Канаде и США», «планета Солнечной системы», «самая северная в мире атомная электростанция»). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются;
2) собственные, т. е. имена отдельных людей, предметов, событий («Николай Островский», «Обь»), и общие названия класса предметов), например «дом», «победитель социалистического соревнования».
Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет.
Смысл (или концепт) имени - это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, например, знаковые выражения «4», 2 2», «9 - 5» являются именами одного и того же предмета: числа 4. Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т. е. смысл выражений «4», 2 2» и «9 - 5» различен).
Приведем другие примеры, разъясняющие, что такое значение и смысл имени. Такие знаковые выражения, как великий русский поэт Александр Сергеевич Пушкин 1799-1837)», «автор романа в стихах «Евгений Онегин», автор стихотворения, обращенного к Анне Петровне Керн, «Я помню чудное мгновенье», «поэт, смертельно раненный на дуэли Ж. Дантесом», «автор исторической работы «История Пугачева» (1834)», имеют одно и то же значение (они обозначают поэта А. С. Пушкина), но различный смысл.
Такие языковые выражения, как «самое глубокое озеро мира», «пресноводное озеро в Восточной Сибири на высоте около 455 метров», «озеро, имеющее свыше 300 притоков и единственный исток - реку Ангару», «озеро, глубина которого 1620 метров», имеют одно и то же значение (озеро Байкал), но различный смысл, поскольку и языковые выражения представляют озеро Байкал помощью различных его свойств, т. е. дают различную информацию о Байкале.
Символическая логика
Логика высказываний
Образование сложных высказываний
Суждение, как мы помним, обладает двумя важнейшими для логики свойствами: 1) быть либо истинным, либо ложным и 2) что-либо утверждать или отрицать. В логике высказываний от всей мысли, когда она предстает как высказывание, в поле зрения остается одна лишь ее способность - быть либо истинной, либо ложной. Каждое высказывание обозначают какой-либо латинской буквой: p, q, r, s,... Они получили название пропозициональных переменных. Кроме того, вводятся специальные значки для некоторых стандартных языковых оборотов: "если..., то...", "и", "или" и т.п., которые называют логическими союзами. Нам надо перечислить все логические союзы и составить для них таблицу истинности (см. таблицу 1). В символической логике принято обозначать истинное выражение единицей, а ложное - нулем. Стало быть, в приведенной дальше таблице 1 и 0 заменяют соответственно слова "истинно" и "ложно".
Отрицание. Этот логический союз образуется за счет добавления к любому высказыванию слов "Неверно, что...". Для символической записи отрицания мы будем использовать черту (перед) над переменными или формулами: -p. Читается: "Неверно, что p", или просто: "He-p". И если p означает, скажем, "Погода сегодня дождливая", то -p станет высказыванием: "Неверно, что погода сегодня дождливая". Представьте себе далее, что высказывание p истинно (на улице, в самом деле, идет дождь). Тогда его отрицание -p ("Неверно, что погода дождливая") будет, очевидно, ложным высказыванием. Если же дождя нет, то есть высказывание p ложно, тогда, наоборот, истинным будет его отрицание. В результате приложения к исходной мысли этого логического союза образуется высказывание, истинность которого меняется на противоположную. Поэтому в таблице 1 против p со значением 1 в колонке для -p стоит 0, а против p со значением 0 - 1.
Особенностью отрицания в символической логике является то, что двойное отрицание само себя нейтрализует. Так что всегда справедливо выражение: -(-A) = A (1)
Знак эквивалентности говорит только о том, что выражения взаимозаменимы: высказывание с двумя отрицаниями равносильно тому же высказыванию без отрицания.
Конъюнкция. Следующее сложное высказывание, конъюнкция, представляет собой соединение двух и более высказываний с помощью союза "и". В языке этому соответствуют выражения, содержащие "и", "но", "также", "зато", "хотя" и т.д. Ее обозначение чаще всего такое: p /\ q; читается: p и q. Допустим, у нас имеется высказывание с союзом "и": "Поезд следует до Москвы и отходит через пятнадцать минут". Мы можем разбить его на две части, обозначив каждую часть соответственно буквами p и q: "Поезд следует до Москвы" (p) и "Поезд отходит через пятнадцать минут" (q). И тогда наше первоначальное высказывание может быть записано в виде приведенной формулы. Нам осталось только разобраться с колонкой для конъюнкции в таблице истинности.
В первой строке берется случай, когда оба простых высказывания истинны. Как это понимать? Предположим, нам передали вот эту самую информацию о поезде на Москву и времени его отправления. И если мы затем выясним, что и первая, и вторая части этого сообщения соответствуют действительности, то есть высказывания "Поезд следует до Москвы" и "Поезд отправляется через пятнадцать минут" обе истинны (p=1; q=1), то, очевидно, и всю информацию в целом мы тоже оценим как истинную. Это и отмечается в колонке для конъюнкции (первая строка) единицей. Теперь разберем другой вариант. Допустим, что истинным является только одно простое высказывание, скажем, второе, первое же ложно (p=0; q=1). То есть нам сказали, что поезд отходит на Москву через пятнадцать минут, но он отходит, хотя и в самом деле через пятнадцать минут, но не на Москву, как было сказано, а в каком-нибудь ином направлении. Как тогда будет оценено нами полученное сообщение в целом? Очевидно, оно вводит нас в заблуждение, и мы должны отнести его к разряду ложных. Этим объясняется цифра ноль во второй строке в колонке конъюнкции. Понятно, что при обратных значениях компонентов (p=1; q=0) будет тоже самое - в целом информация по-прежнему ложна. Наконец, когда оба простых высказывания являются ложными суждениями, то тем более все суммарное высказывание представляет собой обман.
Таким образом, конъюнкция является истинной только тогда, когда оба составляющих ее простых высказывания истинны, при всех же остальных значениях входящих в нее переменных она ложна.
Дизъюнкция (нестрогая). Этот логический оператор используется для отображения различного рода альтернатив. Ее символическая запись - p \/ q; читается: p или q. Чтобы разобраться с ее значениями по истинности в таблице 1, приведем какой-нибудь конкретный пример. Возьмем высказывание "Этот вопрос решается или через управляющего, или через его заместителя". В нем указывается на два возможных способа решить какой-то вопрос. Один из них задается высказыванием "Этот вопрос решается через управляющего" (обозначим его через p), другой - высказыванием "Этот вопрос решается через заместителя" (q). Попробуем перебрать все варианты, как это было с конъюнкцией.
Допустим, данную справку мы получили в каком-нибудь учреждении и после этого выяснили, что оба начальника в состоянии решить и решают такие вопросы. Стало быть, истинны как p, так и q (p=1; q=1). Как можно оценить истинность всего полученного указания? Вообще говоря, возможны случаи, когда такие высказывания вводят в заблуждение, если они означают, что только один из них компетентен, заниматься данным делом, но не оба вместе. Но могут быть и такие обстоятельства, когда нам достаточно знать, где искать нужную инстанцию, остальное пока безразлично, и тогда то же самое указание при тех же значениях истинности простых суждений будет оценено как истинное. В символической логике предусмотрены оба варианта. Нестрогая дизъюнкция охватывает второй случай - при истинности обоих высказываний она является истинной. Поэтому в таблице истинности, в самой первой строке, где p=1; q=1, для нестрогой дизъюнкции указано значение 1. Когда же, далее, одно из простых суждений истинно (один из указанных руководителей занимается этим вопросом - причем все равно кто, - а другой не занимается) то, само собой понятно, у нас нет никаких оснований считать данную нам справку ложной: нам именно это и сказали, что обращаться надо к тому или другому. Стало быть, в колонке для нестрогой дизъюнкции и во второй, и в третьей строках (как и в первой) должна стоять 1. Ну, а когда оба простых высказывания ложны, то, очевидно, у нас есть причины считать, что нас просто обманули - все дизъюнктивное высказывание надо считать в этом случае, конечно, ложным.
Дизъюнкция (строгая). Этот логический оператор представляет собой то же, что и предыдущий, но относится к несоединимым альтернативам. Например: приговор был оправдательный либо обвинительный, студенту поставили "отлично" либо "хорошо". Во избежание путаницы мы будем пользоваться для нее словом "либо". У нас она будет, записывается как p ? q; читается: p либо q. По истинностным значениям строгая дизъюнкция совпадает с нестрогой во всем за исключением первой строчки. У нее оба простых суждения не бывают одновременно истинными; если же при каких-то обстоятельствах это все же случается, то значит отнесение данной альтернативы к разряду строгих дизъюнкций ложно, что и отмечено цифрой 0 в первой строке колонки для строгой дизъюнкции.
Импликация. Она примерно соответствует тому, что в традиционной логике называют условными суждениями, выражаемыми с помощью логического союза "если,... то". Общепринятое обозначение - p => q; читается: p имплицирует (влечет, вызывает) q. Поскольку условная зависимость не является симметричной, то полезно условиться называть левую от стрелки часть формулы антецедентом, а правую - консеквентом. Надо сказать, в живых языках условные суждения применяются очень широко, и с их помощью предается чрезвычайно пестрое разнообразие в оттенках содержания и смысла предложений. Исчисление высказываний учитывает только наиболее типические, преобладающие черты условных связей.
Чтобы разобраться с картиной распределения значений истинности импликации в зависимости от разных наборов переменных, воспользуемся опять примером. Пусть нам дано предложение: "Если у Анны сегодня день рождения, то подарю ей розу". Здесь логический союз соединяет два высказывания: "Сегодня у Анны день рождения" (p) и "Подарю Анне сегодня розу"(q). Каждое из них может быть как истинным, так и ложным. Само собой понятно, что при истинности каждого из простых высказываний (у Анны, в самом деле, сегодня день рождения и обещание насчет розы тоже было выполнено) мы посчитаем все сделанное в условной форме заявление истинным: в первой строке колонки импликации (таблица 1) проставлена 1. Но как быть с оценкой такого обещания, когда первое суждение ложно (p=0), а роза, тем не менее, была подарена (q=1), то есть, подарена, несмотря на то, что никакого дня рождения Анна сегодня не отмечает? Можно ли считать это отступлением от своих слов? Если и да, то ведь отступление сделано в сторону превышения, оно не обмануло ожидания, наоборот, этим поступком верность данному слову подтверждается еще лучше, чем могла бы. Поэтому при такой комбинации значений переменных правильно будет считать импликативное высказывание истинным. Легко, далее, согласиться, что когда антецедент истинен (p=1), а консеквент ложен (q=0), то высказанное заявление надо признать ложным, ибо это означает, что в день рождения роза вовсе не была подарена. Что касается ситуации, когда день рождения еще не наступил (p=0) и роза пока не подарена (q=0), то при таких обстоятельствах у нас нет никаких оснований считать, что слова расходятся с делами, поэтому импликация в этом случае истинна.
Правда, последнее обстоятельство порождает некоторые не совсем удобные следствия. Формально получается, что любые два ложных предложения, соединенные импликативной связью, образуют истинное высказывание: если дважды два пять, то римский папа магометанин, если коровы квакают, то лягушки доятся. С точки зрения таблицы истинности такие абсурдные утверждения действительно надо признать правильными и истинными высказываниями. Однако в этом не так уж много отступлений от здравого смысла. В обычной речи такими сочетаниями довольно часто пользуются: если вот эту певицу можно считать артисткой, то тогда вон ту надо признать сказочной сиреной. Или шутливое заявление Винера: "Если преодолеть технические трудности, то человека можно передавать по проводам", - будет всегда правильным и бесспорным, хотя и антецедент, и консеквент здесь ложны. Точно так же любой мздоимец может спокойно смотреть в глаза судьям и говорить: "Я взяток не беру, если мне их не дают". Все утверждение будет правильным, даже если на самом деле каждая его половинка ложна.
Эквиваленция. Она соединяет высказывания логическим союзом "тогда и только тогда". Наиболее распространенное обозначение эквиваленции p o q; читается: p эквивалентно q. Относится она к таким парам явлений и обстоятельств, которые нерасторжимо связаны: есть одно, есть и другое. Допустим, какой-нибудь начальник в министерстве иностранных дел утверждает, что в его отделе каждый сотрудник переходит в дипломаты тогда и только тогда, когда в совершенстве овладевает иностранным языком. Подобно другим, это заявление может быть и истинным и ложным. Давайте посмотрим, как это зависит от значений переменных. Очевидно, что его слова передают то, что есть на самом деле, если их первая и вторая половины - истинные суждения (p=1; q=1). Это значит, что работники, становящиеся дипломатами, знают в совершенстве иностранный язык и каждое из простых высказываний об этом является истинным. И точно также очевидно, что его утверждение ложно, если иные из них переходят на дипломатическую службу, не зная, иностранного языка (p=1; q=0), или, наоборот, иностранный язык знают, но в дипломаты попасть не могут (p=0; q=1). При ложности же обоих простых высказываний - и в дипломаты их не переводят, и языка они не знают (p=0; q=0) - слова начальника, конечно, надо оценить как истинные, правильно описывающие сложившуюся в отделе практику.
Введенный таким образом символический язык позволяет превращать в формулы довольно сложные сообщения, составленные из нескольких простых суждений в их самых разных сочетаниях. Так, известная поговорка "Если гром не грянет, мужик не перекрестится" запишется у нас в следующем виде: (-p => -q ), где p означает гром гремит, а q - мужик крестится.
Высказывание о том, что матерью можно стать тогда и только тогда, когда родишь или усыновишь ребенка, потребует трех переменных: p - стать матерью, q - родить ребенка, r - усыновить ребенка. Тогда соответствующая формула будет выглядеть так: (p o (q \/ r)).
Возьмем еще несколько выражений, состоящих из трех или четырех простых высказываний, и потом запишем их формулами. Неправда, что наше предприятие получает доход (p) тогда и только тогда, когда не платит налоги (-q) или не вносит платежи (-r): -(p o ((-q) \/ (-r )).
Если его можно назвать преступником (p), то неправда, будто над ним не состоялся суд (-q) и он не был на нем изобличен (-r): (p => -((-q)/\ (-r )).
Если неправда, что здание состоит на учете в управлении культуры и охраняется государством, тогда оно - не памятник архитектуры: -(p /\ q) =>-r .
Неправильно утверждать: если здание находится на учете в управлении культуры и охраняется государством, то оно - не памятник архитектуры: -((p /\ q) =>-r ).
Если погода окажется не летной (-p) и самолет не прилетит (-q), то нам придется ехать поездом (r) или пароходом (s): (-p /\-q) => (r \/ s).
Нуль-единичная проверка истинности высказываний
Каждое из простых высказываний, как мы помним, может принимать два возможных значения: "истинно" или "ложно", и в зависимости от семантического значения переменных, составленные из них сложные сообщения будут принимать разные значения. Теперь нам предстоит научиться вычислять истинностное (семантическое) значение сложных высказываний, записанных в виде формулы.
Существует несколько способов разрешать формулы, то есть устанавливать, истинно или ложно выражение при разных наборах значений пропозициональных переменных. Наиболее простым и удобным является метод нуля и единицы.
Возьмем какое-нибудь конкретное высказывание, допустим, такое: "Если получу стипендию, то куплю себе учебник по логике, и, если не получу стипендию, то учебник по логике покупать не стану". Обозначим через p простое высказывание "Получу стипендию" и через q - "Куплю учебник по логике". Тогда формула для этого выражения будет выглядеть так: (p => q) /\ (-p => -q ).
Предположим, далее, что на самом деле учебник не был куплен, хотя стипендия была получена. На языке символической логики это означает, что высказывание p является истинным (p=1), а высказывание q - ложным (q=0). В данном случае само собой понятно, что сделанное заявление о покупке учебника при получении стипендии не соответствует реальным делам, следовательно, ложно. Но нам надо получить этот результат с помощью подсчета (так, чтобы к нему могла бы прийти и машина). Для разрешения данной формулы надо сначала подставить в нее вместо буквенных переменных их цифровые значения. Тогда получим: (1 => 0) /\ (-1 => -0 ).
Теперь надо поэтапно упрощать выражение. Сначала проведем отрицания внутри скобок. Поскольку в таблице истинности отрицание обозначено как -p, то для вычисления выражения 1 надо найти в столбце для p ту строку, где стоит 1 (первая строка), и найти после этого цифру, которая ей соответствует в столбце -p. В этом месте находится нуль: отрицание истинного высказывания дает высказывание ложное. Значит, отрицание единицы можно заменить на нуль. Аналогично отрицание нуля можно заменить на единицу остальную же часть формулы пока просто перепишем без изменений: (1 => 0) /\ (0 => 1).
Следующим шагом мы должны вычислить две импликации. Для разрешения выражения (1 => 0) надо найти ту строку, где p=1, а q=0 (третья строка) и посмотреть, какая ей соответствует цифра в колонке p => q, то есть импликации (там стоит цифра нуль); значит выражение (1 => 0) можно заменить на 0. Для (0 => 1) берем вторую строку, где p=0, а q=1; в колонке импликации в этой строке стоит цифра 1. Значит выражение (0 => 1) можно заменить на 1. Тогда формула сведется к конъюнкции: 0 /\ 1, 0. которая вычисляется аналогичным образом и, в конечном счете, заменяется на нуль.
Вычисление показывает, следовательно, что высказывание о покупке учебника (записанное у нас в виде формулы (p => q) (-p => -q ), не соответствует реальным обстоятельствам, выраженным через истинностные значения переменных (p=1, q=0). Это надо понимать так: тот, кто сделал заявление, выраженное просчитанной нами формулой, не сдержал своего слова, коль его реальные дела выражаются взятыми нами для примера значениями переменных.
Читатель может проверить истинность этого заявления и при других значениях переменных. Поскольку их всего две, то возможных наборов четыре - столько же, сколько и у простых союзов.
Результаты сведены здесь в таблицу 2. Из нее видно что, если бы высказывание сопровождалось приобретением учебника, несмотря на то, что стипендия не была получена (вторая строка), то его слова надо было бы признать не соответствующими делам. В то же время его высказывание является истинным, если стипендии не было и учебник не был куплен (последняя строка). Тем более его высказывание не является ложным, если после получения стипендии учебник был куплен (первая строка).
Таблица 2 p q (p => q) /\ (-p ® -q)
1 0 1 0 1 1 0 0 1 0 0 1
Легко увидеть, вникнув в содержание всего заявления, что именно так мы и сами оценили бы его истинность при всех перечисленных вариантах реальных обстоятельств.
Язык символической логики позволяет обнаруживать некоторые трудно уловимые нюансы в нашей речи. Возьмем высказывание "Будет свет, и если не будет света, то, значит, началась забастовка". Формула для него запишется таким образом: (p /\ (-p => q)), а семантические значения можно видеть в помещенной выше таблице 3. Может показаться странным, но в случае, если нет света, и идет забастовка (p=0, q=1), высказывание, как ни парадоксально, является ложным, хотя оно как будто прямо говорит, что при забастовке света не будет. Однако все станет понятно, стоит лишь переставить местами слова в высказывании: "Если света не будет, то, значит, началась забастовка, и все же свет будет". Формула для обновленного выражения остается той же самой, ибо после
Список литературы
1. В.И.Кириллов, А.А.Старченко. Логика.- М.: 1996г., М.: 1987.
2. А.П.Бойко. Логика.- М.: 1994.
3. Е.Б.Кузина. Практическая логика.- М.: 1996.
Дополнительная литература: 4. В.Малахов. Логика предпринимателя. М.: 1992.