logika

Znalost

2022

Vysvětlíme, co je logika a jaké jsou vlastnosti filozofické, aristotelské, matematické, výpočetní, formální a neformální logiky.

Logika se používá v různých procesech, jako je důkaz, inference nebo dedukce.

co je logika?

Logika je a formální věda, který je součástí filozofie a z matematika. Zaměřuje se na studium platných a neplatných postupů myslel, to znamená v procesech, jako je demonstrace, inference nebo dedukce, stejně jako v konceptech, jako jsou klamy, paradoxy a pravda.

Logika je a disciplína extrémně starodávný, nezávisle zrozený mezi mysliteli velkých klasické a starověké civilizacejako Číňané, Řekové nebo Indové. Od svých počátků byla chápána jako způsob posuzování myšlenky, který má ověřit její formální platnost, tedy rozpoznat, jaký je ideální postup uvažování, ten, který skutečně vede k pravdě.

Nicméně, od 20. století na, to bylo považováno za obor více podobný matematice, jak aplikace latter získaly velký průmyslový, společenský a technologický význam.

Slovo „logika“ má svůj původ v řeckém hlasu logické ("Obdařen rozumem"), z výrazu loga, ekvivalentní ke „slovu“ nebo „myšlence“.

V běžném jazyce však toto slovo používáme jako synonymum pro „zdravý rozum“, tedy v hodnotném nebo ceněném způsobu myšlení, v jejich příslušných kontexty možný. Používá se také jako a synonymní "způsobu myšlení", jako když se odkazuje na "sportovní logiku", "vojenskou logiku" a tak dále.

Filosofická logika

Tímto pojmem nazýváme oblasti filozofie, ve kterých se metody logiky vyřešit nebo posouvat určitá filozofická dilemata, přičemž je možné je zvládnout v rámci uvažované tradiční logiky nebo naopak logiky neklasické. Tedy logika v rámci filozofie.

Je to disciplína velmi blízká filozofii Jazyk, a je v podstatě pokračováním logiky starověku, zaměřené na myšlení a přirozený jazyk. Tento název běžně používáme, abychom jej odlišili od nejnovější matematické logiky.

Aristotelská logika

V rámci filozofické logiky je myšlenková tradice, která začíná díly řeckého filozofa Aristotela de Estagira (384-322 př. n. l.), považovaného za západního zakladatele logiky a jednoho z nejvýznamnějších autorů, známá jako aristotelská logika. světové filozofické tradice.

Aristotelova hlavní díla o logice jsou shromážděna v jeho Orgán (z řeckého „nástroj“), sestavil Andronicus z Rhodu několik století po napsání. V nich se odvíjí celý logický systém, který byl nesmírně vlivný Evropa a na Středním východě až poté Středověk.

V této práci navíc Aristoteles postuloval základní axiomy logiky:

  • Zásada nerozporů. Podle kterého něco nemůže být a zároveň nebýt (A a ¬A nemohou být zároveň pravdivé).
  • Princip identity. Podle kterého je něco vždy totožné samo se sebou (A se vždy rovná A).
  • Princip vyloučené třetiny. Podle čeho něco je nebo není pravda, bez jakýchkoliv možných gradací (A nebo pak ¬A).

Matematická logika

Je známá jako matematická logika, také nazývaná symbolická logika, formální logika, teoretická nebo logistická logika, na aplikaci logické myšlení do určitých oblastí matematiky a Věda.

To implikuje studium procesu vyvozování prostřednictvím formálních systémů reprezentace, jako je výroková logika, modální logika nebo logika prvního řádu, které umožňují „přeložit“ přirozený jazyk do matematického jazyka za účelem vytvoření rigorózních demonstrací.

Matematická logika zahrnuje čtyři hlavní oblasti, kterými jsou:

  • Teorie modelu. Který navrhuje studium axiomatických teorií a matematické logiky prostřednictvím matematických struktur známých jako grupy, tělesa nebo grafy, čímž přisuzuje sémantický obsah čistě formálním konstrukcím logiky.
  • Demonstrační teorie. Také se nazývá teorie důkazů a navrhuje důkazy pomocí matematických objektů a techniky matematika jako způsob kontroly logických problémů. Pokud se tedy teorie modelu zabývá dáváním a sémantika (význam) k formálním strukturám logiky se Teorie důkazu zabývá spíše jejich syntax (jeho objednání).
  • Teorie o sady. Zaměřeno na studium abstraktních sbírek předmětů, chápaných samy o sobě jako předměty, i jejich základních operací a vzájemných vztahů. Tato větev matematické logiky je jednou z nejzákladnějších, která existuje, natolik, že tvoří základní nástroj jakékoli matematické teorie.
  • Teorie vyčíslitelnosti. Sdílená oblast mezi matematikou a výpočetní nebo výpočetní, studuje rozhodovací problémy, ke kterým a algoritmus (ekvivalent Turingova stroje) si poradí. K tomu využívá teorii množin, chápe je jako vyčíslitelné nebo nevyčíslitelné množiny.

Výpočetní logika

Výpočetní logika vytváří inteligentní výpočetní systémy.

Výpočetní logika je stejná matematická logika, ale aplikovaná na oblast výpočetní techniky, to znamená na různých základních úrovních výpočetní techniky: výpočetní obvody, programování logiky a řídicích algoritmů. Součástí je také umělá inteligence, která je v této oblasti poměrně nedávným oborem.

Dalo by se říci, že obecně řečeno, výpočetní logika aspiruje na to, aby napájela počítačový systém logickými strukturami, které vyjadřují v matematickém jazyce různé možnosti lidského myšlení, a tak vytvářejí inteligentní počítačové systémy.

Formální a neformální logika

Často se také rozlišuje mezi dvěma samostatnými oblastmi logiky: formální a neformální, na základě jejich přístupu k jazyku, ve kterém jsou výroky vyjádřeny.

  • Formální logika. Je to ten, kdo dbá na formální jazyk, tedy na způsob vyjadřování jeho obsahů, používá je přísně, bez dvojznačností tak, aby z platnosti jeho obsahu bylo možné analyzovat deduktivní cestu. tvary (odtud jeho název).
  • Neformální logika. Místo toho studujte jejich argumenty a posteriori, rozlišující platné a neplatné formy od dané informace, bez ohledu na její logickou formu nebo formální jazyk. Tato varianta se objevila v polovině 20. století jako disciplína v rámci filozofie.
!-- GDPR -->