- •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. Епістемічна логіка
- •ЛІТЕРАТУРА
жання ввести співбесідника в оману. Паралогізми, за Арістотелем, бувають двох видів:
паралогізми, що залежать від мовних порушень,
паралогізми, які виникають незалежно від мови (так звані «позамовні»).
Усього Арістотель виділяє шість мовних паралогізмів і сім позамовних. Прикладом мовного паралогізму є парало- гізм, пов’язаний з явищем омонімії. Часто з ним стика- ються у випадку з учетверінням термінів у силогізмі. Так, вживаючи ім’я «собака», зауважує Арістотель, ми можемо мати на увазі в одному випадку сузір’я, а другому – до- машню тварину.
Наприкінці твору «Про софістичні спростування» Стагі- ріт наводить найпоширеніші софізми і стисло їх аналізує.
Со ф і з м о м називається такий уявний силогізм, який застосовується з метою ввести співбесідника в оману.
Прикладом софізму може бути наведене Арістотелем у цьо- му творі міркування. Ставиться запитання: «Чи знаєте ви,
про що я зараз хочу вас запитати?» Слідує відповідь:
«Ні». Ставиться друге запитання: «Чи знаєте ви, що сума кутів трикутника дорівнює двом прямим?». «Так», – слідує відповідь. «Але саме про це я вас збирався запита-
ти», – говорить софіст. «Виходить, – продовжує софіст, –
що ви не знаєте того, що ви знаєте». Цей, а також інші подібні софізми (маються на увазі софізми «Покритий», «Електра», «Захований») наголошують у своєрідній формі на неможливості однозначної відповіді у формі «Так» або «Ні» на деякі питання без їх попереднього аналізу.
Як уже зазначалося, Арістотель, створюючи своє логіч- не вчення, спирався на відкриття Геракліта, Демокріта, Сократа, Платона та інших мислителів античності, але йо-
го великою заслугою є те, що він, здійснивши ряд геніа- льних відкриттів у галузі логіки, вперше систематично виклав науку логіки у вигляді самостійної дисципліни.
4. Особливості логіки стоїків
Суттєвий внесок у розвиток логіки зробили представни- ки мегаро-стоїчної школи, логічне вчення яких відоме під назвою «логіка стоїків». Представниками цієї школи є
Зенон, Хрізіпп, Діодор, Стільпон, Евбулід, Філон.
120 |
А. Є. Конверський. ЛОГІКА |
Логіка стоїків заклала підвалини одного з розділів су- часної логіки – логіки висловлювань. Стоїки вивчають логічні відношення між висловлюваннями, не вникаючи у внутрішню будову висловлювань і не враховуючи її. У них змінні відносяться не до термінів, а до висловлювань. Сто-
їки вперше дали фундаментальні визначення матеріа- льної імплікації, диз’юнкції, кон’юнкції, заперечення, ек- віваленції.
Силогізми у стоїків – це правила висновку:
Якщо р то q; але р; отже q. Якщо р, то q; але не-q; отже не-р.
Неправильно, що (р і q); але р; отже не-q.
рабо q; але р; отже не-q.
рабо q; але не-q; отже р.
Евбуліду і Хрізіппу належать перші дослідження сема- нтичної антиномії «Брехуна». Цікавим був висновок із цих досліджень: висловлювання, яке стверджує свою власну хибність, позбавлене смислу, тому воно й не може харак- теризуватися ні як істинне, ні як хибне.
Стоїки звернули увагу на так звані несилогістичні умо- виводи, а саме на умовиводи, які будуються із суджень з відношеннями. Детальніше ніж Арістотель і його безпосе- редні послідовники – перипатетики, стоїки вивчають про- блеми модальної логіки.
Усі названі проблеми, які були у центрі уваги представ- ників «логіки Стої», значною мірою стимулювали розвиток багатьох розділів сучасної логіки.
5. Особливості схоластичної логіки
На VІ–ХV ст. припадає період розвитку логіки, який називають «схоластичною логікою». До видатних представників схоластичної логіки належать Іоанн Росце-
лін, П’єр Абеляр, Михайло Псьол, Петро Іспанський, Раймунд Луллій, Дунс Скот, Уільям Оккам та ін.
Схоластична логіка, особливо починаючи з ІХ ст., пра- гне творчо розробляти арістотелівське вчення і логіку стої- ків. У цей час багато робиться для того, щоб сформувати логіку як навчальну дисципліну.
Так, візантійський учений Михайло Псьол, з метою кращого запам’ятовування логічних відношень між кате-
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
121 |
горичними судженнями, вводить схему, яка дістала назву «логічний квадрат». Він же запропонував назви для мо- дусів простого категоричного силогізму і дав позначення для категоричних суджень (А, Е, І, О).
Значний внесок у розробку арістотелівської логіки і ло- гіки стоїків зробив Петро Іспанський. Його праця «Сум- мули» була основним підручником з логіки середньовічної Європи. Він займався визначенням таких логічних опера- цій, як диз’юнкція, кон’юнкція, знав закони заперечення кон’юнкції і диз’юнкції, які в сучасній логіці називаються
«законами де Моргана».
У схоластичній логіці розробляється низка проблем, які знайшли своє продовження в сучасній логіці. Це стосуєть- ся, зокрема, дослідження властивостей формальної імплі- кації (Раймунд Луллій), природи логічного слідування (Уільям Оккам, Дунс Скот), аналізу семантичних анти- номій.
Оригінальним відкриттям схоластичної логіки було
вчення про суппозиції (з латинської «підміна», «підкла-
дання»). Середньовічні логіки словом «суппозиція» позна- чали різноманітні випадки вживання термінів.
Річ у тому, що у природній мові один і той самий тер- мін може відноситися до предметів різних типів. Аналіз суппозиції термінів сприяє запобіганню та усуненню логі- чних помилок.
Візьмемо для прикладу слово «метал» і розглянемо рі- зні варіанти його вживання.
1.Термін «метал» може використовуватися для позна- чення окремого представника класу металів. Стверджую-
чи, що «метал – електопровідник», ми маємо на увазі «Кожен із металів – електропровідник». Така суппозиція називається формальною.
2.Слово може позначати саме себе. Наприклад, «Метал»
складається з п’яти букв. Це – матеріальна суппозиція.
3.Слово може позначати множину предметів, але в конкретному випадку воно може позначати окремий пред- мет, наприклад, у фразі «Перед вами метал». Тут маємо на увазі «Перед нами конкретний метал». Це – персо-
нальна суппозиція.
4.Слово «Метал» може позначати клас предметів як ціле, наприклад: «Метал є одним із видів хімічних елеме-
нтів». Це – проста суппозиція.
122 |
А. Є. Конверський. ЛОГІКА |
У сучасній логіці використовуються формальна і мате- ріальна суппозиції. Матеріальна суппозиція дістала назву автонімного використовування виразів.
Дослідження суппозицій середньовічними логіками зна- чною мірою сприяло ефективній розробці формалізованих мов логіки, для яких однозначність вживання термінів є однією з фундаментальних вимог.
Як етап у розвитку логіки схоластична логіка, з одного боку, сприяла популяризації та розвитку античної логіки (на- самперед, арістотелівської), а з іншого – в певному розу- мінні зумовила негативне ставлення до логіки Арістотеля.
6. Новаторські ідеї логіки Ф. Бекона
Першим, хто фундаментально виступив проти схоласти- чної логіки і, зокрема, проти схоластизованої силогістики, був Френсіс Бекон (1561–1626 рр.). Він вважав, що логі- ка повинна давати нове знання, бути логікою відкриттів. Цього не здійснила логіка Арістотеля з її «Органоном». Щоб підкреслити, що його шлях у логіці відмінний від арістотелівського, свою головну працю з логіки вчений на- зиває «Новий Органон».
Логіка Ф.Бекона тісно переплетена з гносеологією, оскі-
льки він ставить завдання показати, що логіка – це
знаряддя саме пізнання, а не мистецтво ведення дис- путів, не основа процесу комунікації, не сума формаль- них правил, за якими здійснюється обмін думками між людьми.
Арістотель боровся проти софізмів (навмисних логічних помилок), а Бекон вів боротьбу з «привидами», або «ідола- ми» (труднощами, які виникають у процесі пізнання).
Найхарактернішими «ідолами» є «ідоли роду», «ідоли печери», «ідоли ринку», та «ідоли театру».
«Ідоли роду» – це спотворення, які виникають у ре- зультаті намагання людини наділити речі та явища природи власними якостями. Природа не може стражда-
ти, радіти, бути доброю, злою, мати ціль тощо. Усе це притаманне людині. Але людина іноді намагається тлума- чити природу за аналогією із собою (наприклад, лагідний вітер, розумне розташування планет Сонячної системи). «Ідоли роду» є найбільш могутніми, оскільки вони вплете-
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
123 |
ні в повсякденне буття кожної людини, незалежно від її освіти і виду занять.
«Ідоли печери» – це помилкові відображення дійсно- сті, які виникають внаслідок надмірної схильності лю- дей або до старих істин, або до нових відкриттів. У
процесі пізнання, вважає Бекон, треба діяти врівноважено: не захоплюватися надмірно старими чи новими ідеями, а знаходити раціональне у попередніх теоріях і уважно ста- витися до нових наукових відкриттів.
Ефективність пізнавального процесу значно знижують
«ідоли ринку». «Ідоли ринку» – це труднощі пізнання,
які виникають у результаті некритичного, поверхового ставлення до функції, значення і природи слова. Слова – це замінники речей (аналогічно гроші – замінники това- рів на ринку). Але, вживаючи слова, використовуючи їх у процесі пізнання, комунікації, ми завжди повинні пам’ятати, що це все-таки замінники, а не самі речі. Нех- тування цим застереженням призводить до того, що спра- вжня мудрість (знання природи речей) замінюється слове- сною мудрістю (умінням жонглювати словами).
Перешкодою на шляху до істини, крім названих труд-
нощів, є «ідоли театру» – хибні твердження, які об- грунтовуються посиланнями на авторитети. Усю істо-
рію пізнання, за Беконом, можна розглядати як театральну сцену, де перед глядачами розігруються різні сюжети (якими є різні концепції).
Як у театрі глядачеві нав’язують своєрідне бачення світу, своєрідне тлумачення подій з позицій певного есте- тичного ідеалу, так і в процесі пізнання завжди є схиль- ність пояснювати світ з позицій певного авторитету, який є фундатором конкретної концепції чи школи. Тому спра- вжній дослідник істини, радить Бекон, приступаючи до пізнання, повинен відкинути бездумне схиляння перед ав- торитетами.
Але звільнення від «привидів» – це лише частина роботи, яку повинен здійснити дослідник на шляху до пізнання істини. Йому потрібно ще озброїтися справж- нім методом пізнання, яким, на думку Бекона, має бути індукція. Суть беконівської індукції полягає не в тому, щоб знайти якнайбільше фактів, що приведуть до фор- мулювання загального положення, а в тому, щоб при ре- тельному аналізі фактів відкинути не суттєве і залишити
124 |
А. Є. Конверський. ЛОГІКА |
найсуттєвіше для явища, яке вивчається. Іншими слова- ми, індукція, за Беконом, допомагає знайти причини речей.
У літературі з логіки можна зустріти твердження, що Бекон не збагнув суті арістотелівської силогістики, переоцінив індукцію, віддавши їй перевагу перед дедук- цією.
На нашу ж думку, до оцінки беконівської логіки слід підходити конкретно-історично, а крім того, треба розріз- няти Бекона-логіка і Бекона-методолога.
Учений мав рацію вважаючи, що схоластизована логіка Арістотеля не може бути «органоном пізнання» і її потріб- но звільнити від пут, в яких вона перебувала за панування такої ідеології, як релігія.
Стосовно перебільшення Беконом ролі індукції, то необ- хідно мати на увазі, що Бекон виступив тут як методолог. Він прагнув показати, що все наше знання має дослідну, емпіричну основу, а головним суддею (всіх) наших теоре- тичних конструкцій є експеримент.
7. Сучасна формальна логіка — другий етап у розвитку логіки як науки
Логіка як наука є єдиною теорією. Ця єдність обумов- лена тим, що і для традиційної, і для сучасної логіки предмет і метод залишаються одними і тими самими. Від- мінність полягає лише в тому, що в сучасній логіці метод формалізації застосовується послідовніше. Це й стало одні- єю з підстав називати сучасну логіку математичною.
Коли ж ми даємо визначення традиційної логіки, то за- значаємо, що це такий розділ логіки як науки про мис- лення, в якому застосовується метод формалізації у напів- формальному вигляді (тобто, поряд із штучною символікою використовуються фрагменти природної мови, наприклад,
«Будь-яке S є Р»). Сучасна логіка застосовує метод фо-
рмалізації в чистому вигляді, виключаючи будь-які за- соби природної мови.
У сучасній логіці умовно можна виділити такі істо- ричні періоди:
передісторія сучасної логіки;
період алгебри логіки;
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
125 |
період розробки логіки як теорії обгрунтування математики;
період розробки металогіки, логічної семантики, некласичної логіки.
Передісторія сучасної логіки пов’язана з діяльністю
Т. Гоббса, Р. Декарта, і особливо Г. Лейбніца.
УТ. Гоббса виникла ідея розглядати процес міркування як числення, Р. Декарт ввів і обгрунтував такі важливі для сучасної логіки поняття, як «змінна величина» і «фу- нкція», Г. Лейбніц вводить символи для позначення логіч- них постійних.
Період алгебри логіки починається з опублікування в 1847 р. англійським логіком Дж. Булем книжки «Мате- матичний аналіз логіки». Дж. Буль вводить у логіку ал- гебраїчну символіку для побудови логічних числень, роз- глядає процес умовиводу як розв’язання логічних рівностей.
Розробка логіки як теорії обгрунтування математики пов’язана з кризовими ситуаціями, що в науці і, зокрема в математиці, мали місце на межі ХІХ–ХХ ст. Коли ви- явилося, що в основі теорії множин, яка застосовувалася для обгрунтування математики, містяться нерозв’язні су- перечності, виникла необхідність звернення до логіки, оскільки в ній сподівалися знайти засоби усунення кризо- вих ситуацій у підвалинах математики. Але для цього по- трібно було, щоб логіка мала досить ефективний інструме- нтарій для вивчення логічної структури наукової теорії. Це й зумовило розробку німецьким логіком Готлобом Фре- ге аксіоматичної побудови числення висловлювань, теорії квантифікації, основних принципів логічної семантики.
Сама теорія логічного обгрунтування математики була викладена англійськими логіками Бертраном Расселом і Альфредом Уайтхедом в їхній спільній праці «Принципи математики».
Нарешті, період розробки металогіки, логічної семан- тики пов’язаний з діяльністю Львівсько-Варшавської шко-
ли, працями Р. Карнапа, А. Тарського, Я. Лукасевича,
К. Льюїса та ін.
Укожному з цих періодів можна знайти продовження і поглиблення тих проблем, які були порушені у традицій- ній логіці. Це також є підставою розглядати логіку як єдину систему.
126 |
А. Є. Конверський. ЛОГІКА |