6 основних типів логіки

Є кілька типи логіки і всі зосереджують свій об'єкт дослідження на розумінні міркування і визначають, коли вони є правильними або неправильними.

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

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

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

Найбільш відповідні типи логіки

Формальні

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

Це метод структурування думки і визначення правильних або некоректних форм конкретного підходу.

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

Тобто об'єкт вивчення формальної логіки не є емпіричним, для логіка не доречно визначати, чи є представлений аргумент реальним і доведеним; але його дослідження чітко зосереджено на структурі згаданого аргументу.

У межах формальної логіки існують дві дуже важливі класифікації: дедуктивна логіка і індуктивна логіка.

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

Наприклад, у межах дедуктивної логіки можна сказати, що, якщо у людей є ноги, а Клара - це людина, то у Клари є ноги.

У випадку індуктивної логіки побудова аргументів відбувається навпаки; тобто загальні поняття створюються з конкретних аргументів.

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

Неформальна

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

Ця логіка відрізняється від формальної логіки, оскільки формальна логіка вивчає структури речень і пропозицій; і неформальна логіка фокусується на тлі переданого повідомлення.

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

Не класична

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

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

Саме так включені математичні та символічні елементи, нові висловлювання або теореми, що компенсують недоліки формальної логічної системи..

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

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

Символічний

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

Метою символічної логіки є перетворення абстрактних думок у більш формальні структури.

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

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

Вона намагається включити математичні елементи в аналіз формальних логічних структур. У математичному полі логіка використовується для доведення теорем.

Коротше кажучи, символічна або математична логіка прагне виразити людську думку через математичну мову.

Це математичне застосування логіки дозволяє більш точні аргументи та конструкції.

Модальний

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

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

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

Обчислювальна

Обчислювальна логіка є типом логіки, що випливає з символічної або математичної логіки, тільки вона застосовується в області обчислень \ t.

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

Список літератури

1. "Логіка" в Encyclopedia Britannica. Отримано 4 серпня 2017 року з Британської енциклопедії: britannica.com
2. "Формальна логіка" в Encyclopedia Britannica. Отримано 4 серпня 2017 року з Британської енциклопедії: britannica.com
3. Ернандес, Ф. "Обчислювальна логіка" в Національному автономному університеті Мексики. Отримано 4 серпня 2017 року з Національного автономного університету Мексики: unam.mx
4. Muñoz, C. "Некласична логіка" в Мадридському університеті Комплутенсе. Отримано 4 серпня 2017 року з Universidad Complutense de Madrid: ucm.es
5. Юлія, J. "Що таке символічна логіка?" У eHow en Español. Отримано 4 серпня 2017 р. З eHow en Español: ehowenespanol.com
6. Оллер, C. "Формальна логіка і аргументація" (2006) в Національному університеті Ла-Плата. Отримано 4 серпня 2017 року з Національного університету Ла-Плата: rfytp.fahce.unlp.edu.ar
7. "Дедуктивні та індуктивні висновки" в Хунта де Естремадура. Отримано 4 серпня 2017 року в Хунта де Естремадура: educarex.es.