- Найбільш відповідні типи логіки
- Формальна логіка
- Неформальна логіка
- Некласична логіка
- Символічна логіка
- Модальна логіка
- Обчислювальна логіка
- Список літератури
Існує кілька типів логіки, і всі вони зосереджують свій предмет дослідження на розумінні міркувань та виявленні, коли вони правильні чи неправильні. Вивчення логіки еволюціонувало від часів грецького філософа Арістотеля до наших днів.
Етика коригується з наміром бути більш конкретною і, водночас, більш адаптованою до повсякденного життя людини, що дозволяє більш відчутно застосовуватись у різних сферах.
Арістотель, визнаний батьком логіки.
Логіка спрямована на систематичне вивчення аргументів та пропозицій, а різні типи логіки дозволяють вивчити як формальну структуру цих тверджень, так і те, що має відношення до змісту та сили зазначеного змісту.
Хоча логіка заснована на вивченні тверджень, вона не зосереджується чітко на природній мові (мові, якою ми її знаємо), але її корисність досягла різних областей і з різними структурами, такими як математика та обчислення.
Найбільш відповідні типи логіки
Формальна логіка
Формальна логіка, також відома як класична логіка або арістотелівська логіка, - це вивчення пропозицій, аргументів, тверджень або пропозицій зі структурної точки зору. Це метод структурування думки та визначення правильних чи неправильних форм конкретного підходу.
Формальна логіка не зосереджується на правдивості чи хибності змісту певного аргументу, а скоріше фокусується на обґрунтованості чи ні конструкції його форми.
Тобто об’єкт дослідження формальної логіки не є емпіричним, тому що логік не має значення визначати, чи є представлений аргумент реальним та доведеним; Скоріше, його дослідження чітко орієнтоване на структуру зазначеного аргументу.
У формальній логіці є дві дуже важливі класифікації: дедуктивна логіка та індуктивна логіка.
Дедуктивна логіка відноситься до тих конкретних тверджень, які породжуються із загальних понять. За допомогою цього типу логіки можна зробити висновки з концепцій чи теорій, які вже існують.
Наприклад, у дедуктивній логіці можна сказати, що якщо у людей ноги, а Клара - людина, то у Клари є ноги.
У випадку індуктивної логіки побудова аргументів відбувається навпаки; тобто загальні поняття створюються з конкретних аргументів.
Наприклад, в індуктивній логіці можна сказати, що якщо одна кішка любить рибу, а інша теж їй подобається, а інша теж, то всі коти люблять рибу.
Неформальна логіка
Неформальна логіка - галузь дослідження, яка фокусується на мові та повідомленні, що випливає із смислових конструкцій та аргументів.
Ця логіка відрізняється від формальної логіки тим, що формальна логіка вивчає структури речень і пропозицій; а неформальна логіка фокусується на суті переданого повідомлення.
Її об'єктом дослідження є спосіб аргументувати отримання бажаного результату. Неформальна логіка надає обґрунтованості логічним аргументам, які є більш узгодженими серед інших, які мають слабку аргументативну структуру.
Некласична логіка
Некласична логіка, або сучасна логіка, бере свій початок у ХІХ столітті і виникає на противагу твердженням класичної логіки. Він встановлює інші форми аналізу, які можуть охопити більше аспектів, ніж ті, які можуть бути охоплені класичним підходом до логіки.
Ось так включаються математичні та символічні елементи, нові твердження чи теореми, які з'явилися для усунення недоліків формальної логічної системи.
У межах некласичної логіки існують різні підтипи логіки, такі як модальна, математична, тривалентна серед інших.
Усі ці типи логіки певною мірою відрізняються від формальної логіки або включають нові елементи, які є взаємодоповнюючими, і дозволяють логічному вивченню певного твердження бути більш точним та адаптованим до корисності у повсякденному житті.
Символічна логіка
Символічну логіку ще називають логікою першого порядку, або математичною логікою, і вона характеризується використанням символів, що складають нову мову, за допомогою якої аргументи «перекладаються».
Намір символічної логіки полягає в перетворенні абстрактних думок у більш формальні структури. Насправді вона не використовує природну мову (ідіому), але використовує технічну мову, яка перетворює речення в елементи, сприйнятливі до застосування більш точних правил, ніж це може бути застосовано в природній мові.
Так, символічна логіка дозволяє звертатися з пропозиціями через закони числення, щоб уникнути плутанини чи неточностей.
Він прагне включити математичні елементи в аналіз структур формальної логіки. У математичній царині логіка використовується для доведення теорем.
Коротше кажучи, символічна або математична логіка прагне висловити людську думку за допомогою математичної мови.
Це математичне застосування логіки дозволяє більш точно точити аргументи та конструкції.
Модальна логіка
Модальна логіка фокусується на дослідженні аргументів, але додає елементи, пов’язані з можливістю, що твердження, про яке йдеться, є істинним або хибним.
Модальна логіка намагається більше співзвучитися з людською думкою, тому вона охоплює використання конструкцій, таких як "міг", "можливо", "іноді", "можливо", "ймовірно", "ймовірно", "можливо ", серед іншого.
У модальній логіці йдеться про розгляд сценарію, в якому є можливість, і він, як правило, розглядає всі можливості, які можуть існувати, з логічної точки зору.
Обчислювальна логіка
Обчислювальна логіка - це тип логіки, що походить від символічної або математичної логіки, лише вона застосовується в області обчислень.
Комп'ютерні програми використовують мову програмування для свого розвитку, і за логікою можливо працювати над цими мовними системами, призначати конкретні завдання та виконувати перевірочні дії.
Список літератури
- "Логіка" в Енциклопедії Британіка. Отримано 4 серпня 2017 року з Encyclopedia Britannica: britannica.com
- "Формальна логіка" в Енциклопедії Британіка. Отримано 4 серпня 2017 року з Encyclopedia Britannica: britannica.com
- Ернандес, Ф. "Обчислювальна логіка" в Національному автономному університеті Мексики. Отримано 4 серпня 2017 року з Національного автономного університету Мексики: unam.mx
- Муньос, C. "Некласична логіка" в Мадридському університеті "Комплутенс". Отримано 4 серпня 2017 року з Мадридського університету Complutense: ucm.es
- Юлія Дж. "Що таке символічна логіка?" в eHow іспанською мовою. Отримано 4 серпня 2017 року з eHow іспанською мовою: ehowenespanol.com
- Оллер, C. "Формальна логіка та аргументація" (2006) у Національному університеті Ла-Плата. Отримано 4 серпня 2017 року з Національного університету Ла-Плата: rfytp.fahce.unlp.edu.ar
- "Дедуктивні та індуктивні умовиводи" в Хунта де Естремадура. Отримано 4 серпня 2017 року в Хунта де Естремадура: educarex.es.