4 найважливіших типи логіки (та характеристики)

Логіка - це вивчення міркувань та умовиводів. Це сукупність питань та аналізів, які дали змогу зрозуміти, наскільки вагомі аргументи відрізняються від помилок і як ми до них дійшли.

Для цього важливим є розвиток різних систем та форм навчання, що призвело до чотирьох основних типів логіки. Про що йдеться в кожному з них, ми побачимо нижче.

• Рекомендована стаття: "10 типів логічних та аргументованих помилок"

Що таке логіка?

Слово "логіка" походить від грецького "logos", що може бути перекладено різними способами: слово, думка, аргумент, принцип чи причина є одними з основних. У цьому сенсі логіка - це вивчення принципів та міркувань.

Це дослідження має на меті зрозуміти різні критерії висновків та те, як ми отримуємо дійсні докази, на відміну від недійсних доказів. Отже, основне питання логіки полягає в тому, що таке правильне мислення і як ми можемо відрізнити дійсний аргумент від помилки?

Щоб відповісти на це запитання, логіка пропонує різні способи класифікації висловлювань та аргументів, незалежно від того, відбуваються вони в офіційних системах чи в природній мові. Зокрема, він аналізує пропозиції (декларативні речення), які можуть бути істинними або хибними, а також помилки, парадокси, аргументи, що стосуються причинності та, загалом, теорії аргументація.

Загалом, щоб розглядати систему як логічну, вони повинні відповідати трьом критеріям:

• Послідовність (немає протиріччя між теоремами, що складають систему)
• Солідність (тестові системи не включають хибних висновків)
• Повнота (усі справжні речення повинні перевірятися)

4 типи логіки

Як ми вже бачили, логіка використовує різні інструменти, щоб зрозуміти міркування, якими ми обґрунтовуємо щось. Традиційно розпізнаються чотири основні типи логіки, кожен з яких має деякі підтипи та особливості. Про що йде мова, ми побачимо нижче.

1. Формальна логіка

Також відомий як традиційна логіка або філософська логіка, це дослідження умовиводів із суто формальним та явним змістом. Йдеться про аналіз формальних висловлювань (логічних або математичних), значення яких не є власним, а його символи мають сенс завдяки корисному застосуванню, яке вони дають. Філософська традиція, з якої походить остання, точно називається "формалізмом".

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

Висновки, до яких ми прийшли через офіційну логіку, якщо вони базуються на дійсних приміщеннях і відсутні помилки в логічних операціях, вони істинні самі по собі. Насправді це призводить до відкритої дискусії про те, чи формальна логіка належить до світу науки. або вони належать до іншої галузі знань, оскільки вони не описують реальність, а скоріше свої власні правила функціонування.

2. Неформальна логіка

Зі свого боку, неформальна логіка є більш пізньою дисципліною, яка вивчає, оцінює та аналізує аргументи, розгорнуті природною або повсякденною мовою. Отже, він отримує категорію "неформальний". Це може бути як розмовна, так і письмова мова, або будь-який тип механізму та взаємодії, що використовується для передачі чогось. На відміну від формальної логіки, яка, наприклад, застосовувалася б до вивчення та розвитку комп’ютерних мов; формальна мова відноситься до мов та мов.

Таким чином, неформальна логіка може аналізувати все: від особистих міркувань та аргументів до політичних дебатів, юридичні аргументи або приміщення, що поширюються засобами масової інформації, такими як газета, телебачення, Інтернет, тощо

3. Символічна логіка

Як випливає з назви, символічна логіка аналізує взаємозв'язки між символами. Іноді він використовує складну математичну мову, оскільки він відповідає за вивчення проблем, які традиційна формальна логіка ускладнює або важко вирішити. Зазвичай його поділяють на два підтипи:

• Предикативна логіка або логіка першого порядку: це формальна система, що складається з формул та кількісних змінних
• Пропозиційний: це формальна система, що складається з пропозицій, які здатні створювати інші пропозиції за допомогою сполучників, які називаються "логічними сполучниками". У цьому майже немає кількісних змінних.

4. Математична логіка

Залежно від автора, який її описує, математичну логіку можна вважати різновидом формальної логіки. Інші вважають, що математична логіка включає як застосування формальної логіки до математики, так і застосування математичних міркувань до формальної логіки.

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

Зазвичай його поділяють на два підтипи:

• Логічність: йдеться про застосування логіки в математиці. Прикладами цього типу є теорія доказів, теорія моделей, теорія множин і теорія рекурсії.
• Інтуїціонізм: стверджує, що і логіка, і математика є методами, застосування яких узгоджується для виконання складних розумових конструкцій. Але він каже, що самі по собі логіка та математика не можуть пояснити глибинні властивості елементів, які вони аналізують.

Індуктивні, дедуктивні та модальні міркування

З іншої сторони, існує три типи міркувань, які також можна вважати логічними системами. Це механізми, які дозволяють робити висновки з передумов. Дедуктивне міркування робить це вилучення із загальної передумови до певної передумови. Класичний приклад - той, який запропонував Арістотель: Усі люди смертні (це загальна передумова); Сократ - людина (це головна передумова), і нарешті, Сократ смертний (це висновок).

Зі свого боку, індуктивне міркування - це процес, за допомогою якого робиться висновок у зворотному напрямку: від конкретного до загального. Прикладом цього може бути "Усі ворони, яких я бачу, чорні" (конкретна передумова); тож усі ворони чорні (висновок).

Нарешті, міркування або модальна логіка базуються на ймовірнісних аргументах, тобто вони виражають можливість (модальність). Це формальна логічна система, що включає такі терміни, як "міг", "може", "повинен", "врешті-решт".

Бібліографічні посилання:

• Грурк, Л. (2017). Неформальна логіка. Стенфордська енциклопедія філософії. Процитовано 2 жовтня 2018. Доступно в https://plato.stanford.edu/entries/logic-informal/
• Логіка (2018). Основи філософії. Процитовано 2 жовтня 2018. Доступно в https://www.philosophybasics.com/branch_logic.html
• Маньяні, Л. (2001). Викрадення, причина та наука: процеси відкриття та пояснення. Нью-Йорк: Видавці академічного пленуму Kluwer.
• Макгінн, К. (2000). Логічні властивості: ідентичність, існування, передбачення, необхідність, істина. Оксфорд: Clarendon Press.
• Куайн, В.В.О. (1986) (1970). Філософія логіки. Кембридж, Массачусетс.: Harvard University Press.
• Шапіро, С. та Коурі, С. (2018). Класична логіка. Процитовано 2 жовтня 2018. Доступно в логіці (2018). Основи філософії. Процитовано 2 жовтня 2018. Доступно в https://www.philosophybasics.com/branch_logic.html
• Гарсон, Дж. (2018). Модальна логіка. Стенфордська енциклопедія філософії. Процитовано 2 жовтня 2018. Доступно в https://plato.stanford.edu/entries/logic-modal/