Популярная логика, Гжегорчик А., 1979

Популярная логика, Гжегорчик А., 1979.

   Математическая логика — своеобразная область науки, тесно связанная как с математикой, так и с философией, — выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и других «умных» автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и других наук — вот сфера применений математической логики.
Книга Анджея Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес к этой науке людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.




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

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

ОГЛАВЛЕНИЕ.
§ 1. Чем занимается логика?.
1.1. Умозаключение - одно из действий, обогащающих наше познание.
1.2. Умозаключение как переход от посылок к выводам
1.3. Логика дает схемы и способы проведения правильных умозаключений.
1.4. Логика и философия.
§ 2. О правильном выражении мысли в предложениях.
2.1. Правильное выражение мысли посредством языка образуется из предложений.
2.2. Сложные предложения, как правило, состоят из простых предложений и союзов между предложениями.
2.3. Логические связки между предложениями.
2.4. Логические наименования некоторых сложных предложений.
Упражнения.
§ 3. Правило отделения (modus ponens).
3.1. Логические правила дают возможность признавать истинными новые предложения.
3.2. Формулировка правила отделения.
3.3. Дальнейшие примеры применения правила отделения.
Упражнение.
§ 4. Законы логики предложений.
4.1. Закон исключенного третьего.
4.2. Закон непротиворечивости.
4.3. Законы двойного отрицания.
4.4. Закон контрапозиции.
4.5. Законы, характеризующие конъюнкцию.
4.6. Законы импликативных силлогизмов.
4.7. Законы, характеризующие дизъюнкцию.
4.8. Законы, характеризующие эквивалентность.
4.9. Законы де Моргана.
Упражнение.
§ 5. Характеристика логических союзов.
5.1. Таблица для отрицания.
5.2. Таблица для конъюнкции.
5.3. Таблица для дизъюнкции.
5.4. Таблица для импликации.
5.5. Таблица для эквивалентности.
Упражнения.
§ 6. Табличная проверка формул логики предложений.
6.1. Символика логики предложений.
6.2. Правильно построенные формулы.
6.3. Проверка формул с одной переменной.
6.4. Проверка логических формул с многими переменными.
6.5. Сокращенный метод проверки (метод нуля и единицы).
Упражнения.
§ 7. Применение логики предложений.
7.1. Применение логики предложений к математическим наукам.
7.2. Применение логики предложений в технике.
7.3. Замечания о применении логики предложений к гуманитарным наукам.
7.4. Обнаружение ошибок в умозаключениях.
7.5. Анализ правильных выводов.
Упражнения.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Популярная логика, Гжегорчик А., 1979 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать файл № 1 - pdf
Скачать файл № 2 - djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.

Скачать - pdf - Яндекс.Диск.




Теги: учебник по математике :: математика :: Гжегорчик