4 найбільш важливих типи логіки (і особливостей)
Логіка - це дослідження міркування та висновків , Це набір питань та аналізів, які дозволили нам зрозуміти, наскільки вагомі аргументи відрізняються від помилок і як ми надходимо до них.
Для цього розробка різних систем і форм навчання була незамінною, що призвело до чотирьох основних типів логіки. Нижче ми побачимо, про кого з них.
- Рекомендована стаття: ["10 типів логічних та аргументаційних помилок"] (10 типів логічних та аргументаційних помилок)
Що таке логіка?
Слово "логіка" походить від грецьких "логотипів", які можуть бути перекладені різними шляхами: одне з основних є словом, думкою, аргументом, принципом або причиною. У цьому сенсі логіка полягає у вивченні принципів та міркування.
Це дослідження має на меті розуміння різних критеріїв висновків і того, як ми приходимо до дійсних демонстрацій, на відміну від недійсних демонстрацій. Отже, основним питанням логіки є те, наскільки правильне мислення і як ми можемо розрізняти дійсний аргумент і помилку?
Щоб відповісти на це питання, логіка пропонує різні способи класифікації тверджень і аргументів, незалежно від того, відбуваються вони в офіційній системі або на природній мові. Зокрема, він аналізує пропозиції (декларативні пропозиції), які можуть бути правдивими або помилковими, а також помилками, парадоксами, аргументами, що містять причинно-наслідкові зв'язки та загалом теорію аргументації.
Загалом, вважати систему логічною, вона повинна відповідати трьом критеріям:
- Послідовність (немає суперечностей між теоремами, що складають систему)
- Твердість (тестові системи не містять помилкових висновків)
- Завершено (всі справжні речення мають бути доведені)
4 типи логіки
Як ми бачили, логіка використовує різні інструменти, щоб зрозуміти міркування, які ми використовуємо, щоб виправдати щось. Традиційно розпізнаються чотири основні типи логіки, кожна з яких має певні підтипи та специфіку. Нижче ми будемо бачити, що стосується кожного.
1. Формальна логіка
Також відома як традиційна логіка чи філософська логіка мова йде про вивчення висновків із суто формального та явного змісту , Йдеться про аналіз формальних тверджень (логічних або математичних), значення яких не є внутрішнім, але його символи мають сенс через корисне застосування, яке їм дано. Філософська традиція, з якої випливає останнє, називається саме "формалізм".
У свою чергу, формальна система є тією, яка використовується для виведення висновку з одного або декількох приміщень. Останні можуть бути аксіомами (самоочевидними пропозиціями) або теоремами (висновки фіксованого набору правил висновків і аксіом).
2. Неформальна логіка
Зі свого боку, неформальна логіка - це нещодавня дисципліна, яка вивчати, оцінювати та аналізувати аргументи, викладені на природній або повсякденній мові , Отже, вона отримує категорію "неформальна". Це може бути як розмовна, так і письмова мова, або будь-який тип механізму та взаємодії, що використовується для комунікації. На відміну від формальної логіки, яка, наприклад, буде застосовуватися до вивчення та розвитку комп'ютерних мов; формальна мова відноситься до мов і мов.
Таким чином, неофіційна логіка може аналізувати з особистих міркувань та аргументів до політичних дебатів, правових аргументів або положень, розповсюджених ЗМІ, таких як газети, телебачення, Інтернет тощо.
3. Символічна логіка
Як випливає з назви, символічна логіка аналізує зв'язок між символами. Іноді він використовує складну математичну мову, оскільки вона відповідає за вивчення проблем, які традиційна формальна логіка вважає складною або важкою для вирішення. Зазвичай він ділиться на два підтипи:
- Передбачувана логіка або перший порядок : це формальна система, що складається з формул та кількісно змінних
- Пропозиційний : це формальна система, що складається з пропозицій, які здатні створювати інші пропозиції через роз'єми, які називаються "логічним сполученням". У цьому майже немає кількісних змінних.
4. Математична логіка
Залежно від автора, який його описує, математичну логіку можна вважати типом формальної логіки. Інші вважають, що математична логіка включає як застосування формальної логіки до математики, так і застосування математичних міркувань до формальної логіки.
Загалом, застосування математичної мови в побудові логічних систем дає можливість відтворити людський розум. Наприклад, це було дуже актуальним у розвитку штучного інтелекту та в обчислювальних парадигмах вивчення пізнання.
Зазвичай він ділиться на два підтипи:
- Логіка : мова йде про застосування логіки в математиці. Прикладами цього типу є теорія доказів, теорія моделі, теорія множин та теорія рекурсії.
- Інтуїція : стверджує, що і логіка, і математика - це методи, застосування яких узгоджується з виконанням складних психічних конструкцій. Але він каже, що самі по собі логіка та математика не можуть пояснити глибоких властивостей елементів, які вони аналізують.
Індуктивні, дедуктивні та модальні міркування
З іншого боку Є три типи міркування, які також можна вважати логічними системами , Це механізми, які дозволяють робити висновки з приміщень. Дедуктивні міркування робить таке вилучення з загальної посилки до певної посилки. Класичним прикладом є те, що запропонував Арістотель: всі люди смертні (це загальна посилка); Сократ - це людина (це головна посилка), і, нарешті, Сократ смертний (це висновок).
Зі свого боку, індуктивне міркування - це процес, за допомогою якого робиться висновок у протилежному напрямку: від конкретного до загального. Прикладом цього може служити "Всі ворони, які я бачу, чорні" (конкретна посилка); тоді всі ворони чорні (висновок).
Нарешті, міркування чи модальна логіка грунтуються на імовірнісних аргументах, тобто вони виражають можливість (модальність). Це формальна логічна система, яка включає такі терміни, як "міг", "може", "повинен", "в кінцевому підсумку".
Бібліографічні посилання:
- Грорак, Л. (2017). Неформальна логіка. Стенфордська енциклопедія філософії. Отримано 2 жовтня 2018 р. Доступно за адресою //plato.stanford.edu/entries/logic-informal/
- Логіка (2018). Основи філософії. Отримано 2 жовтня 2018 р. Доступно за адресою //www.philosophybasics.com/branch_logic.html
- Шапіро, С. і Курі, С. (2018). Класична логіка. Отримано 2 жовтня 2018 р. Доступно в "логіці" (2018). Основи філософії. Отримано 2 жовтня 2018 р. Доступно за адресою //www.philosophybasics.com/branch_logic.html
- Гарсон, Дж. (2018). Модальна логіка. Стенфордська енциклопедія філософії. Отримано 2 жовтня 2018 р. Доступно за адресою //plato.stanford.edu/entries/logic-modal/
