- Predmet proučavanja
- karakteristike
- vrste
- Deontska logika
- Bivalentna logika
- Viševalentna ili višenamjenska logika
- Primjeri
- Reference
Formalna logika, koji se nazivaju i logičan teorijski ili matematička logika, koja određuje valjane i ispravne oblike zaključivanja su. Kroz ovu praksu želimo razlikovati ono što je ispravno od onoga što je netočno.
U formalnoj se logici simboli koriste nedvosmisleno i na najjasniji mogući način da se njima ne može manipulirati. Zahvaljujući ovoj praksi moguće je razvijati vlastite ideje.

Alfred North Whitehead bio je jedan od zagovornika formalne logike. Izvor: Wellcome Trust
Riječ "logika" potječe od starogrčkog λογικήlogik ḗ, što znači "obdarena intelektualnim, dijalektičkim, argumentiranim razlogom". Logika je jedna od grana filozofije i matematike i smatra se od velike koristi za ove discipline.
Općenito, logika proučava oblik mišljenja. Prva djela izvedena u vezi s logikom pripisuju se grčkom filozofu Aristotelu, zbog čega je poznat kao otac utemeljitelj ovog područja razmišljanja.
Kroz povijest su razni filozofi, matematičari i logičari branili formalnu logiku. Među njima možemo imenovati matematičara i logičara Alonza Churcha; filozof, matematičar i logičar Gottlob Frege; i također matematičar i filozof Alfred North Whitehead.
Alfred Tarski, KurtGödel, Bertrand Russell i Willard Van Orman Quine, između ostalih, također su bili sjajni branitelji.
Predmet proučavanja
Formalna logika koristi aspekte kao što su rasuđivanje, koncept, prosudbe i demonstracije kao predmet proučavanja. Iz tih elemenata analizira i proučava sve jezične i semantičke izvore kako bi došao do zaključka.
U tom smislu, ustanovljeno je da se u formalnoj logici rasuđivanje proučava sa strukturiranog gledišta, iz njegove valjanosti ili nevaljanosti.
Formalna logika nije empirijsko proučavanje procesa obrazloženja. Niti ga treba miješati s uvjerenjem, jer je potrebna struktura argumenata da bi se dobio zaključak.
Ta je logika poznata i kao teorijska ili čista logika i nastoji izvesti apstraktno istraživanje sadržaja ili logičkih oblika deduktivnih argumenata, izjava, prijedloga i potvrdno korištenih rečenica.
Provođenje iscrpnog proučavanja obrazaca formalne logike omogućit će svakom pojedincu da točno zna postupke povezane s svojim razmišljanjem.
karakteristike
Ispod su najkonkretnije karakteristike koje razlikuju formalnu logiku od ostalih vrsta logike:
-To je znanost koja proučava oblik premise, za razliku od drugih vrsta logike koje proučavaju samo materijal.
-To je struktura bez materije.
-To je uspostavljen pod podskup formalnih sustava.
-Primijenite metode tako učinkovite da se formalnom logikom može razlikovati što nije u redu od ispravnog.
- Zaključci ispravnog obrazloženja ili valjanosti proizlaze iz razloga što se analizira struktura istinskih premisa.
-Proučavati i analizirati ljude kako bi se izravno pristupilo razmišljanju i na taj način biti u mogućnosti uspostaviti nove obrasce u umu svakog pojedinca.
-Karakterizira to što je simboličan.
- S gledišta formalne znanosti ona igra važnu ulogu u matematici, filozofiji, računarskoj znanosti i statistici.
-Povezana je s gramatikom zbog proučavanja semantike.
-Studističke strukture, zbog čega se uspoređuje s matematikom.
-To je povezano i sa psihologijom jer se usredotočuje na proučavanje misli svakog pojedinca.
vrste
Deontska logika
Potječe iz starogrčkog δέον déon i znači „ono što treba“ ili „ono što je potrebno“. Austrijski logičar Alois Höffler pionir je ovog koncepta koji se odnosi na proučavanje i analizu normi.
Bivalentna logika
To je vrsta logike koja podržava samo istinite i lažne vrijednosti. Ne vjeruje u nijanse, sve je crno ili bijelo; nijansa sive nije moguća u takvoj logici.
Njegovi se principi temelje na Aristotelovoj logici, a to su identitet, neustavnost i isključena treća strana.
Viševalentna ili višenamjenska logika
Ova vrsta logike nastala je kao rezultat studija koje su proveli filozofi Jan Łukasiewicz i Emil Post, u kojima se navodi da se mogu priznati i druge vrijednosti osim već uobičajenih "istinitih" i "lažnih", te da se te vrijednosti mogu praktično dostići do beskonačnosti.
U tom se smislu razlikuje od bivalentne logike koja prihvaća samo dvije vrijednosti. Studije pokazuju da viševalentna ili višenamjenska logika obrađuje vrijednosti poput mogućnosti, nužnosti, nužnosti, istine, neistinitosti i nemogućnosti.
Isto tako, ova vrsta formalne logike također je zadužena za proučavanje filozofskih i strukturnih aspekata argumenata.
Primjeri
Kroz formalnu logiku moguće je dodati vrijednost istine ili neistine specifičnom rezonovanju.
Kao što smo prethodno objasnili, formalna se logika ne usredotočuje na sve mogućnosti koje se mogu izvući iz argumenta; fokusira se samo na to je li istina ili neistina. U tom smislu, u nastavku navodimo neke primjere temeljene na formalnoj logici:
-Buenos Aires je glavni grad Argentine; tada su svi rođeni u Buenos Airesu Argentinci.
-Joao govori portugalski. Joao je rođen u Portugalu. U Portugalu svi govore portugalski.
-Kravice daju mlijeko. Krave su sisari. Svi sisari daju mlijeko.
-Pedro je bijel, a María crnka, pa ima i bijelih i smeđih ljudi.
-María svira u rock orkestru. Glazbenici su ti koji sviraju u rock orkestru. Maria je glazbenica.
-José ima crnu kosu. Elena ima smeđu kosu. Njihova se kći mogla roditi s crnom ili smeđom kosom.
- Stopalo ima pet nožnih prstiju. Ljudska bića imaju desno i lijevo stopalo. Svaka osoba ima deset nožnih prstiju.
-Spain je zemlja. Španjolska ostaje u Europi. Svi su Španjolci europski.
- Ana je živo biće. Ana je smrtna. Sva živa bića su smrtna.
- José se natopio vodom. Voda se mokri.
- Maria je jela toplu hranu. Maria je izgorjela jedući njenu toplu hranu. Vruća hrana gori.
- Zemlja je dio svemira. U svemiru postoje planete. Zemlja je planet.
- Električno svjetlo svijetli. Na ulicama je električno svjetlo. Električno svjetlo osvjetljava ulice.
Reference
- "Formalna logika" u enciklopediji Novog svijeta. Preuzeto 21. travnja 2019. iz Nove svjetske enciklopedije: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes "Formalna logika" preuzeto 21. travnja 2019. iz Britannice: britannica.com.
- "Logika i njezino klasiranje" u Akademiji. Preuzeto 23. travnja 2019. iz Academia: academia.edu.
- "Formalna logika" u Filozofskom rječniku. Preuzeto 23. travnja 2019. iz Filozofskog rječnika: philoso.org.
- "Polivalentna logika" u Filozofskom rječniku. Preuzeto 23. travnja 2019. iz Filozofskog rječnika: philoso.org.
- "Opći aspekti logike" u klupskim esejima (18. kolovoza 2013.). Preuzeto 23. travnja 2019. iz klupskih suđenja: clubensayos.com.
- "Deontska logika" u wikipediji . Preuzeto 23. travnja 2019. s Wikipedije: es.wikipedia.org.
- "Višenamjenska logika" na wikipediji . Preuzeto 23. travnja 2019. s Wikipedije: es.wikipedia.org.
- "Bivalentna logika" u wikipediji . Preuzeto 23. travnja 2019. s Wikipedije: es.wikipedia.org
