Zdieľam:
6 hlavných typov logiky
Existuje niekoľko typy logiky a všetky zamerať svoj predmet štúdia na pochopenie odôvodnenia a identifikovať, kedy sú správne alebo nesprávne.
Štúdium logiky sa vyvinulo z čias gréckeho filozofa Aristotela až po súčasnosť, čo bolo upravené s úmyslom byť konkrétnejším a zároveň viac prispôsobeným každodennému životu ľudskej bytosti, čo mu umožňuje konkrétnejšia aplikácia v rôznych oblastiach.
Logika hľadá systematické štúdium argumentov a propozícií a rôzne typy logiky umožňujú študovať čisto formálnu štruktúru týchto výrokov, ako to, čo má čo do činenia s obsahom a silou uvedeného obsahu..
Hoci logika je založená na štúdiu výpovedí, nezameriava sa jasne na prirodzený jazyk (jazyk, ako ho poznáme), ale jeho užitočnosť dosiahla rôznorodé oblasti a rôzne štruktúry, ako je matematika a matematika. výpočtovej.
Najrelevantnejšie typy logiky
formálne
Formálna logika, známa tiež ako klasická logika alebo aristotelovská logika, je štúdium výkladu, argumentov, výrokov alebo viet zo štrukturálneho hľadiska..
Je to metóda štruktúrovania myšlienok a určenie správnych alebo nesprávnych foriem špecifického prístupu.
Formálna logika sa nezameriava na pravdu alebo nepravdivosť obsahu konkrétneho argumentu, ale zameriava sa na platnosť alebo inú konštrukciu jeho formy..
To znamená, že predmet štúdia formálnej logiky nie je empirický, pre logika nie je dôležité určiť, či je predložený argument skutočný a preukázaný; jeho štúdia je však jasne zameraná 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 indukčná logika.
Deduktívna logika sa vzťahuje na tie špecifické vyhlásenia, ktoré sú generované zo všeobecných pojmov. Prostredníctvom tohto typu logiky možno vyvodiť závery z konceptov alebo teórií, ktoré už existujú.
Napríklad v rámci deduktívnej logiky možno povedať, že ak ľudia majú nohy a Clara je ľudská bytosť, potom má Clara nohy.
V prípade induktívnej logiky sa konštrukcia argumentov deje opačným spôsobom; to znamená, že všeobecné pojmy sú vytvorené z konkrétnych argumentov.
Napríklad v rámci induktívnej logiky by sa dalo povedať, že ak jedna mačka má rád ryby, a iná sa jej páči aj iná, potom všetky mačky ako ryby.
neformálne
Neformálna logika je študijný odbor, ktorý sa zameriava na jazyk a posolstvo, ktoré vychádza zo sémantických konštrukcií a argumentov.
Táto logika sa líši od formálnej logiky, pretože formálna logika skúma štruktúry viet a výrokov; a neformálna logika sa zameriava na pozadie prenášanej správy.
Predmetom štúdia je spôsob, ako argumentovať, aby sa dosiahol požadovaný výsledok. Neformálna logika potvrdzuje logické argumenty, ktoré sú koherentnejšie medzi inými, ktoré majú slabšiu argumentačnú štruktúru.
Nie je to klasické
Neklasická logika, čiže moderná logika, vznikla v devätnástom storočí a vzniká v opozícii k tvrdeniam klasickej logiky.
Stanovuje iné formy analýzy, ktoré môžu pokrývať viac aspektov, než je možné zahrnúť do klasického prístupu logiky.
Takto sú zahrnuté matematické a symbolické prvky, nové výroky alebo vety, ktoré nahradili nedostatky formálneho systému logiky..
V rámci neklasickej logiky existujú rôzne podtypy logiky, ako napríklad modálne, matematické, trivalentné..
Všetky tieto typy logiky sa do určitej miery líšia od formálnej logiky, alebo obsahujú nové prvky, ktoré sa dopĺňajú, a umožňujú, aby logické štúdium konkrétneho vyhlásenia bolo presnejšie a prispôsobené užitočnosti v každodennom živote..
symbolický
Symbolická logika je tiež nazývaná logikou prvého rádu alebo matematickou logikou a je charakterizovaná použitím symbolov, ktoré predstavujú nový jazyk, prostredníctvom ktorého „prekladáme“ argumenty.
Zámerom symbolickej logiky je previesť abstraktné myšlienky do formálnejších štruktúr.
V skutočnosti nepoužíva prirodzený jazyk (jazyk), ale používa technický jazyk, ktorý premieňa vety na prvky náchylné na uplatňovanie presnejších pravidiel, ako je možné použiť v prirodzenom jazyku..
Potom symbolická logika umožňuje spracovanie návrhov prostredníctvom zákonov výpočtu, aby sa zabránilo nejasnostiam alebo nepresnostiam.
Snaží sa začleniť matematické prvky do analýzy formálnych logických štruktúr. V matematickom poli sa logika používa na preukázanie teorémov.
V krátkosti, symbolická alebo matematická logika sa snaží vyjadriť ľudské myslenie prostredníctvom matematického jazyka.
Táto matematická aplikácia logiky umožňuje, aby boli argumenty a konštrukcie presnejšie.
modálne
Modálna logika sa zameriava na štúdium argumentov, ale pridáva prvky súvisiace s možnosťou, že dané vyhlásenie je pravdivé alebo nepravdivé.
Modálna logika predstiera, že je viac v súlade s ľudským myslením, preto zahŕňa použitie konštrukcií, ako napríklad "mohol", "možno", "niekedy", "možno", "pravdepodobne", "je pravdepodobný", "možno" ", Medzi inými.
V modálnej logike ide o zváženie scenára, v ktorom existuje možnosť, a z logického hľadiska sa uvažuje o všetkých možnostiach, ktoré môžu existovať..
výpočtovej
Výpočtová logika je typ logiky odvodenej zo symbolickej alebo matematickej logiky, iba v oblasti výpočtovej techniky..
Počítačové programy používajú pre svoj vývoj jazyk programovania a prostredníctvom logiky je možné pracovať na týchto jazykových systémoch, zadávať špecifické úlohy a vykonávať verifikačné činnosti..
referencie
- "Logika" v Encyklopédii Britannica. Zdroj: 4. augusta 2017 z Encyklopédia Britannica: britannica.com
- "Formálna logika" v Encyklopédii Britannica. Zdroj: 4. augusta 2017 z Encyklopédia Britannica: britannica.com
- Hernández, F. "Výpočtová logika" 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é dňa 4. augusta 2017 z Universidad Complutense de Madrid: ucm.es
- Julia, J. "Čo je symbolická logika?" V eHow en Español. Zdroj: 4. augusta 2017 z eHow en Español: ehowenespanol.com
- Oller, C. "Formálna logika a argumentácia" (2006) na Národnej univerzite v La Plate. Zdroj: 4. augusta 2017 z National University of La Plata: rfytp.fahce.unlp.edu.ar
- "Deduktívne a indukčné závery" v Junta de Extremadura. Zdroj: 4. augusta 2017 v Junta de Extremadura: educarex.es.