- •Формальная логика
- •Издательство Ленинградского университета Ленинград 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. Марксистская философия о мышлении —
- •Часть вторая
Наблюдаемые случаи Предшествующие обстоятельства, при которых наступает интересующее явление Исследуемое явление
I
II
АБВГД БВГД
а
Вероятно, обстоятельство А есть причина явления а
Этот метод исследования причинной связи можно проиллюстрировать на следующем примере. В одном из номеров журнала «Огонек» описывается такой случай с датскими рыбаками. Рыбаки плыли в двух лодках. У рыбаков, сидевших в одной лодке, улов угрей был хороший, а у рыбаков, сидевших в другой,— самый незначительный. Это обстоятельство сильно озадачило рыбаков, сидевших во второй лодке. Удочки, наживка, крючки и прочие условия лова угрей были совершенно одинаковые, а добыча-улова во второй лодке была в четыре раза меньше. В чем дело? Тогда один из рыбаков-неудачников обратил внимание на то, что среди рыбаков, сидевших в первой лодке, никто не курит, а пальцы курильщиков, сидевших во второй лодке, трогавшие наживку, были пропитаны запахом никотина. Тогда рыбаки-курильщики вымыли руки с мылом, и вскоре угри стали клевать.
Метод различия имеет преимущество в сравнении с методом сходства в том, что он более активный метод, так как может быть непосредственно связан с экспериментом, с практической деятельностью людей. В процессе опыта (при экспериментальных испытаниях машин, проверке эффективности изменения социальных условий, проведения опытных исследований в науке и технике и т. д.) человек может искусственно изменять условия, которые предшествуют'или сопровождают исследуемые им явления. Все это позволяет при использовании метода различия повысить степень вероятности вывода до уровня достоверного знания.
Часто метод различия в практике познания применяют в соединении с методом сходства. Этим путем также повышается вероятность выводного знания в индуктивных методах познания.
3. Метод сопутствующих изменений. В тех случаях, когда существует тесная внутренняя связь причины и следствия, где они однозначно связаны между собой, всегда имеется возможность применить индуктивный метод сопутствующих изменений.
Метод сопутствующих изменений можно сформулировать следующими словами: если возникновение или изменение предшествующего явления всякий раз вызывает возникновение или изменение другого, сопутствующего ему явления, то первое из них есть, вероятно, причина второго явления.
Метод сопутствующих изменений можно выразить следующей схемой:
Наблюдаемые случаи |
Предшествующие обстоятельства, при которых наступает интересующее явление |
Исследуемое явление |
I |
АБВГ |
а |
II |
А^БВГ |
а\ |
III |
А2БВГ |
а2 |
IV |
А3БВГ |
аз |
Вероятно, обстоятельство А есть причина явления а
Нас заинтересовало явление а, мы желаем найти причину его появления (или изменения). Для этого изучаем, какие обстоятельства ему предшествуют или сопутствуют ему. Если же из всех предшествующих ему обстоятельств при изменении лишь одного из них происходит изменение интересующего нас явления, то мы можем допустить вероятный вывод, что первое явление есть причина второго.
Этот метод исследования причинной связи можно разобрать на следующем примере. Допустим, нас заинтересовала причина расширения металла. Причем мы замечаем, что чем выше нагревается металл, тем больше он расширяется, а при понижении температуры нагрева металла соответственно уменьшается его объем. Приходим к выводу, что причиной расширения металлу, вероятно, является повышение его температуры. С помощью этого метода была обнаружена причинная зависимость между периодическими появлениями и изменениями пятен на Солнце с появлением и изменением полярных сияний.
4. Метод остатков. Метод остатков обычно применяется при исследовании сложного комплекса предшествующих обстоятельств, где одна часть компонентов этого комплекса уже изучена, а другая его часть еще подлежит изучению.
Метод остатков обычно формулируется следующими словами: если установлено, что причиной части сложного исследуемого явления не служат известные предшествующие обстоятельства, кроме одного из них, то можно предположить, что это единственное обстоятельство и есть причина интересующей нас части исследуемого явления.
Метод остатков можно выразить следующей схемой:
1. Предшествующие обстоятельства АБВх вызывают явление — абвг. ,2. Известно, что обстоятельства АБВ вызывает явление —- абв.
Вероятно, обстоятельство X есть причина явления г.
Классическим примером применения метода остатков в астрономической науке является открытие планеты Нептун по величине отклонения от расчетной орбиты движения Урана. При расчете было учтено влияние Солнца и всех известных тогда планет на движение Урана. Однако это не объясняло реальное движение Урана по орбите, так как в определенном месте он отклоняется от расчетной траектории орбиты. Тогда ученые сделали вывод, что, вероятно, имеется еще одна неизвестная планета, которая и влияет на отклонениеУрана от расчетной орбиты. Этот вероятный вывод по методу остатков был в дальнейшем подтвержден. Математики Адаме и Леверье по величине угла отклонения Урана от орбиты высчитали предполагаемое местоположение неизвестной планеты. После этого немецкий астроном Галле навел телескоп на эту точку неба и открыл новую планету Нептун.
Все рассмотренные методы индуктивного исследования причинной связи применяются обычно в сочетании друг с другом, они дополняют друг друга, способствуя тем самым более точному познанию причинных связей в окружающем человека мире.
