FORMALŪS MOKSLAI: CHARAKTERISTIKOS, TYRIMO OBJEKTAS IR PAVYZDŽIAI - MOKSLAS - 2025

Į oficialūs mokslai sudaro sistemingai organo nuosekliai ir racionaliai žinių. Jo tikslas nėra fizinis-gamtinis pasaulis, o visiškai abstraktūs objektai; Tačiau formaliųjų mokslų žinias galima pritaikyti fizinėje-gamtinėje tikrovėje ir panaudoti faktų arba empiriniuose moksluose.

Formaliųjų mokslų naudojamas metodas yra dedukcija ir, skirtingai nei faktiniai mokslai, formalieji mokslai nepripažįsta nei grobimo, nei indukcijos. Todėl formalus mokslas veikia su formomis; tai yra su objektais, kurie egzistuoja tik žmogaus galvoje ir yra gaunami abstrakcijos būdu.

Matematika laikoma formaliu mokslu. Šaltinis: pixabay.com

Panašiai formaliųjų mokslų tiesa suprantama kaip logiška tiesa: tai pasekmių serija, atsirandanti įvertinus visas galimybes ar būdus, kaip iš anksto nustatyti faktai galėjo būti sujungti. Šiame kontekste formaliojo mokslo pavyzdžiai gali būti matematika arba logika.

Formaliųjų mokslų bruožas yra tas, kad tai yra mokslo žinių šakos, tiriančios formaliąsias sistemas. Taigi formalus mokslas patvirtina savo teoriją per pasiūlymų, aksiomų, apibrėžimų ir išvadų rinkinį.

Visi formalieji mokslai yra analitiniai. Tai išskiria juos iš gamtos ir socialinių mokslų, kurie teigiami empiriškai; tai yra, norint surasti teorijai pagrįstų įrodymų, reikia stebėti realųjį pasaulį. Vietoj to, formalios mokslo žinios vadinamos „teoremomis“ ir yra gaunamos iš matematinių įrodymų.

Be to, visada laikomasi formaliųjų mokslų nustatytų taisyklių ar įstatymų, nesvarbu, koks tai būtų atvejis. Taigi tai yra universalūs įstatymai, kurie nenagrinėja konkrečių reiškinių, kaip nutinka su faktų mokslais. Formaliojo mokslo turinys yra tuščias, nes jis išlaikomas tik forma ir priežastiniais ryšiais.

Dėl kilmės kai kurie pabrėžia, kad formalieji mokslai yra tokie pat seni kaip žmonija, nes nuo pat pradžių žmogus naudojo matematiką ir logiką organizuodamas savo pasaulį. Tačiau jie buvo vadinami tokiu būdu nuo modernaus amžiaus, kai buvo suplanuoti ir klasifikuoti.

charakteristikos

Šios yra svarbiausios formaliųjų mokslų savybės:

- Formaliųjų mokslų naudojamas metodas yra dedukcija.

- Formaliojo mokslo kriterijus nustatyti tiesą yra pagrįstas nuoseklumu ar neprieštaravimu.

- Formaliojo mokslo teiginiai visada yra analitiniai, o tai reiškia, kad jie yra išvedami per teoremas ar postulatus.

- Formaliųjų mokslų subjektai gali egzistuoti tik žmogaus galvoje.

- Matematikai ir logikai kuria savo tyrimo objektus naudodami tuščius simbolius.

- Formaliojo mokslo demonstravimas yra baigtas, bendras ir galutinis.

- Formaliųjų mokslų studijos įgauna griežtumo įprotį.

Tyrimo objektas

Bendrai kalbant, galima sakyti, kad formaliųjų mokslų studijų objektas yra formos; Tai gali būti pateikiama kaip santykiai, abstrakcijos ar idealūs objektai, sukonstruoti žmogaus galvoje.

Kai kurie mokslininkai teigia, kad formalusis mokslas ne tiek domisi reiškinių priežastimi, o labiau kreipia dėmesį į tai, kaip; tai yra, polinkis nukreiptas į formas, o ne į patį turinį.

Apibendrinant, formalieji mokslai, dar vadinami idealiaisiais mokslais, yra tie, kurie nesutelkia dėmesio į pasaulį ar gamtą, taip pat į jį valdančius cheminius ar fizinius įstatymus.

Jo pomėgis yra formalios santykių sistemos, kurios neturi savo turinio, tačiau kurios gali būti panaudotos analizuojant bet kurį tikrovės aspektą.

Pirmiau pateiktą pavyzdį gali įrodyti fizika, tai yra faktinis ar empirinis mokslas, atsakingas už kūnų, judesio, erdvės ir materijos tyrimą. Tačiau atliekant analizę ir išvadas fizika naudoja matematiką - tai yra formalus mokslas.

Formaliojo mokslo pavyzdžiai

-Statistika

Statistika yra oficiali disciplina, atsakinga už duomenų serijos organizavimą, aiškinimą ir apdorojimą, siekiant nustatyti tam tikras tam tikros populiacijos savybes ar socialinį tikslą.

Anot kai kurių autorių, statistiką taip pat galima apibrėžti kaip mokslą, tiriantį, kaip informacija turėtų būti naudojama tam tikrose praktinėse situacijose, sukeliančiose netikrumą. Kai kuriais atvejais statistika buvo apibrėžta kaip „duomenų mokslas“, nes ji kaupia, klasifikuoja ir interpretuoja pastarąjį.

Taip pat statistika leidžia tyrėjams paimti duomenų seriją kaip atskaitos tašką, kad galėtų atlikti savo darbą, garantuodama analizę ir objektyvų rezultatų rinkinio gavimą.

Statistiką galima suskirstyti į dvi pagrindines grupes:

Aprašomoji statistika

Jį sudaro metodas, kuris skaitmeniškai apibūdina duomenų rinkinį. Taigi, būdamas skaitinis metodas, aprašomoji statistika naudoja skaičių kaip metodą aprašymui.

Pagrindinis šios rūšies statistikos bruožas yra tas, kad ji neleidžia daryti konkrečių išvadų; pateikiami tik skaitiniai rezultatai.

Dedukcinė, analitinė ar išvadinė statistika

Jis yra atsakingas už sėkmės tikimybių studijas skirtinguose įmanomuose konkrečios problemos sprendimuose. Be to, išvadinė statistika sukuria matematinį modelį, pagal kurį išvados, gautos atliekant mėginių stebėjimą, išskaičiuoja gyventojų elgseną.

Priešingai nei aprašomoji statistika, dedukcinė ar išvadinė statistika leidžia daryti konkrečias išvadas.

-Geometrija

Geometrija yra formalus mokslas, pradedantis nuo matematikos, norint ištirti figūros, esančios erdvėje ar tam tikroje plokštumoje, išmatavimus ir savybes. Savo ruožtu geometrija naudoja aksiomatines arba formaliąsias sistemas, kad vaizduotų skirtingus tikrovės aspektus.

Šios aksiomatinės sistemos yra sudarytos iš simbolių, kurie, laikantis tam tikrų taisyklių, gali jungtis ir sudaryti grandines, kurios taip pat gali būti sujungtos viena su kita. Pavyzdžiui, geometrija paremta abstrakčiomis sąvokomis, tokiomis kaip kreivės, taškai ir linijos.

Svarbu pažymėti, kad geometrija yra viena iš seniausių disciplinų, kurios egzistuoja, nes jos ištakos siekia Senovės Egiptą. Tiesą sakant, svarbūs matematikai ir mokslininkai kreipėsi į geometriją, kad parengtų dalykų apimties, ploto ir ilgio tyrimus; Tarp šių išminčių išsiskiria Euklidas ir Herodotas.

Viena iš svarbiausių geometrinių tyrimų figūrų buvo René Descartesas, prancūzų fizikas ir filosofas, kuris pasiūlė, kad formos geometriją būtų galima išreikšti lygtimis.

Geometriją galima suskirstyti į dvi pagrindines šakas:

Analitinė geometrija

Jį sudaro geometrijos rūšis, tirianti skaičius per koordinačių sistemą. Šis tyrimas atliekamas naudojant matematinės analizės metodikas.

Aprašomoji geometrija

Aprašomąją geometriją sudaro šaka, skirta erdvinėms problemoms spręsti atliekant operacijas, kurios išreiškiamos ir plėtojamos plokštumoje; jame vaizduojamos tam tikros figūros iš tvirtų tikrovės objektų.

-Teorinė kalbotyra

Teorinė lingvistika yra formalus mokslas, kilęs iš kalbotyros ir besidomintis pagrindiniais natūralių kalbų aspektais, atsižvelgiant į kalbos struktūrą ir kalbėtojų kalbinių žinių ypatybes.

Taip pat galima nustatyti, kad teorinę kalbotyrą sudaro kitos disciplinos, tokios kaip semantika, fonologija, morfologija ir fonetika.

Šis mokslas remiasi universalių schemų ir teorijų, kurios gali galioti visomis kalbomis, kuriomis kalbama pasaulyje, konstravimu. Taigi teorine lingvistika nesiekiama paaiškinti tam tikrų konkrečių konkrečios kalbos faktų, o labiau atkreipiamas dėmesys į kalbinių struktūrų universalumą.

Dėl šios priežasties galima sakyti, kad teorinė kalbotyra yra formalus mokslas, nes, kaip ir statistika, ši disciplina yra atsakinga už duomenų rinkimą, kuris leidžia mums aiškinti, analizuoti ir kataloguoti kalbų gramatines ir fonologines struktūras.

Be to, šioje kalbotyros šakoje naudojamos teorinės abstrakcijos kartu su sudėtingomis schemomis, kurių neįmanoma suvokti realybėje, o kurios žmogaus galvoje egzistuoja tik kaip idealios.

-Dirbtinis intelektas

Dirbtinis intelektas (AI) yra kompiuterių mokslo šaka, kurią sudaro mašinų sudarytų abstrakčių duomenų serijos apdorojimas; Šie duomenys leidžia elektroniniams prietaisams atlikti užduotį ar tikslą.

Kitaip tariant, per daugybę abstrakčių ir skaitmeninių duomenų dirbtinis intelektas suteikia jums prieigą prie mašinų, kad jos galėtų išmokti, suvokti, pagrįsti ar išspręsti tam tikras problemas.

Kai kurie mokslininkai dirbtinį intelektą apibrėžia kaip skaičiavimo šaką, atsakingą už kompiuterinių modelių tyrimą, kad jie galėtų vykdyti žmonėms būdingą veiklą per dvi pagrindines savybes: elgesį ir samprotavimus.

Terminą „dirbtinis intelektas“ 1956 m. Sukūrė informatikas Johnas McCarthy, kuris nustatė, kad AI yra išradingumo mokslas, nes jis leidžia kurti intelektualias kompiuterines programas.

Nuorodos

1. Castañeda, J. (sf) Formaliųjų arba idealiųjų mokslų ypatybės. Gauta 2019 m. Rugpjūčio 8 d. Iš Mokslo savybės: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) Formalieji mokslai. Gauta 2019 m. Rugpjūčio 8 d. Iš „Jstor“: jstor.org
3. Raffino, M. (2018) Formaliųjų mokslų samprata. Gauta 2019 m. Rugpjūčio 8 d. Iš „Concept: concept.de“
4. SA (sf) formalieji mokslai. Gauta 2019 m. Rugpjūčio 8 d. Iš Vikipedijos: es.wikipedia.org
5. SA (sf) Formaliųjų mokslų samprata. Gauta rugpjūčio 8 d. Iš „De Conceptos“: deconceptos.com
6. SA (sf.) Ką reiškia formalusis mokslas? Gauta 2019 m. Rugpjūčio 8 d. Iš „Apibrėžtys: defines.net“
7. Soledispa, A. (sf) Formaliųjų ir faktinių mokslų ypatybės. Gauta 2019 m. Rugpjūčio 8 d. Iš „Academia“: academia.edu
8. SA (sf) Kas yra statistika? Tipai ir tikslai. Gauta 2019 m. Rugpjūčio 11 d. Iš „Gestiopolis“: Gestiopolis.com
9. SA (2018). Kas yra teorinė kalbotyra? Gauta 2019 m. Rugpjūčio 11 d. Iš „Quora“: quora.com
10. Tegmark, M. Dirbtinio intelekto nauda ir rizika. Gauta 2019 m. Rugpjūčio 11 d. Iš „Ateities gyvenimas“: futureoflife.org
11. Figueras, C. (Sf) geometrija. Gauta 2019 m. Rugpjūčio 11 d. Iš „Monografijos“: monogramas.com