Formalni logični predmet preučevanja, značilnosti in primeri

The formalna logika, Imenuje se tudi teoretična logika ali matematična logika, določa, kakšne so veljavne in pravilne oblike sklepanja. S to prakso želi razlikovati pravilnost napačne.

V formalni logiki se simboli uporabljajo brez dvoumnosti in na najbolj jasen način, tako da jih ni mogoče manipulirati. Zahvaljujoč tej praksi lahko razvijejo svoje ideje.

Alfred North Whitehead je bil eden od zagovornikov formalne logike. Vir: Wellcom Trust [CC BY-SA 4.0 (https: // creativeCommons.Org/licence/by-sa/4.0)]

Beseda "logika" prihaja iz starogrške λογικήlogkin, kar pomeni "obdarjeno z intelektualnim razlogom, dialektičnim, argumentiranim". Logika je ena od vej filozofije in matematike in velja za zelo koristno za te discipline.

Na splošno logika preučuje obliko misli. Prva dela, opravljena v zvezi z logiko.

V zgodovini je več filozofov, matematike in logike zagovarjalo formalno logiko. Med njimi lahko poimenujemo matematiko in logično cerkev Alonzo; filozof, matematik in logični Gottlob Frege; In tudi matematik in filozof Alfred North Whitehead.

Med drugim so bili tudi veliki branilci Alfred Tarski, Kurtgödel, Bertrand Russell in Willard Van Orman Quine.

[TOC]

Predmet študija

Formalna logika uporablja vidike, kot so sklepanje, koncept, presoje in demonstracije kot predmet študija. Iz teh elementov analizirajo in preučujejo vse vire jezika in semantike, da bi dosegli zaključek.

V tem smislu je ugotovljeno, da se formalna logika preučuje z njene strukturirane točke iz njegove veljavnosti ali invalidnosti.

Formalna logika ni empirična študija procesa sklepanja. Prav tako ga ne bi smeli zamenjati s prepričevanjem, saj je potrebna struktura argumentov, da dobite zaključek.

Vam lahko služi: izvor filozofije: kako in kdaj se je zgodilo?

Ta logika je znana tudi kot teoretična ali čista logika in želi izvesti abstraktno študijo vsebine ali logičnih oblik deduktivnih argumentov, izjav, predlogov in stavkov, ki se nestrpno uporabljajo.

Izvedba izčrpne študije formalnih logičnih vzorcev bo vsakemu posamezniku omogočila, da natančno pozna povezane postopke njihovega razmišljanja.

Značilnosti

Spodaj so najbolj posebne značilnosti, ki razlikujejo formalno logiko od drugih vrst logike:

-Znanost je, ki preučuje obliko premise, za razliko od drugih vrst logike, ki le preučujejo gradivo.

-To je struktura brez snovi.

-Ustanovljen je v podskupini formalnih sistemov.

-Uporablja tako učinkovite metode, da lahko s formalno logiko nepravilnost desnice ločimo.

-Zaključki pravilnega ali veljavnega sklepanja nastanejo, ker se analizira struktura resničnih premis.

-Preučite in analizirajo ljudi, da se neposredno razmišljajo in s tem lahko vzpostavijo nove vzorce v mislih vsakega posameznika.

-Je značilno, da je simboličen.

-Z vidika formalne znanosti igra pomembno vlogo pri matematiki, filozofiji, računalništvu in statistiki.

-Povezana je s slovnico zaradi preučevanja semantike.

-Preučite strukture, zato je v primerjavi z matematiko.

-Nanaša se tudi na psihologijo, ker se osredotoča na preučevanje misli vsakega posameznika.

Fantje

Deontična logika

Prihaja iz starogrščine Δέον [τος] Donon [kašelj] In to pomeni "zapadlo" ali "potrebno". Avstrijska logika Alois Höffler je tolkal tega koncepta, ki se nanaša na študijo in analizo norm.

Vam lahko služi: René Descartes: Biografija, filozofija in prispevki

Dvovalentna logika

To je vrsta logike, ki priznava le vrednosti resničnih in napačnih. Ne verjame v nianse, vse je črno ali belo; Siva lestvica je pri tej vrsti logike nemogoča.

Njegova načela temeljijo na aristotelovski logiki, ki so identiteta, ne -kontradikcija in tretji izključeni.

Večvalentna ali vsestranska logika

Ta vrsta logike se je rodila kot rezultat študij, ki sta jih izvedla filozofi Jan łukasiewicz in Emil Post, v katerih pojasnjujejo, da je mogoče druge vrednosti sprejeti iz "resničnih" in "lažnih" skupnih in da te Vrednosti lahko skoraj pridejo do neskončnosti.

V tem smislu se razlikuje od bivalentne logike, ki priznava le dve vrednosti. Študije kažejo, da večvalentna ali vsestranska logika obravnava vrednosti, kot so možnost, potreba, brez potrebe, resnica, neresničnost in nemogoče.

Prav tako je ta vrsta formalne logike odgovorna tudi za preučevanje filozofskih in strukturnih vidikov, ki jih imajo argumenti.

Primeri

Skozi formalno logiko je mogoče v določeno sklepanje dodati vrednost resnice ali lažnosti.

Kot smo pojasnili zgoraj, 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 je resnično ali napačno. V tem smislu nato naštejemo nekaj primerov, ki temeljijo na formalni logiki:

-Buenos Aires je glavno mesto Argentine; Torej, vsi, rojeni v Buenos Airesu, so Argentinci.

-Joao govori portugalsko. Joao se je rodil na Portugalskem. Vse na Portugalskem govori portugalsko.

-Krave dajejo mleko. Krave so sesalci. Vsi sesalci dajejo mleko.

-Pedro je Blanco in María Morena, zato so ljudje bele in rjavolaske.

Vam lahko služi: humanistični misleci

-Marija se dotakne v skalnem orkestru. Glasbeniki so tisti, ki igrajo v rock orkestru. Marija je glasbenica.

-José ima črne lase. Elena ima rjave lase. Hči le -teh bi se lahko rodila s črnimi ali rjavimi lasmi.

-Stopalo ima pet prstov. Človeška bitja imajo desno nogo in levo. Vsaka oseba ima deset prstov na nogah.

-Španija je država. Španija ostaja v Evropi. Vsi Španci so evropski.

- Ana je živo bitje. Ana je smrtna. Vsa živa bitja so smrtna.

- José moker z vodo. Voda se zmoči.

- Maria je pojedla svojo vročo hrano. Marija je gorela, ko je jedla vročo hrano. Vroča hrana gori.

- Zemlja je del vesolja. V vesolju so planeti. Zemlja je planet.

- Električna luč osvetli. Na ulicah je električna luč. Električna lučka osvetljuje ulice.

Reference

1. "Formalna logika" na Enciklopediji New World. Pridobljeno 21. aprila 2019 iz New World Encyclopedia: Newworldiklopedija.org.
2. Morton l. Schagrin Ge Hughes "Formalna logika" v okrevanju 21. aprila 2019 iz Britannice: Britannica.com.
3. "Logika in njegova klasifikacija" v akademiji. Pridobljeno 23. aprila 2019 iz akademije: akademija.Edu.
4. "Formalna logika" v filozofskem slovarju. Pridobljeno 23. aprila 2019 filozofskega slovarja: filozofija.org.
5. "Večnamenska logika" v filozofskem slovarju. Pridobljeno 23. aprila 2019 filozofskega slovarja: filozofija.org.
6. "Splošni vidiki logike" v klubskih esejih (18. avgust 2013). Pridobljeno 23. aprila 2019 iz klubskih esejev: Clubsansayos.com.
7. "Deontica Logic" v Wikipediji. Pridobljeno 23. aprila 2019 iz Wikipedije:.Wikipedija.org.
8. "Večnamenska logika" v Wikipediji. Pridobljeno 23. aprila 2019 iz Wikipedije:.Wikipedija.org.
9. "Bivalentna logika" na Wikipediji. Pridobljeno 23. aprila 2019 iz Wikipedije:.Wikipedija.org