Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Тренировочные задания.






Тренировочные задания к разделу 2 Ответ/Решение
1. Какие из приведенных ниже предложений выражают суждения, а какие не выражают и почему? 1). Каждый человек имеет право на свободу и на личную неприкосновенность (Всеобщая декларация прав человека). 2). Субъект хозяйствования вправе принимать любые решения, если это не противоречит действующему законодательству. 3). Кто является главой нашего государства? 4). Могут ли ценные бумаги быть именными? 5). Ценные бумаги могут быть предъявительскими, ордерными или именными. 6) Все равны перед законом. 7) Переходя улицу вначале посмотрите налево, а затем направо. 8) Спешите делать добро. 2.Проанализируйте структуру, установите качественную и количественную характеристики следующих суждений. 1) Это рассуждение является неправильным. 2) Это рассуждение не является правильным. 3) Незаконная сделка является недействительной. 4) Ряд важнейших проблем развивающихся стран связан с перестройкой их экономики. 5) Человек находится на верхней ступени эволюционной лестницы. 6) Человек имеет право на образование. 7) «Египтяне, принадлежащие к храмовому округу Мендеса, не употребляют в пищу козьего мяса». 3. Установите вид сложного суждения, запишите его структуру с помощью символов. 1).Числа бывают или четными, или нечетными. 2) Впереди виднелся силуэт не то лошади, не то какого-то еще животного. 3) Если цена снижается, это приводит к соответствующему возрастанию величины спроса. 4) Мал золотник, да дорог. 5) Если бухта замерзла, то корабли не могут войти в нее. 6) Неверно, что он систематически посещал занятия и выполнил все контрольные работы. 7) Неверно, что он систематически посещал занятия, однако он выполнил все контрольные задания.  

Тест

1. Какие предложения выражают суждение?

а – повествовательные

б – вопросительные

в – побудительные

 

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

а – каждый человек без какой-либо дискриминации, имеет право на равную оплату за равный труд.

б – все жидкости упруги

в – честный ученый не может устраниться от решения экологических проблем.

г – некоторые люди не умеют читать

д – ни одна картина этого мастера не сохранилась до наших дней.

 

3. В каком из перечисленных ниже суждений предикат распределен?

А – некоторые студенты проживают в общежитии

б – все металлы – электропроводны

в – некоторые музыканты – пианисты.

г – некоторые белорусы стали олимпийскими чемпионами

4. Какое из этих суждений находится в отношении противоречия с суждением «Все студенты изучают иностранные языки»?

а – ни один студент не изучает иностранных языков.

б – некоторые студенты изучают иностранные языки.

в – некоторые студенты не изучают иностранных языков.

5. Какой вид сложных суждений выражает предложение «Фирмы Х и У своевременно заплатили налоги»?

а – конъюнкция.

б – нестрогая дизъюнкция.

в – строгая дизъюнкция.

г – импликация.

д – эквиваленция.

6. Суждение pÙ q ложно, а p – истинно. Можно ли установить логическое значение q?

а – можно, q истинно.

б – можно, q ложно.

в – нельзя.

7. Суждение pÚ q истинно, а p – ложно. Можно ли установить логическое значение q?

а – можно, q истинно.

б – можно, q ложно.

в – нельзя.

8. Суждение pÚ q истинно и p истинно. Можно ли установить логическое значение q?

а – можно, q истинно.

б – можно, q ложно.

в – нельзя.

9. Суждение p®q истинно, а q – ложно. Можно ли установить логическое значение p?

а – можно, p истинно.

б – можно, p ложно.

в – нельзя.

10. Считая p истинным, определите логическое значение выражения

p® (pÙ q)

а – ложное.

б – истинное.

в – установить нельзя.

 


Раздел 3. Умозаключения. Выводы из простых суждений.

 

3. 1. Общее понятие об умозаключении.

 

Умозаключение представляет собой способ получения нового знания на основе некоторого уже имеющегося.

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

 

Структура умозаключения включает в себя: 1) посылки -- исходные суждения, т.е. суждения из которых выводится новое суждение; 2) заключение -- новое суждение, выведенное из посылок; 3) связка – выражение, указывающее на наличие определенных отношений между посылками и заключением.

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

Существуют различные классификации умозаключений. В традиционной логике классическим было деление умозаключений на дедуктивные и индуктивные. Умозаключения, для которых характерной чертой было движение мысли от более общего к менее общему, получили название дедуктивных (лат. deductio – выведение). Те же умозаключения, которые строились на движении мысли от менее общих посылок к более общим выводам, стали называть индуктивными (лат. inductio – наведение).

В современной математической логике дедуктивными считаются те умозаключения, в которых заключение следует из посылок с необходимостью, т.е. умозаключения, в которых при истинности посылок и соблюдении соответствующих правил гарантируется истинность заключения. Такие умозаключения называются еще демонстративными, доказательными, достоверными, необходимыми. К другой группе в этой классификации относятся умозаключения, в которых при истинных посылках обеспечивается определенная степень правдоподобия заключения (некоторая вероятность его истинности). Эти умозаключения в данной классификации называются вероятностными или правдоподобными.

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

3. 2. Непосредственные умозаключения.

 

Умозаключение, в котором заключение выводится из одной посылки, называется непосредственным.

Его видами являются: превращение, обращение, противопоставление предикату, умозаключение по логическому квадрату.

Превращение (обверсия). Непосредственное умозаключение, в котором в выводе (в новом суждении) субъектом является субъект исходного суждения, а предикатом – понятие, противоречащее предикату исходного суждения, и связка заменяется на противоположную, называется превращением. Количественная характеристика заключения та же, что и у посылки.

 

Схема превращения:

 

S суть Р

S не суть не Р

 

Обращение (конверсия). Непосредственное умозаключение, в котором в новом суждении субъектом является предикат, а предикатом – субъект исходного суждения, т.е. происходит перемена мест субъекта и предиката при сохранении качества суждения называется обращением. Различают простое (чистое) обращение и обращение с ограничением. Чистое обращение производится с общеотрицательными (Е) и с большинством частноутвердительных (I) суждений. С ограничением обращаются, как правило, общеутвердительные суждения (А). В данном случае заключение в отличие от посылки представляет собой частное суждение. В чистом обращении количественная характеристика заключения такая же как и у посылки. В обращении с ограничением заключение имеет иную, нежели посылка, количественную характеристику. Частноотрицательные суждения (О) не обращаются.

Схемы обращения суждений:

 

(А) Все S суть Р (Е) Ни одно S не суть Р
(I) Некоторые Р суть S (Е) Ни одно Р не суть S
   
(I) Некоторые S суть Р (I) Некоторые S суть Р
(А) Все Р суть S (I) Некоторые Р суть S

 

 

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

Противопоставление предикату. Преобразование суждения, в результате которого субъектом заключения становится понятие, противоречащее предикату посылки, а предикатом – субъект исходного суждения, называется противопоставлением предикату. Для выведения заключения путем противопоставления предикату необходимо произвести сначала превращение, а затем полученное в результате превращения суждение обратить. Противопоставление предикату можно рассматривать как результат двух операций: превращения и обращения. Последовательность действий такова: 1) Вместо Р берем не-Р; 2) связку меняем на противоположную. 3) меняем местами S и не-Р.

 

Схемы противопоставления предикату:

 

(А) Все S суть Р (Е) Ни одно S не суть Р
(Е) Ни одно не-Р не суть S (I) Некоторые не-Р суть S
   
(О) Некоторые S не суть Р  
(I) Некоторые не-Р суть S  

 

Из частноутвердительных суждений (I) вывод путем потивопоставления предикату не следует.

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

 

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

 

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

 

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

Понятия, содержащиеся в силлогизме называются терминами силлогизма. Их три: S -- меньший термин (в заключении он является субъектом), Р -- больший термин (в заключении – предикат) и М -- средний термин (понятие, содержащееся в обеих посылках и отсутствующее в заключении).

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

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

 

  I II III IV
Большая посылка M P P M M P P M
Меньшая посылка S M S M M S M S
Заключение S P S P S P S P

 

Необходимый характер вывода в простом категорическом силлогизме обеспечивается соблюдением приведенных ниже правил. Эти правила делятся на правила терминов и правила посылок.

 






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.