- Najrelevantnejšie typy logiky
- Formálna logika
- Neformálna logika
- Neklasická logika
- Symbolická logika
- Modálna logika
- Výpočtová logika
- Referencie
Existuje niekoľko typov logiky a všetky zameriavajú svoj predmet štúdia na pochopenie zdôvodnenia a identifikáciu, či sú správne alebo nesprávne. Štúdium logiky sa vyvíjalo od čias gréckeho filozofa Aristotela až po súčasnosť.
Etika sa prispôsobuje so zámerom byť konkrétnejšou a zároveň viac prispôsobenou každodennému životu človeka, čo umožňuje hmatateľnejšie uplatnenie v rôznych oblastiach.

Aristoteles, uznávaný ako otec logiky.
Logika sa usiluje systematicky študovať argumenty a návrhy a rôzne typy logiky umožňujú študovať nielen formálnu štruktúru týchto tvrdení, ako aj to, čo súvisí s obsahom a silu uvedeného obsahu.
Hoci logika je založená na štúdiu výrokov, nezameriava sa jasne na prirodzený jazyk (jazyk, ako ho poznáme), ale jeho užitočnosť zasiahla rôzne oblasti as rôznymi štruktúrami, ako sú matematika a matematika. výpočtový.
Najrelevantnejšie typy logiky
Formálna logika
Formálna logika, známa tiež ako klasická logika alebo aristotelská logika, je štúdium tvrdení, argumentov, tvrdení alebo viet zo štrukturálneho hľadiska. Je to metóda štruktúrovania myslenia a určenia správnych alebo nesprávnych foriem špecifického prístupu.
Formálna logika sa nezameriava na pravdivosť alebo nepravdivosť obsahu konkrétneho argumentu, ale sústreďuje sa skôr na platnosť alebo nie na vytvorenie formy.
To znamená, že predmet štúdia formálnej logiky nie je empirický, pre logika nie je relevantné určiť, či je predložený argument skutočný a preukázaný; Jeho štúdia sa skôr zameriava na štruktúru uvedeného argumentu.
V rámci formálnej logiky existujú dve veľmi dôležité klasifikácie: deduktívna logika a induktívna logika.
Deduktívna logika sa vzťahuje na tie špecifické výroky, ktoré sú generované zo všeobecných pojmov. Prostredníctvom tohto typu logiky možno urobiť závery z konceptov alebo teórií, ktoré už existujú.
Napríklad, v deduktívnej logike by sa dalo povedať, že ak ľudia majú nohy a Clara je ľudská bytosť, potom má Clara nohy.
V prípade induktívnej logiky sa argumentácia uskutočňuje opačným spôsobom; to znamená, že všeobecné pojmy sa vytvárajú z konkrétnych argumentov.
Napríklad v rámci indukčnej logiky by sa dalo povedať, že ak jedna mačka má rada ryby, iná sa jej páči a druhá tiež, potom všetky mačky majú radi ryby.
Neformálna logika
Neformálna logika je oblasť štúdia, ktorá sa zameriava na jazyk a správu, ktorá vychádza zo sémantických konštrukcií a argumentov.
Táto logika sa líši od formálnej logiky, keď formálna logika skúma štruktúru viet a výrokov; a neformálna logika sa zameriava na podstatu prenášanej správy.
Jej predmetom je spôsob argumentácie, ako dosiahnuť požadovaný výsledok. Neformálna logika dáva platnosť logickým argumentom, ktoré sú koherentnejšie medzi ostatnými, ktoré majú slabšiu argumentačnú štruktúru.
Neklasická logika
Neklasická logika alebo moderná logika pochádza z devätnásteho storočia a vzniká v rozpore s tvrdeniami klasickej logiky. Stanovuje ďalšie formy analýzy, ktoré môžu pokryť viac aspektov, ako sú tie, ktoré možno pokryť klasickým prístupom k logike.
Takto sú zahrnuté matematické a symbolické prvky, nové výroky alebo vety, ktoré nahradili nedostatky formálneho logického systému.
V rámci neklasickej logiky existujú rôzne podtypy logiky, medzi inými modálna, matematická, trojväzbová.
Všetky tieto typy logiky sa do istej miery líšia od formálnej logiky alebo obsahujú nové prvky, ktoré sa vzájomne dopĺňajú, a umožňujú, aby logická štúdia konkrétneho tvrdenia bola presnejšia a prispôsobená tak, aby bola v každodennom živote užitočná.
Symbolická logika
Symbolická logika sa tiež nazýva logika prvého poriadku alebo matematická logika a vyznačuje sa používaním symbolov, ktoré tvoria nový jazyk, prostredníctvom ktorého sa argumenty „prekladajú“.
Zámerom symbolickej logiky je konvertovať abstraktné myšlienky do formálnejších štruktúr. V skutočnosti nepoužíva prirodzený jazyk (idiom), ale používa technický jazyk, ktorý premieňa vety na prvky citlivé na uplatňovanie presnejších pravidiel, ako je možné uplatniť v prirodzenom jazyku.
Symbolická logika teda umožňuje posudzovať výroky prostredníctvom zákonov počtu, aby sa predišlo nejasnostiam alebo nepresnostiam.
Jeho cieľom je začleniť matematické prvky do analýzy štruktúr formálnej logiky. V matematickej oblasti sa logika používa na preukázanie teorémov.
Stručne povedané, symbolická alebo matematická logika sa snaží vyjadriť ľudské myslenie prostredníctvom matematického jazyka.
Táto matematická aplikácia logiky umožňuje spresniť argumenty a konštrukcie.
Modálna logika
Modálna logika sa zameriava na skúmanie argumentov, ale pridáva prvky súvisiace s možnosťou, že daný výrok je pravdivý alebo nepravdivý.
Modálna logika sa snaží byť viac v súlade s ľudským myslením, preto zahŕňa použitie konštrukcií ako „mohol“, „možno“, „niekedy“, „možno“, „pravdepodobne“, „pravdepodobne“, „možno“ ", okrem iného.
V modálnej logike ide o zváženie scenára, v ktorom existuje možnosť a z logického hľadiska má tendenciu zvažovať všetky možnosti, ktoré môžu existovať.
Výpočtová logika
Výpočtová logika je druh logiky odvodený zo symbolickej alebo matematickej logiky, uplatňuje sa iba v oblasti výpočtovej techniky.
Počítačové programy používajú programovací jazyk na ich vývoj a logicky je možné na týchto jazykových systémoch pracovať, priradiť konkrétne úlohy a vykonávať overovacie akcie.
Referencie
- "Logika" v encyklopédii Britannica. Našiel som 4. augusta 2017 z encyklopédie Britannica: britannica.com
- „Formálna logika“ v encyklopédii Britannica. Našiel som 4. augusta 2017 z encyklopédie Britannica: britannica.com
- Hernández, F. „Computational Logic“ na Národnej autonómnej univerzite v Mexiku. Získané 4. augusta 2017 z Národnej autonómnej univerzity v Mexiku: unam.mx
- Muñoz, C. „Neklasická logika“ na Univerzite Complutense v Madride. Získané 4. augusta 2017 z Univerzity Complutense v Madride: ucm.es
- Julia, J. „Čo je to symbolická logika?“ v eHow v španielčine. Našiel 4. augusta 2017 z eHow v španielčine: ehowenespanol.com
- Oller, C. „Formálna logika a argumentácia“ (2006) na Národnej univerzite v La Plata. Záznam z Národnej univerzity v La Plata 4. augusta 2017: rfytp.fahce.unlp.edu.ar
- "Deduktívne a indukčné závery" v Junta de Extremadura. Získané 4. augusta 2017 v Junta de Extremadura: educarex.es.
