6 TYPŮ LOGIKY A JEJICH VÝZNAM - FILOZOFIE - 2025

Existuje několik typů logiky a všechny zaměřují svůj předmět studia na porozumění úvahám a identifikaci, zda jsou správné nebo nesprávné. Studie logiky se vyvinula od dob řeckého filozofa Aristotela až po současnost.

Etika se přizpůsobuje se záměrem být konkrétnější a zároveň více přizpůsobena každodennímu životu člověka, což umožňuje hmatatelnější uplatnění v různých oblastech.

Aristoteles, uznávaný jako otec logiky.

Logika usiluje o systematické studium argumentů a návrhů a různé typy logiky umožňují studovat jak formální strukturu těchto tvrzení, tak i to, co má co do činění s obsahem a sílu uvedeného obsahu.

Ačkoli logika je založena na studiu prohlášení, nezaměřuje se jasně na přirozený jazyk (jazyk, jak jej známe), ale jeho užitečnost zasáhla různé oblasti as různými strukturami, jako je matematika a výpočetní.

Nejrelevantnější typy logiky

Formální logika

Formální logika, také známá jako klasická logika nebo aristotelská logika, je studium návrhů, argumentů, výroků nebo vět ze strukturálního hlediska. Je to metoda strukturování myšlení a určení správných nebo nesprávných forem specifického přístupu.

Formální logika se nezaměřuje na pravdivost nebo nepravdivost obsahu konkrétního argumentu, nýbrž spíše na platnost nebo ne na konstrukci jeho formy.

To znamená, že předmět studia formální logiky není empirický, pro logika není relevantní určovat, zda je předložený argument skutečný a prokázaný; Jeho studie se spíše zaměřuje na strukturu uvedeného argumentu.

V rámci formální logiky existují dvě velmi důležité klasifikace: deduktivní logika a induktivní logika.

Deduktivní logika se týká těch specifických příkazů, které jsou generovány z obecných pojmů. Prostřednictvím tohoto typu logiky lze učinit závěry z již existujících konceptů nebo teorií.

Například v rámci deduktivní logiky lze říci, že pokud lidé mají nohy a Clara je lidská bytost, pak má Clara nohy.

V případě induktivní logiky se konstrukce argumentů stává opačným způsobem; to znamená, že obecné pojmy jsou vytvářeny z konkrétních argumentů.

Například v rámci induktivní logiky lze říci, že pokud má jedna kočka ráda ryby, druhá ráda taky a další taky, pak všechny kočky mají rádi ryby.

Neformální logika

Neformální logika je obor, který se zaměřuje na jazyk a poselství, které vychází ze sémantických konstrukcí a argumentů.

Tato logika se liší od formální logiky, protože formální logika studuje strukturu vět a výroků; a neformální logika se zaměřuje na podstatu přenášené zprávy.

Jeho předmětem studia je způsob, jak se dohadovat k dosažení požadovaného výsledku. Neformální logika dává platnost logickým argumentům, které jsou soudržnější mezi ostatními, které mají slabší argumentační strukturu.

Neklasická logika

Neklasická logika nebo moderní logika pochází z devatenáctého století a vzniká v opozici vůči výrokům klasické logiky. Stanovuje další formy analýzy, které mohou pokrýt více aspektů než těch, které lze pokrýt klasickým přístupem k logice.

Takto jsou zahrnuty matematické a symbolické prvky, nová tvrzení nebo věty, které nahradily nedostatky formálního logického systému.

V neklasické logice existují různé podtypy logiky, mezi jinými modální, matematické, trivalentní.

Všechny tyto typy logiky se do jisté míry liší od formální logiky nebo obsahují nové prvky, které se doplňují, a umožňují, aby logická studie konkrétního tvrzení byla přesnější a přizpůsobená užitečnosti v každodenním životě.

Symbolická logika

Symbolická logika se také nazývá logika prvního řádu nebo matematická logika a je charakterizována použitím symbolů, které tvoří nový jazyk, přes který jsou argumenty „přeloženy“.

Záměrem symbolické logiky je převést abstraktní myšlenky do formálnějších struktur. Ve skutečnosti nepoužívá přirozený jazyk (idiom), ale používá technický jazyk, který přeměňuje věty v prvky citlivé na uplatňování přesnějších pravidel, než je možné použít v přirozeném jazyce.

Symbolická logika tedy umožňuje vyřizování propozic prostřednictvím zákonů počtu, aby nedošlo k záměně nebo nepřesnostem.

Snaží se začlenit matematické prvky do analýzy struktur formální logiky. V matematické oblasti se logika používá k prokázání vět.

Stručně řečeno, symbolická nebo matematická logika se snaží vyjádřit lidské myšlení prostřednictvím matematického jazyka.

Tato matematická aplikace logiky umožňuje přesnější argumenty a konstrukce.

Modální logika

Modální logika se zaměřuje na studium argumentů, ale přidává prvky související s možností, že daný výrok je pravdivý nebo nepravdivý.

Modální logika se snaží být více v souladu s lidským myšlením, proto zahrnuje použití konstrukcí jako „mohl“, „možná“, „někdy“, „možná“, „pravděpodobně“, „je pravděpodobné“, „možná“ ", mimo jiné.

V modální logice jde o zvažování scénáře, ve kterém existuje možnost, a má tendenci zvažovat všechny možnosti, které mohou existovat, z logického hlediska.

Výpočtová logika

Výpočtová logika je druh logiky odvozené ze symbolické nebo matematické logiky, pouze se používá v oblasti výpočetní techniky.

Počítačové programy používají pro svůj vývoj programovací jazyk a logicky je možné na těchto jazykových systémech pracovat, přiřazovat specifické úkoly a provádět ověřovací akce.

Reference

1. "Logika" v encyklopedii Britannica. Citováno z 4. srpna 2017 z Encyklopedie Britannica: britannica.com
2. "Formální logika" v encyklopedii Britannica. Citováno z 4. srpna 2017 z Encyklopedie Britannica: britannica.com
3. Hernández, F. "Výpočetní logika" na Národní autonomní univerzitě v Mexiku. Citováno 4. srpna 2017 z Národní autonomní univerzity v Mexiku: unam.mx
4. Muñoz, C. „Neklasická logika“ na Complutense University v Madridu. Citováno 4. srpna 2017 z Univerzity Complutense v Madridu: ucm.es
5. Julia, J. „Co je to symbolická logika?“ v eHow ve španělštině. Citováno 4. srpna 2017 z eHow ve španělštině: ehowenespanol.com
6. Oller, C. „Formální logika a argumentace“ (2006) na Národní univerzitě v La Plata. Citováno z 4. srpna 2017 z Národní univerzity v La Plata: rfytp.fahce.unlp.edu.ar
7. "Deduktivní a induktivní závěry" v Junta de Extremadura. Citováno 4. srpna 2017 v Junta de Extremadura: educarex.es.