заданий по логике в университет.

Задания следующие:

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

2. Провести операции обобщения и ограничения двух любых из этих понятий.

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

Делимое понятие

Основание деления 1

· член деления 1

· член деления 2

· член деления 3…

Основание деления 2

· член деления 1

· член деления 2

· член деления 3…

и т.д.

4. Пять любых изречений (пословиц, поговорок, афоризмов, высказываний известных людей и т.п.), представляющих собой простые суждения, привести в логически правильную форму и определить вид получившегося суждения (атрибутивное, реляционное, экзистенциальное; для атрибутивных суждений определить вид – А, Е, I, О). Записать логическую форму суждений (Все/Некоторые S есть/не есть P – для атрибутивных; a R b – для реляционных; ∃а или ~ ∃а – для экзистенциальных). Если избираются сложные суждения, то определить вид каждого простого суждения, входящего в сложное суждение.

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

Примеры см. в дополнительном файле.

6. Привести пять-шесть собственных примеров различных дедуктивных умозаключений (возможно, из личного опыта). Приводя примеры, необходимо указать тип умозаключений (простой категорический силлогизм, условные, условно-категорические, разделительные, разделительно-категорические, лемматические). В простых категорических силлогизмах необходимо указать фигуру силлогизма. Должны быть примеры не менее трех разных типов умозаключений, например, по 1-2 примера простого категорического силлогизма, условно-категорического умозаключения (по утверждающему или отрицающему модусу), разделительно-категорического умозаключения (по утверждающе-отрицающему или отрицающее-утверждающему модусу).

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