
- •Глава 1. История логики.
- •Глава 2. Предмет и значение теоретической логики.
- •Глава 3. Традиционная логика.
- •Глава 4. Символическая логика.
- •Глава 5. Неклассическая логика.
- •Глава 6. Логика и методология научного знания.
- •Глава 7. Практическая логика
- •Глава 1
- •1.1.1. Элементы логики у Парменида, Гераклита и Зенона
- •1.1.2. Логико-риторические проблемы у софистов
- •1.1.4. Логические идеи представителей мегарской школы
- •1.1.5. Логико-методологические идеи Платона
- •1.2.1. Методология Аристотеля
- •1.2.2. Учение о суждениях
- •1.2.3. Теория силлогизма
- •1.3.2. Логика эпикурейцев
- •1.3.3. Логика скептиков
- •1.4.1. Логические идеи Фомы Аквинского
- •1.4.2. Эпистемология Дунса Скота
- •1.4.3. Эпистемология и логика Уильяма Оккама
- •1.4.4. Основные средневековые типы логико-методологического мировоззрения
- •1.5.1. Логические идеи Пьера Рамэ
- •1.6.1. Принципы формально-логического рационализма
- •1.6.2. Новая философия Лейбница
- •1.6.3. Универсальная характеристика
- •1.6.4. Концепция о ясных и отчетливых понятиях
- •1.6.5. Определение понятия тождества и достаточного основания
- •1.7.1. Теория познания Канта
- •1.7.2. Аналитическое и синтетическое знание
- •1.7.3. Трансцендентальная логика
- •1.7.4. Чистые категории рассудка
- •1.8.1. Философская система Гегеля
- •1.8.2. Диалектическая логика Гегеля
- •Глава 2
- •2.1.1. Опыт и рассуждение в науке
- •2.1.2. Мышление как предмет изучения теоретической логики
- •2.1.3. Язык и мышление. Естественный и искусственный языки
- •2.2.1. Роль языка в мыслительных и речевых актах
- •2.2.2. Речевые акты и фреймы знания
- •2.2.3. Суждение, рассуждение, умозаключение
- •2.2.4. Структура рассуждения
- •2.3.1. Понятие закона мышления
- •2.3.2. Закон тождества
- •2.3.3. Закон противоречия
- •2.3.4. Формы противоречий
- •2.3.5. Закон исключенного третьего
- •2.3.6. Закон достаточного основания
- •2.4.1. Исторический метод
- •2.4.2. Аксиоматический метод
- •2.4.3. Метод формализации
- •2.4.4. Логический синтаксис и логическая семантика
- •2.4.5. Логические исчисления
- •Глава 3
- •3.1.1. Знак: смысл и значение
- •3.1.2. Дескриптивные и логические термины
- •3.1.3. Понятие как форма мышления
- •3.1.4. Объем и содержание понятия
- •3.1.5. Образование понятий
- •3.1.6. Виды понятий
- •3.1.7. Отношения понятий по объему
- •3.1.8. Отношения между понятиями по содержанию
- •3.2.1. Логическая структура суждения
- •3.2.2. Суждение и вопрос
- •3.2.3. Качественные и количественные характеристики суждений
- •3.2.4. Совместимые и несовместимые суждения. Логический квадрат
- •3.3.1. Определение как логическая операция
- •3.3.2. Виды определений
- •3.3.3. Правила корректных определений
- •3.3.4. Приемы, сходные с определением
- •3.3.5. Деление понятий
- •3.3.6. Виды и правила деления понятий
- •3.4.1. Природа и виды умозаключений
- •3.4.2. Умозаключение по логическому квадрату
- •3.4.3. Простой категорический силлогизм
- •3.4.4. Аксиома силлогизма
- •3.4.5. Правила силлогизма
- •3.4.6. Общая характеристика фигур силлогизма
- •3.4.7. Модусы фигур силлогизма
- •3.5.1. Непосредственное и опосредованное доказательство
- •3.5.2. Значение доказательств в науке
- •3.5.3. Строение и структура доказательства
- •3.5.4. Виды доказательств
- •3.5.5. Опровержение
- •3.5.6. Условия и правила, обеспечивающие эффективность доказательства. Основные ошибки
- •3.6.1. Природа индуктивного умозаключения
- •3.6.2. Понятие аналогии
- •3.6.4. Основные виды индукции и индуктивных умозаключений
- •3.6.5. Популярная и научная индукция
- •3.7.1. Специфика гипотезы
- •3.7.2. Виды гипотез
- •3.7.3. Основные этапы разработки гипотезы
- •3.7.4. Проверка гипотезы
- •Глава 4
- •4.1.1. Логические союзы
- •4.1.2. Язык логики высказываний
- •4.1.3. Понятие правильно построенного высказывания (ппв) определяется таким образом:
- •4.1.4. Понятие формулы логики высказываний
- •4.2.1. Семантическая таблица отрицания
- •4.2.2. Семантическая таблица конъюнкции
- •4.2.3. Семантическая таблица дизъюнкции
- •4.2.4. Семантическая таблица импликации
- •4.2.5. Семантическая таблица эквивалентности
- •4.3.1. Порядок логических действий
- •4.3.2. Табличный способ исчисления истинностных значений
- •4.4.1. Закон двойственности
- •4.4.2. Понятие самодвойственной формулы
- •4.4.3. Равносильные формулы
- •4.4.4. Свойства равносильности
- •4.5.1. Понятие тождественно-истинной формулы
- •4.5.2. Понятие тождественно-ложной формулы
- •4.5.3. Некоторые свойства тождественно-истинных формул:
- •4.6.1. Понятие нормальной формы
- •4.6.2. Процедура приведения к нормальной форме
- •4.6.3. Проблема разрешимости
- •4.8.1. Понятие логического вывода
- •4.8.2. Правила вывода
- •4.8.3. Правило построения прямого доказательства
- •4.8.4. Косвенное доказательство
- •4.8.5. Сильное (классическое) косвенное доказательство
- •4.8.6. Аксиоматическое представление логики высказываний
- •4.8.7. Полнота классического исчисления высказываний
- •4.9.2. Исчисление предикатов. Общезначимость
- •4.9.3. Тождественно-истинные формулы логики предикатов
- •4.9.4. Логическое следование
- •4.9.5. Естественный вывод в логике предикатов
- •4,9.6, Специфические законы логики предикатов
- •4.9.8. Свойства теорий первого порядка
- •4.9.9. Секвенции
- •Глава 5
- •5.1.1. Элементы модальной логики в античности
- •5.1.2. Понятия необходимости и возможности
- •5.1.3. Алетические модальные исчисления
- •5.1.4. Естественный вывод в алетических исчислениях
- •5.2.1. Анализ норм
- •5»2.2. Деонтические исчисления
- •5.3.1. Деонтическая система «Deontic»
- •5.3.2. Деонтическая система р
- •5.3.3. Деонтическая система sdl
- •5.3.4. Деонтическая система dt
- •5.3.5. Семейство деонтических систем 01 1— 01 4
- •5.4.1. Понятие деонтически возможного мира
- •5.4.3. Условия истинности деонтических формул
- •5.5.1. Оценки и нормы
- •5.5.2. Проблема истинности оценок
- •5.5.3. Логика оценок
- •Глава 6
- •6.1.1. Логико-математические методы
- •6.1.1. Логико-математические методы
- •6.1.2. Виды познания
- •6.1.3. Структура познавательного процесса
- •6.1.4. Общенаучные методы познания
- •6.1.5. Общенаучные подходы к построению научного знания
- •6.1.6. Методология научного познания
- •6.1.7. Проблема истины в познании
- •6.2.1. Эмпирическая интерпретация
- •6.2.2. Конструктивные объекты
- •6.2.3. Логический язык эмпирической интерпретации
- •6.3.1. Структура математических теорий
- •6.3.2. Структура теорий опытных (эмпирических) наук
- •6.3.3. Научная теория как обобщенное идеальное отображение мира
- •6.4.1. Логическое уточнение понятия теории
- •6.4.2. Логические отношения между теориями
- •6.4.3. Сравнение теорий с помощью определений
- •6.5.1. Дедуктивно-номологическое объяснение
- •6.5.2. Рациональное объяснение
- •6.5.3. Интенциональное объяснение. Практический силлогизм
- •Глава 7
- •7.5.1. Тактика аргументации
- •7.5.2. Уловки и приемы аргументации
- •7.5.3. Моральный кодекс спора
Глава 1
ИСТОРИЯ ЛОГИКИ
Основные логические идеи развивались в рамках философии, в частности в рамках такого раздела философии, как теория познания (гносеология). Каждый крупный мыслитель прошлого в своих работах касался логической проблематики в той степени, насколько она была связана с исследованием процесса человеческого познания. Основные логические идеи появились еще в античности, в философских трактатах древнегреческих мудрецов. Возникновение и развитие логической проблематики будем прослеживать, начиная с античности. Много логических идей бьшо высказано и сформулировано такими античными философами, как Парменвд, Гераклит, Зенон, Демокрит, Сократ, Платон. В трудах Аристотеля была сформулирована первая логическая система — силлогистика. Можно сказать, что начиная с Аристотеля логика уже существует как самостоятельная наука.
1.1
ЛОГИЧЕСКИЕ УЧЕНИЯ АНТИЧНОСТИ
Древнегреческая логика берет начало своего развития с конца VI в. до н. э. Именно в то время начинается деятельность философской школы, получившей наименование *элейской» (от города Элей). Из представителей этой школы особенно инте-
ресен Парменид. Его акмэ (цветущий возраст — около 40 лет) относится приблизительно к 500 г. до н. э. Важным положением у Парменида является тезис о принципиальном отличии мнения от подлинного знания сущего. В дальнейшем этот тезис подхватит и разовьет Платон. Он также впервые сформулирует закон тождества, который в его интерпретации свидетельствует о неизменности раз установившегося содержания мысли.
1.1.1. Элементы логики у Парменида, Гераклита и Зенона
Для Парменида характерно гносеологическое отождествление бытия и мышления: «.одно и то же мысль и предмет мысли, ибо без бытия, в котором выражена мысль, ты не найдешь мысли», — писал он.
Акмэ Гераклита (родился около 540 г. до н. э.) падает на 504—501 гг. до н. э. Гераклит Эфесский представляет интерес с четырех точек зрения: 1) он основоположник диалектического метода; 2) он первый ввел в философию понятие «закона» и попытался установить, что представляет собой мышление в понятиях; 3) он провел грань (хотя и не совсем четко) между моментами субъективности и объективности в мышлении; 4) он выдвинул проблему отображения движения в мышлении.
Гераклит впервые дал трактовку понятия «закон» («логос»). Термин «логос» по-гречески значит и «речь», и «слово», и «закон», и «понятие», и «смысл».
Он подчеркивает, что способность к размышлению величайшее преимущество человека по сравнению с животным. Мудрость заключается в том, чтобы говорить правду и поступать согласно природе, подражая ей. В других фрагментах читаем: «Мышление обще всем»; «Психее присущ самовозрастающий логос», и наконец: «Всем людям свойственно познавать самих себя и мыслить».
В истории философии широко известно знаменитое изречение Гераклита о том, что нельзя войти дважды в один и тот же поток. Оно как бы намекает на существование ситуаций, фактографические высказывания о которых (приуроченные к
фиксированному моменту времени) затруднительно квалифицировать либо только как истинные, либо только как ложные.
Проблематика, поднятая Гераклитом, об отображении движения в мышлении была развита дальше Зеноном из Элей. Зенон Элейский (ок. 490 — ок. 430 гт. до н. э.) был учеником Парменида. Он оказал заметное влияние на формирование взглядов Левкиппа, учителя Демокрита.
О жизни Зенона мы знаем очень мало. Известно лишь, что он восстал против тирана Неарха, был подвергнут пыткам, а затем казнен. В своих сочинениях Зенон первым стал употреблять диалогическую форму. Диалоги содержали отдельные обоснования некоторых концепций и включали в себя анализ различных предположений.
Древние философы приписывали Зенону 40 доказательств для защиты теории Парменида. Наряду с этими доказательствами, направленными против тезиса о множественности вещей, имелось у Зенона 5 аргументов, раскрывающих антино-мичность суждений о «подлинно сущем». Из этих доказательств Зенона до нас дошло 9, а у Аристотеля рассматривалось 5. Например, в апории «Стрела» Зенон пытается показать, что движущаяся стрела в действительности покоится. В самом деле, говорит он, все всегда или покоится, или движется; но ничто не движется, когда занимает определенное место; движущийся же предмет всегда находится в данный момент времени в одном месте. Следовательно, резюмирует Зенон, движущаяся стрела неподвижна.
Некоторые современные математики называют некоторые из аргументов Зенона тонкими и глубокими. По их мнению, проблемы, поднимаемые парадоксом «Ахиллес и черепаха», с арифметической точки зрения сводятся к взаимному отношению двух бесконечных классов. Некоторые исследователи в образных выражениях писали о возникающих при этом трудностях.
Необходимо заметить, что с методологической точки зрения аргументация Зенона Элейского требует резкого противопоставления единого и многого. Зенон в линии усматривает только отдельные точки, а у времени только отдельные мгновения. Такая концепция вызвала резкие возражения у Аристотеля, заявлявшего, например, о непредставимости реального
времени в виде совокупности отдельных положений, называемых «теперь». В знаменитой апории «Ахиллес и черепаха» Зе-нон набрасывает правдоподобную, с математической точки зрения, но явно не соответствующую требованиям обыденного здравого рассудка ситуацию, когда двигающийся с большей скоростью предмет не может догнать другой предмет, двигающийся с меньшей скоростью. Если рассмотреть некоторый сегмент, в правом конце которого стартует влево Ахиллес, а в центре одновременно стартует в том же направлении черепаха, то гипотеза о всюду плотном множестве точек сегмента неизбежно приводит к утверждению о поражении Ахиллеса в этом состязании. Аристотель критикует рассуждения Зенона в своей «Физике», выступая, по-видимому, за замену термина «момент времени» термином «промежуток времени».
Сходные с зеноновскими аргументами идеи о трудностях отображения движения в мышлении развивал современник Зенона из Элей, комик, философ и комедиограф Эпихарм с Сицилии (ок. 550 — ок. 440 гг. до н. э.>, сблизивший несколько эти аргументы с методологией псевдогераклитовского релятивизма.