Темы докладов и рефератов

Основные этапы исторического развития логики.

Мышление как предмет логики и психологии.

Критерий правильности умозаключений.

Искусственные языки в современной логике.

Значение логики в правотворческой и правоприменительной деятельности.

Практическое занятие 2. Классическая логика высказываний (4 часа)

Вопросы для обсуждения

1. Сложные высказывания, их виды

2. Условия истинности сложных высказываний.

3. Таблицы истинности КЛВ.

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

5. Разделительно-категорические умозаключения.

6. Условно-разделительные умозаключения.

Задания для самостоятельной подготовки

1. Построив таблицу истинности, определить правильность следующего умозаключения: "Если идет дождь, то асфальт мокрый. Неверно, что идет дождь. Следовательно, неверно, что асфальт мокрый".

2. Используя таблицы истинности, определить вид формулы (р/\q) \/ (рр).

Рекомендуемая дополнительная литература

Асмус В.Ф. Логика. — М., 1947.

Гильберт Д., Аккерман В. Основы теоретической логики. — М., 1947.

Зегет В. Элементарная логика. — М., 1985.

Ивин А.А. Искусство правильно мыслить. — М., 1990.

Ивин А.А. Практическая логика. Задачи и упражнения. — М., 1996.

Льюис К.И. Виды значения. // Семиотика. — М., 1983.

Моррис Ч.У. Основания теории знаков. // Семиотика. — М., 1983.

Павилёнис Р.И. Проблема смысла: современный логико-философский анализ языка. — М., 1983.

Пельц Е. Семиотика и логика. // Семиотика. — М., 1983.

Попов П.С., Стяжкин Н.И. Развитие логических идей от античности до эпохи Возрождения. — М., 1974.

Свинцов В.И. Логика. — М., 1987.

Сергеич П. Искусство речи на суде. – М., 1988.

Стяжкин Н.И. Формирование математической логики. — М., 1967.

Степанов Ю.С. Семиотика. — М., 1971.

Степанов Ю.С. В трехмерном пространстве языка. — М., 1981.

Тарский А. Введение в логику и методологию дедуктивных наук. — М., 1953.

Тондл Л. Проблемы семантики. — М., 1975.

Треушников М.К. Доказательство и доказывание в советском гражданском процессе. – М., 1982.

Фреге Г. Мысль: логическое исследование. // Философия. Логика. Язык. — М., 1987.

Фреге Г. Логика и логическая семантика. — М., 2001.

Формальная логика – Л.,1977.

Хомский Н. Язык и мышление. — М., 1972.

Чейф У.Л. Значение и структура языка. — М., 1975.

Темы докладов и рефератов

Логический смысл пропозициональных связок.

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

Состав и способы аргументации.

Практическое занятие 3. Силлогистика (4 часа)

Вопросы для обсуждения

1. Классификация простых категорических высказываний.

2. Условия истинности простых категорических высказываний.

3. Отношения между высказываниями по истинности. Логический квадрат.

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

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

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

7. Энтимемы и полисиллогизмы.

Задания для самостоятельной подготовки

1. Определить правильность данного силлогизма, используя общие правила посылок и терминов. Обозначить фигуру и модус данного силлогизма: «Некоторые учащиеся являются экстремистами. Все студенты – учащиеся. Следовательно, некоторые студенты являются экстремистами».

2. Определить правильность данного силлогизма, используя общие правила посылок и терминов. Обозначить фигуру и модус данного силлогизма: «Все металлы – кристаллические вещества, поскольку ни одно кристаллическое вещество не является пластичным и ни один металл не пластичен».