Je jich několik typy logiky a všichni zaměřují svůj předmět studia na porozumění úvahám a identifikaci, když jsou správné nebo nesprávné. Studium logiky se vyvinulo od dob řeckého filozofa Aristotela až po současnost.
Etika byla upravena 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ší uplatnění v různých oblastech.
Logika usiluje o systematické studium argumentů a tvrzení a různé typy logiky umožňují studovat jak pouhou formální strukturu těchto tvrzení, tak i to, co souvisí s obsahem a silou uvedeného obsahu..
Ačkoli logika je založena na studiu vět, nezaměřuje se jasně na přirozený jazyk (jazyk, jak jej známe), ale jeho užitečnost dosáhla různých oblastí a s různými strukturami, jako je matematika a výpočetní technika.
Formální logika, známá také jako klasická logika nebo aristotelská logika, je studium výroků, argumentů, tvrzení 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 konkrétního přístupu..
Formální logika se nezaměřuje na věrohodnost nebo nepravdivost obsahu konkrétního argumentu, ale spíše se zaměřuje na platnost či nikoli konstrukce 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 zmíněného argumentu.
Ve formální logice existují dvě velmi důležité klasifikace: deduktivní logika a induktivní logika..
Deduktivní logika odkazuje na ty konkrétní příkazy, které jsou generovány z obecných pojmů. Prostřednictvím tohoto typu logiky lze odvodit závěry z konceptů nebo teorií, které již existují..
Například v rámci deduktivní logiky by se dalo říci, že pokud mají lidé nohy a Clara je lidská bytost, má Clara nohy..
V případě indukční logiky se konstrukce argumentů děje opačně; to znamená, že obecné koncepty jsou vytvořeny ze specifických argumentů.
Například v rámci induktivní logiky by se dalo říci, že pokud má jedna kočka ráda ryby, druhá má ráda ryby a další také, pak všechny kočky mají rády ryby..
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 v tom, že formální logika studuje struktury vět a výroků; a neformální logika se zaměřuje na podstatu přenášené zprávy.
Jejím předmětem studia je způsob argumentace k získání požadovaného výsledku. Neformální logika ověřuje logické argumenty, které jsou koherentnější mimo jiné se slabší argumentační strukturou.
Neklasická logika nebo moderní logika má původ v 19. století a vychází z opozice vůči tvrzením klasické logiky. Stanovuje další formy analýzy, které mohou pokrýt více aspektů než ty, které lze pokrýt klasickým přístupem k logice..
Takto jsou zahrnuty matematické a symbolické prvky, nová tvrzení nebo věty, které přišly k vyrovnání nedostatků formálního logického systému..
V neklasické logice existují různé podtypy logiky, například modální, matematická, trojmocná..
Všechny tyto typy logiky se do určité 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 výroku bylo přesnější a přizpůsobeno užitečnosti v každodenním životě..
Symbolická logika se také nazývá logika prvního řádu neboli matematická logika a je charakterizována použitím symbolů, které tvoří nový jazyk, jehož prostřednictvím 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 (jazyk), ale používá technický jazyk, který převádí věty na prvky náchylné k aplikaci přesnějších pravidel, než jaké lze použít v přirozeném jazyce..
Symbolická logika tedy umožňuje zacházet s propozicemi prostřednictvím zákonů počtu, aby nedocházelo k nejasnostem 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 se zaměřuje na studium argumentů, ale přidává prvky související s možností, že dotyčný výrok je pravdivý nebo nepravdivý.
Modální logika předstírá, že je 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 zvážení 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 je typ logiky odvozené od symbolické nebo matematické logiky, pouze se aplikuje v oblasti výpočtu.
Počítačové programy pro svůj vývoj používají programovací jazyk a pomocí logiky je možné tyto jazykové systémy pracovat, přiřazovat konkrétní úkoly a provádět ověřovací akce.
Zatím žádné komentáře