Тема 3. Логічний аналіз понять. (2 год. )

План.

1. Загальна характеристика понять. Логічні прийоми формування понять. Обсяг та зміст понять.

2. Види понять.

3. Логічні відношення між поняттями.

4. Логічні операції з поняттями.

Додаткова література:

1. Войшвилло Е. К. Понятие как форма мышления. М., 1989.

2. Горский Д. П. Обобщение и познание. М., 1985.

3. Горский Д. П. Определение. М., 1974.

4. Жеребкин В. Е. Логический анализ понятий права. К., 1976.

5. Жеребкин В. Е. Оценочные понятия права. Харьков, 1976.

6. Попа К. Теория определения. М., 1976.

ЛЕКЦІЯ ІІІ.

Тема 4. Судження як форма мислення. (2 год.)

План.

1. Загальна характеристика суджень.

2. Види простих суджень та їх склад.

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

Додаткова література:

1. Светлов В. А. Практическая логика. СПб, 1995.

2. Хоменко І. В., Алексюк І. А. Основи логіки. К., 1996.

ЛЕКЦІЯ ІV.

Тема 4. Судження як форма мислення. (2 год.)

План.

1. Види складних суджень, та умови їх істинності.

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

Додаткова література:

1. Светлов В. А. Практическая логика. СПб, 1995.

2. Хоменко І. В., Алексюк І. А. Основи логіки. К., 1996.

ЛЕКЦІЯ V.

Тема 5. Умовивід як форма мислення. (2 год.)

План.

1. Загальна характеристика умовиводу.

2. Види умовиводів.

3. Простий категоричний силогізм., Фігура і модус силогізму. Правила силогізму.

Додаткова література:

1. Войшвилло Е. К. Символическая логика. М., 1989.

2. Ишмуратов А. Т. Логический анализ практических рассуждений. К., 1987.

ЛЕКЦІЯ VІ.

Тема 5. Умовивід як форма мислення. (2 год.)

План.

1. Чисто умовні умовиводи.

2. Умовно-категоричні умовиводи.

3. Розділово-категоричні умовиводи.

4. Лематичні умовиводи.

Додаткова література:

1. Войшвилло Е. К. Символическая логика. М., 1989.

2. Ишмуратов А. Т. Логический анализ практических рассуждений. К., 1987.

ЛЕКЦІЯ VІІ.

Тема 5. Умовивід як форма мислення. (2 год.)

 

План.

1. Методи індуктивних зв'язків:

• метод одиничної схожості;

• метод одиничної відмінності;

• метод супутніх змін:

• метод залишків.

2. Умовиводи за аналогією. Види аналогій.

Додаткова література:

1. Войшвилло Е. К. Символическая логика. М., 1989.

2. Ишмуратов А. Т. Логический анализ практических рассуждений. К., 1987.

ЛЕКЦІЯ VІІІ.

Тема 8. Логічний аналіз модальних висловлювань. (1 год.)

 

План.

1. Поняття «модальність». Структура модальних висловлювань. Умови істинності модальних висловлювань.

2. Поняття«можливий світ». Загальна характеристика теорії можливих світів.

3. Алетичні, темпоральні, деонтичні, епістемічні модальності.

Додаткова література:

1. Ивлев Ю. В. Модальная логика. М„ 1991.
2. Костюк В. Н. Элементы модальной логики. К., 1978.

Тема 9. Логічний аналіз запитань і відповідей. (1 год.)

План.

1. Явні і неявні, прості і складні, відкриті і закриті запитання.

2. Логічно, синтаксично, семантичне коректні та некоректні запитання.

3. Провокаційні запитання.

4. Абсурдні запитання.

Додаткова література:

1. Белнап Н., Стилл Т. Логика вопросов и Ответов. М., 1981.

2. Берков В. Ф. Логика вопросов в преподавании. Минск, 1987.

ЛЕКЦІЯ ІХ.

Тема 10. Доведення і спростування, аргументація і критика. (2 год.)

План.

1. Поняття доведення. Види доведення.

2. Поняття спростування. Види спростування.

3. Правило доказового міркування.

Додаткова література:

1. Алексеев А. А. Аргументация. Познание. Общение. М., 1991.

2. Брутян Г. А. Аргументация. Ереван, 1984.

3. Шопенгаузр А. Эристика или искусство спорить. СПб, 1900.

 

ТЕМи і зміст семінарських занять

Не передбачено.

7. завдання для самостійної роботи

Модуль за видами робіт ІІ

(теми і питання курсу, що їх студент опрацьовує самостійно і на які не передбачено годин аудиторної роботи)

Змістовий модуль І

ТЕМА 1. Метод формалізації і проблема історичних етапів становлення логічних знань. (4 год.)

Питання для самоперевірки:

• Формалізація в широкому і вузькому значенні.

• Традиційна і сучасна логіка.

• Символічна, математична, класична і некласична логіка.

• Формальна логіка як єдина система знань.

ТЕМА 2. Логічний аналіз понять. (4 год.)

Питання для самоперевірки:

• Поняття як інтенсійна (смислова) характеристика дескриптивних імен.

• Специфіка поняття як логічної форми відображення дійсності.

• "Предмет" як елемент (індивід) деякої множини.

• Що в логіці розуміють під «ознакою предмета».

• Види ознак.

• Поняття і слово.

• Функція слів і функція понять.

ТЕМА 3. Логічний аналіз висловлювань. (4 год)

Питання для самоперевірки:

• Відношення між формулами логіки висловлювань

• логічні слідування

• рівносильність

• сумісність

• суперечність (контрадикторність)

• протилежність (контрарність)

• підпротилежність (субконтрарність)

• підпорядкування

• незалежність.

ТЕМА 4. Логіка предикатів. (2 год.)

Питання для самоперевірки:

· Аналіз міркувань засобами логіки предикатів.

· «Переклад» міркувань природної мови на мову логіки предикатів.

· Інтерпретація формул логіки предикатів (універсум інтерпретації, екстенсія одномісного і n-місного предикатів).

· Встановлення значення істинності формул логіки предикатів у деякій заданій інтерпретації.

· Поняття «загальнозначуща формула логіки предикатів».

· Метод аналітичних таблиць.

ТЕМА 5. Логічний аналіз відношень. (2 год.)

Питання для самоперевірки:

• Властивості відношень.

• Симетричні, несиметричні, асиметричні й антисиметричні відношення.

• Транзитивні, інтранзитивні і нетранзитивні відношення.

• Рефлексивні, іррефлексивні і нерефлексивні відношення.

• Взаємозв'язки між властивостями відношень.

• Відношення порядку.

ТЕМА 6. Силогістика. (4 год.)

Питання для самоперевірки:

• Відношення між простими категоричними висловлюваннями за їх значенням істинності.

• Закони логічного квадрата в традиційній і кванторній логіці.

• Логічна і гносеологічна сутністьбезпосередніх умовиводів:

• перетворення, обернення (просте і з обмеженням), протиставлення предикату, протиставлення суб'єкту.

• Безпосередні умовиводи в традиційній і кванторній логіці.