FORMALNE VEDE: ZNAČILNOSTI, PREDMET PROUČEVANJA IN PRIMERI - ZNANOST - 2026

Na formalni vede je sestavljen iz sistematičnega telo skladno in racionalno znanja. Njegov cilj ni fizično-naravni svet, temveč popolnoma abstraktni predmeti; Vendar lahko znanje formalnih znanosti uporabimo v fizikalno-naravni resničnosti in jih uporabljajo dejanske ali empirične znanosti.

Metoda, ki jo uporabljajo formalne vede, je dedukcija, za razliko od dejanskih znanosti pa formalne znanosti ne priznavajo niti ugrabitve niti indukcije. Zato formalna znanost deluje z obrazci; torej s predmeti, ki obstajajo le v človeškem umu in so pridobljeni z abstrakcijo.

Matematika velja za formalno znanost. Vir: pixabay.com

Prav tako je resnica za formalne vede razumljena kot logična resnica: gre za niz posledic, ki sledijo po preučitvi vseh možnosti ali načinov, kako bi lahko združili vnaprej ugotovljena dejstva. V tem okviru sta primera formalne znanosti lahko matematika ali logika.

Značilnost formalnih ved je, da gre za veje znanstvenih spoznanj, ki preučujejo formalne sisteme. Posledično formalna znanost potrjuje svojo teorijo s sklopom predlogov, aksiomov, definicij in pravil sklepanja.

Vse formalne znanosti so analitične. To jih razlikuje od naravnih in družbenih ved, ki se zagovarjajo empirično; to pomeni, da potrebujejo opazovanje resničnega sveta, da bi našli dokaze v prid teoriji. Namesto tega se formalno naravoslovno znanje imenuje "teoremi" in izhaja iz matematičnih dokazov.

Poleg tega se vedno upoštevajo pravila ali zakoni, ki jih določajo formalne vede, ne glede na to. Posledično gre za univerzalne zakone, ki ne preučujejo konkretnih pojavov, kot se to dogaja z dejanskimi vedami. Vsebina formalne znanosti je prazna, saj se vzdržuje le v obliki in v vzročno zveze.

Kar zadeva njegov izvor, nekateri poudarjajo, da so formalne vede stare toliko kot človeštvo, saj je človek že od začetka uporabljal matematiko in logiko za organizacijo svojega sveta. Vendar so jih začeli tako imenovati iz moderne dobe, ko so jih konceptualizirali in razvrstili.

značilnosti

Sledijo najpomembnejše značilnosti formalnih ved:

- Metoda, ki jo uporabljajo formalne vede, je metoda odbitka.

- Kriterij formalne znanosti za določitev resnice temelji na doslednosti ali neskladju.

- Izjave formalne znanosti so vedno analitične, kar pomeni, da jih sklepamo s teoremi ali postulati.

- Entitete formalnih znanosti lahko obstajajo le v človeškem umu.

- Matematiki in logiki gradijo lastne predmete preučevanja s praznimi simboli.

- Predstavitev formalne znanosti je popolna, popolna in končna.

- Študij formalnih znanosti poživi navado strogosti.

Predmet preučevanja

Na splošno lahko rečemo, da so predmet preučevanja formalnih ved oblike; Ti so lahko predstavljeni kot odnosi, abstrakcije ali idealni predmeti, ki so bili zgrajeni v človekovem umu.

Nekateri znanstveniki trdijo, da formalne znanosti ne zanima tako razlog pojavov, ampak se osredotoča na to, kako; torej nagnjenost je k oblikam in ne k sami vsebini.

Za zaključek so formalne znanosti - znane tudi kot idealne znanosti - tiste, ki se ne osredotočajo na svet ali naravo niti na kemijske ali fizikalne zakone, ki ga urejajo.

Njegov interes je v formalnih sistemih odnosov, ki nimajo svoje vsebine, vendar jih je mogoče uporabiti med analizo katerega koli vidika resničnosti.

Primer zgornjega lahko dokažemo s fiziko, ki je dejanska ali empirična znanost, ki je odgovorna za preučevanje teles, gibanja, prostora in materije. Vendar fizika uporablja matematiko - kar je formalna znanost - za izvajanje svojih analiz in zaključkov.

Primeri formalne znanosti

-Statistika

Statistika je formalna disciplina, ki je odgovorna za organizacijo, razlago in obdelavo niza podatkov, da se ugotovijo določene značilnosti določene populacije ali družbenega cilja.

Po mnenju nekaterih avtorjev je statistiko mogoče opredeliti tudi kot znanost, ki preučuje, kako je treba informacije uporabiti v določenih praktičnih situacijah, ki ustvarjajo negotovosti. Včasih je bila statistika opredeljena kot "znanost o podatkih", ker slednje zbira, razvršča in razlaga.

Prav tako statistika omogoča raziskovalcem, da za izhodišče vzamejo vrsto podatkov, kar zagotavlja analizo in objektivno pridobivanje niza rezultatov.

Statistiko lahko razdelimo v dve glavni skupini:

Opisna statistika

Sestavljen je iz metode, ki numerično opisuje niz podatkov. Zato opisna statistika kot številčna metoda uporablja število kot tehniko opisovanja.

Glavna značilnost te vrste statistike je, da ne omogoča konkretnih zaključkov; zagotavlja le številčne rezultate.

Odbitna, analitična ali inferencialna statistika

Odgovoren je za preučitev verjetnosti uspeha v okviru različnih možnih rešitev posamezne težave. Poleg tega inferencialna statistika ustvarja matematični model, ki sklepa o vedenju prebivalstva na podlagi sklepov, pridobljenih med opazovanjem vzorcev.

V nasprotju z opisno statistiko nam deduktivna ali inferencialna statistika omogoča konkretne zaključke.

Geometrija

Geometrija je formalna veda, ki se začne od matematike do preučevanja meritev in lastnosti figure, ki se nahaja v prostoru ali na določeni ravnini. Po drugi strani geometrija uporablja aksiomatične ali formalne sisteme za predstavljanje različnih vidikov resničnosti.

Ti aksiomatični sistemi so sestavljeni iz simbolov, ki se lahko ob upoštevanju določenih pravil združijo in tvorijo verige, ki jih je mogoče povezati tudi med seboj. Na primer, geometrija temelji na abstraktnih pojmih, kot so krivulje, točke in črte.

Pomembno je omeniti, da je geometrija ena najstarejših disciplin, ki obstajajo, saj segajo v starodavni Egipt. Pravzaprav so se pomembni matematiki in znanstveniki obrnili na geometrijo, da bi razvili študije o obsegu, območjih in dolžinah stvari; med temi modreci izstopata Euklid in Herodot.

Ena najpomembnejših figur v geometrijskih študijah je bil René Descartes, francoski fizik in filozof, ki je predlagal, da bi geometrijo oblike lahko izrazili ali predstavili z enačbami.

Geometrijo lahko razdelimo na dve glavni veji:

Analitična geometrija

Sestavljen je iz vrste geometrije, ki proučuje figure prek koordinatnega sistema. Ta študija to počne z uporabo metodologij iz matematične analize.

Opisna geometrija

Opisna geometrija je sestavljena iz veje, ki je namenjena reševanju prostorskih problemov z operacijami, ki so izražene in razvite na ravnini; v tem so predstavljene nekatere figure iz trdnih predmetov resničnosti.

-Teoretsko jezikoslovje

Teoretično jezikoslovje je formalna veda, ki izhaja iz lingvistike in jo zanimajo glavni vidiki naravnih jezikov, upoštevajoč strukturo jezika in značilnosti jezikovnega znanja govorcev.

Prav tako je mogoče ugotoviti, da teoretično jezikoslovje sestavljajo druge discipline, kot so semantika, fonologija, morfologija in fonetika.

Ta znanost temelji na konstrukciji univerzalnih shem in teorij, ki lahko veljajo za vse jezike na svetu. Zato teoretična lingvistika ne želi razložiti določenih dejstev določenega jezika, temveč opozarja na univerzalnost jezikovnih struktur.

Zaradi tega lahko rečemo, da je teoretično jezikoslovje formalna znanost, saj je, tako kot statistika, ta disciplina zadolžena za zbiranje podatkov, ki nam omogočajo razlago, analizo in katalogizacijo slovničnih in fonoloških struktur jezikov.

Poleg tega ta veja jezikoslovja uporablja teoretične abstrakcije skupaj s kompleksnimi shemami, ki jih v resnici ni mogoče zajeti, ampak obstajajo le kot idealne v človeškem umu.

-Umetna inteligenca

Umetna inteligenca (AI) je veja računalništva, ki sestoji iz obdelave niza abstraktnih podatkov, ki jih izdelujejo stroji; Ti podatki omogočajo elektronskim napravam, da opravijo nalogo ali cilj.

Z drugimi besedami, umetna inteligenca vam prek niza abstraktnih in numeričnih podatkov omogoča dostop do strojev, da se lahko naučijo, zaznajo, razložijo ali rešijo določene težave.

Nekateri znanstveniki opredeljujejo umetno inteligenco kot računalniško vejo, ki je odgovorna za preučevanje računalniških modelov, da lahko izvajajo dejavnosti, značilne za človeka, skozi dve glavni značilnosti: vedenje in sklepanje.

Izraz "umetna inteligenca" je leta 1956 skoval računalniški znanstvenik John McCarthy, ki je ugotovil, da je AI znanost iznajdljivosti, saj omogoča gradnjo inteligentnih računalniških programov.

Reference

1. Castañeda, J. (sf) Značilnosti formalnih ali idealnih ved. Pridobljeno 8. avgusta 2019 iz Značilnosti znanosti: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) Formalne znanosti. Pridobljeno 8. avgusta 2019 iz Jstorja: jstor.org
3. Raffino, M. (2018) Koncept formalnih znanosti. Pridobljeno 8. avgusta 2019 iz koncepta: concept.de
4. SA (sf) Formalne znanosti. Pridobljeno 8. avgusta 2019 iz Wikipedije: es.wikipedia.org
5. SA (sf) Koncept formalnih znanosti. Pridobljeno 8. avgusta iz De Conceptos: deconceptos.com
6. SA (sf.) Kaj pomeni formalna znanost? Pridobljeno 8. avgusta 2019 iz Definitions: definitions.net
7. Soledispa, A. (sf) Značilnosti formalnih in dejanskih znanosti. Pridobljeno 8. avgusta 2019 iz Academia: academia.edu
8. SA (sf) Kaj je statistika? Vrste in cilji. Pridobljeno 11. avgusta 2019 iz Gestiopolis: Gestiopolis.com
9. SA (2018). Kaj je teoretično jezikoslovje? Pridobljeno 11. avgusta 2019 iz Quora: quora.com
10. Tegmark, M. Koristi in tveganja umetne inteligence. Pridobljeno 11. avgusta 2019 iz Prihodnosti življenja: futureoflife.org
11. Figueras, C. (Sf) Geometrija. Pridobljeno 11. avgusta 2019 iz Monographs: monogramas.com