
- •Глава 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.5. Логико-методологические идеи Платона
Наиболее знаменитым учеником Сократа был широко известный представитель объективного идеализма в Древней Греции Платон (428—347 гг. до н. э.). Мать Платона происходи из рода Солона; отец был потомком последнего афинского царя Кодра. Платон (первоначальное имя — Аристокл) родился в годы Пелопоннесской войны. Кроме Сократа он испытал сильное идейное влияние Пифагора, Гераклита и Парменида. От последнего, в частности, он усваивает тезис об иллюзорности с логической точки зрения всякого изменения и развития. В наследии Платона заметна также школа релятивиста Крати-ла. В историю древнегреческой философии Платон вошел как основатель «Академии», в числе учеников которой был Аристотель.
Платоновская «Академия» была крупным научным центром античного мира. По преданию, над ее входом красовалась надпись: «Пусть не знающий геометрии (здесь имеется в виду вообще математика) не входит сюда». По-видимому, знание математики считалось Платоном необходимым предварительным условием для занятий философией.
В основе философской системы Платона лежит понятие
идеи. Под идеей вещи Платон часто имел в виду ее смысл. Термин «идея» впервые появляется в диалоге «Федон» в значении идеального прообраза некоторого класса объектов. Для многих платоновских диалогов типична ситуация, связанная с рассмотрением в качестве некоторого абстрактного предмета ряда отвлеченных понятий (а также отношений). Например, «равенство» он рассматривает как некий абстрактный предмет.
Платон пытался разрабатывать особую науку — диалектику. В древнегреческом языке понятие «диалектика» употреблялось в следующих смыслах: 1) искусство словопрения; 2) искусство вести беседу; 3) искусство разделения предметов по родам как теория соединения и разделения понятий. Согласно Платону, поскольку понятия не связываются между собой и порождают идеи связанных понятий, нужна особая наука связи понятий — диалектика. Диалектикам Платон рекомендует стремиться только к истине и не руководствоваться никакими побочными целями.
Диалектика рассматривает категории бытия и покоя, движения, тождества, различия. В диалоге «Филеб» Платон проводит дальнейшее «уточнение» понятия диалектики. По его мнению, диалектика есть не что иное, как высший дар богов, а что касается ее инструмента, то им должно стать понятие. Диалектика, по Платону, состоит в искусстве образования понятий на базе индуктивных операций перебора различных случаев употребления соответствующих терминов.
Первый метод диалектического искусства Платон обозначает термином «сведение», который и был только разработан у Сократа. Платон пошел дальше. Так, например, в понятии сведения он попытался усмотреть познание важной определенности некоторого рода вещей, их «в-себе-бытия», их неизменной основы, их идеи.
Теория дихотомического деления объемов понятий, намеченная у Платона, связывается им — по аналогии — с математическим процессом многократного разбиения целого на две части. Вообще для Платона было характерно стремление к сравнительному сопоставлению логических и математических операций. Понятия «тождества» и «различия» рассматриваются Платоном в качестве основных. Именно от этих терминов Платона
ведет свою родословную современное логическое понятие «тавтология».
Метод определения понятий Платон дополняет новым методом, который заключается в испытании принятых положений посредством рассмотрения их следствий. Всякое предположение должно быть развито во всех своих положительных и отрицательных следствиях, чтобы мы могли знать, насколько оно необходимо или допустимо: должны быть выведены все возможные следствия сначала из него самого, затем из противоположного ему предположения, чтобы можно было ясно видеть, которое из них более допустимо, более вероятно и согласно с действительностью.
Заметное место у Платона отводится вопросу о соотношении «знания» [«эпистеме»] и «мнения» [«докса»], а также учению о гипотезе, которое он пытается интерпретировать применительно к отдельным наукам.
«Докса», по Платону, апеллирует к находящемуся в состоянии постоянного становления миру чувственных вещей, тогда как «эпистеме» относится к подлинному бытию. Мнение есть среднее звено между знанием и незнанием. Согласно Платону, разумное знание может быть двояким. Во-первых, это наука; она исследует не предположения, не гипотезы, а такие начала, которые касаются неких «сущностей» и которые не обязаны опираться на простые гипотезы. С другой стороны, имеется рассудочное познание, оно исследует предположения, гипотезы.
Хотя Платон и не создал силлогистики, но у него можно отыскать множество умозаключений, вполне укладывающихся в более поздние силлогические схемы Аристотеля. Вот, например, умозаключение по модусу второй фигуры Cesare, которое мы находим в диалоге Платона «Хармид»: «Стыдливость не есть нечто безусловно хорошее; сдержанность или чувство меры есть нечто безусловно хорошее. Следовательно, сдержанность не есть стыдливость». Приведенное рассуждение соответствует также тому принципу пропозиционального исчисления, что если доказано р —>q\ar—> — q,ro доказано яр —> ~ г (как и то, что ~ г —> р).
Следует отметить, что Платон внес определенный вклад в
создание традиционной логики о законах мышления. У него, в частности, был сформулирован Закон противоречия; «Невозможно быть и не быть одним и тем же». Платон был, вероятно, первым автором, подчеркнувшим необходимость совмещать в мышлении признание противоположностей. У Платона можно найти и формулировку закона достаточного основания. Так, в «Тимее» прямо сказано, что знание от мнения отличается тем, что первое основано на истинных (то есть достаточных) основаниях. Платоном завершается развитие доаристотелевской логической мысли. Уровень доаристотелевской логики следует квалифицировать как достаточно высокий. Так, у Платона можно обнаружить уже начатки силлогистики, а также ясный намек на дедуктивное требование «рассматривать то, что вытекает из принятых предпосылок».
1.2
ЛОГИКА АРИСТОТЕЛЯ
Аристотель родился в 384 г. до н. э. во фракийском городе Стагира, греческой колонии, расположенной недалеко от Афин. По названию его родного города Аристотель получил прозвище «Стагирит». Исторические сведения о матери Аристотеля ограничиваются те, что ее звали Фестидой. Его отец, Никомах, был придворным врачом и другом македонского царя Амин-ты. Отсюда близость Аристотеля к македонскому двору. Филипп пригласил его для воспитания своего сына, наследника престола — Александра Македонского. До этого Аристотель побывал в Афинах и уже с восемнадцати лет бьш ревностным слушателем «Академии» Платона, у которого проучился 20 лет. Он остается при «Академии» до смерти ее руководителя ок. 347 г. до н. э. Вторично вернулся в Афины Аристотель в 335 г. Он создает школу в Ликее, предместье Афин, около храма Аполлона Ликейского. По преданию, поскольку обучение велось во время прогулок по аллеям парка, ученики Аристотеля стали называться перипатетиками (буквально «прогуливающимися»).
Сначала Александр Македонский оказывал внимание и поддержку своему бывшему учителю. Так, есть указание, что Александр вручил Аристотелю сумму в 800 000 талантов (около двух миллионов рублей в золотом исчислении). По рассказу Плиния, Александр отдал в полное распоряжение Аристотеля несколько тысяч человек для приискания образцов животных, послуживших Аристотелю материалом для его знаменитого описания животных.
Будучи наиболее выдающимся учеником Платона, Аристотель вначале всецело разделял его взгляды, подражал ему и по форме изложения — он сначала писал диалогами. Эти произведения Аристотеля утрачены практически все, за очень малым исключением. Вся последующая деятельность Аристотеля заключалась в постепенном преодолении объективного идеализма своего учителя. Оттуда и пошла крылатая фраза «Платон мне друг, но истина дороже».