- Předmět studia
- vlastnosti
- Typy
- Deontická logika
- Bivalentní logika
- Multivalentní nebo víceúčelová logika
- Příklady
- Reference
Formální logika, také volal logický teoretický nebo matematická logika, která určuje platné a správné formy uvažování jsou. Prostřednictvím této praxe se snažíme rozlišit, co je správné, od toho, co je nesprávné.
Ve formální logice se symboly používají jednoznačně a nejjasnějším možným způsobem, takže s nimi nelze manipulovat. Díky této praxi je možné rozvíjet své vlastní nápady.
Alfred North Whitehead byl jedním z zastánců formální logiky. Zdroj: Wellcome Trust
Slovo „logika“ pochází ze starořeckého λογικήlogik ḗ, což znamená „vybaveno intelektuálním, dialektickým, argumentačním důvodem“. Logika je jednou z odvětví filozofie a matematiky a je považována za velmi užitečnou pro tyto obory.
Obecně logika studuje formu myšlení. První práce prováděné ve vztahu k logice jsou přičítány řeckému filozofovi Aristotelesovi, a proto je známý jako zakladatel této oblasti myšlení.
V průběhu historie obhajovali formální logiku různí filozofové, matematici a logici. Mezi nimi můžeme jmenovat matematika a logika Alonzo Church; filozof, matematik a logik Gottlob Frege; a také matematik a filozof Alfred North Whitehead.
Alfred Tarski, KurtGödel, Bertrand Russell a Willard Van Orman Quine byli mimo jiné také velkými obránci.
Předmět studia
Formální logika využívá jako předmět studia aspekty jako uvažování, koncepce, úsudky a demonstrace. Z těchto prvků analyzuje a studuje všechny zdroje jazyka a sémantiky, aby dospěl k závěru.
V tomto smyslu je stanoveno, že formální logické uvažování je studováno ze strukturovaného hlediska, z hlediska jeho platnosti nebo invalidity.
Formální logika není empirickou studií procesu uvažování. Rovněž by nemělo být zaměňováno s přesvědčováním, protože k dosažení závěru je třeba použít strukturu argumentů.
Tato logika je také známá jako teoretická nebo čistá logika a snaží se provést abstraktní studii obsahu nebo logických forem deduktivních argumentů, tvrzení, výroků a asertivně použitých vět.
Provedení vyčerpávající studie vzorců formální logiky umožní každému jednotlivci přesně znát postupy spojené s jejich uvažováním.
vlastnosti
Níže jsou uvedeny nejpřesnější charakteristiky, které odlišují formální logiku od ostatních typů logiky:
-Je to věda, která studuje podobu premisy, na rozdíl od jiných typů logiky, která studuje pouze materiál.
-Je to struktura bez hmoty.
-Je zřízena v rámci podskupiny formálních systémů.
-Použijte metody tak efektivní, že pomocí formální logiky můžete rozlišit, co je špatného, od toho, co je správné.
- Závěry správného zdůvodnění nebo platnosti vyvstávají, protože se analyzuje struktura skutečných prostor.
-Studujte a analyzujte lidi, aby se dostali přímo k myšlence, a mohli tak v mysli každého jednotlivce vytvořit nové vzorce.
- Vyznačuje se symbolem.
- Z pohledu formální vědy hraje důležitou roli v matematice, filozofii, informatice a statistice.
- Souvisí to s gramatikou kvůli studiu sémantiky.
- Skvělé struktury, a proto je ve srovnání s matematikou.
- Souvisí to také s psychologií, protože se zaměřuje na studium myšlenky každého jednotlivce.
Typy
Deontická logika
Pochází ze starořeckého δέον déon a znamená „co je splatné“ nebo „co je nutné“. Rakouský logik Alois Höffler je průkopníkem tohoto konceptu, který odkazuje na studium a analýzu norem.
Bivalentní logika
Je to typ logiky, který podporuje pouze pravdivé a nepravdivé hodnoty. Nevěří v odstíny, všechno je černé nebo bílé; šedá stupnice je v této logice nemožná.
Jeho principy jsou založeny na aristotelské logice, kterými jsou identita, rozpor a vyloučená třetí strana.
Multivalentní nebo víceúčelová logika
Tato logika se zrodila na základě studií provedených filosofy Janem Łukasiewiczem a Emilem Postem, v nichž se uvádí, že lze připustit jiné hodnoty než již běžný „pravdivý“ a „nepravdivý“ a že tyto hodnoty mohou prakticky dosáhnout do nekonečna.
V tomto smyslu se liší od bivalentní logiky, která připouští pouze dvě hodnoty. Studie ukazují, že multivalentní nebo víceúčelová logika zpracovává hodnoty, jako je možnost, nutnost, nepotřebnost, pravda, nepravda a nemožnost.
Podobně je tento typ formální logiky také zodpovědný za studium filozofických a strukturálních aspektů argumentů.
Příklady
Formální logikou je možné přidat ke konkrétní úvaze hodnotu pravdy nebo lži.
Jak jsme vysvětlili dříve, formální logika se nezaměřuje na všechny možnosti, které lze získat z argumentu; Zaměřuje se pouze na to, zda je to pravda nebo nepravda. V tomto smyslu uvádíme níže několik příkladů založených na formální logice:
-Buenos Aires je hlavním městem Argentiny; pak všichni, kdo se narodili v Buenos Aires, jsou Argentinci.
-Joao mluví portugalsky. Joao se narodil v Portugalsku. Všichni v Portugalsku mluví portugalsky.
- Krávy dávají mléko. Krávy jsou savci. Všichni savci dávají mléko.
-Pedro je bílá a María je bruneta, takže jsou tu bílí a hnědí lidé.
-María hraje v rockovém orchestru. Hudebníci jsou ti, kteří hrají v rockovém orchestru. Maria je hudebnice.
-José má černé vlasy. Elena má hnědé vlasy. Jejich dcera se mohla narodit s černými nebo hnědými vlasy.
- Noha má pět prstů. Lidské bytosti mají pravou nohu a levou nohu. Každá osoba má deset prstů.
-Španělsko je země. Španělsko zůstává v Evropě. Všichni Španělové jsou Evropané.
- Ana je živá bytost. Ana je smrtelná. Všechny živé věci jsou smrtelné.
- José namočil vodou. Voda se namočí.
- Maria snědla své teplé jídlo. Maria shořela a žila její teplé jídlo. Horké jídlo hoří.
- Země je součástí vesmíru. Ve vesmíru jsou planety. Země je planeta.
- Elektrické světlo se rozsvítí. V ulicích je elektrické světlo. Elektrické osvětlení osvětluje ulice.
Reference
- "Formální logika" v encyklopedii Nového světa. Citováno z 21. dubna 2019 z encyklopedie Nového světa: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes „Formální logika“, získaná 21. dubna 2019 z Britannica: britannica.com.
- "Logika a její klasifikace" v Akademii. Citováno z 23. dubna 2019 z Academia: academia.edu.
- "Formální logika" ve filosofickém slovníku. Citováno z 23. dubna 2019 z filosofického slovníku:ophyophy.org.
- „Polyvalentní logika“ ve filosofickém slovníku. Citováno z 23. dubna 2019 z filosofického slovníku:ophyophy.org.
- „Obecné aspekty logiky“ v klubových esejích (18. srpna 2013). Citováno z 23. dubna 2019 z Klubových zkoušek: clubensayos.com.
- „Deontická logika“ ve wikipedii . Citováno z 23. dubna 2019 z Wikipedie: es.wikipedia.org.
- "Víceúčelová logika" ve wikipedii . Citováno z 23. dubna 2019 z Wikipedie: es.wikipedia.org.
- "Bivalentní logika" ve wikipedii . Citováno z 23. dubna 2019 z Wikipedie: es.wikipedia.org