Тема 5. Простые и сложные суждения (форма проведения - семинар).

Цель: формировать систему знаний о видах простых и сложных суждений.

Вопросы к теме:

1.Суждение как форма мышления.

2.Виды простых суждений по содержанию предиката, по объему субъекта, по качеству связи и модальности.

3.Категорические суждения. Распределенность терминов в простых категорических суждениях.

4.Виды сложных суждений по типу логических союзов.

5.Выделяющие и исключающие суждения.

6.Алгоритм построения таблиц истинности. Определение правильности рассуждений средствами табличного построения логики высказываний.

Основная литература:

1. Гетманова, А.Д. Учебник по логике. М.: ЧеРо, 2005. - 304 с.

2. Ивлев, Ю.Б. Логика. М.: Проспект: Велби, 2006. - 288с.

3.Логика и теория аргументации: учеб. пособие для студентов вузов / Б.И. Каверин, И.В. Демидов. - М.: ЮНИТИ-ДАНА, 2005. - 287 с.

4. Упражнения по логике: учеб. пособие/ под ред.В.И. Кириллова.- 6-е изд., перераб. и доп. - М.: ТК Велби, Изд-во Проспект, 2007.-184 с.

Дополнительная литература:

5. Ивин, А.А. Логика: Учебник для студ. вузов. – М.: Гардарики, 2005. – 352с.

6.Рузавин П.И. Логика: Практический курс. – М.: Юнити-Дана, 2005.

Тема 6. Отношения между суждениями (форма проведения — практическое занятие).

Цели: формировать умения определять виды суждений, правильность рассуждений средствами табличного построения логики высказываний.

Вопросы к теме:

1. Виды суждений по количеству и качеству: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.

2.Логический квадрат как модель отношений между суждениями по истинности.

3.Упражнения: № 2, 3, 4, 5, 6, 13, 20 [4, с. 29-33, 40, 47].

Основная литература:

1. Гетманова, А.Д. Учебник по логике. М.: ЧеРо, 2005. - 304 с.

2. Ивлев, Ю.Б. Логика. М.: Проспект: Велби, 2006.- 288с.

3.Логика и теория аргументации: учеб. пособие для студентов вузов / Б.И. Каверин, И.В. Демидов. - М.: ЮНИТИ-ДАНА, 2005. - 287 с.

4. Упражнения по логике: учеб. пособие/ под ред.В.И. Кириллова.- 6-е изд., перераб. и доп. - М.: ТК Велби, Изд-во Проспект, 2007.-184 с.

Дополнительная литература:

5. Ивин, А.А. Логика: Учебник для студ. вузов. – М.: Гардарики, 2005. – 352с.

6.Рузавин П.И. Логика: Практический курс. – М.: Юнити-Дана, 2005.

Вопросы для самоконтроля:

1. Что является суждением? Чем оно отличается от предложения?

2. Назовите виды простых суждений.

3. Назовите типы суждений в объединенной классификации, приведите их символическое обозначение.

4. Что означает распределенность терминов в суждении?

5.Что представляет собой «логический квадрат»?

6. Назовите виды сложных суждений.

7. Как построить таблицу истинности для сложных суждений?

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

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

Структура умозаключения включает три элемента:

· исходное (данное) знание, выражающееся в посылках;

· обосновывающее знание, выражающееся в правилах умозаключения;

· выводное знание, выражающееся в заключении или выводе.

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

· дедуктивные,

· индуктивные,

· умозаключения по аналогии.

Дедуктивные умозаключения

Название "дедуктивные умозаключения" происходит от латинского слова deductio(выведение). В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы, в силу чего при истинных посылках заключение всегда оказывается истинным. Название "индуктивные умозаключения" происходит от латинского слова inductio(наведение). Между посылками и заключением в этих умозаключениях имеют место такие связи по формам, которые обеспечивают получение только правдоподобного заключения при истинных посылках.

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