Цели и задачи дисциплины (стр. 2 )

Тема 2. Понятие

Понятие как форма мышления. Языковые формы выражения понятий. Термины. Основные логические приемы формирования понятий. Роль понятий в познании. Содержание и объем понятий. Представление и понятие. Чувственное и рациональное. Абстрагирование. Отличительные и существенные признаки. Объем и содержание понятия. Закон обратного соотношения объема и содержания понятия. Род и вид. Понятия общие и собирательные. «Древо Порфирия». Ближайший род. Ограничение и обобщение. Категории. Отношения между понятиями. Определение понятия. Деление понятия. Определение, виды определений, правила их построения. Определение и классификация.

Тема 3. Суждение

Определение суждения. Суждение как форма мышления. Основные типы суждений. Суждение и вопрос. Логические требования к правильной постановке вопросов. Суждение и норма. Простые суждения. Логические типы суждений. Виды суждений. Суждения категорические, условные и разделительные. Распределенность терминов в суждении. Отношения между суждениями. Логический квадрат. Законы логики. Основные законы логики. Необходимые и достаточные условия. Вопросно-ответ­ные ситуации.

Тема 4. Умозаключение как форма мышления

Определение умозаключения. Логическая структура умозаключения. Роль дедуктивных умозаключений в познании. Вероятностные умозаключения. Объективная и субъективная вероятность. Умозаключения формальные и содержательные. Непосредственные умозаключения. Формальные преобразования суждений. Превращение. Обращение. Противопоставление предикату. Простой категорический силлогизм. Аксиома силлогизма. Нахождение терминов и посылок. Общие правила категорического силлогизма. Фигуры и модусы простого категорического силлогизма. Особые правила фигур. Модусы категорического силлогизма. Энтимема.

Тема 5. Условные, разделительные силлогизмы

Условный силлогизм. Разделительный силлогизм. Логика высказываний.

Тема 6. Индуктивные умозаключения

Индукция и аналогия как виды вероятностных суждений. Индуктивные методы установления причинных связей. Виды аналогий. Логические правила умозаключения по аналогии. Критика силлогистики. Определение индукции. Индуктивные методы Бэкона-Милля.

Тема 7. Доказательство и опровержение

Определение доказательства и опровержения. Структура доказательства: тезис, аргументы, форма доказательства. Прямое и косвенное доказательство. Генетические доказательства. Логические основы аргументации. Логическое доказательство, его связь с процессами получения выводного знания. Логическая структура доказательства. Требования, предъявляемые к элементам доказательства. Виды доказательств.

Сущность опровержения. Связь опровержения и доказательства. Опровержение тезиса, аргументов и демонстрации.

Логические правила и основные ошибки доказательства и опровержения. Роль доказательства и опровержения в познавательном процессе. Логические основы теории аргументации.

7. Планы проведения практических (семинарских) занятий

Тематика и содержание семинарских занятий

Семинар 1.

Тема: Операции с понятиями

1. Процесс образования понятия: анализ, абстрагирование, сравнение, синтез, познавательное обобщение. Виды понятий.

2. Объем и содержание понятий. Обобщение и ограничение.

Семинар 2.

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

1. Место простых суждений в схеме логического квадрата.

2. Операции превращения, обращения, противопоставления предикату. Практические задачи.

Семинар 3.

Тема: Простой категорический силлогизм. Аксиома силлогизма

1. Нахождение терминов и посылок простого категорического

силлогизма

2. Общие правила простого категорического силлогизма.

Практические задания

Определить вид умозаключения, доказательства, показать, правильное оно или неправильное

1.  Ни один из подсудимых не виноват, значит, все подсудимые невиновны.

2.  Всякая истина конкретна; значит, ни одна истина не является неконкретной.

3.  Все математики ученые; значит, некоторые ученые математики.

4.  Металлы не растворяются в воде; значит, некоторые вещества, не растворяющиеся в воде, являются металлами.

5.  Все квадраты – равносторонние прямоугольники; значит, ни один неравносторонний прямоугольник не является квадратом.

6.  Всякий закон является нормативно-правовым актом; значит, ни один не нормативно-правовой акт не является законом.

7.  Минск является населенным пунктом, так как все города — населенные пункты, а Минск — город.

8.  Хулиганство - наказуемое деяние, так как все преступления - наказуемые деяния, а хулиганство – преступление.

9.  Все млекопитающие дышат легкими, акула же не дышит легкими, значит, акула не является млекопитающим.

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

11.  Частноотрицательные суждения не обращаются, а общеотрицательные обращаются, значит, общеорицательные суждения не являются частноотрицательными.

12.  Древние греки внесли большой вклад в развитие философии, а спартанцы – древние греки, следовательно, спартанцы внесли большой вклад в развитие философии.

13.  Некоторые химические элементы соединяются с кислородом, образуя окислы. Некоторые газы – химические элементы. Следовательно, газы соединяются с кислородом, образуя окислы.

14.  Если данное вещество – натрий, то спектр его раскаленных паров даст ярко желтую линию. Спектр раскаленных паров вещества не дает яркой желтой линии. Следовательно, данное вещество не есть натрий.

15.  Существительные не изменяются по временам. Прилагательные не являются существительными. Следовательно, прилагательные изменяются по временам.

16.  Некоторые люди обладают способностью к быстрому счету. Некоторые люди математики. Следовательно, математики обладают способностью к быстрому счету.

17.  Все города – населенные пункты. Раков не является городом. Следовательно, Раков не является населенным пунктом.

18.  Человек совершает полеты в космическое пространство. Муса Манаров – человек. Следовательно, Муса Манаров совершает полеты в космическое пространство.

19.  Все птицы кладут яйца. Все птицы являются позвоночными. Следовательно, некоторые позвоночные кладут яйца.

20.  Каждый честный человек прилежно занимается своим делом. Следовательно, этот человек – честный человек.

21.  Это животное не позвоночное, так как оно не является млекопитающим. (Энтимема).

22.  Если в мелководном порту наступает время отлива, находящиеся в этом порту суда выходят в море. В мелководном порту наступило время отлива. Находящиеся в мелководном порту суда выходят в море.

23.  Если наблюдаемое светило – планета, то спектр его будет отраженным спектром солнца. Но спектр наблюдаемого светила не есть отраженный спектр солнца. Следовательно, наблюдаемое светило – не планета.

24.  Если Иванов – студент, то он обязан держать экзамены. Иванов – не студент. Иванов не обязан держать экзамены.

25.  Если ночью прошел дождь, то трава должна быть мокрой. Трава мокрая. Следовательно, ночью прошел дождь.

26.  Если Иванов не знает химии, он не может успешно вести физиологические исследования. Иванов успешно ведет физиологические исследования. Следовательно, Иванов знает химию.

27.  Двойные звезды бывают или оптически двойные, или физически двойные. Двойная звезда Вега не есть физически двойная. Двойная звезда Вега – оптически двойная.

28.  Успехи в фортепьянной игре обусловлены или усердием, или одаренностью. Успехи Николаева в фортепьянной игре обусловлены одаренностью. Успехи Николаева в фортепьянной игре не обусловлены усердием.

29.  Жиры бывают по происхождению или минеральные, или животные. Розовое масло – не животного происхождения. Розовое масло – минерального происхождения.

30.  Эта звезда – планета, так как она быстро меняет свое положение среди других звезд. (Энтимема).

31.  Все больные гриппом – распространители гриппозной инфекции. Михайлов болен гриппом. Следовательно, Михайлов – распространитель гриппозной инфекции.

32.  Ни один злак не есть споровое растение. Пшеница – злак. Пшеница не есть споровое растение.

33.  Все злаки – однодольные растения. Все бамбуковые – злаки. Все бамбуковые – однодольные растения.

34.  Определить вид доказательств: Если длины сторон некоторого треугольника равны соответственно 3, 4, и 5 см, то этот треугольник прямоугольный, так как сумма квадратов первых двух чисел равна квадрату третьего числа, а такое соотношение длин сторон имеет место только в прямоугольном треугольнике.

35.  Определить вид доказательства: Два перпендикуляра к одной и той же прямой не могут пересечься, так как если бы они пересекались, то была бы точка их пересечения, из которой на прямую опущены два перпендикуляра. Однако, это противоречит теореме о невозможности опустить из одной и той же точки на одну прямую два перпендикуляра.

8. Самостоятельная работа

Темы для самостоятельной работы студентов.

1.  Аристотель как «отец» формальной логики.

2.  Проблема истины и доказательств у античных софистов.

3.  Место логики в учении античных стоиков.

4.  Логические нововведения Боэция.

5.  Формальная логика и средневековая схоластика.

6.  Возможно ли логическое обоснование Бога?

7.  Критика схоластической логики и обоснование методов установления причинных связей у Френсиса Бэкона.

8.  Идея трансцендентальной логики у И. Канта.

9.  Гегель о соотношении формальной и диалектической логики.

10.  Д. Милль и индуктивная логика XIX в.

11.  Трансформация задач логики в неопозитивизме.

12.  Теория логического атомизма Б. Расссела.

13.  Г. Фреге о «смысле» и «значении».

14.  Р. Карнап о «языковых каркасах» и принципы «терпимости».

15.  Львовско - варшавская логическая школа.

16.  Различия между формальной и модальной логикой.

17.  Природа понятия в формальной логике и диалектике.