4 найважливіші типи логіки (і функції)

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

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

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

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

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

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

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

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

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

4 типи логіки

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Groarke, L. (2017). Неформальна логіка. Енциклопедія філософії в Стенфорді. Отримано 2 жовтня 2018 року. Доступно за адресою https://plato.stanford.edu/entries/logic-informal/
• Логіка (2018). Основи філософії. Отримано 2 жовтня 2018 р. Доступно за адресою https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. and Kouri, S. (2018). Класична логіка. Отримано 2 жовтня 2018 року. Доступно в логіці (2018). Основи філософії. Отримано 2 жовтня 2018 р. Доступно за адресою https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Модальна логіка. Енциклопедія філософії в Стенфорді. Отримано 2 жовтня 2018 року. Доступно за адресою https://plato.stanford.edu/entries/logic-modal/