Логика_ИПР_В2

БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ

Кафедра программного обеспечения информационных технологий

Факультет ФКСиС

Специальность ПОИТ

Индивидуальная практическая работа

по дисциплине «Логика»

Вариант 2

Выполнил студент: Бордон Е.С.

группа 991051

Зачетная книжка № 99105004

Минск 2021

1. Дайте логическую характеристику понятий (определите вид понятий по

содержанию и объему): Вода, университет, таблица, водород, город.

Вода – общее; конкретное; собирательное; позитивное; безотносительное;

Университет – общее; конкретное; разделительное; позитивное; безотносительное;

Таблица – единичное; конкретное; разделительное; позитивное; безотносительное;

Водород – единичное; конкретное; собирательное; позитивное; безотносительное;

Город – единичное; конкретное; разделительное; позитивное; безотносительное;

2 Являются ли понятия: а) сравнимыми; б) совместимыми?

Книга, тетрадь.

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

3. Установите, является ли определение корректным, а если - нет,

укажите, какие правила нарушены:

Словарь есть книга, предназначенная для объяснения иностранных слов.

Типы этих логических ошибок при определении понятий:

а) широкое определение, когда определяющее понятие по объему шире, чем определяемое понятие.

б) узкое определение, когда определяющее понятие по объему уже, чем определяемое понятие.

в) Определение в одном отношении широкое, в другом - узкое.

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

Не могут считаться определениями из-за их тавтологичности

Определение должно быть четким, ясным. Это правило означает, что смысл и объем понятий, входящих в определение, должен быть ясным и определенным. Определения понятий должны быть свободными от двусмысленности; не допускается подмена их метафорами, сравнениями и т.д.

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

4. Определите, имеет ли место логическое (таксономическое) деление

понятия на виды или членение предмета на части (мереологическое

деление):

Различают дихотомическое деление и деление по изменению

видообразующего признака.

Ответ: да, имеет.

5. Найдите субъект, предикат и связку в суждении:

Ни одна рыба не может жить без воды.

Кентавры – плод воображения человека.

Ни одна рыба не может жить без воды.

Рыба – предикат, не может жить – связка, вода – субъект.

Кентавры – плод воображения человека.

Кентавры – предикат, “–“ – связка, плод – субъект.

6. Переведите на символический язык сложное суждение:

Мы любим людей за то добро, которое мы им сделали, и не любим за то зло, которое мы им делаем. (Лев Толстой, «Живой труп»).

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

(Мы любим людей (антецедент) →

за то добро, которое мы им сделали, (консеквентен) )

˄ ¬ ((любим) → (за то зло, которое мы им делаем.))

Ответ: (А→В) ˄ ¬ (А→С)

7. Установите, является ли выражение логическим законом?

(((А→В)˅(А→С)) ˄ (¬В˄¬С))→¬А;

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

Табл. 1

Ответ: выражение является логическим законом.

8. Правильно ли построено рассуждение?

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

встану рано, то я буду вынужден довольствоваться пятью часами сна. Я

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

Чтобы исследовать, справедливо ли это рассуждение, символизуем его, заменяя простые высказывания буквами. Пусть С означает «Я иду (пойду) завтра на первое занятие»; G — «Я должен встать рано»; D — «Я иду (пойду) вечером на танцы»; S — «Я лягу спать поздно», а Е — «Я могу обойтись пятью часами сна». Тогда посылки можно записать символически в следующем виде:

(С→G) ˄ (D→S);

S ˄ G → Е;

~E;

А искомое заключение будет

~Cv~D;

Следуя описанному выше методу анализа, примем, что ~Cv~D имеет значение F, а каждая из посылок имеет значение Т. Тогда и С, и D должны иметь значение Т. Далее, как следует из первой посылки, и G, и S имеют значение Т. Это и вторая посылка влекут за собой, что Е имеет значение Т. Но это противоречит допущению, что третья посылка имеет значение Т.

Таким образом, доказано, что ~Cv~D есть логическое следствие имеющихся посылок.

9. Из данных посылок осуществите вывод. Проверьте получившееся

умозаключение по всем правилам ПКС. Определите характер вывода.

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

овсянку.

Все англичане едят по утрам овсянку.

Некоторые логики терпеть не могут овсянку.

Некоторые логики не являются англичанами.

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

(А): Все англичане (Р+) едят по утрам овсянку (М–).

(О): Некоторые логики (S–) терпеть не могут овсянку (M+).

(О): Некоторые логики (S–) не являются англичанами (P+).

Проверим силлогизм по общим правилам силлогизма и специальным правилам фигур.

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

Силлогизм построен по третьей фигуре, модус АОО. Это неправильный модус для данной фигуры. Проверим общие правила силлогизма и специальные правила фигуры.

Правила терминов:

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

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

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

Правила посылок:

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

Одна из посылок должна быть утвердительным суждением. Это правило выполняется, так как большая посылка является утвердительным суждением.

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

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

Правила третьей фигуры:

Меньшая посылка должна быть утвердительным суждением. Это правило не выполняется.

Заключение должно быть частным суждением. Это правило выполняется.

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

10. Условно-категорический силлогизм. Сделайте вывод, запишите формулу, определите модус и характер вывода.

Люди в группе меньше бездельничают, если задача вызывающе трудна,

притягательна и увлекательна. Данная задача вызывающе трудна,

притягательна и увлекательна

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

Данная задача вызывающе трудна, притягательна и увлекательна.

Вывод: задача вызывающе трудна.

Формула: ((А->В)^В)->А

Модус: неправильный, отрицательный.

Характер вывода: недостоверный.