Що таке логіка? По суті, це наука про те, як правильно мислити - прокладати короткі та надійні шляхи від однієї думки до іншої. Скільки ж існує способів "правильного мислення"? Всупереч звичним стереотипам про логіку, таких способів набагато більше, ніж один.

Варто відразу сказати, що тема логіки та її видів досить непроста. Розлогі міркування про логіку вимагають спеціальних знань і термінології. Але ми не будемо заглиблюватися в наукові нетрі, а просто помилуємося збоку, а для цього достатньо і просто інтересу та допитливості.

"За замовчуванням" прийнято вважати, що логіка і правильне мислення - синоніми, водночас спосіб "правильного мислення" може бути тільки один, інші за визначенням неправильні. Відповідно, логіка теж може бути тільки одна, все інше - вже не логіка, а софістика, схоластика та інші лайливі слова. Насправді це зовсім не так: навіть проста стаття у Вікіпедії говорить, що логік як мінімум п'ять! Це взагалі як?

Те, що ми звикли уявляти собі, чуючи слово "логіка", - судження, умовиводи та інше - в науці називається аристотелівською логікою. Як неважко здогадатися з назви, її основні поняття сформулював Аристотель. Саме він описав способи, за допомогою яких із висловлювань можна виводити абсолютно нову інформацію. Наприклад, із висловлювань "Усі філософи є людьми" і "Сократ - філософ" можна отримати нову інформацію: "Сократ - людина" (Напевно, це було б вельми цінним в Афінах часів Сократа, де багато хто радий був вважати філософа хтонічним демоном, який навчає молодь незрозуміло чому). Аристотелівська логіка, доповнена і розширена вченими пізніших епох (переважно XIX століття), називається класичною. Вона дуже схожа на аристотелівську, але з додатковими можливостями та інструментами, свого роду апгрейд. 

На фото: ланцюжок «Алгоритм»

Але найцікавіше починається далі: з'являються різні види так званих розширених логік. Розширена логіка - це класична логіка, яка потрапила в незвичайні обставини й обзавелася додатковими поняттями. Наприклад, тимчасова логіка, як випливає з назви, займається міркуваннями, пов'язаними з часом: окрім істинності та хибності висловлювань, вона описує, в яких проміжках часу висловлювання було істинним або хибним. Наприклад, "Сократ не був філософом, поки був дитиною". "Сократ став філософом, коли подорослішав", "Сократ змінив багато занять, і врешті-решт став філософом". 

Доксастична логіка (від грецького слова doxa - "думка") розглядає не тільки істинність і хибність висловлювань, а й те, наскільки сам мовець вірить у їхню істинність або хибність. Наприклад. "Я не вірю, що Сократ філософ" (хіба філософи так поводяться?); "Я припускаю, що Сократ філософ" (уперше його бачу, але, начебто, він говорить розумні речі); "Я переконаний, що Сократ філософ" (я вже багато років із ним знайомий, типовий філософ!).

Епістемічна логіка акцентує увагу на популярності або невідомості інформації (що, своєю чергою, впливає на те, чи можна її назвати істинною або хибною). Вона займається питаннями того, наскільки відома інформація, кому вона відома, а кому ні, і наскільки ті, хто знає інформацію, обізнані про те, що саме вони знають. Одне з положень епістемічної логіки може сформулювати сам Сократ: "Я знаю те, що нічого не знаю". По-науковому це називається "аксіомою негативної інтроспекції".

На фото: авторська каблучка "Sign"

Але і це ще не все: існує ще й ціла група так званих девіантних логік! Ні, "девіантні" - не означає "неправильні" або "ненормальні". Це логічні системи, які не використовують один або кілька законів аристотелевої логіки, однак при цьому є стрункими та послідовними. Наприклад, тернарна або тризначна логіка: якщо в системі Аристотеля висловлювання може бути або істинним, або хибним, то в тернарній логіці додається третя можливість: висловлювання може бути невизначеним, не істинним і не хибним (наприклад, якщо той, хто говорить, достеменно не знає, або істинність/неістинність залежить від конкретних обставин). А багатозначна логіка взагалі допускає цілий спектр рівнів істинності! Умовно кажучи, вислів "Сократ - філософ" для його учнів істинний на всі сто; для його опонентів-софістів - відсотків на п'ятдесят; а для простих афінян, які вважають Сократа небезпечним диваком, він взагалі хибний. 

На фото: підвіс "Роздуми про сенс"

Світ занадто різноманітний, щоб для його пізнання вистачало всього однієї логічної системи. Не виключено, що в майбутньому люди відкриють нові способи пізнання і нові критерії істинності та хибності... Захоплююча перспектива, чи не так?

Женя Орінго