6 glavnih logičkih tipova



Ima ih nekoliko vrste logike i svi fokusiraju svoj predmet istraživanja na razumijevanje rasuđivanja i identificiraju kada su točni ili netočni.

Proučavanje logike evoluiralo je od vremena grčkog filozofa Aristotela do sadašnjosti, a to je bilo prilagođeno s namjerom da budu specifičniji i istovremeno prilagođeniji svakodnevnom životu ljudskog bića, što mu omogućuje opipljivija primjena u različitim područjima.

Logika traži sustavno proučavanje argumenata i propozicija, a različite vrste logike omogućuju da se prouči i čisto formalna struktura tih izjava, kao i ono što ima veze sa sadržajem i snagom navedenog sadržaja..

Iako se logika temelji na proučavanju tvrdnji, ona se ne fokusira jasno na prirodni jezik (jezik koji ga poznajemo), ali njegova korisnost dosegla je različita područja i različite strukture, kao što su matematika i računanje.

Najrelevantnije vrste logike

formalan

Formalna logika, također poznata kao klasična logika ili aristotelijska logika, je proučavanje propozicija, argumenata, tvrdnji ili rečenica sa strukturne točke gledišta..

To je metoda za strukturiranje misli i određivanje ispravnih ili netočnih oblika specifičnog pristupa.

Formalna logika se ne usredotočuje na istinu ili neistinitost sadržaja određenog argumenta, nego se usredotočuje na valjanost ili neujednačenost konstrukcije njegovog oblika..

To jest, predmet proučavanja formalne logike nije empirijski, jer za logičara nije relevantno odrediti je li prezentirani argument stvaran i dokazan; ali njegova je studija jasno usmjerena na strukturu navedenog argumenta.

Unutar formalne logike postoje dvije vrlo važne klasifikacije: deduktivna logika i induktivna logika.

Deduktivna logika odnosi se na one specifične izjave koje su generirane iz općih pojmova. Kroz ovu vrstu logike mogu se izvesti zaključci iz koncepata ili teorija koje već postoje.

Na primjer, unutar deduktivne logike moglo bi se reći da, ako ljudi imaju noge i Clara je ljudsko biće, onda Clara ima noge.

U slučaju induktivne logike, konstrukcija argumenata događa se na suprotan način; to znači da se opći pojmovi stvaraju iz specifičnih argumenata.

Primjerice, unutar induktivne logike moglo bi se reći da, ako jedna mačka voli ribu, a drugi joj se sviđa, a druga također, onda sve mačke vole ribu.

neformalan

Neformalna logika je grana istraživanja koja se fokusira na jezik i poruku koja proizlazi iz semantičkih konstrukcija i argumenata.

Ta se logika razlikuje od formalne logike, u toj formalnoj logici proučava strukture rečenica i propozicija; i neformalna logika usredotočuje se na pozadinu prenesene poruke.

Njegov predmet istraživanja je način argumentiranja za dobivanje željenog rezultata. Neformalna logika potvrđuje logičke argumente koji su koherentniji među drugima koji imaju slabiju argumentacijsku strukturu.

Nije klasično

Neklasična logika, ili moderna logika, potječe iz devetnaestog stoljeća i pojavljuje se u suprotnosti s tvrdnjama klasične logike.

Ona uspostavlja druge oblike analize koji mogu obuhvatiti više aspekata nego što je moguće obuhvatiti klasičnim pristupom logike.

Tako su uključeni matematički i simbolički elementi, nove tvrdnje ili teoremi koji su nadoknadili nedostatke formalnog logičkog sustava..

Unutar ne-klasične logike postoje različiti podtipovi logike, kao što su modalni, matematički, trovalentni, među ostalima..

Sve ove vrste logike razlikuju se u određenoj mjeri od formalne logike, ili uključuju nove elemente koji su komplementarni i dopuštaju da logično proučavanje određene izjave bude točnije i prilagođeno korisnosti u svakodnevnom životu..

simboličan

Simbolička logika se također naziva logika prvog reda, ili matematička logika, i karakterizirana je korištenjem simbola koji čine novi jezik kroz koji "prevesti" argumente.

Namjera simboličke logike je pretvaranje apstraktnih misli u formalne strukture.

Zapravo, ne koristi prirodni jezik (jezik), već koristi tehnički jezik koji pretvara rečenice u elemente koji su podložni primjeni točnijih pravila nego što se mogu primijeniti na prirodnom jeziku..

Zatim, simbolička logika dopušta tretiranje propozicija kroz zakone izračuna, kako bi se izbjegla zabuna ili netočnosti.

On nastoji uključiti matematičke elemente u analizu formalnih logičkih struktura. U matematičkom polju, logika se koristi za dokazivanje teorema.

Ukratko, simbolička ili matematička logika nastoji izraziti ljudsku misao matematičkim jezikom.

Ova matematička primjena logike omogućuje preciznije argumente i konstrukcije.

modalni

Modalna logika se fokusira na proučavanje argumenata, ali dodaje elemente vezane uz mogućnost da je izjava o kojoj je riječ istinita ili lažna.

Modalna logika se pretvara da je više suglasna s ljudskom misli, stoga uključuje uporabu konstrukcija kao što je "mogao", "možda", "ponekad", "možda", "vjerojatno", "vjerojatno", "možda" ", Među ostalima.

U modalnoj logici, riječ je o razmatranju scenarija u kojem postoji mogućnost, a nastoji se uzeti u obzir sve mogućnosti koje mogu postojati, s logičke točke gledišta..

računalna

Računalna logika je vrsta logike izvedena iz simboličke ili matematičke logike, samo ona se primjenjuje u području računanja.

Računalni programi koriste jezik programiranja za njihov razvoj i, kroz logiku, moguće je raditi na tim jezičnim sustavima, dodjeljivati ​​određene zadatke i izvršavati akcije verifikacije..

reference

  1. "Logika" u enciklopediji Britannica. Preuzeto 4. kolovoza 2017. iz enciklopedije Britannica: britannica.com
  2. "Formalna logika" u Enciklopediji Britannica. Preuzeto 4. kolovoza 2017. iz enciklopedije Britannica: britannica.com
  3. Hernández, F. "Računalna logika" na Nacionalnom autonomnom sveučilištu u Meksiku. Preuzeto 4. kolovoza 2017. na Nacionalnom autonomnom sveučilištu u Meksiku: unam.mx
  4. Muñoz, C. "Ne-klasična logika" na madridskom sveučilištu Complutense. Preuzeto 4. kolovoza 2017. iz Universidad Complutense de Madrid: ucm.es
  5. Julia, J. "Što je simbolička logika?" U eHow en Español. Preuzeto 4. kolovoza 2017. iz eHow en Español: ehowenespanol.com
  6. Oller, C. "Formalna logika i argumentacija" (2006) na Nacionalnom sveučilištu La Plata. Preuzeto 4. kolovoza 2017. s Nacionalnog sveučilišta La Plata: rfytp.fahce.unlp.edu.ar
  7. "Deduktivni i induktivni zaključci" u Junta de Extremadura. Preuzeto 4. kolovoza 2017. u Junta de Extremadura: educarex.es.