- •Формальная логика
- •Издательство Ленинградского университета Ленинград 1977 Печатается по постановлению Редакционно-издательского совета Ленинградского университета
- •Рецензенты: рроф. А. В. Дроздов и кафедра философии Ленинградского педагогического института имени а. И. Герцена
- •§ 1. Марксистская философия о мышлении
- •§ 2. Мышление и язык
- •§ 3. Определение формальной логики
- •1 Слово «некоторые» употребляется в логике не в смысле «только некоторые», а в смысле «некоторые, а может быть и все».
- •2 Слово «предмет» употребляется в логике в том смысле, что вообще может служить объектом нашего рассуждения, размышления,
- •1) Все цветы суть растения. Все тюльпаны суть цветы.
- •2) Все материалисты в философии суть атеисты. Все марксисты суть материалисты в философии.
- •8 В изучении логических структур очень важно приобретение навыков в решении логических задач. С этой целью рекомендуется' книга проф. А.. И. Уемова «Упражнения и задачи по логике», м., 1961,
- •§ 4. Логика и психология
- •§ 5. Из истории логики
- •6 Маркс к. Н Энгельс ф. Соч., т. 20, с. 138.
- •§ 6. Практическое значение формальной логики
- •§ 7. Структура формальной логики
- •Основные логические формы и методы мышления
- •Глава I понятие § 8. Об определении и структуре понятия
- •1 Есть мысленное отражение в форме непосредственного единства общих существенных признаков предметов.
- •7 Слово «понятие» многозначно, мы его будем употреблять лишь в указанном смысле.
- •§ 9. Основные методы образования понятий
- •§ 10. Соотношение между содержанием и объемом понятия
- •§ 11. Виды понятии
- •§ 12. Формально-логические отношения между понятиями по содержанию и по объему
- •§ 13. Обобщение и ограничение понятий
- •Суждение
- •§ 14. Сущность суждения и его строение
- •§ 15. Суждение и предложение
- •§ 16. Суждение и вопрос
- •13 В риторических вопросах по существу иет места неопределённости; они имеют смысл в качестве категорических суждений.
- •§ 17. Деление суждений по качеству и количеству
- •14 В таких эпистемических требованиях фиксируется неполнота знания о некотором предмете и содержится команда дополнить знания недостающими сведениями о нем.
- •§ 18. Объединенная классификация суждений по качеству и количеству
- •§ 19. Распределенность терминов в категорических суждениях
- •§ 20. Отношения между суждениями
- •§ 21. Деление суждений по модальности
- •§ 22. Сложные суждения
- •Глава III
- •§ 23. Общие замечания
- •§ 24. Закон тождества
- •17 Л е н и н в. И. Поли. Собр. Соч., т. 29, с. 233.
- •18 Маркс к. ИЭнгельс ф. Соч., т. 20, с. 530.
- •§ 25» Закон противоречия
- •§ 26. .Закон исключенного третьего '
- •21 Л е н и н в. И. Поли. Собр. Соч., т. 11, с. 246,
- •§ 27. Закон достаточного основания
- •Глава IV
- •§ 28. Определение умозаключения
- •Б) 1. Стекло прозрачно. 2. Алмаз не стекло.
- •3. Алмаз непрозрачен.
- •1) Без нагревания металла нет его трения.
- •2) Всякий нагревающийся металл есть расширяющийся. Всякий металл, подвергающийся трению, есть нагревающийся.
- •3) Если металл нагревается, то он расширяется.
- •§ 29. Непосредственные умозаключения
- •2) Если сужение е истинно, то суждение о той же материи —
- •3) Если суждение о ложно, то суждение е той же материи—ложно. Суждение о «Некоторые приматы ие млекопитающие» — ложно.
- •4) Если суждение / ложно, то суждение а той же материи тоже
- •2) Если дано суждение s е р, то дано неявно суждение не-р t s Дано суждение s е р «Ни одна птица не есть млекопитающее»
- •§ 30. Простой категорический силлогизм
- •3) Если дано суждение s о р, то неявно дано суждение не-р I s Дано суждение s о р «Некоторые рыбы не летают».
- •§ 31. Сокращенные, сложные и сложносокращенные категорические силлогизмы
- •§ 32. Условные, разделительные и условно-разделительные силлогизмы
- •1) Если а, то в. 2) Если а, то в.
- •§ 33. Индуктивные умозаключения
- •5„ Есть р
- •См.: л е н и н в. И. Поли. Собр. Соч., т. 29, с. 162.
- •24 П а в л о в и. П. Поли. Собр. Соч., т. 11. М., 1946, с. 357.
- •§ 34. Аналогия
- •31 См.: Леви-Брюль л. Сверхъестественное в первобытном мышлении. М., 1937, с. 44—45.
- •32 См.: Жданов ю. А. Очерки методологии органической химии. М., 1960, с. 227.
- •33 Крупская н. К. Как Ленин работал над Марксом. М., 1933, с. 8,
- •Глава V
- •§ 35. Методы классификации объектов исследования
- •40 Л е н и н в. И. Поли. Собр. Соч., т. 4, с. 76.
- •42 Маркс к. И Энгельс ф. Соч. Т. 20, с. 13—14. V
- •§ 37. Доказательство
- •§ 38. Доказательство (продолжение: паралогизмы, софизмы и парадоксы)
- •43 Карийский м. И. Отрывок из литографированного издания «Ло- гика», 1884—1885 г. — в кн.: Избр. Труды русских логиков XIX в. М., 1956, с. 183.
- •44 Аристотель. Аналнтнкн. М., 1952, с. 180.
- •§ 39. Аксиоматический метод
- •§ 40. Индуктивные методы установления причинной связи явлений
- •45 Маркс к. ИЭнгельс ф. Соч., т. 20, с. 544.
- •46 Об этом см., например; Маркс к. И Энгельс ф. Соч., т, 20, с 544.
- •47 Л е н и н в. И. Поли. Собр. Соч., т. 10, с. 165.
- •48 Л е н и н в. И. Поли. Собр. Соч., т. 18, с. 160.
- •Наблюдаемые случаи Предшествующие обстоятельства, при которых наступает интересующее явление Исследуемое явление
- •§ 41. Гипотеза
- •49 Маркс к- иЭнгельсФ. Соч., т. 20, с. 555.
- •60 Л е н и н в. И. Поли. Собр. Соч., т, 29, с, 195.
- •§ 42. Вероятностные методы в логике
- •62 Л е н и н в. И. Поли. Собр. Соч., т. 1, с. 136.
- •Часть вторая символическая логика
- •Глава 1
- •§ 1. Высказывания и формы высказываний
- •§ 2. Язык логики высказываний
- •1 От propositio (лат.) — высказывание: логику высказываний называют, также пропозициональной логикой.
- •CeNpqApKrNs
- •§ 3. Семантика логических знаков
- •Отрицание
- •Дизъюнкция
- •Импликация
- •Эквивалентность
- •Исключающая дизъюнкция
- •§ 4. Таблицы формул логики высказываний
- •§ 5. Равносильные формулы
- •I. Установить частным случаем какой из равносильностей (I)—(22) являются следующие пары формул:
- •II. С помощью таблиц обосновать следующие равносильности:
- •III. Проверить, являются ли равносильными следующие формулы:
- •§ 6. Правило равносильной замены
- •I. Пользуясь одним только свойством транзитивности отношения равносильности с помощью (1)—(22), доказать равносильность следующих формул:
- •II. Используя (1)—(27) и правило замены, доказать следующие равносильности:
- •§ 7. Полные системы логических знаков
- •III. Показать, что знака | достаточно для построения формулы, опреде- ляющей произвольную логическую функцию.
- •I. Построить, если возможно, формулы, двойственные следующим:
- •§ 9. Тождественно-истинные и тождествеиио-ложиые формулы
- •Глава II
- •§11. Проблема разрешения
- •§ 12, Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма
- •II. Привести к скнф следующие формулы:
- •§ 15. Логическое следование и логические следствия
- •3 См.: Гильберт д. И Аккерман в. Основы теоретической логики. М., 1947, с. 47,
- •I. Выяснить верно ли, что
- •§ 14. Сокращенная конъюнктивная нормальная форма
- •II. Используя условия из примера 2 (с. 257), узнать, кто совершил по- ступок, если известно, что только одно из этих утверждений ложно.
- •III. Методом приведения к совершеииой кнф решить следующую задачу.
- •§ 15. Дизъюнктивные нормальные формы
- •Глава III
- •§ 16. Понятие логического вывода
- •6 Ленин в, и, Поли, собр. Соч., т. 29, с, 172.
- •K делит m или п.
- •§ 17. Производные правила
- •§ 18. Чисто прямое доказательство
- •§19. Слабое косвенное доказательство
- •§ 20. Квазисильное косвенное доказательство
- •17 Mclus tollendo ponens (лат.) — способ утверждения посредством отрицания.
- •§ 21. Сильное (классическое) косвенное доказательство
- •19 Они рассматриваются ниже в § 21.
- •§ 22. Полнота классического исчисления высказываний
- •28 См. Выше, с. 289.
- •§ 23. Аксиоматическое представление логики высказываний
- •Глава IV
- •42 Полужирные прямые буквы s, р, м здесь и в дальнейшем используются в качестве метапеременных для силлогистических переменных.
- •Глава V
- •46 Отсюда и название этих переменных. В дальнейшем мы обычно опу- скаем прилагательное «предметная» («индивидная») перед существительным «переменная», если не возникает недоразумений.
- •47 Формулы логики высказываний называют также пропозициональными формулами.
- •48 Ниже в определении в дальнейшем мы обычно опускаем прилагатель- ное «предикатная» перед существительным «формула», когда из контекста ясно, о каких формулах идет речь.
- •Р, Fx, Gx, Rxy, Sxx, Uxyz.
- •Часть II. Зх —a-*—VxA
- •Глава VI
- •I. Показать, что в системе м° (или ее натуральном варианте) доказуема формула вида
- •II. Доказать в системе м (или ее натуральном варианте) следующие формулы:
- •III. Показать, что системы м° и Af' дополняют друг друга до Ма в сле- дующем смысле: присоединив к системе м в качестве аксиом формул вида
- •§ 1. Марксистская философия о мышлении —
- •Часть вторая
6 Маркс к. Н Энгельс ф. Соч., т. 20, с. 138.
Ф. Энгельс в произведении «Анти-Дюринг» писал о формальной логике, что она представляет «прежде всего метод для отыскания новых результатов, для перехода от известного к неизвестному».5 В этом высказывании Энгельса имеется в виду то, что формальная логика исследует законы, по которым из каких-либо утверждений с необходимостью вытекают новые, отличные от них утверждения. Методологическое значение для всех наук имеет, в частности, положение формальной логики о том, что всякая истинная теория должна быть свободна от логических противоречий.
С другой стороны, требования, вытекающие из законов диалектической логики, выступают в качестве методологических принципов для всех наук, в том числе и для формальной логики, для которой содержание, составляющее ее предмет, есть сама структура мысли, взятая в отвлечении от конкретного содержания. Диалектическая логика, например, учит, что абстрактной истины нет, истина всегда конкретна; она также утверждает, что на определенном этапе изучения объекта, а именно, когда выделены и зафиксированы его всеобщие свойства и отношения, правильным в научном отношении методом дальнейшего его изучения будет метод восхождения от абстрактного к конкретному. Разумеется, эти требования являются всеобщими, а поэтому они относятся и к формальной логике.
Всеобщность диалектики как методологии состоит не только в том, что ее положения имеют методологическое значение для всех наук, но и в том, что они играют методологическую роль при рассмотрении любых сторон изучаемых объектов. Этим диалектика в своей функции методологии отличается от методологической функции положений других наук, в частности от положений, например, математики или формальной логики.
Исходя из закономерностей познания, можно заключить, что математические методы исследования станут применяться в будущем во всех науках, но это не будет означать того, что математические методы всеобщи в том же самом смысле, в каком речь идет о всеобщности диалектики как метода познания, потому что математические методы применимы только для исследования пространственных и количественных отношений в изучаемых объектах; качественные же стороны объекта ими не вскрываются.
Формально-логические методы имеют силу только в изучении структуры выводного знания. Следовательно, формальная логика в методологическом плане также отличается от диалектики; сфера применимости методологической функции последней, следовательно, шире, чем сфера приложения методологической функции формальной логики.
Из сказанного видно, что следование методологическим принципам диалектики в процессе исследования предполагает, что выполняются при этом все требования, вытекающие из формально-логических законов.
§ 6. Практическое значение формальной логики
В параграфах, предшествующих данному, уже показано, что соблюдение законов формальной логики в процессе получения выводного знания является необходимым условием достижения истины. А так как выводное знание имеет место во всех сферах мыслительной деятельности, то знание этих законов полезно в практике мышления любого человека, независимо от характера его профессии. Это не значит, конечно, что человек, не изучавший формальную логику, лишен возможности познавать мир вообще или делать научные открытия. Есть немало людей, которые являются неплохими мыслителями, не изучая логики. В этих случаях люди обходятся естественной логикой, которой они пользуются безотчетно. В то же время встречаются люди, изучавшие логику и нарушающие логические законы, правила.
Этот факт, однако, не может служить возражением против утверждения об исключительно большой пользе изучения логики точно так же, как не может служить возражением против утверждения о пользе изучения грамматики и арифметики факт, что при хорошем знании правил данных дисциплин люди нарушают их, а некоторые люди и без знания этих правил довольно грамотно говорят и правильно считают.
Конечно, без известной естественной логики невозможна познавательная деятельность мышления. Но если на основе этой естественной логики создана наука логики, то это значит, что мы приобрели мощное орудие, позволяющее работать в области познания более продуктивно, с большей эффективностью, чем при помощи только одной естественной логики.
Логика нужна всюду, где возникает потребность приводить в определенный порядок разрозненные, эмпирические понятия, систематизировать их и определять их точный смысл. Но особо важное значение она имеет:
для научной деятельности, так как логика дает нужную подготовку для занятий наукой. Каждая наука имеет дело с переработкой понятий, с систематизацией знаний, и в этом деле немаловажную роль играет знание логических правил. В наше время масса научных знаний увеличивается небывалыми ранее темпами, а следовательно, растут трудности усвоения этих знаний. Логика может и должна быть средством, помогающим уменьшить эти трудности, способствуя овладению логическим строем науки, что избавляет от необходимости усвоения массы деталей, содержащихся в ней. Овладение логикой, несомненно, способствует развитию творческого мышления, его активности;
особенно важна логика для занятий в области философии, потому что здесь познание в большей степени, чем в конкретных специальных науках, пользуется абстракциями и гораздо больше удалено от твердой почвы опыта;
большое значение имеет знание логики в научных спорах. Если два или более участников дискуссии исходят из одних и тех же истинных посылок, но в ходе рассуждений приходят к разным результатам, то все они не могут быть истинными,— истинным может быть только один результат, вывод. В этом случае, чтобы принудить противника встать на истинный путь, надо раскрыть логические ошибки в его рассуждении, для чего необходимо знание логических правил.
Очень часто знания логических правил бывает вполне достаточно, чтобы обнаружить несостоятельность какого-либо рассуждения. Следующий пример может пояснить сказанное. Американский логик Беркли в одной своей книге сообщает, что в недалеком прошлом в речи одного из американских сенаторов содержались слова: «Все коммунисты нападают на меня. Он нападает на меня. Следовательно, он коммунист». Беркли совершенно справедливо заметил, что с логической точки зрения данное рассуждение сенатора тождественно следующему: «Все гусеницы едят капусту. Я ем капусту. Следовательно, я гусеница».
Данное рассуждение сенатора — пример нарушения элементарного логического правила. Главной причиной этой логической несообразности была, видимо, ненависть сенатора к коммунистам, а не его незнание логики. Но очень часто та же самая логическая ошибка допускается людьми именно по причине незнания логических правил. Автору этих строк во время лекций по логике для первокурсников приходилось нередко спрашивать студентов, например, следует ли заключение из утверждений: «Все электроны имеют отрицательный заряд. Данная частица — электрон?». И большая часть студентов обычно отвечала неправильно;
4) логика, кроме всего сказанного, имеет большое значение для выражения мыслей в письменной и устной речи. Ведь для того, чтобы слушатель или читатель с большей легкостью воспринимал мысли, излагаемые другим человеком, последний должен придать своим мыслям соответствующий порядок, который по существу есть логический порядок.
С созданием аппарата символической логики формальная логика стала играть более важную роль в развитии науки, особенно после того, как методы математической логики нашли применение в технике, в исследовании оснований математики, а также в разработке логических принципов построения науки.
Следует заметить, что одного знания логических правил недостаточно для успешной деятельности в той или иной области науки, потому что, во-первых, успехи в любой науке гораздо в большей степени зависят от глубины и широты познания того содержания, которое логикой оставляется вне поля зрения, чем от знания логических законов; во-вторых, успехи науки, особенно в наиболее сложных, обобщающих теориях, зависят от овладения учеными методологией материалистической диалектики и диалектической логикой. Но, как уже было замечено, подлинно диалектическое мышление предполагает подчинение формальнологическим законам,
