Podíl:
6 hlavních logických typů
Je jich několik typy logiky a všechny zaměřují svůj předmět studia na pochopení uvažování a identifikují, kdy jsou správné nebo nesprávné.
Studium logiky se vyvinulo z dob řeckého filosofa Aristotela až do současnosti, což bylo upraveno s úmyslem být konkrétnější a zároveň více přizpůsobené každodennímu životu lidské bytosti, což jí umožňuje konkrétnější aplikace v různých oblastech.
Logika hledá systematické studium argumentů a propozic a různé typy logiky umožňují, aby bylo možné studovat jak čistě formální strukturu těchto výroků, tak to, co má co do činění s obsahem a silou tohoto obsahu..
Ačkoli logika je založena na studiu výpovědí, nezaměřuje se jasně na přirozený jazyk (jazyk, jak ho známe), ale jeho užitečnost dosáhla různých oblastí as různými strukturami, jako je matematika a matematika. výpočetní techniky.
Nejdůležitější typy logiky
Formální
Formální logika, známá také jako klasická logika nebo aristoteliánská logika, je studiem výroků, argumentů, výroků nebo vět ze strukturálního hlediska..
Jedná se o metodu strukturování myšlení a určování správných nebo nesprávných forem specifického přístupu.
Formální logika se nezaměřuje na pravdu nebo nepravdivost obsahu konkrétního argumentu, ale zaměřuje se na platnost či jinou konstrukci jeho formy..
To znamená, že předmět studia formální logiky není empirický, pro logika není relevantní určit, zda je předložený argument skutečný a prokázaný; ale jeho studie je jasně zaměřena na strukturu uvedeného argumentu.
V rámci formální logiky existují dvě velmi důležité klasifikace: deduktivní logika a indukční logika.
Deduktivní logika se týká těch specifických výroků, které jsou generovány z obecných pojmů. Prostřednictvím tohoto typu logiky lze vyvodit závěry z konceptů nebo teorií, které již existují.
Například v rámci deduktivní logiky lze říci, že pokud mají lidé nohy a Clara je lidská bytost, pak má Clara nohy.
V případě indukční logiky se konstrukce argumentů opakuje; to znamená, že obecné pojmy jsou vytvořeny ze specifických argumentů.
Například v rámci induktivní logiky by se dalo říci, že pokud má kočka ráda rybu a další se jí líbí, a další, pak všechny kočky jako ryby.
Neformální
Neformální logika je obor studia, který se zaměřuje na jazyk a poselství, které vychází ze sémantických konstrukcí a argumentů.
Tato logika je odlišná od formální logiky, ve které formální logika studuje struktury vět a propozic; a neformální logika se zaměřuje na pozadí přenášené zprávy.
Předmětem studia je způsob, jak se dohadovat o dosažení požadovaného výsledku. Neformální logika potvrzuje logické argumenty, které jsou více koherentní mezi ostatními, které mají slabší argumentační strukturu.
Není klasická
Neklasická logika, nebo moderní logika, pochází z devatenáctého století a vzniká v opozici k výrokům klasické logiky.
Zavádí další formy analýzy, které mohou pokrývat více aspektů, než je možné zahrnout klasickým přístupem logiky.
Zde jsou zahrnuty matematické a symbolické prvky, nové výroky nebo teorémy, které nahradily nedostatky formálního logického systému..
Uvnitř non-klasická logika tam jsou různé subtypy logiky, takový jak modální, matematický, trivalentní, mezi ostatními..
Všechny tyto typy logiky se do jisté míry liší od formální logiky, nebo začleňují nové prvky, které se doplňují, a umožňují, aby logické studium konkrétního prohlášení bylo přesnější a přizpůsobené užitku v každodenním životě..
Symbolické
Symbolická logika je také nazývána logikou prvního řádu, nebo matematickou logikou, a je charakterizován používáním symbolů, které tvoří nový jazyk přes kterého “překládat” argumenty \ t.
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 (jazyk), ale používá technický jazyk, který převádí věty na prvky náchylné k aplikaci přesnějších pravidel, než je možné použít v přirozeném jazyce..
Symbolická logika pak umožňuje zpracování propozic prostřednictvím zákonů výpočtu, aby se zabránilo zmatku nebo nepřesnostem.
Snaží se začlenit matematické prvky do analýzy formálních logických struktur. V matematickém poli, logika je používána ukázat věty.
V krátkosti, symbolická nebo matematická logika snaží se vyjádřit lidské myšlení přes matematický jazyk.
Tato matematická aplikace logiky umožňuje, aby argumenty a konstrukce byly přesnější.
Modální
Modální logika se zaměřuje na studium argumentů, ale přidává prvky související s možností, že dané prohlášení je pravdivé nebo nepravdivé.
Modální logika předstírá, že je více souhlásková s lidským myšlením, proto zahrnuje použití konstrukcí, jako je "mohl", "možná", "někdy", "možná", "pravděpodobně", "je pravděpodobně", "možná" ", Mimo jiné.".
V modální logice je to otázka zvažování scénáře, ve kterém existuje možnost, a člověk má tendenci zvažovat všechny možnosti, které mohou existovat z logického hlediska..
Výpočetní
Výpočtová logika je typem logiky odvozené ze symbolické nebo matematické logiky, pouze v oblasti výpočetní techniky..
Počítačové programy používají pro svůj vývoj jazyk programování a prostřednictvím logiky je možné pracovat na těchto jazykových systémech, přiřazovat konkrétní úkoly a provádět verifikační akce..
Odkazy
- "Logika" v encyklopedii Britannica. Citováno dne 4. srpna 2017 z Encyklopedie Britannica: britannica.com
- "Formální logika" v encyklopedii Britannica. Citováno dne 4. srpna 2017 z Encyklopedie Britannica: britannica.com
- Hernández, F. "Výpočetní logika" na Národní autonomní univerzitě v Mexiku. Citováno dne 4. srpna 2017 z Národní autonomní univerzity v Mexiku: unam.mx
- Muñoz, C. "Neklasická logika" na Univerzitě Complutense v Madridu. Získáno dne 4. srpna 2017 z Universidad Complutense de Madrid: ucm.es
- Julia, J. "Co je symbolická logika?" V eHow en Español. Citováno dne 4. srpna 2017 z eHow en Español: ehowenespanol.com
- Oller, C. "Formální logika a argumentace" (2006) na Národní univerzitě v La Plata. Citováno dne 4. srpna 2017 z Národní univerzita La Plata: rfytp.fahce.unlp.edu.ar
- "Deduktivní a indukční závěry" v Junta de Extremadura. Citováno dne 4. srpna 2017 v Junta de Extremadura: educarex.es.