Oficiali logika: tyrimo objektas, charakteristikos, tipai ir pavyzdžiai

Formali logika, dar vadinama teorine logika arba matematine logika, nustato, kurios yra pagrįstos ir teisingos motyvavimo formos. Per šią praktiką siekiame atskirti teisę nuo neteisingo.

Oficialiuose loginiuose simboliuose naudojami vienareikšmiškai ir kuo aiškiau, kad jie nebūtų manipuliuojami. Dėl šios praktikos galima kurti savo idėjas.

Žodis „logika“ kilęs iš senovės graikų λογικήlogik ḗ, o tai reiškia „aprūpinta intelektualine, dialektine, argumentacine priežastimi“. Logika yra viena iš filosofijos ir matematikos šakų ir yra labai naudinga šioms disciplinoms.

Apskritai, logika studijuoja minties formą. Pirmieji darbai, susiję su logika, priskiriami graikų filosofui Aristoteliui, todėl jis yra žinomas kaip šios mąstymo srities įkūrėjas.

Per visą istoriją daugelis filosofų, matematikų ir logikų gynė formalią logiką. Tarp jų galime pavadinti matematiką ir logistiką Alonzo bažnyčią; filosofas, matematikas ir logikas Gottlob Frege; matematikas ir filosofas Alfredas North Whiteheadas.

Jie taip pat buvo puikūs gynėjai Alfredas Tarskis, KurtGödel, Bertrand Russell ir Willard Van Orman Quine.

Studijų objektas

Formali logika naudojama kaip studijų dalykų objektas, pavyzdžiui, argumentavimas, samprata, sprendimai ir demonstravimas. Iš šių elementų ji analizuoja ir tiria visus kalbos ir semantikos išteklius, kad būtų galima padaryti išvadą.

Šia prasme nustatyta, kad formalioje logikoje argumentai yra tiriami iš struktūrizuoto taško, nuo jo galiojimo ar negaliojimo.

Oficiali logika nėra empirinis argumentavimo proceso tyrimas. Be to, neturėtų būti painiojama su įtikėjimu, nes į jį atsižvelgiama argumentų struktūra.

Ši logika taip pat žinoma kaip teorinė arba gryna logika, ir siekiama atlikti abstraktų dedukcinių argumentų, teiginių, teiginių ir sakinių nuoseklų tyrimą.

Atliekant išsamų formalių logikos modelių tyrimą kiekvienas žmogus galės tiksliai žinoti procedūras, susijusias su jų mąstymu.

Savybės

Toliau pateikiamos konkrečios ypatybės, kurios išskiria formalią logiką nuo kitų rūšių logikos:

- Tai mokslas, kuris tiria prielaidos formą, skirtingai nuo kitų logikos tipų, studijuojančių tik medžiagą.

- Tai yra struktūra be reikalo.

-Jis yra įsteigtas pagal oficialių sistemų pogrupį.

-Applikuoja tokius efektyvius metodus, kad per oficialią logiką galima atskirti nuo neteisingo dešinėje.

- Teisingos ar pagrįstos išvados daromos dėl to, kad analizuojama tikrųjų patalpų struktūra.

- Ištirkite ir analizuokite žmones, kad jie galėtų tiesiogiai patekti į minėtą mintį, ir tokiu būdu sugebėti sukurti kiekvieno žmogaus proto naujus modelius.

- Jam būdingas simbolinis simbolis.

- formalaus mokslo požiūriu, jis atlieka svarbų vaidmenį matematikos, filosofijos, kompiuterių mokslo ir statistikos srityse.

- Tai yra susijęs su gramatika dėl semantikos studijų.

- Išnagrinėti struktūras, todėl jis lyginamas su matematika.

-Ji taip pat yra susijusi su psichologija, nes ji orientuota į kiekvieno žmogaus mąstymo tyrimą.

Tipai

Deontinė logika

Jis kilęs iš senovės graikų δέον [τος] déon [kosulys] ir reiškia "kas yra" arba "kas yra būtina". Austrijos logikas Aloisas Höffleris yra šios koncepcijos, susijusios su standartų tyrimu ir analize, pažeidėjas.

Bivalentinė logika

Tai yra logika, kuri pripažįsta tik tikros ir klaidingos vertės. Jis netiki niuansais, viskas yra juoda arba balta; Tokio pobūdžio logika yra neįmanoma.

Jos principai grindžiami aristotelio logika, kuri yra tapatybė, nesuderinamumas ir trečioji.

Daugiakalbė arba daugiakalbė logika

Tokia logika atsirado iš filosofų Jan Łukasiewicz ir Emil Post atliktų tyrimų, kuriuose teigiama, kad gali būti priimtos ir kitos, nei bendrosios „true“ ir „false“ vertės, ir kad šios vertės gali praktiškai pasiekti iki begalybės.

Šia prasme ji skiriasi nuo dvivalentės logikos, kuri pripažįsta tik dvi vertybes. Tyrimai rodo, kad daugiakalbė arba daugiakalbė logika valdo tokias vertybes kaip galimybė, būtinybė, nebūtinybė, tiesa, melagingumas ir neįmanoma.

Be to, tokio tipo formali logika taip pat yra atsakinga už filosofinių ir struktūrinių argumentų aspektų tyrimą.

Pavyzdžiai

Formuojant logiką galima konkrečiai motyvuoti pridėti tiesos ar apgaulės vertę.

Kaip jau buvo paaiškinta anksčiau, oficiali logika nesusijusi su visomis galimybėmis, kurias galima išgauti iš argumento; joje pagrindinis dėmesys skiriamas tik tai, ar tai tiesa ar klaidinga. Šiuo požiūriu yra keletas pavyzdžių, pagrįstų oficialiu logika:

-Buenos Airesas yra Argentinos sostinė; tada visi, gimę Buenos Airėse, yra Argentinos.

-Joao kalba portugalų kalba. Joao gimė Portugalijoje. Visi Portugalijoje kalba portugalų kalba.

- Karvės duoda pieną. Karvės yra žinduoliai. Visi žinduoliai duoda pieną.

-Pedro yra baltas ir María morena, todėl yra baltų ir rudų žmonių.

-María groja roko orkestre. Muzikantai yra tie, kurie vaidina roko orkestre. Marija yra muzikantas.

-Jose yra juodi plaukai. Elena turi rudus plaukus. Jų dukra gali būti gimusi juodais arba rudais plaukais.

- Kojoje yra penki pirštai. Žmonės turi dešinę koją ir kairiąją koja. Kiekvienas žmogus turi dešimt kojų pirštų.

- Ispanija yra šalis. Ispanija yra Europoje. Visi ispanai yra europiečiai.

- Ana yra gyva būtybė. Ana yra mirtingas. Visos gyvos būtybės yra mirtinos.

- José nuvalė vandeniu. Vanduo drėkina.

- Marija valgė savo karštą maistą. Marija sudegino save valgydama karštą maistą. Karšto maisto nudegimai.

- Žemė yra visatos dalis. Visatoje yra planetų. Žemė yra planeta.