- •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.Основні дефініції поняття «логіка».
2.Поняття «культура мислення».
3.Формальне правило міркування.
4.Порівняльна характеристика формального та змістовного правил міркування.
5.Характеристика визначень: «мислення», «свідомість», «аб-
страктне мислення».
6.Основні форми чуттєвого пізнання.
7.Характерні риси абстрактного мислення.
8.Дефініція предмета логіки як науки.
9.Поняття про форму мислення.
10.Характеристика основних формально-логічних законів.
11.Істинність і формальна правильність міркування.
12.Дефініція мови.
13.Типологія мов.
14.Мова як знакова система. Види знаків.
15.Рівні семіотичного аналізу мови.
16.Формалізація як загальнонауковий феномен.
17.Формалізована мова логіки.
18.Структура формально-логічної теорії.
19.Особливості формалізації в логіці.
20.Порівняльна характеристика природної і формалізованої
мови.
21.Дефініція семантичної категорії.
22.Типологія дескриптивних термінів.
23.Терм як семантична категорія.
24.Характеристика предикатора як семантичної категорії.
25.Область визначення та області істинності предикатора.
26.Місткість предикатора.
27.Мовні засоби вираження предикатора.
28.Предикатор і предикат.
29.Предметні функтори і їх характерні ознаки.
30.Типологія логічних термінів.
31.Семантика пропозиційних зв’язок.
32.Ім’я, смисл, значення.
33.Значення теорії імен для логіки.
34.Види імен
35.Характеристика принципів іменування.
36.Парадокс іменування.
37.Поняття «інтенсіонального» та «екстенсіонального» кон- тексту.
38.Поняття функції.
39.Особливості функціонального аналізу в логіці.
40.Пропозиційна функція.
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
127 |
41.Види пропозиційної функції.
42.Логічні функції. Їх порівняльна характеристика.
43.Понятійна функція.
44.Предметна функція.
45.45.Історичний характер логіки як науки.
46.Особливості логіки стародавньої Індії.
47.Попередники логіки Арістотеля у Стародавній Греції.
48.Основні твори Арістотеля з логіки.
49.Логічне вчення Арістотеля.
50.Характерні риси логіки стоїків.
51.Схоластична логіка.
52.Індуктивна логіка Ф.Бекона.
53.Співвідношення традиційної логіки та сучасної.
54.Формалізація як метод логіки.
55.Співвідношення понять «традиційна логіка», «сучасна ло- гіка», «символічна логіка», «математична логіка».
Контрольні вправи
1. Вкажіть, до яких категорій відносяться частини виразів:
а) «Будь-яка планета – космічний об’єкт»; б) «Якщо деякі операції є угодами, а всі угоди суть громадян-
ські правовідносини, то деякі громадянські правовідносини є операціями»;
в). «Якщо число закінчується на 0 або на будь-яке парне, то воно ділиться на 2»;
г). «Рішення вченої ради буде позитивним або негативним, але справедливим».
2.Дайте характеристику (вкажіть число місць, область ви- значення, область істинності) предикаторів, які зустрічаються в наведених висловлюваннях завдання 1.
3.Наведіть приклади застосування предикаторів «читає», «трикутник», «електропровідний», «успішність», «сузір’я», «рівність» у ролі пропозиційної та понятійної функції.
4.У ролі яких функцій можуть застосовуватися слова:
«професія», «вивчає», «національність». Наведіть конкретні приклади.
5.Вкажіть предикати, які б відповідали предикаторам: «рове-
сник», «форма мислення», «розчинність».
6.Утворіть з цими предикатами відповідні висловлювання.
7.Які підстановки замість змінної х можна зробити, щоб на- ведені пропозиційні функції стали істинними висловлюваннями:
«х + 3 = 8»; «х – столиця Італії»; «х – представник гені- альних фізиків»; «х – складне речення»; «х – формально- логічний закон».
128 |
А. Є. Конверський. ЛОГІКА |
8.Які підстановки замість змінних х та у можна зробити, щоб наступні пропозиційні функції стали істинними висловлю-
ваннями: «х – у = 9»; «х причина у»; «х прибуває раніше ніж у»; «х<у»; «х ровесник у»; «х має більшу вагу ніж у».
9.Проаналізуйте наведені пари висловлювань і встановіть, чи має місце порушення основних формально-логічних законів і якщо так, то яких саме:
І. 1. Він знаходився у кімнаті, де скоєно злочин.
2.Він знаходився у приміщенні, де скоєно злочин. II. 1. Мій приятель знає англійську мову.
2.Мій приятель не знає англійської мови.
III. 1. У момент скоєння злочину він був на футбольному матчі.
2. У момент скоєння злочину він був на хокейному матчі. ІV. 1. Він обраний головою комісії Верховної Ради, тому що є
народним депутатом.
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
129 |
РОЗДІЛ VIIІ
ПОНЯТТЯ
Процес мислення незалежно від спрямованості (чи мір- куємо ми про космічні об’єкти, чи про числа, чи про істо- ричні події і т.ін.), незалежно від рівня (буденний рівень міркування чи науковий) реалізується й існує в трьох ос-
новних формах: понятті, судженні та умовиводі.
У практиці міркування ці форми взаємозв’язані між собою, тому виділяти серед них простіші і складніші не- має сенсу. У підручниках з логіки, як правило, аналіз форм мислення починають із поняття і переходять від- повідно до судження і умовиводу. Це зумовлено, з однієї сторони, методичними міркуваннями, а з іншої – тією роллю, яку відіграють поняття і судження в структурі умовиводу.
Але можливий і інший підхід, який полягає в тому, щоб почати аналіз із судження, перейти до умовиводу і за- кінчити поняттям. Цей підхід передбачає брати за вихідне типологію формально-логічних теорій і в цій типології ви- ділити мову логіки висловлювань як простішу за мову ло- гіки предикатів. У такій послідовності розглядають форми мислення В. Зегет, А. Івлєв, В. Бочаров, В. Маркін та ін.
усвоїх підручниках з логіки.
Івсе ж таки починати розгляд форм мислення з понят- тя має певний сенс. По-перше, з точки зору методики (і це, мабуть, головне), оскільки ми розбиваємо процес мір- кування на досить виразні складові частини. А, по-друге, з точки зору генезису форм мислення, теоретичного осмис- лення їх становлення. Тобто, стає можливим показати, за допомогою яких засобів логіки вилучають форми мислення з природної мови, у якій вони знаходять своє втілення і в якій вони функціонують.
130 |
А. Є. Конверський. ЛОГІКА |