- •Формальная логика
- •Издательство Ленинградского университета Ленинград 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. Марксистская философия о мышлении —
- •Часть вторая
§ 33. Индуктивные умозаключения
' Дедуктивные умозаключения, рассмотренные ранее, далеко не исчерпывают всей области умозаключений, хотя и составляют существенную и наиболее разработанную логикой часть. Если поставить вопрос о том, как формулируется то общее, которое, как известно, составляет исходный пункт дедукции, то окажется, что правильный ответ на него нельзя дать без знания индуктивных умозаключений. Индукцию (букв, inductio— наведение) понимают обыкновенно, с одной стороны, как метод исследования, целью которого является анализ движения знания от единичного к общему суждению. С другой стороны, индукция выступает как определенная логическая форма, т. е. такая устойчивая связь мыслимого содержания, в которой отражается и фиксируется восхождение мысли от менее общих положений к более общим положениям. Далее индукция и будет рассматриваться именно с точки зрения ее принадлежности к такому виду умозаключений, где осуществляется перенос знания об отдельных предметах класса на весь класс. Познавательное значение индукции в общем и целом было уже отмечено Аристотелем.
Привязанность индукции к опытному наблюдению и эксперименту, часто непосредственная проверяемость индуктивного обобщения делают ее, согласно Аристотелю, более простым и часто употребляемым, по сравнению с дедуктивным, умозаключением. Но тем не менее, признавая простоту и очевидность
Даииый лес или листвеииый, или хвойиый. Устаиовлеио, что даииый лес не лиственный.
индуктивных умозаключений, Аристотель предпочтение отдал детальной разработке более строгого вида умозаключений — , силлогистике.
Виды индуктивных умозаключений. Различают индукцию полную, если посылки исчерпывают весь класс предметов, подлежащих индуктивному обобщению, и неполную, если посылки не исчерпывают всего класса предметов, подлежащих индуктивному обобщению. Выводом как по полной, так и по неполной индукции является общее суждение.
Полная индукция. Ход мыслей по полной индукции осуществляется по схеме:
S{ есть Р S2 есть Р
• • • • •
5„ Есть р
Известно, что Si, S2, S„ исчерпывают все предметы класса S. Следовательно, все S есть Р. Например:
Сентябрь в Ленинграде был сырым, холодным, дождливым. Октябрь тоже. Ноябрь тоже.
Сентябрь, октябрь, ноябрь — осенние месяцы. Следовательно, осень в Ленинграде была сырой, холодной и дождливой.
Как видно, полная индукция — такой вид индуктивного умозаключения, в котором общий вывод базируется на знании о всех без исключения предметах изучаемого класса, и поэтому вывод здесь — категорическое суждение, причем предикат посылок и вывода, как и вообще во всех индуктивных умозаключениях, один и тот же. Полная индукция, обнаруживая сходство с силлогическими умозаключениями как в смысле достоверности выводов, так и в ходе самого умозаключения, особенно по третьей фигуре силлогизма (перенос предиката с вида на род) не дает знания о других предметах, кроме тех, которые берутся в качестве частных посылок. В связи с этим некоторые логики считают, что, во-первых, полная индукция — это вовсе не индукция, а если и признают ее таковой, то, во-вторых, отказывают полной индукции в новизне и значимости ее выводов.
По поводу первого надо заметить, что по форме умозаключения полная индукция — это именно индукция с типичным для последней ходом мысли от единичного к общему, от менее общего к более общему. По поводу второго проф. В. Ф. Асмус в своей «Логике» справедливо замечает, что, не распространяясь на новые предметы, общий вывод полной индукции характеризует те же самые предметы с некоторой новой стороны, а именно со стороны их родовой принадлежности. Кроме того, если отказать полной индукции в новизне и значимости, то надо
'отказаться вообще от дедуктивных умозаключений, чего, по вполне понятным причинам, сделать никак нельзя.
Но отдавая должное полной индукции, все же надо отметить, что в реальном человеческом познании она занимает незначительное место, потому что с полным набором случаев человек в силу ограниченности своего существования во времени и пространстве, как правило, не имеет дела, довольствуясь не всеми предметами класса, и лишь частью их. Поэтому человеческое мышление с необходимостью обращается к неполной индукции, в которой общий вывод делают на основании знания не о всех предметах класса, а о некоторой части их. Основанием для такого переноса послужила, очевидно, как внутренняя природа самих вещей, так и общественно-историческая практика людей.
Обнаружив сходство либо различие и установив что-либо относительно частных, принадлежащих части класса случаев, человек затем это сходство (различие) переносил на весь класс. Так поступают и в «житейских» ситуациях, и в науке. Многократная практика санкционирует этот перенос и потому индукция позволяет сделать более или менее правильный вывод. При этом непременным условием неполной индукции (как, впрочем, и всех индуктивных умозаключений) является отсутствие противоречивых случаев. Примером неполной индукции через простое перечисление при отсутствии противоречащих случаев может служить следующий ход мысли:
Железо — твердое тело; Медь — твердое тело; Золото — твердое тело; Платина — твердое тело.
Следовательно, все металлы — твердые тела.
Легко видеть, что схема, по которой осуществляется вывод по неполной индукции, такова:
51 есть Р
52 есть Р
Sn есть Р
Su S2, ..., S„ — часть класса S. Следовательно, все S есть Р. ■
Имея в виду неполную индукцию, в частности индукцию через простое перечисление при отсутствии противоречащих фактов, надо отметить следующее. Поскольку вывод по неполной индукции есть скачок, переход от известного к неизвестному и поскольку неполной индукцией сознательно кладется принцип рассмотрения не всего количества предметов, а лишь части из них, постольку выводы по неполной индукции всегда носят вероятностный характер. Отсюда и опасность заблуждения при индуктивном умозаключении несравненно больше, чем в силлогизме. Силлогизм, как известно, дает с необходимостью всегда истинный вывод при условии истинных, посылок и соблюдения определенных логических правил, так что условие истинности силлогических умозаключении заключено не в самом силлогизме. Что же касается неполной индукции, то здесь, как мы видели, переход от части к целому, от менее общего к более общему осуществляется в форме скачка, в котором и скрыта возможность ошибки, ибо достаточно одного противоречащего случая, чтобы все здание индуктивного умозаключения рухнуло. Так, почти во всех учебниках логики приводится пример с выводом, полученным на основании неполной индукции — «Все лебеди белые», который оказался несостоятельным, когда в Австралии впервые обнаружили черных лебедей. Или в предыдущем примере, если мы узнаем, что ртуть, например не твердое тело, то сделанный вывод о том, что все металлы твердые тела, окажется ложным.
Итак, вывод неполной индукции носит вероятностный характер.
Но вероятность индукции — это не следствие неуверенности и слабости человеческого сознания, не априорное (доопытное) свойство нашего знания и не врожденный природный инстинкт, как считали Яков Бернулли (один из основателей теории вероятности), Лейбниц (немецкий философ-идеалист) или Дж. С. Милль (английский логик-«всеиндуктивист», по характеристике Энгельса).
Вероятность индуктивных умозаключений связана с принципиальной незавершенностью человеческого опыта, на что особое внимание обращал В. И. Ленин.Условия, повышающие вероятность выводов по неполной индукции. Уже отмечалось, что так как обобщение по неполной индукции в качестве своей предпосылки имеет всегда лишь ограниченное знание (знание не о всех предметах класса), то вывод ее всегда буДет носить вероятностный характер. Отсюда встает задача повышения вероятности выводов по неполной индукции. Вывод по неполной индукции будет более вероятен при выполнении следующих условий:
