- Najrelevantnije vrste logike
- Formalna logika
- Neformalna logika
- Neklasična logika
- Simbolička logika
- Modalna logika
- Računalna logika
- Reference
Postoji nekoliko vrsta logike koje svoj predmet proučavanja usredotočuju na razumijevanje obrazloženja i prepoznavanje kada su ispravne ili netočne. Proučavanje logike razvilo se od vremena grčkog filozofa Aristotela do današnjih dana.
Etika se prilagođava namjerom da bude specifičnija i istovremeno prilagođavanija svakodnevnom životu čovjeka, što omogućava opipljiviju primjenu u različitim područjima.
Aristotel, prepoznat kao otac logike.
Logika traži sustavno proučavanje argumenata i prijedloga, a različite vrste logike omogućuju proučavanje i samo formalne strukture ovih izjava, kao i veze sa sadržajem i snagom navedenog sadržaja.
Iako se logika temelji na proučavanju izjava, ona se ne fokusira jasno na prirodni jezik (jezik kakav ga poznajemo), ali je njegova korisnost dosegla različita područja i s različitim strukturama, poput matematike i računanje.
Najrelevantnije vrste logike
Formalna logika
Formalna logika, poznata i pod nazivom klasična logika ili aristotelovska logika, je proučavanje propozicija, argumenata, izjava ili rečenica sa strukturalnog stanovišta. To je metoda strukturiranja misli i određivanja ispravnih ili pogrešnih oblika određenog pristupa.
Formalna se logika ne fokusira na istinitost ili neistinitost sadržaja određenog argumenta, već se koncentrira na valjanost ili ne konstrukciju njegovog oblika.
To jest, predmet proučavanja formalne logike nije empirijski, za logičara nije relevantno utvrditi je li predstavljeni argument stvaran i dokazan; Umjesto toga, njegova studija je 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 nastaju iz općih pojmova. Kroz ovu vrstu logike mogu se zaključivati iz koncepata ili teorija koje već postoje.
Na primjer, unutar deduktivne logike moglo bi se reći da, ako ljudi imaju noge, a Clara je ljudsko biće, onda Clara ima noge.
U slučaju induktivne logike, konstrukcija argumenata događa se na suprotan način; to jest, opći pojmovi nastaju iz određenih argumenata.
Na primjer, unutar induktivne logike moglo bi se reći da, ako jedna mačka voli ribu, a druga također, a druga također, onda sve mačke vole ribu.
Neformalna logika
Neformalna logika je grana studija koja se usredotočuje na jezik i poruku koja proizlazi iz semantičkih konstrukcija i argumenata.
Ta se logika razlikuje od formalne logike, jer formalna logika proučava strukture rečenica i prijedloga; a neformalna se logika usredotočuje na suštinu prenesene poruke.
Njegov je cilj proučavanje način argumentiranja postizanja željenog rezultata. Neformalna logika daje valjanost logičkim argumentima koji su koherentniji između ostalih i imaju slabiju argumentacijsku strukturu.
Neklasična logika
Neklasična logika, odnosno moderna logika, potječe iz 19. stoljeća i nastaje protivno tvrdnjama klasične logike. Ono uspostavlja druge oblike analize koji mogu obuhvatiti više aspekata od onih koji se mogu uključiti klasičnim pristupom logici.
Tako su uključeni matematički i simbolički elementi, nove izjave ili teoremi koji su nadoknadili nedostatke formalnog logičkog sustava.
Unutar neklasične logike postoje različite podvrste logike, poput modalnih, matematičkih, trovalentnih, među ostalim.
Sve ove vrste logike se u određenoj mjeri razlikuju od formalne logike ili uključuju nove elemente koji se nadopunjuju i omogućuju da je logično proučavanje određene izjave preciznije i prilagođeno korisnosti u svakodnevnom životu.
Simbolička logika
Simbolička logika se također naziva logikom prvog reda, ili matematičkom logikom, a karakterizira je korištenjem simbola koji čine novi jezik kroz koji se argumenti "prevode".
Namjera simboličke logike je pretvoriti apstraktne misli u formalnije strukture. U stvari, ne koristi prirodni jezik (idiom), već koristi tehnički jezik koji rečenice pretvara u elemente podložne primjeni preciznijih pravila nego što se mogu primijeniti u prirodnom jeziku.
Dakle, simbolička logika omogućuje tretiranje prijedloga kroz zakone proračuna, kako bi se izbjegla zbrka ili netočnost.
Ona želi uključiti matematičke elemente u analizu struktura formalne logike. U matematičkom carstvu logika se koristi za dokazivanje teorema.
Ukratko, simbolička ili matematička logika nastoji ljudsku misao izraziti matematičkim jezikom.
Ova matematička primjena logike omogućava da argumenti i konstrukcije budu precizniji.
Modalna logika
Modalna se logika fokusira na proučavanje argumenata, ali dodaje elemente povezane s mogućnošću da je dotična izjava istinita ili neistinita.
Modalna logika pokušava biti što više u skladu s ljudskom mišlju, stoga obuhvaća upotrebu konstrukcija poput "mogao", "moguće", "ponekad", "možda", "vjerojatno", "vjerovatno je", "možda ", među ostalim.
U modalnoj se logici radi o razmatranju scenarija u kojem postoji mogućnost i ono ima tendenciju da razmotri sve mogućnosti koje mogu postojati s logičkog stajališta.
Računalna logika
Računalna logika je vrsta logike izvedena iz simboličke ili matematičke logike, samo se primjenjuje u području računanja.
Računalni programi koriste programski jezik za svoj razvoj i pomoću logike moguće je raditi na tim jezičnim sustavima, dodijeliti određene zadatke i izvršiti akcije provjere.
Reference
- "Logika" u Encyclopedia Britannica. Preuzeto 4. kolovoza 2017. iz Encyclopedia Britannica: britannica.com
- "Formalna logika" u Encyclopedia Britannica. Preuzeto 4. kolovoza 2017. iz Encyclopedia Britannica: britannica.com
- Hernández, F. "Računarska logika" na Nacionalnom autonomnom sveučilištu u Meksiku. Preuzeto 4. kolovoza 2017. s Nacionalnog autonomnog sveučilišta u Meksiku: unam.mx
- Muñoz, C. "Neklasična logika" na Sveučilištu Complutense u Madridu. Preuzeto 4. kolovoza 2017. sa Sveučilišta Complutense u Madridu: ucm.es
- Julia, J. "Što je simbolička logika?" na eHow-u na španjolskom. Preuzeto 4. kolovoza 2017. iz eHow na španjolskom: ehowenespanol.com
- Oller, C. „Formalna logika i argumentacija“ (2006.) na Nacionalnom sveučilištu u La Plati. Preuzeto 4. kolovoza 2017. s Nacionalnog sveučilišta u La Plati: rfytp.fahce.unlp.edu.ar
- "Odvodni i induktivni zaključci" u Junta de Extremadura. Preuzeto 4. kolovoza 2017. u Junta de Extremadura: educarex.es.