МАРК-запис
| 000 -Маркер запису |
|---|
| Маркер (контрольне поле довжиною 24 байти) |
14010nam0 2200229 4500 |
| 001 - Ідентифікатор запису |
|---|
| Ідентифікатор біб-запису |
1360 |
| 010 ## - ISBN |
|---|
| ISBN |
978-966-364-735 |
| 100 ## - Дані загальної обробки |
|---|
| Дані загальної обробки |
20180225d2008 m||y0ukry50 ca |
| 101 0# - Мова |
|---|
| Мова тексту, звукової доріжки тощо |
українська |
| 102 ## - Країна публікації/виробництва |
|---|
| Країна публікації |
УКРАЇНА |
| 200 1# - Назва |
|---|
| Основна назва |
Логіка (традиційна та сучасна) |
| Підзаголовок |
Підручник для студентів вищих навчальних закладів |
| Перші відомості про відповідальність |
А. Є. Конверський |
| 205 ## - Відомості про видання |
|---|
| Відомості про видання |
2-ге вид. |
| 210 ## - Місце та час видання |
|---|
| Місце публікування, друку, розповсюдження |
К. |
| Назва видавництва, ім’я видавця, розповсюджувача, тощо |
Центр учбової літератури |
| Дата публікації, розповсюдження, тощо |
2008 |
| 215 ## - Фізичний опис |
|---|
| Специфічне визначення матеріалу та обсяг документа |
535 с. |
| Інші уточнення фізичних характеристик |
ил. |
| 327 11 - Примітки |
|---|
| Назва розділу: рівень 1 |
КНИГА ПЕРША. ТРАДИЦІЙНА ЛОГІКА |
| Назва розділу: рівень 2 |
Вступ |
| Діапазон сторінок або номер першої сторінки розділу |
11 |
| Назва розділу: рівень 2 |
Розділ І. Предмет логіки |
| Діапазон сторінок або номер першої сторінки розділу |
13 |
| Назва розділу: рівень 3 |
1. Визначення логіки як науки |
| Діапазон сторінок або номер першої сторінки розділу |
13 |
| Назва розділу: рівень 3 |
2. Формальні та змістовні правила міркування |
| Діапазон сторінок або номер першої сторінки розділу |
16 |
| Назва розділу: рівень 3 |
3. Абстрактне мислення і його характерні особливості |
| Діапазон сторінок або номер першої сторінки розділу |
20 |
| Назва розділу: рівень 3 |
4. Поняття про форму мислення |
| Діапазон сторінок або номер першої сторінки розділу |
24 |
| Назва розділу: рівень 3 |
5. Основні формальнологічні закони |
| Діапазон сторінок або номер першої сторінки розділу |
27 |
| Назва розділу: рівень 3 |
6. Істинність і формальна правильність міркування |
| Діапазон сторінок або номер першої сторінки розділу |
40 |
| Назва розділу: рівень 2 |
Розділ II. Мислення і мова |
| Діапазон сторінок або номер першої сторінки розділу |
42 |
| Назва розділу: рівень 3 |
1. Визначення мови |
| Діапазон сторінок або номер першої сторінки розділу |
42 |
| Назва розділу: рівень 3 |
2. Поняття знака. Види знаків |
| Діапазон сторінок або номер першої сторінки розділу |
44 |
| Назва розділу: рівень 3 |
3. Рівні семіотичного аналізу мови |
| Діапазон сторінок або номер першої сторінки розділу |
46 |
| Назва розділу: рівень 2 |
Розділ III. Формалізація як метод логіки |
| Діапазон сторінок або номер першої сторінки розділу |
51 |
| Назва розділу: рівень 3 |
1. Поняття формалізації |
| Діапазон сторінок або номер першої сторінки розділу |
51 |
| Назва розділу: рівень 3 |
2. Порівняльна характеристика природної і формалізованої мов |
| Діапазон сторінок або номер першої сторінки розділу |
55 |
| Назва розділу: рівень 3 |
3. Структура формалізованої мови |
| Діапазон сторінок або номер першої сторінки розділу |
57 |
| Назва розділу: рівень 2 |
Розділ ІV. Семантичний аналіз виразів природної мови |
| Діапазон сторінок або номер першої сторінки розділу |
62 |
| Назва розділу: рівень 3 |
1. Поняття семантичної категорії |
| Діапазон сторінок або номер першої сторінки розділу |
62 |
| Назва розділу: рівень 3 |
2. Характеристика дескриптивних термінів |
| Діапазон сторінок або номер першої сторінки розділу |
64 |
| Назва розділу: рівень 3 |
3. Визначення логічних термінів |
| Діапазон сторінок або номер першої сторінки розділу |
74 |
| Назва розділу: рівень 2 |
Розділ V. Елементи теорії імен |
| Діапазон сторінок або номер першої сторінки розділу |
92 |
| Назва розділу: рівень 3 |
1. Ім’я, смисл, значення |
| Діапазон сторінок або номер першої сторінки розділу |
92 |
| Назва розділу: рівень 3 |
2. Види імен |
| Діапазон сторінок або номер першої сторінки розділу |
94 |
| Назва розділу: рівень 3 |
3. Принципи відношення іменування |
| Діапазон сторінок або номер першої сторінки розділу |
96 |
| Назва розділу: рівень 2 |
Розділ VІ. Функціональний аналіз у логіці |
| Діапазон сторінок або номер першої сторінки розділу |
102 |
| Назва розділу: рівень 3 |
1. Поняття функції |
| Діапазон сторінок або номер першої сторінки розділу |
102 |
| Назва розділу: рівень 3 |
2. Види функцій |
| Діапазон сторінок або номер першої сторінки розділу |
104 |
| Назва розділу: рівень 2 |
Розділ VII. Історичний характер логіки як науки |
| Діапазон сторінок або номер першої сторінки розділу |
107 |
| Назва розділу: рівень 3 |
1. Логіка Стародавньої Індії |
| Діапазон сторінок або номер першої сторінки розділу |
107 |
| Назва розділу: рівень 3 |
2. Попередники логіки Арістотеля у Стародавній Греції |
| Діапазон сторінок або номер першої сторінки розділу |
114 |
| Назва розділу: рівень 3 |
3. Логічне вчення Арістотеля |
| Діапазон сторінок або номер першої сторінки розділу |
117 |
| Назва розділу: рівень 3 |
4. Особливості логіки стоїків |
| Діапазон сторінок або номер першої сторінки розділу |
120 |
| Назва розділу: рівень 3 |
5. Особливості схоластичної логіки |
| Діапазон сторінок або номер першої сторінки розділу |
121 |
| Назва розділу: рівень 3 |
6. Новаторські ідеї логіки Ф.Бекона |
| Діапазон сторінок або номер першої сторінки розділу |
123 |
| Назва розділу: рівень 3 |
7. Сучасна формальна логіка – другий етап у розвитку логіки як науки |
| Діапазон сторінок або номер першої сторінки розділу |
125 |
| Назва розділу: рівень 2 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
127 |
| Назва розділу: рівень 2 |
Розділ VIII. Поняття |
| Діапазон сторінок або номер першої сторінки розділу |
130 |
| Назва розділу: рівень 3 |
1. Визначення поняття |
| Діапазон сторінок або номер першої сторінки розділу |
131 |
| Назва розділу: рівень 3 |
2. Характеристика предмета думки, відображуваного в понятті |
| Діапазон сторінок або номер першої сторінки розділу |
132 |
| Назва розділу: рівень 3 |
3. Мовні засоби виразу поняття |
| Діапазон сторінок або номер першої сторінки розділу |
135 |
| Назва розділу: рівень 3 |
4. Зміст поняття |
| Діапазон сторінок або номер першої сторінки розділу |
136 |
| Назва розділу: рівень 3 |
5. Обсяг поняття. Елементи теорії множин |
| Діапазон сторінок або номер першої сторінки розділу |
141 |
| Назва розділу: рівень 3 |
6. Закон оберненого відношення між змістом та обсягом поняття |
| Діапазон сторінок або номер першої сторінки розділу |
146 |
| Назва розділу: рівень 3 |
7. Види понять |
| Діапазон сторінок або номер першої сторінки розділу |
147 |
| Назва розділу: рівень 3 |
8. Логічні відношення між поняттями |
| Діапазон сторінок або номер першої сторінки розділу |
149 |
| Назва розділу: рівень 3 |
9. Логічні операції над поняттями |
| Діапазон сторінок або номер першої сторінки розділу |
154 |
| Назва розділу: рівень 4 |
а) обмеження і узагальнення понять |
| Діапазон сторінок або номер першої сторінки розділу |
155 |
| Назва розділу: рівень 4 |
б) операції над обсягами понять як множинами |
| Діапазон сторінок або номер першої сторінки розділу |
156 |
| Назва розділу: рівень 4 |
в) поділ поняття та правила поділу |
| Діапазон сторінок або номер першої сторінки розділу |
162 |
| Назва розділу: рівень 4 |
г) визначення поняття та правила визначення |
| Діапазон сторінок або номер першої сторінки розділу |
165 |
| Назва розділу: рівень 2 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
175 |
| Назва розділу: рівень 2 |
Розділ ІХ. Судження |
| Діапазон сторінок або номер першої сторінки розділу |
178 |
| Назва розділу: рівень 3 |
1. Загальна характеристика судження |
| Діапазон сторінок або номер першої сторінки розділу |
178 |
| Назва розділу: рівень 3 |
2. Судження і речення |
| Діапазон сторінок або номер першої сторінки розділу |
179 |
| Назва розділу: рівень 3 |
3. Види суджень. Атрибутивні судження |
| Діапазон сторінок або номер першої сторінки розділу |
181 |
| Назва розділу: рівень 3 |
4. Логічні відношення між атрибутивними судженнями |
| Діапазон сторінок або номер першої сторінки розділу |
188 |
| Назва розділу: рівень 3 |
5. Тлумачення атрибутивних суджень мовою логіки предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
193 |
| Назва розділу: рівень 3 |
6. Судження з відношеннями |
| Діапазон сторінок або номер першої сторінки розділу |
198 |
| Назва розділу: рівень 3 |
7. Судження існування |
| Діапазон сторінок або номер першої сторінки розділу |
200 |
| Назва розділу: рівень 3 |
8. Модальні судження |
| Діапазон сторінок або номер першої сторінки розділу |
203 |
| Назва розділу: рівень 3 |
9. Запитання |
| Діапазон сторінок або номер першої сторінки розділу |
205 |
| Назва розділу: рівень 3 |
10. Види складних суджень. Виклад складних суджень мовою логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
206 |
| Назва розділу: рівень 3 |
11. Логічні відношення між складними судженнями |
| Діапазон сторінок або номер першої сторінки розділу |
209 |
| Назва розділу: рівень 2 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
212 |
| Назва розділу: рівень 2 |
Розділ Х. Умовивід |
| Діапазон сторінок або номер першої сторінки розділу |
215 |
| Назва розділу: рівень 3 |
1. Загальна характеристика умовиводу |
| Діапазон сторінок або номер першої сторінки розділу |
215 |
| Назва розділу: рівень 3 |
2. Висновки логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
216 |
| Назва розділу: рівень 4 |
а) Типологія правил висновку |
| Діапазон сторінок або номер першої сторінки розділу |
218 |
| Назва розділу: рівень 4 |
б) Обґрунтування правил висновку |
| Діапазон сторінок або номер першої сторінки розділу |
225 |
| Назва розділу: рівень 4 |
в) Метод аналітичних таблиць |
| Діапазон сторінок або номер першої сторінки розділу |
231 |
| Назва розділу: рівень 3 |
г) Умовиводи логіки висловлювань у традиційній логіці |
| Діапазон сторінок або номер першої сторінки розділу |
236 |
| Назва розділу: рівень 3 |
3. Висновки із категоричних суджень |
| Діапазон сторінок або номер першої сторінки розділу |
244 |
| Назва розділу: рівень 4 |
а) Безпосередні умовиводи |
| Діапазон сторінок або номер першої сторінки розділу |
245 |
| Назва розділу: рівень 4 |
б) Простий категоричний силогізм |
| Діапазон сторінок або номер першої сторінки розділу |
254 |
| Назва розділу: рівень 4 |
в) Перевірка коректності силогізму |
| Діапазон сторінок або номер першої сторінки розділу |
261 |
| Назва розділу: рівень 4 |
г) Ентимема |
| Діапазон сторінок або номер першої сторінки розділу |
262 |
| Назва розділу: рівень 4 |
д) Силогістика та метод аналітичних таблиць |
| Діапазон сторінок або номер першої сторінки розділу |
265 |
| Назва розділу: рівень 3 |
4. Недедуктивні умовиводи |
| Діапазон сторінок або номер першої сторінки розділу |
269 |
| Назва розділу: рівень 4 |
а) Індуктивні умовиводи |
| Діапазон сторінок або номер першої сторінки розділу |
269 |
| Назва розділу: рівень 4 |
б) Аналогія |
| Діапазон сторінок або номер першої сторінки розділу |
277 |
| Назва розділу: рівень 2 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
280 |
| Назва розділу: рівень 2 |
Розділ XI. Аргументація |
| Діапазон сторінок або номер першої сторінки розділу |
283 |
| Назва розділу: рівень 3 |
1. Поняття доведення. Структура доведення |
| Діапазон сторінок або номер першої сторінки розділу |
283 |
| Назва розділу: рівень 3 |
2. Види доведення |
| Діапазон сторінок або номер першої сторінки розділу |
289 |
| Назва розділу: рівень 3 |
3. Спростування |
| Діапазон сторінок або номер першої сторінки розділу |
292 |
| Назва розділу: рівень 4 |
а) Спростування тези |
| Діапазон сторінок або номер першої сторінки розділу |
293 |
| Назва розділу: рівень 4 |
б) Спростування аргументів |
| Діапазон сторінок або номер першої сторінки розділу |
294 |
| Назва розділу: рівень 4 |
в) Спростування демонстрації |
| Діапазон сторінок або номер першої сторінки розділу |
297 |
| Назва розділу: рівень 3 |
4. Правила доведення і спростування |
| Діапазон сторінок або номер першої сторінки розділу |
298 |
| Назва розділу: рівень 4 |
а) правила і помилки стосовно тези |
| Діапазон сторінок або номер першої сторінки розділу |
298 |
| Назва розділу: рівень 4 |
б) правила і помилки стосовно аргументів |
| Діапазон сторінок або номер першої сторінки розділу |
300 |
| Назва розділу: рівень 4 |
в) правила стосовно демонстрації |
| Діапазон сторінок або номер першої сторінки розділу |
301 |
| Назва розділу: рівень 3 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
302 |
| Назва розділу: рівень 1 |
КНИГА ДРУГА. СУЧАСНА ЛОГІКА |
| Назва розділу: рівень 2 |
ЧАСТИНА ПЕРША. КЛАСИЧНА ЛОГІКА |
| Діапазон сторінок або номер першої сторінки розділу |
305 |
| Назва розділу: рівень 3 |
Вступ |
| Діапазон сторінок або номер першої сторінки розділу |
305 |
| Назва розділу: рівень 3 |
А. ЛОГІКА ВИСЛОВЛЮВАНЬ |
| Діапазон сторінок або номер першої сторінки розділу |
308 |
| Назва розділу: рівень 4 |
Розділ І. Алгебра логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
309 |
| Назва розділу: рівень 5 |
1. Мова алгебраїчної системи логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
309 |
| Назва розділу: рівень 5 |
2. Семантика логічних символів |
| Діапазон сторінок або номер першої сторінки розділу |
317 |
| Назва розділу: рівень 5 |
3. Типологія формул за семантичними ознаками |
| Діапазон сторінок або номер першої сторінки розділу |
319 |
| Назва розділу: рівень 5 |
4. Рівносильні формули |
| Діапазон сторінок або номер першої сторінки розділу |
321 |
| Назва розділу: рівень 5 |
5. Логічні відношення між формулами |
| Діапазон сторінок або номер першої сторінки розділу |
327 |
| Назва розділу: рівень 5 |
6. Нормальні форми логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
329 |
| Назва розділу: рівень 4 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
340 |
| Назва розділу: рівень 4 |
Розділ ІІ. Числення логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
343 |
| Назва розділу: рівень 5 |
1. Аксіоматичне числення логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
344 |
| Назва розділу: рівень 5 |
2. Метатеорема про дедукцію |
| Діапазон сторінок або номер першої сторінки розділу |
350 |
| Назва розділу: рівень 5 |
3. Металогічні принципи в S2 |
| Діапазон сторінок або номер першої сторінки розділу |
353 |
| Назва розділу: рівень 5 |
4. Натуральне числення логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
359 |
| Назва розділу: рівень 4 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
366 |
| Назва розділу: рівень 3 |
Б. ЛОГІКА ПРЕДИКАТІВ |
| Діапазон сторінок або номер першої сторінки розділу |
367 |
| Назва розділу: рівень 4 |
Розділ І. Алгебраїчна система логіки предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
368 |
| Назва розділу: рівень 5 |
1. Мова алгебраїчної системи логіки предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
368 |
| Назва розділу: рівень 5 |
2. Семантика алгебраїчної системи логіки предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
372 |
| Назва розділу: рівень 5 |
3. Процедури встановлення значень формулам в S4 |
| Діапазон сторінок або номер першої сторінки розділу |
377 |
| Назва розділу: рівень 5 |
4. Типологія формул S4 за семантичними ознаками |
| Діапазон сторінок або номер першої сторінки розділу |
380 |
| Назва розділу: рівень 5 |
5. Логічні відношення між формулами в S4 |
| Діапазон сторінок або номер першої сторінки розділу |
383 |
| Назва розділу: рівень 5 |
6. Проблема розв’язання |
| Діапазон сторінок або номер першої сторінки розділу |
386 |
| Назва розділу: рівень 5 |
7. Закони логіки предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
391 |
| Назва розділу: рівень 5 |
8. Процедури для розв’язання виразів логіки предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
399 |
| Назва розділу: рівень 4 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
403 |
| Назва розділу: рівень 4 |
Розділ ІІ. Числення предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
405 |
| Назва розділу: рівень 5 |
1. Аксіоматичне числення предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
406 |
| Назва розділу: рівень 5 |
2. Теорема про дедукцію в S5 |
| Діапазон сторінок або номер першої сторінки розділу |
413 |
| Назва розділу: рівень 5 |
3. Металогічні принципи аксіоматичного числення логіки предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
414 |
| Назва розділу: рівень 5 |
4. Натуральне числення предикатів |
| Діапазон сторінок або номер першої сторінки розділу |
421 |
| Назва розділу: рівень 4 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
435 |
| Назва розділу: рівень 2 |
ЧАСТИНА ДРУГА. НЕКЛАСИЧНА ЛОГІКА |
| Діапазон сторінок або номер першої сторінки розділу |
436 |
| Назва розділу: рівень 3 |
Вступ |
| Діапазон сторінок або номер першої сторінки розділу |
436 |
| Назва розділу: рівень 3 |
Розділ І. Багатозначна логіка |
| Діапазон сторінок або номер першої сторінки розділу |
439 |
| Назва розділу: рівень 4 |
1. Система багатозначної логіки Я. Лукасевича |
| Діапазон сторінок або номер першої сторінки розділу |
440 |
| Назва розділу: рівень 5 |
а) Тризначна логіка Я. Лукасевича |
| Діапазон сторінок або номер першої сторінки розділу |
440 |
| Назва розділу: рівень 5 |
б) Чотиризначна логіка Я. Лукасевича |
| Діапазон сторінок або номер першої сторінки розділу |
446 |
| Назва розділу: рівень 4 |
2. Багатозначна логіка Брауера-Гейтінга |
| Діапазон сторінок або номер першої сторінки розділу |
453 |
| Назва розділу: рівень 4 |
3. Багатозначна логіка Е. Поста |
| Діапазон сторінок або номер першої сторінки розділу |
456 |
| Назва розділу: рівень 4 |
4. Тризначна логіка Д. Бочвара |
| Діапазон сторінок або номер першої сторінки розділу |
460 |
| Назва розділу: рівень 3 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
462 |
| Назва розділу: рівень 3 |
Розділ ІІ. Модальна логіка на початку ХХ ст |
| Діапазон сторінок або номер першої сторінки розділу |
464 |
| Назва розділу: рівень 4 |
1. Критика К. Льюїсом класичної теорії логічного слідування |
| Діапазон сторінок або номер першої сторінки розділу |
464 |
| Назва розділу: рівень 4 |
2. Концепція модальної логіки Я. Лукасевича |
| Діапазон сторінок або номер першої сторінки розділу |
473 |
| Назва розділу: рівень 5 |
а) Тризначна система Я. Лукасевича |
| Діапазон сторінок або номер першої сторінки розділу |
473 |
| Назва розділу: рівень 5 |
б) Чотиризначна системи Я. Лукасевича |
| Діапазон сторінок або номер першої сторінки розділу |
478 |
| Назва розділу: рівень 4 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
488 |
| Назва розділу: рівень 3 |
Розділ IIІ. Система модальної логіки |
| Діапазон сторінок або номер першої сторінки розділу |
489 |
| Назва розділу: рівень 4 |
1. Алетична логіка |
| Діапазон сторінок або номер першої сторінки розділу |
489 |
| Назва розділу: рівень 5 |
а) Мова алетичної логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
489 |
| Назва розділу: рівень 5 |
б) Алетична логіка і теорія «можливих світів» |
| Діапазон сторінок або номер першої сторінки розділу |
492 |
| Назва розділу: рівень 4 |
2. Темпоральна логіка |
| Діапазон сторінок або номер першої сторінки розділу |
499 |
| Назва розділу: рівень 5 |
а) Мова темпоральної логіки висловлювань |
| Діапазон сторінок або номер першої сторінки розділу |
500 |
| Назва розділу: рівень 5 |
б) Темпоральна логіка і теорія «можливих світів» |
| Діапазон сторінок або номер першої сторінки розділу |
502 |
| Назва розділу: рівень 5 |
в) Метод аналітичних таблиць у темпоральній логіці |
| Діапазон сторінок або номер першої сторінки розділу |
506 |
| Назва розділу: рівень 4 |
3. Деонтична логіка |
| Діапазон сторінок або номер першої сторінки розділу |
508 |
| Назва розділу: рівень 5 |
а) Характеристика деонтичного висловлювання |
| Діапазон сторінок або номер першої сторінки розділу |
510 |
| Назва розділу: рівень 5 |
б) Мова деонтичної пропозиційної логіки |
| Діапазон сторінок або номер першої сторінки розділу |
512 |
| Назва розділу: рівень 5 |
в) Деонтична логіка і теорія можливих світів |
| Діапазон сторінок або номер першої сторінки розділу |
516 |
| Назва розділу: рівень 4 |
4. Епістемічна логіка |
| Діапазон сторінок або номер першої сторінки розділу |
519 |
| Назва розділу: рівень 5 |
а) Визначення епістемічної логіки |
| Діапазон сторінок або номер першої сторінки розділу |
519 |
| Назва розділу: рівень 5 |
б) Мова епістемічної пропозиційної логіки |
| Діапазон сторінок або номер першої сторінки розділу |
523 |
| Назва розділу: рівень 5 |
в) Епістемічна логіка і теорія можливих світів |
| Діапазон сторінок або номер першої сторінки розділу |
528 |
| Назва розділу: рівень 3 |
Контрольні питання та вправи |
| Діапазон сторінок або номер першої сторінки розділу |
530 |
| 330 ## - Короткий зміст |
|---|
| Текст примітки |
Підручник складається із двох книг: «Традиційна логіка» і «Сучасна логіка». У першій книзі «Традиційна логіка» у систематизованому, дидактично витриманому стилі розкривається метод логіки, аналізуються основні форми і закони мислення. Значна увага приділяється логічному аналізу природної мови, який підводить до розуміння побудови формалізованої логічної мови, а також забезпечує емпіричну основу для опису висновків і доведень у межах спеціальних формалізованих мов. У другій книзі «Сучасна логіка» розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формальнологічних теорій у межах логіки висловлювань і логіки предикатів. Ця книга містить також досить ретельний опис витоків некласичної логіки, аналіз канонічних систем багатозначної логіки. На підставі логікофілософського аналізу в ній характеризуються підрозділи системи модальної логіки. Запропонований підручник сприятиме прищепленню елементів культури мислення, а також підвищенню інтересу до сучасної логічної науки. Розрахований на студентів вищих навчальних закладів. |
| 675 ## - УДК |
|---|
| Індекс |
16(075.8) |
| 686 ## - Індекси інших класифікацій |
|---|
| Код системи |
Таблиці ББК для масових бібліотек в 1 т. |
| Індекс класифікації |
87.4я73 |
| 700 #1 - Особисте ім’я |
|---|
| Код відношення |
Автор |
| Внутрішній код Koha |
1418 |
| автор |
Конверський |
| Частина імені, яка відрізняється від початкового елемента вводу |
А. Є. |
| Розкриття ініціалів власного імені |
Анатолій Євгенович |
| 801 #1 - Джерело походження запису |
|---|
| Країна |
УКРАЇНА |
| Установа |
UA-BuIAS |
| Дата |
20180225 |
| 942 ## - Додаткові дані (Коха) |
|---|
| Код системи класифікації для розстановки фонду |
Універсальна десяткова класифікація (УДК) |
| Тип одиниці (рівень запису) |
Навчальні видання |
| Класифікаційна частина шифру збереження |
16(075.8) |
| Шифр замовлення |
16(075.8) / К64 |
| Статус приховування в ЕК |
Не приховувати в ЕК |
| Авторський (кеттерівський) знак, дати чи термін, що додаються до класифікаційного індексу |
К64 |