- Predmet preučevanja
- značilnosti
- Vrste
- Deontska logika
- Dvovalentna logika
- Večvalentna ali večnamenska logika
- Primeri
- Reference
Formalno logiko , ki se imenuje tudi logično teoretično ali matematična logika, ki določa veljavne in pravilne oblike sklepanja so. S to prakso želimo razlikovati, kaj je pravilno od tistega, kar je napačno.
V formalni logiki se simboli uporabljajo nedvoumno in na najbolj jasen način, da se z njimi ne da manipulirati. Zahvaljujoč tej praksi je mogoče razviti lastne ideje.

Alfred North Whitehead je bil eden od zagovornikov formalne logike. Vir: Wellcome Trust
Beseda "logika" izvira iz starogrškega λογικήlogik ḗ, kar pomeni "obdarjena z intelektualnim, dialektičnim, argumentiranim razlogom." Logika je ena izmed vej filozofije in matematike in velja za veliko uporabo teh disciplin.
Na splošno logika proučuje obliko misli. Prva dela, izvedena v povezavi z logiko, gre pripisati grškemu filozofu Aristotelu, zato je znan kot oče ustanovitelj tega miselnega področja.
Skozi zgodovino so se različni filozofi, matematiki in logiki branili formalne logike. Med njimi lahko imenujemo matematika in logika Alonza Church; filozof, matematik in logik Gottlob Frege; in tudi matematik in filozof Alfred North Whitehead.
Alfred Tarski, KurtGödel, Bertrand Russell in Willard Van Orman Quine so bili med drugim tudi odlični branilci.
Predmet preučevanja
Formalna logika kot predmet preučevanja uporablja vidike, kot so sklepanje, koncept, sodbe in demonstracije. Iz teh elementov analizira in proučuje vse jezikovne in semantične vire, da bi prišel do zaključka.
V tem smislu je ugotovljeno, da se v formalni logiki sklepanje preučuje s strukturiranega vidika, z njegove veljavnosti ali neveljavnosti.
Formalna logika ni empirična študija postopka sklepanja. Prav tako je ne smemo zamenjati s prepričevanjem, saj je potrebna trditev, da dobimo sklep.
Ta logika je znana tudi kot teoretična ali čista logika in želi izvesti abstraktno preučevanje vsebine ali logičnih oblik deduktivnih argumentov, izjav, propozicij in asertivno uporabljenih stavkov.
Izčrpna študija vzorcev formalne logike bo vsakemu posamezniku znala natančno poznati postopke, povezane z njihovim razmišljanjem.
značilnosti
Spodaj so najbolj posebne značilnosti, ki razlikujejo formalno logiko od drugih vrst logike:
-To je znanost, ki proučuje obliko premisa, za razliko od drugih vrst logike, ki preučujejo samo gradivo.
-To je struktura brez materije.
-Vzpostavljena je pod podskupino formalnih sistemov.
- Uporabite metode tako učinkovite, da lahko s formalno logiko ločite, kaj je narobe, in kaj je prav.
-Sklepi pravilnega sklepanja ali veljavnosti nastanejo, ker se analizira struktura resničnih premis.
- Študirajte in analizirajte ljudi, da pridejo neposredno do misli, in tako lahko vzpostavijo nove vzorce v umu vsakega posameznika.
- Zanjo je značilno, da je simbolično.
- Z vidika formalne znanosti ima pomembno vlogo v matematiki, filozofiji, računalništvu in statistiki.
-Povezana je s slovnico zaradi preučevanja semantike.
-Studistične strukture, zato ga primerjamo z matematiko.
-Povezana je tudi s psihologijo, ker se osredotoča na preučevanje misli vsakega posameznika.
Vrste
Deontska logika
Izvira iz starogrškega δέον déon in pomeni "kar je dolžno" ali "kaj je potrebno". Avstrijski logik Alois Höffler je pionir tega koncepta, ki se nanaša na preučevanje in analizo norm.
Dvovalentna logika
Ta vrsta logike podpira samo resnične in napačne vrednosti. Ne verjame v odtenke, vse je črno ali belo; siva barva je v tej logiki nemogoča.
Njena načela temeljijo na aristotelovski logiki, ki so identiteta, neskladje in izključena tretja stranka.
Večvalentna ali večnamenska logika
Ta vrsta logike se je rodila kot rezultat študij, ki sta jih opravila filozofa Jan Łukasiewicz in Emil Post, v katerih trdijo, da je mogoče priznati tudi druge vrednosti kot že običajne "prave" in "napačne" in da te vrednote lahko praktično dosežemo do neskončnosti.
V tem smislu se razlikuje od dvovalentne logike, ki priznava le dve vrednosti. Študije kažejo, da večvalentna ali večnamenska logika obravnava vrednosti, kot so možnost, nujnost, neobhodnost, resnica, neresničnost in nemožnost.
Prav tako je ta vrsta formalne logike zadolžena tudi za preučevanje filozofskih in strukturnih vidikov argumentov.
Primeri
Preko formalne logike je mogoče posebnemu sklepanju dodati vrednost resnice ali neresničnosti.
Kot smo že pojasnili, se formalna logika ne osredotoča na vse možnosti, ki jih je mogoče izvleči iz argumenta; osredotoča se le na to, ali je to res ali ne. V tem smislu spodaj navajamo nekaj primerov, ki temeljijo na formalni logiki:
-Buenos Aires je glavno mesto Argentine; potem so vsi rojeni v Buenos Airesu Argentinci.
-Joao govori portugalsko. Joao se je rodil na Portugalskem. Vsi na Portugalskem govorijo portugalsko.
Krave dajo mleko. Krave so sesalci. Vsi sesalci dajo mleko.
-Pedro je bel, María pa rjavolaska, zato obstajajo belci in rjavi ljudje.
-María igra v rock orkestru. Glasbeniki so tisti, ki igrajo v rock orkestru. Marija je glasbenica.
-José ima črne lase. Elena ima rjave lase. Njihova hči bi se lahko rodila s črnimi ali rjavimi lasmi.
- Stopalo ima pet prstov. Človeška bitja imajo desno in levo stopalo. Vsaka oseba ima deset prstov.
-Spain je država. Španija ostaja v Evropi. Vsi Španci so evropski.
- Ana je živo bitje. Ana je smrtna. Vsa živa bitja so smrtna.
- José se je zmočil z vodo. Voda se zmoči.
- Marija je jedla vročo hrano. Marija se je opekla, ko je jedla vročo hrano. Vroča hrana gori.
- Zemlja je del vesolja. V vesolju so planeti. Zemlja je planet.
- Električna lučka sveti. Na ulicah je električna svetloba. Električna luč osvetljuje ulice.
Reference
- "Formalna logika" v novi svetovni enciklopediji. Pridobljeno 21. aprila 2019 iz Nove svetovne enciklopedije: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes "Formal logic" v Pridobljeno 21. aprila 2019 iz Britannice: britannica.com.
- "Logika in njena klasifikacija" v Akademiji. Pridobljeno 23. aprila 2019 iz Academia: academia.edu.
- "Formal Logic" v filozofskem slovarju. Pridobljeno 23. aprila 2019 iz Filozofskega slovarja: philoso.org.
- "Polivalentna logika" v Filozofskem slovarju. Pridobljeno 23. aprila 2019 iz Filozofskega slovarja: philoso.org.
- "Splošni vidiki logike" v Club Essays (18. avgust 2013). Pridobljeno 23. aprila 2019 iz preskusov klubov: clubensayos.com.
- "Deontska logika" na wikipediji . Pridobljeno 23. aprila 2019 iz Wikipedije: es.wikipedia.org.
- "Večnamenska logika" v wikipediji . Pridobljeno 23. aprila 2019 iz Wikipedije: es.wikipedia.org.
- "Dvovalentna logika" na wikipediji . Pridobljeno 23. aprila 2019 iz Wikipedije: es.wikipedia.org
