ТРАДИЦИОННАЯ ФОРМАЛЬНАЯ ЛОГИКА

Учебное пособие – руководство для студентов дистантной формы обучения

Автор – доктор философских наук, доцент

Микиртумов Иван Борисович

Аннотация:

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

В пособии, во-первых, дано теоретическое изложение основных тем курса, во-вторых, представлены фрагменты некоторых классических для логики текстов Аристотеля, Платона, А. Арно, П. Николя, Г. В. Лейбница, Г. Фреге, работа с которыми полезна студентам, в-третьих, имеются разнообразные задачи и упражнения. Последние предназначены для самостоятельной работы студентов и для раздичных форм контроля их успеваемости.

Санкт-Петербург, 2012

Оглавление

ВВЕДЕНИЕ 4

Происхождение логики и её предмет 4

Предмет логики 4

Происхождение логики как метода науки 4

Основные законы логики 6

Глава 1. Понятие 9

Природа понятия, учение о сущности 9

Упражнения 12

Понятие и термин. Объём и содержание понятия и термина 12

Виды понятий 15

Род и вид. Закон соотношения объёма и содержания понятия 16

Отношения объёмов понятий 18

Упражнения 20

Определение как раскрытие содержания понятия и правила 21

определения 21

Упражнения 25

Деление объёма понятия как его раскрытие 26

Два парадокса 32

Упражнения 33

Глава 2. Суждение 33

Простое категорическое суждение: структура и виды 33

Процедура приведения выражений естественного языка 36

к логической форме 36

Упражнения 38

Семантика простых категорических суждений 39

и «логический квадрат» 39

Парадокс лжеца 45

Упражнения 46

Логический анализ структуры сложного суждения 47

Логические союзы 47

Анализ логической структуры суждений естественного языка 50

Упражнения 53

Таблицы истинности для сложных сужений. 54

Тождественно-истинные и тождественно-ложные суждения 54

Метод аналитических (семантических) таблиц 57

Упражнения 63

Суждения с модальностями 66

Семантика модальных суждений 68

Отношения модальных суждений: шестиугольник и треугольник 71

Упражнения 72

Глава 3. Умозаключение 73

Элементарные умозаключения 74

Обращение 74

Превращение 78

Противопоставление субъекту и противопоставление предикату 82

Упражнения 83

Сложные умозаключения 84

Простой категорический силлогизм 84

Упражнения 94

Сокращённый силлогизм – энтимема – и её восстановление 95

Упражнения 100

КОНТРОЛЬНЫЕ РАБОТЫ 101

ЛИТЕРАТУРА 104

Введение Происхождение логики и её предмет Предмет логики

Логика относится к сфере философского знания, и её формирования происходит одновременно с формированием философии и науки в Древней Греции в эпоху культурного переворота VIII–V вв. до н.э. Как единая наука логика была создана около 2500 лет тому величайшим философом и учёным Аристотелем (384–322 до н. э.), хотя отдельные элементы логических знаний имели хождение и ранее.

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

Предметом логики являются формы мысли, т. е. формы, которые мышление использует для представления знания о предметах, их свойствах и отношениях, а также о фактах (положениях дел) и свойствах и отношениях фактов. Знание о предметах выражено в понятиях, знание об их свойствах и отношениях, а также о фактах – в суждениях, а знание о взаимосвязи фактов – в умозаключениях.

Именно исследование умозаключений представляет собой конечную цель логики. Поэтому её предмет можно определить так:

Логика изучает умозаключения, которые с необходимостью приводят

к истинным выводам, если истинными являются их посылки.

Формальный характер логики, а часто вообще говорят о формальной логике, делает её отчасти подобной грамматике. Логические связи и отношения не зависит от того, о чём мыслят и рассуждают, как и грамматическое – от того, что хотят выразить словами.

Истина и необходимость – это главные ценности логического знания, которые в сфере обычной коммуникации соответствуют таким ценностям как ответственность и вменяемость. Уже Аристотель сформулировал логику как науку для того, чтобы получить доступный для всех людей инструмент различения истинных рассуждений и доказательств от ложных в таких практически важных сферах отношений как политика, право и мораль. При этом он основывался на уже сформировавшейся к его времени логической культуре научного рассуждения и доказательства.