Глава I

ПРЕДМЕТ И ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ

§ 1. Логика как наука

1.1. Предмет логики

Она сформировалась в IV веке до н. э. в трудах Аристотеля. Логические трактаты

Аристотеля («Категории», «Об истолковании», Первая и Вторая «Аналитики»,
«Топика» и «О софистических опровержениях») были объединен в «Органон»,
что можно перевести как «орудие» познания. В «Органоне» был заложен каркас
логики как науки, сформулированы основные проблемы, решаемые в ней.

Основное число проблем в логике включает в себя:

1. проблему построения правильных дедуктивных рассуждений
2. круг логико-семиотических проблем
3. группу логико-методологических проблем
4. круг метатеоретических проблем

Логика - это нормативная наука о формах, законах и приемах интеллектуальной

познавательной деятельности.

1.2. Чувственная и рациональная ступени познания

Познание - процесс отражения действительности, целью которого является

получение адекватных знаний о мире.

Познание делится на чувственную и рациональную (интеллектуальную) ступени

познания.

На чувственной ступени познания мир познается посредством чувственных

рецепторов, воздействие на которых приводит к психической реакции организма,
называемой ощущением.

Присутствует также и более сложная форма чувственного познания – восприятие

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

Первые две формы чувственного познания возможны только при

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

На рациональной ступени познания оно происходит благодаря языку, в силу чего

ее часто называют языковой (вербальной) ступенью познания.

В отличие от чувственной ступени, рациональная даёт нам не конкретное знание,

а абстрактное, оно носит обобщенный характер.

Ещё рациональная ступень познания выходит далеко за рамки наглядности

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

Рациональная ступень отличается от чувственной еще и тем, что носит активный

и целенаправленный характер.

Под интеллектуальной познавательной деятельностью будем далее иметь в виду

познавательную деятельность, осуществляемую с помощью языка.

Основными формами, в которых фиксируются знания о мире как результате

интеллектуальной познавательной деятельности, являются понятия, суждения и
теории.

Понятие - это мысль, которая посредством указания на некоторый признак

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

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

Признаки делиться на свойства, которые характеризуют единичные предметы, и

отношения, которые характеризуют упорядоченную пару предметов, тройку
предметов и т.д.

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

описательных терминов. Например, термин «четырехугольник с равными
сторонами и равными углами» выражает понятие.

Суждение - мысль, содержащая утверждение о наличии или отсутствии в

действительности некоторого положения дел (ситуации).

Суждение, зафиксированное в языке как декларативное предложение, называется

высказывание.

Теория - это система связанных между собой понятий и высказываний,

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

1.3. Рассуждение как метод познания

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

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

Рассуждение - это процедура обоснования некоторого высказывания путем

пошагового выведения его из других высказываний.

Простейшим видом рассуждения является умозаключение.

Умозаключение - это непосредственный переход от одного или нескольких

высказываний А1, А2,..., Аn, (n = 1, 2, 3...) к некоторому высказыванию В.

Некоторое количество высказываний A, из которых делается вывод, называются

посылками, а высказывание B является заключением, выводимое из посылок.
Формулировать умозаключения принято, пиша над чертой посылки, а под чертой
заключение. Сама же черта выражает разрешение выводить заключение из
посылок.

А1, А2,..., Аn

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

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

Примером простого рассуждения (одного умозаключения) может послужить

обоснование необходимости сожжения Александрийской библиотеки, которое,
по легенде, привел халиф Омар:

Если ваши книги согласны с Кораном, то они излишни. Если же ваши

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

В одном городе было совершено ограбление банка. Подозрение пало на

известных рецидивистов Смита, Джонса и Брауна. В ходе следствия
выяснилось, что Джонс никогда не ходит на дело без Брауна. По крайней
мере, один из рецидивистов - Смит или Джонс - замешан в преступлении. У
Брауна есть прочное алиби. Инспектор полиции, проводивший
расследование, на основании этих данных предъявил обвинение Смиту.

Это рассуждение могло протирать следующим образом:

1. Если Джонс замешан в преступлении, то в нем замешан и Браун.

2. Браун не замешан в преступлении.
3. Джонс не замешан в преступлении.
4. Джонс или Смит замешаны в преступлении.
5. Смит замешан в преступлении.

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

высказывания 1 и 2, а заключениеи – 3, а для второго посылками являются 3 и 4,
а заключением высказывание 5.

Иногда в ходе рассуждения для обоснования некоторого высказывания (назовем

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

1.4. Нормативный характер логики

Существуют и другие науки, изучающие формы и приемы интеллектуальной

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

§ 2. Логическая форма. Отношение логического следования

2.1. Критерий правильности умозаключений

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

Стоит различать правильность умозаключения от истинности умозаключения.

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

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

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

Если в правильном умозаключении посылки истинны, то истинное заключение

будет получено с логической неотвратимостью.

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

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

2.2. Понятия логической формы и логического следования

Форма.

Логической формой языкового контекста будем называть выражение,

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

Способ выявления логической формы обусловлен, во-первых, тем, учитывается

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

Логическое следование – это отношение между высказываниями по форме,

которое гарантирует истинность заключения если истинны посылки.

Пусть В есть логическая форма некоторого высказывания, а Г - множество

логических форм каких-либо высказываний.

Из Г логически следует В тогда и только тогда, когда при любой интерпретации

параметров в составе Г и В, при которой все выражения из Г принимают
значение «истина», выражение В также примет значение «истина».

§ 3. Логические законы. Логические теории

3.1. Понятие логического закона

Логический закон - это такая логическая форма высказывания, которая принимает

значение «истина» при любой интерпретации параметров, входящих в ее состав.

Помимо логически истинных (в силу своей логической формы) существует еще и

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

Высказывания, которые не являются ни логически истинными, ни логически

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

3.2. Общее представление о логической теории

§ 4. Краткий очерк истории логики

Глава II
ЛОГИЧЕСКИЙ АНАЛИЗ ЯЗЫКА
§ 1. Язык как знаковая система

1.1 Язык и основные виды языков

Язык - это знаковая система, предназначенная для фиксации, переработки и

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

В отличие от естественных, искусственные языки создаются человеком

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

Хранить информацию могут национальные языки и т.н. языки науки, которые

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

Особой разновидностью научных языков являются языки с точно заданными

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

Еще одно членение языков представляет собой деление на язык-объект и

метаязык.

Объектным языком называют тот язык, который является предметом

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

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

Исходя из сказанного, в логике принято и теории подразделять на теории разного

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

1.2. Функции и свойства естественных языков

Основными функциями, которые выполняют естественные разговорные и
письменные языки, являются:

1. Информационная функция - язык выступает в качестве средства фиксации, а

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

Естественным языкам присущи следующие свойства:

1. Универсальность, т. е. посредством естественных разговорных и письменных

языков, обогащенных, может быть, специальной терминологией, выразима
любая информация;
2. Многозначность, т. е. отсутствие за словами и словосочетаниями
естественных языков каких-либо жестко закрепленных значений, их
неопределенность и «размытость», что часто приводит к трудно уловимой
подмене одного значения слова другим; наличие омонимов - одинаковых по
написанию терминов, имеющих разные значения (так, русское слово «коса»
обозначает и сельскохозяйственное орудие, и особый вид прически, и
песчаный берег);
3. Грамматическая неоднозначность, т. е. отсутствие жестко фиксированных
правил образования значимых выражений; это приводит к тому, что
одинаковые предложения могут выражать разные суждения (например,
«Любовь знает 42 весь курс»), или предложения со сходной грамматической
структурой могут иметь разные логические формы (например, «Москва
находится между Тулой и Рязанью» и «Петр старше Ивана и Семена»);
4. Семантическая замкнутость, т. е. отсутствие разделения на объектные языки
и метаязыки, а также языки разных порядков, что позволяет средствами языка
формулировать парадоксальные утверждения. Одним из примеров такой
ситуации является знаменитый парадокс Лжеца.

1.3. Знак и знаковая ситуация

Знаком называется тот объект, который (в нормативном случае его употребления)

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

Если хотя бы одна из компонент, указанных в схеме, отсутствует, то знак

перестает быть знаком.

В зависимости от характера отношения знака к обозначаемым объектам

выделяют следующие их виды: знаки-копии, знаки-индексы, знаки-сигналы и
знаки- символы.

 Знаки-копии - это знаки, которые в большей или меньшей степени похожи

на обозначаемый объект, изображают его. Такими знаками являются
фотографии, реалистические картины, знаки рисуночного письма,
географические карты, чертежи, схемы и т. п.
 Знаки-индексы - это знаки, связанные с репрезентируемым объектом
причинно-следственными отношениями. Знак в этом случае порождается
своим значением. Так, наличие дыма служит знаком огня (огонь порождает
дым), показание научного прибора - это знак некоторой физической
величины (например, определенная температура на улице вызывает
поднятие ртути в ртутном термометре на определенную высоту),
положение флюгера является знаком направления ветра, улыбка - знак
веселого настроения, медицинская - знак определенной болезни и т. д.
 Знаки-сигналы - это знаки, которые связаны со своим значением
ситуационно, т. е. являющиеся знаками только в некоторой ситуации,
извещая нас о ее наступлении. Например, звонок, раздавшийся в
определенное время в учебном заведении, извещает о начале или
окончании занятий, а прозвеневший в театре - о начале спектакля; точка в
конце предложения извещает о завершении некоторой мысли; скобки,
поставленные в языковом выражении, извещают о его структуре; дорожные
знаки сигнализируют об определенной дорожной ситуации и т. д.
 Знаки-символы - это знаки, выступающие в качестве средства общения
между людьми. Например, словосочетание «основатель логики» служит
знаком Аристотеля, слово «старше» - знаком определенного возрастного
отношения, символ «0-0» в шахматной нотации - знаком короткой
рокировки, а символ «+» в языке арифметики - знаком операции сложения.
 Так как знаки последнего вида играют главную роль в абстрактном
мышлении, на них далее и будет сконцентрировано все наше внимание.

1.4. Значение и смысл знаков

Кроме отношения репрезентации между знаком и репрезентируемым объектом

может существовать еще одно - информационное отношение.

Значением знака (экстенсионалом) называется предмет, представляемый

(репрезентируемый) данным знаком.

Смыслом знака (интенсионалом) называют ту информацию о репрезентируемом

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

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

помощью так называемого семантического треугольника.

1.5. Синтаксис, семантика и прагматика языка

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

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

Под синтаксисом (синтактикой) понимается тот аспект изучения языка, при

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

§ 2. Категориальный анализ языка

2.1. Основные типы выражений языка

..

2.2. Логический анализ имен и предложений

2.3. Принципы употребления языковых выражений

§ 3. Функциональный анализ языка

3.1. Множества и кортежи

3.2. Декартово произведение

3.3. Теоретико-множественная трактовка свойств и отношений

3.4. Свойства двухместных отношений

3.5. Функции

3.6. Теория семантических категорий

Глава III
КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ
§ 1. Язык классической логики высказываний

1.1. Алфавит логики высказываний

1.2. Формулы логики высказываний

§ 2. Таблицы истинности. Виды формул

2.1. Интерпретация пропозициональных переменных

2.2. Табличные определения пропозициональных связок

2.3. Алгоритм построения таблиц истинности 96 2.4. Виды формул логики

высказываний 99 Упражнения 101 § 3. Логические отношения между формулами
3.1. Фундаментальные логические отношения 101 3.2. Производные отношения
104 3.3. Проверка правильности умозаключений табличным методом 105 3.4.
Метатеоремы в классической логике высказываний 106 Упражнения 111 § 4.
Основные законы и способы рассуждений логики высказываний 4.1. Схемы
формул и законы логики высказываний 112 4.2. Основные формы правильных
рассуждений в логике высказываний 115 4.3. Непрямые способы аргументации
118