- •1. Визначення логіки як науки
- •2. Формальні та змістовні правила міркування
- •3. Абстрактне мислення і його характерні особливості
- •4. Поняття про форму мислення
- •5. Основні формально-логічні закони
- •6. Істинність і формальна правильність міркування
- •1. Визначення мови
- •2. Поняття знака. Види знаків
- •3. Рівні семіотичного аналізу мови
- •1. Поняття формалізації
- •2. Порівняльна характеристика природної і формалізованої мов
- •3. Структура формалізованої мови
- •1. Поняття семантичної категорії
- •2. Характеристика дескриптивних термінів
- •3. Визначення логічних термінів
- •1. Ім’я, смисл, значення
- •2. Види імен
- •3. Принципи відношення іменування
- •1. Поняття функції
- •2. Види функцій
- •1. Логіка стародавньої Індії
- •2. Попередники логіки Арістотеля у Стародавній Греції
- •3. Логічне вчення Арістотеля
- •4. Особливості логіки стоїків
- •5. Особливості схоластичної логіки
- •6. Новаторські ідеї логіки Ф. Бекона
- •Контрольні питання
- •Контрольні вправи
- •1. Визначення поняття
- •2. Характеристика предмета думки, відображуваного в понятті
- •3. Мовні засоби виразу поняття
- •4. Зміст поняття
- •5. Обсяг поняття. Елементи теорії множин
- •6. Закон оберненого відношення між змістом та обсягом поняття
- •7. Види понять
- •8. Логічні відношення між поняттями
- •9. Логічні операції над поняттями
- •Контрольні питання
- •Контрольні вправи
- •1. Загальна характеристика судження
- •2. Судження і речення
- •3. Види суджень. Атрибутивні судження.
- •4. Логічні відношення між атрибутивними судженнями
- •5. Тлумачення атрибутивних суджень мовою логіки предикатів
- •6. Судження з відношеннями
- •7. Судження існування
- •8. Модальні судження
- •9. Запитання
- •11. Логічні відношення між складними судженнями
- •Контрольні питання
- •Контрольні вправи
- •1. Загальна характеристика умовиводу
- •2. Висновки логіки висловлювань
- •3. Висновки із категоричних суджень
- •4. Недедуктивні умовиводи
- •Контрольні питання
- •Контрольні вправи
- •2. Види доведення
- •3. Спростування
- •4. Правила доведення і спростування
- •Контрольні питання
- •ВСТУП
- •А. ЛОГІКА ВИСЛОВЛЮВАНЬ
- •1. Мова алгебраїчної системи логіки висловлювань
- •2. Семантика логічних символів
- •3. Типологія формул за семантичними ознаками
- •4. Рівносильні формули
- •5. Логічні відношення між формулами
- •6. Нормальні форми логіки висловлювань
- •Контрольні питання та вправи
- •1. Аксіоматичне числення логіки висловлювань
- •2. Метатеорема про дедукцію
- •3. Натуральне числення логіки висловлювань
- •Контрольні питання та вправи
- •Б. ЛОГІКА ПРЕДИКАТІВ
- •1. Мова алгебраїчної системи логіки предикатів
- •3. Процедури встановлення значень формулам в S4
- •5. Логічні відношення між формулами в S4
- •6. Проблема розв’язання
- •7. Закони логіки предикатів
- •Контрольні питання та вправи
- •1. Аксіоматичне числення предикатів
- •2. Теорема про дедукцію в S5
- •4. Натуральне числення предикатів
- •Контрольні питання та вправи
- •ВСТУП
- •1. Система багатозначної логіки Я.Лукасевича.
- •2. Багатозначна логіка Брауера — Гейтінга
- •3. Багатозначна логіка Е.Поста
- •4. Тризначна логіка Д. Бочвара
- •Контрольні питання та вправи
- •2. Концепція модальної логіки Я.Лукасевича
- •Контрольні питання та вправи
- •1. Алетична логіка
- •2. Темпоральна логіка
- •3. Деонтична логіка
- •4. Епістемічна логіка
- •ЛІТЕРАТУРА
ЛІТЕРАТУРА
1.Арістотель. Перша Аналітика. Друга Аналіти-
ка. – В 4-х томах. Т.2. – М., 1978.
2.Арістотель. Метафізика. – В 4-х томах. Т.1. –
М., 1978.
3.Арістотель. Риторика. – Античні риторики. –
М., 1978.
4.Асмус В. Ф. Логіка. – М., 2001.
5.Бочаров В. А. Арістотель і традиційна силогіс-
тика. – М., 1984.
6.Брюшинкін В. Н. Логіка. – М., 2001.
7.Войшвілло Є. К. Поняття як форма мислення. –
М., 1989.
8.Войшвілло Є. К., Дегтярьов М. Г. Логіка. – М.,
2002.
9.Гегель. Наука логіки. – М., 1971.
10.Горський Д. П. Логіка. – М., 1963.
11.Жоль К. К. Логіка. – М., 2004.
12.Зінов’єв О. О. Нариси комплексної логіки. –
М., 2000.
13.Івін О. А., Нікіфоров О. Л. Словник з логіки. –
М., 1998.
14.Ішмуратов А. Т. Вступ до філософської логіки. –
К., 1997.
15.Горський Д. П., Івін А. А., Нікіфоров А. Л. Коро-
ткий словник з логіки. – М., 1991.
16.Кліні С. Математична логіка. – М., 1973.
17.Кондаков М. І. Логічний словник. – М., 1971.
18.Лейбниць Г. Вибрані твори. – М., 1908.
19.Лукасевич Я. Арістотелівська силогістика з то- чки зору сучасної формальної логіки. – М., 1959.
20.Маковельський А. О. Історія логіки. – М., 1967.
21.Мілль Д. С. Система логіки. Т.1. – С.-Пб., 1865.
534 |
А. Є. Конверський. ЛОГІКА |
22.Попович М. В. Філософські питання семанти-
ки. – К., 1975.
23.Смірнова О. Д. Основи логічної семантики. –
М., 1990.
24.Тарський А. Вступ в логіку та методологію де- дуктивних наук. – М., 1948.
25.Уйомов А. І. Основи практичної логіки. –
Одеса, 1997.
26.Хінтікка Я. Логіко-епістемічні дослідження.
–М., 1980.
27.Хоменко І. В. Логіка – юристам. – К., 1997.
ЛІТЕРАТУРА |
535 |
НАВЧАЛЬНЕ ВИДАННЯ
Анатолій Євгенович КОНВЕРСЬКИЙ
ЛОГІКА
(ТРАДИЦІЙНА ТА СУЧАСНА)
2 ге видання
Підручник
Керівник видавничих проектів – Б. А. Сладкевич Друкується в авторській редакції
Дизайн обкладинки – Б. В. Борисов
Верстка – О. Г. Михолат
Підписано до друку 28.05.2008. Формат 60x84 1/16. Друк офсетний. Гарнітура PetersburgC.
Умовн. друк. арк. 30,2. Наклад 2000 прим.
Видавництво “Центр учбової літератури” вул. Електриків, 23
м. Київ, 04176
тел./факс 425G01G34, тел. 451G65G95, 425G04G47, 425G20G63 8G800G501G68G00 (безкоштовно в межах України) eGmail: office@uabook.com
сайт: WWW.CUL.COM.UA
Свідоцтво ДК №2458 від 30.03.2006