- •Предисловие
- •Часть I
- •Предмет, основные понятия
- •И разновидности логики
- •Введение
- •1.2. Разновидности и исторический аспект логики как науки
- •1.3. Основные положения и понятия классической формальной логики
- •2.2. Закон мышления. Принципы (законы) классической формальной логики
- •2.3. Частные законы формальной логики и логическое следование
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Предмет, основные понятия и разновидности логики»
- •Список рекомендуемой литературы
- •Часть II
- •Силлогистическая теория
- •Дедуктивных рассуждений
- •Введение
- •3.2. Логическая структура категорических высказываний
- •3.3. Общая качественно-количественная классификация категорических суждений
- •3.4. Позитивная и негативная разновидности традиционной силлогистики
- •3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний
- •Родовое
- •4.2. Логический квадрат. Умозаключения по логическому квадрату
- •4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике
- •4.4. Общая характеристика и логическая структура простого категорического силлогизма
- •4.5. Модельные схемы простого категорического силлогизма
- •4.6. Правила простого категорического силлогизма
- •4.7. Сложные, сокращённые и сложносокращённые формы простого категорического силлогизма
- •5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике
- •5.3. Негативный категорический силлогизм
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Силлогистическая теория дедуктивных рассуждений»
- •12. Что есть истина?
- •13. Что пользы человеку приобресть весь мир…?
- •Список рекомендуемой литературы
- •Часть III
- •Логика высказываний
- •И предикатов
- •Введение
- •6.2. Пропозициональные связки; образование формул клв
- •6.3. Истинностная функция пропозициональных связок Табличное определение истинности
- •6.4. Виды и взаимоотношения формул и схем клв
- •6.5. Схемы некоторых законов клв
- •6.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •7.2. Классическое натуральное исчисление высказываний. Правила вывода
- •7.3. Выводы и доказательства
- •7.4. Эвристики натурального исчисления высказываний
- •8.2. Язык классической логики предикатов
- •8.3. Запись имён и высказываний на яклп: термы и формулы
- •8.4. Законы классической логики предикатов
- •8.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Логика высказываний и предикатов»
- •Список рекомендуемой литературы
- •Часть IV
- •Теория правдоподобных
- •Рассуждений
- •Введение
- •9.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •9.3. Статистическая (апостериорная) вероятность
- •9.4. Исчисление условной вероятности
- •9.5. Принцип обратной дедукции
- •Лекция десятая разновидности индукции
- •10.1. Понятие индукции в традиционной и современной логике
- •10.2. Классификация видов индукции по характеру следования
- •А1 есть в, а2 есть в, ..., Аn есть в; Никаких а, кроме а1, ..., Аn, нет;
- •Каждое а есть в.
- •10.3. Индуктивные методы установления причинных связей
- •Вероятно, а
- •Вероятно, а
- •Видимо, а — причина a
- •11.2. Гипотеза: виды, построение, этапы организации
- •11.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Теория правдоподобных рассуждений»
- •Список рекомендуемой литературы
- •Часть V основы аргументационного процесса Введение
- •Лекция двенадцатая логические основы аргументации
- •12.1. Основы теории аргументации
- •12.2. Состав аргументации. Структура аргументационного процесса
- •12.3. Доказательство и опровержение в аргументации
- •12.4. Правила и логические ошибки в доказательстве и опровержении
- •13.2. Тактика спора
- •13.2. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
1.2. Разновидности и исторический аспект логики как науки
Будучи дисциплиной, отвлечённой (абстрагированной) от реального эмпирического содержания процесса мышления, изучающей именно формы мышления, логика – в данном аспекте её проявления – называется формальной. Впервые определение «формальная» было употреблено немецким философом И. Кантом (1724–1804 гг.), намеренно подчеркнувшим отличие логики с доминированием такого аспекта от иных возможных логик (например, от логики диалектической).
Формальная логика возникла в IV в. до н.э. и в своём историческом развитии демонстрирует устойчивую тенденцию всё большей формализации процедур мышления. По степени этой формализации различают два этапа формальной логики: традиционный и современный (символический, математический).
Традиционной называют формальную логику, изучающую правильное мышление при широком использовании возможностей естественного языка, т. е. язык такой логики не до конца формализован.
Такая логика не устраняет многозначности, неопределённости изучаемых ею правил построения выражений, придания значений и т. п., чего можно добиться только за счёт конструирования и использования искусственных (символических) языков, призванных следовать за логической формой, воспроизводя её даже в ущерб краткости и лёгкости общения.
Достаточно универсальные (не включающие слова обычного разговорного языка) формализованные языки и соответствующие теории логического анализа стали разрабатываться во второй пол. XIX – первой пол. XX вв., что ознаменовало начало современного этапа в историческом развитии формальной логики.
Формальную логику современного этапа её исторического развития определяют в качестве «символической», поскольку в ней используются только формализованные языки, и в качестве «математической», поскольку применяемые в ней методы аналогичны методам, применяемым в математике.
Математическая логика исследует предмет логики методом построения специальных формализованных языков – исчислений, позволяющих избегать двусмысленностей, неясностей естественного языка. При этом в арсенале аксиом формальной логики изначально содержался принцип двузначности (бивалентности), согласно которому всякое осмысленное высказывание либо истинно, либо ложно.
Та часть формальной логики (вся традиционная и некоторая часть современной), которая базируется на принципе двузначности, называется классической (двузначной) логикой.
Родоначальником формальной логики, заложившим принципы её классического варианта, является древнегреческий философ Аристотель (384–322 гг. до н.э.). У истоков современной классической формальной логики стоят, наряду со многими другими исследователями, Дж. Буль (1815–1864 гг.), А. де Морган (1806–1871 гг.), Ч.С. Пирс (1839–1914 гг.), постепенно реализовавшие предложенную ещё Г.В. Лейбницем (1646–1716 гг.) идею перенесения в логику математических методов.
Сомнения в универсальности принципа двузначности были разрешены в рамках современной формальной логики, что породило учитывающую принцип многозначности логику неклассическую, в том числе – многозначную логику.
В соотношении разновидностей формальной логики действует следующий порядок: классическая традиционная формальная логика служит базой для аппарата классической современной формальной логики, последняя считается ядром современной логики в целом и сохраняет свою теоретическую и практическую значимость для новейших неклассических логических теорий. Многие из этих теорий могут быть представлены как расширения классической логики, обогащающие её выразительные средства в постижении бесконечно сложного универсума.