логіка

Знання

2022

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

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

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

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

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

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

Слово «логіка» походить від грецького голосу logiké («Наділений розумом»), від термін логотипи, однаково еквівалентний «слову» чи «думці».

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

Філософська логіка

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

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

Арістотелівська логіка

У філософській логіці традиція мислення, яка починається з праць грецького філософа Арістотеля де Естагіра (384-322 рр. до н. е.), якого вважають західним засновником логіки і одним з найважливіших авторів, відома як арістотелівська логіка. світова філософська традиція.

Основні праці Аристотеля з логіки зібрані в його Орган (від грецького «знаряддя»), складений Андроником Родоським через кілька століть після написання. У них розгортається ціла логічна система, яка була надзвичайно впливовою в Європа і на Близькому Сході до тих пір Середньовіччя.

У цій роботі, крім того, Аристотель постулював основні аксіоми логіки:

  • Принцип несуперечливості. Згідно з яким щось не може бути і не бути одночасно (A і ¬A не можуть бути істинними одночасно).
  • Принцип ідентичності. Відповідно до якого щось завжди тотожне самому собі (А завжди дорівнює А).
  • Принцип виключеного третього. Відповідно до якого щось є або не є істинним, без будь-яких можливих градацій (A або потім ¬A).

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

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

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

Математична логіка охоплює чотири основні області, а саме:

  • Теорія моделей. Який пропонує вивчення аксіоматичних теорій і математичної логіки за допомогою математичних структур, відомих як групи, тіла або графіки, таким чином приписуючи семантичний зміст чисто формальним конструкціям логіки.
  • Теорія демонстрації. Також називається теорією доказів, вона пропонує докази за допомогою математичних об’єктів і техніки математика як спосіб перевірки логічних задач. Таким чином, там, де теорія моделей має справу з наданням a семантика (зміст) до формальних структур логіки, теорія доказу має справу швидше з їх синтаксису (його впорядкування).
  • Теорія набори. Орієнтована на вивчення абстрактних колекцій об'єктів, що розуміються самі по собі як об'єкти, а також їх основних операцій і взаємозв'язків. Ця галузь математичної логіки є однією з найбільш фундаментальних, що існує, настільки, що вона становить основний інструмент будь-якої математичної теорії.
  • Теорія обчислюваності. Спільна область між математикою та обчислення або обчислення, вивчає проблеми вирішення, на які а алгоритм (еквівалент машини Тьюринга) може впоратися. Для цього він використовує теорію множин, розуміючи їх як обчислювані або не обчислювані множини.

Обчислювальна логіка

Обчислювальна логіка створює інтелектуальні обчислювальні системи.

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

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

Формальна і неформальна логіка

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

  • Формальна логіка. Це той, який піклується про формальну мову, тобто про спосіб вираження її змісту, використовуючи його строго, без двозначності, таким чином, щоб дедуктивний шлях можна було проаналізувати з дійсності його змісту. форми (звідси його назва).
  • Неформальна логіка. Замість цього вивчайте їх аргументи a posteriori, розрізняючи дійсні та недійсні форми від наданої інформації, незалежно від її логічної форми чи її формальної мови. Цей варіант виник у середині 20 століття як дисципліна у рамках філософії.
!-- GDPR -->