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

Контрольна робота

З курсу „Логіка”

Завдання

Теоретичне питання: Дедуктивні умовиводи

Задачі:

1. Чи правильно визначені відношення між поняттями:

А - фінансист;

В - державний службовець;

С – спортсмен;

Д – студент?

2. Дайте реальне та номінальне визначення поняттям: Конституція, валюта, вулиця.

3. Визначте вид судження, терміни і їх розподіленість за допомогою “логічного квадрату”, утворіть інші судження, звернувши увагу на їх істинність:

Деякі приміщення потребують ремонту в цьому році.

4. Наведіть приклади судження, яке відповідає наведеній формулі. Складіть для нього таблицю істинності: (В Ú С) → А

5. Проаналізуйте з погляду дотримання формально-логічних законів наведені міркування:

Свідок А.: Фірма Н. не мала солідних ділових партнерів. Внаслідок цього вона не отримувала великих прибутків.

Свідок Б. Фірма С. має великий досвід роботи і солідний авторитет. Два роки тому вона підписала договір про співробітництво з фірмою Н., що принесло їм солідні прибутки.

6. Зробіть методом перетворення, обернення і протиставлення предиката безпосередні умовиводи з такого засновку:

Жоден із туристів нашої групи не знав німецької мови.

7. Наведіть приклад деструктивної дилеми. Доведіть її правильність.

8. Побудуйте доказ тези методом доведення до абсурду:

Організація потребує фінансової допомоги.

9. Яка форма мислення виражена у міркуванні:

Зима. Вечоріє. Вночі, напевно, піде сніг?

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

Выводы из сложных суждений . Другие виды дедуктивных выводов

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

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

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

Чисто условное и условно-категорическое умозаключения

Чисто условное умозаключение

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

Например:

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

Если они признаются соавторами изобретения (b), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (с).

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

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

Схема чисто условного умозаключения:

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

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

Условно-категорическое умозаключение

Условно-категорическим называется умозаключение, в котором одна из посылок — условное, а другая посылка и заключение — категорические суждения.

Рассмотрим пример:

Первая посылка — условное суждение, выражающее связь основания (а) и следствия (b). Вторая посылка — категорическое суждение, в котором утверждается истинность основания (а): иск предъявлен недееспособным лицом. Признав истинность основания, мы признаем истинность следствия (b): суд оставляет иск без рассмотрения.

Это умозаключение представляет собой одну из разновидностей условно-категорического силлогизма — утверждающий модус (modus ponens), в котором посылка, выраженная категорическим суждением, утверждает истинность основания, а заключение утверждает истинность следствия; рассуждение направлено от утверждения основания к утверждению следствия.

Утверждающий модус дает достоверные выводы. Он имеет схему:

Другим модусом, дающим достоверные заключения, является отрицающий модус (modus tollens), в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания. Рассуждение направлено от отрицания следствия к отрицанию основания. Например:

Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма.

(3) Посылка, выраженная категорическим суждением, отрицае

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать