FORMELLE VITENSKAPER: EGENSKAPER, STUDIEOBJEKT OG EKSEMPLER - VITENSKAP - 2025

De formelle vitenskapene består av et systematisk organ med sammenhengende og rasjonell kunnskap. Hans mål er ikke den fysisk-naturlige verden, men helt abstrakte objekter; Kunnskapen om de formelle vitenskapene kan imidlertid brukes i den fysisk-naturlige virkeligheten og brukes av de faktiske eller empiriske vitenskapene.

Metoden som brukes av de formelle vitenskapene er deduksjon, og i motsetning til fakultetene innrømmer de formelle vitenskapene verken bortføring eller induksjon. Derfor fungerer en formell vitenskap med former; det vil si med objekter som bare eksisterer i det menneskelige sinn og oppnås ved abstraksjon.

Matematikk regnes som en formell vitenskap. Kilde: pixabay.com

På samme måte forstås sannheten for de formelle vitenskapene som en logisk sannhet: det er en serie konsekvenser som følger etter å ha vurdert alle mulighetene eller måtene de forhåndsbestemte fakta kunne vært kombinert på. I denne sammenhengen kan eksempler på formell vitenskap være matematikk eller logikk.

Et kjennetegn ved formvitenskapene er at de er grener av vitenskapelig kunnskap som studerer formelle systemer. Følgelig validerer en formell vitenskap sin teori gjennom et sett med proposisjoner, aksiomer, definisjoner og inferensregler.

De formelle vitenskapene er alle analytiske. Dette skiller dem fra natur- og samfunnsvitenskapene, som argumenteres empirisk; det vil si at de krever observasjon av den virkelige verden for å finne bevis til fordel for en teori. I stedet kalles formell vitenskapskunnskap "teoremer" og kommer fra matematiske bevis.

Videre følges alltid regler eller lover som er fastsatt av de formelle vitenskapene, uansett hva saken måtte være. Følgelig er det universelle lover som ikke studerer konkrete fenomener, som forekommer med faktavitenskap. Innholdet i en formell vitenskap er tomt, siden den bare opprettholdes i form og i årsakssammenhenger.

Når det gjelder dens opprinnelse, påpeker noen at de formelle vitenskapene er like gamle som menneskeheten, siden mennesket helt fra begynnelsen har brukt matematikk og logikk for å organisere sin verden. Imidlertid begynte de å bli kalt på denne måten fra den moderne tid, da de ble konseptualisert og klassifisert.

kjennetegn

Følgende er de viktigste egenskapene til de formelle vitenskapene:

- Metoden som brukes av formelle vitenskaper er fradrag.

- Kriteriet for en formell vitenskap for å fastslå sannheten er basert på konsistens eller ikke-selvmotsigelse.

- Uttalelsene fra en formell vitenskap er alltid analytiske, noe som betyr at de blir trukket ut gjennom teoremer eller postulater.

- Enhetene i de formelle vitenskapene kan bare eksistere i det menneskelige sinnet.

- Matematikere og logikere bygger sine egne studieobjekter gjennom tomme symboler.

- Demonstrasjonen av en formell vitenskap er fullstendig, total og endelig.

- Studiet av formelle vitenskaper forsterker vanen med strenghet.

Studieobjekt

Generelt sett kan det sies at gjenstanden for å studere de formelle vitenskapene er formene; Disse kan presenteres som relasjoner, abstraksjoner eller ideelle gjenstander som er konstruert i menneskets sinn.

Noen forskere hevder at formell vitenskap ikke er så interessert i hvorfor fenomener, men heller fokuserer på hvordan; det vil si at tilbøyeligheten er mot formene og ikke mot selve innholdet.

Avslutningsvis er de formelle vitenskapene - også kjent som ideelle vitenskaper - de som ikke fokuserer på verden eller naturen, og heller ikke på de kjemiske eller fysiske lovene som styrer den.

Hans interesse ligger i de formelle systemene for forhold som ikke har eget innhold, men som kan brukes under analysen av ethvert aspekt av virkeligheten.

Et eksempel på det ovenstående kan bevises med fysikk, som er en saklig eller empirisk vitenskap som er ansvarlig for studiet av kropper, bevegelse, rom og materie. Imidlertid bruker fysikk matematikk - som er en formell vitenskap - for å utføre analyser og konklusjoner.

Eksempler på formell vitenskap

-Statistikk

Statistikk er en formell disiplin som har ansvar for å organisere, tolke og behandle en serie data for å etablere visse kjennetegn ved en viss populasjon eller sosialt mål.

I følge noen forfattere kan statistikk også defineres som vitenskapen som studerer hvordan informasjon skal brukes i visse praktiske situasjoner som skaper usikkerhet. Noen ganger har statistikk blitt definert som "vitenskapen om data", fordi den samler inn, klassifiserer og tolker sistnevnte.

På samme måte tillater statistikk forskere å ta en serie data som utgangspunkt for å påta seg arbeidet, noe som garanterer analyse og objektiv innhenting av et sett med resultater.

Statistikk kan deles inn i to hovedgrupper:

Beskrivende statistikk

Den består av en metode som numerisk beskriver et sett med data. Derfor er beskrivende statistikk, som en numerisk metode, nummer som en teknikk for å beskrive.

Hovedtrekket ved denne typen statistikk er at den ikke tillater å trekke konkrete konklusjoner; det gir bare numeriske resultater.

Deduktiv, analytisk eller inferensiell statistikk

Det er ansvarlig for å studere sannsynlighetene for suksess innenfor de forskjellige mulige løsningene på et bestemt problem. I tillegg skaper inferensiell statistikk en matematisk modell som trekker ut populasjonsatferden basert på konklusjonene som ble oppnådd under observasjonen av prøvene.

I motsetning til beskrivende statistikk, tillater deduktiv eller inferensiell statistikk oss å trekke konkrete konklusjoner.

-Geometrien

Geometri er en formell vitenskap som starter fra matematikk for å studere målingene og egenskapene til en figur som befinner seg i et rom eller på et bestemt plan. På sin side bruker geometri aksiomatiske eller formelle systemer for å representere forskjellige aspekter av virkeligheten.

Disse aksiomatiske systemene består av symboler som, med respekt for visse regler, kan bli med og danne kjeder, som også kan knyttes til hverandre. For eksempel er geometri basert på abstrakte forestillinger som kurver, punkter og linjer, blant andre.

Det er viktig å merke seg at geometri er en av de eldste fagområdene som finnes, siden opprinnelsen stammer fra det gamle Egypt. Faktisk vendte viktige matematikere og lærde seg til geometri for å utvikle studier om tingenes volum, områder og lengder; blant disse vise menn skiller seg Euklides og Herodotus ut.

En av de viktigste figurene i geometriske studier var René Descartes, en fransk fysiker og filosof som foreslo at geometrien til en form kunne uttrykkes eller representeres av ligninger.

Geometri kan deles inn i to hovedgrener:

Analytisk geometri

Den består av en type geometri som studerer figurene gjennom et koordinatsystem. Denne studien gjør det gjennom bruk av metodologier fra matematisk analyse.

Beskrivende geometri

Beskrivende geometri består av en gren som er dedikert til å løse romlige problemer gjennom operasjoner som uttrykkes og utvikles på et plan; i dette er visse figurer fra solide virkelighetsobjekter representert.

-Teoretisk språkvitenskap

Teoretisk språkvitenskap er en formell vitenskap som kommer fra språkvitenskap og som er interessert i hovedaspektene ved naturlige språk, under hensyntagen til språkets struktur og egenskapene til de språklige kunnskapene til foredragsholderne.

På samme måte kan det fastslås at teoretisk språkvitenskap består av andre fagfelt som semantikk, fonologi, morfologi og fonetikk.

Denne vitenskapen er basert på konstruksjon av universelle ordninger og teorier, som kan være gyldige for alle språkene som snakkes i verden. Følgelig har teoretisk språkvitenskap ikke som mål å forklare visse spesielle fakta om et bestemt språk, men peker heller på universiteten i språklige strukturer.

Av denne grunn kan det sies at teoretisk språkvitenskap er en formell vitenskap siden denne disiplinen, i likhet med statistikk, har ansvaret for å samle inn data som lar oss tolke, analysere og katalogisere de grammatiske og fonologiske strukturer for språk.

Videre benytter denne grenen av språkvitenskap teoretiske abstraksjoner sammen med komplekse skjemaer som ikke kan oppfattes i virkeligheten, men som bare eksisterer som ideelle i det menneskelige sinn.

-Kunstig intelligens

Kunstig intelligens (AI) er en gren av informatikk som består av behandlingen av en serie abstrakte data laget av maskiner; Disse dataene tillater elektroniske enheter å utføre en oppgave eller et mål.

Gjennom en serie abstrakte og numeriske data gir kunstig intelligens deg med andre ord tilgang til maskiner slik at de kan lære, oppfatte, resonnere eller løse visse problemer.

Noen forskere definerer kunstig intelligens som en beregningsgren som er ansvarlig for å studere datamodeller slik at de kan utføre aktiviteter som er typiske for mennesker gjennom to hovedegenskaper: atferd og resonnement.

Begrepet "kunstig intelligens" ble myntet av dataforskeren John McCarthy i 1956, som slo fast at AI er vitenskapen om oppfinnsomhet, fordi det tillater å bygge intelligente dataprogrammer.

referanser

1. Castañeda, J. (sf) Kjennetegn på formelle eller ideelle vitenskaper. Hentet 8. august 2019 fra Characteristics of science: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) De formelle vitenskaper. Hentet 8. august 2019 fra Jstor: jstor.org
3. Raffino, M. (2018) Begrepet formelle vitenskaper. Hentet 8. august 2019 fra Concept: concept.de
4. SA (sf) Formal Sciences. Hentet 8. august 2019 fra Wikipedia: es.wikipedia.org
5. SA (sf) Begrepet formelle vitenskaper. Hentet 8. august fra De Conceptos: deconceptos.com
6. SA (sf.) Hva betyr formell vitenskap? Hentet 8. august 2019 fra Definisjoner: definitions.net
7. Soledispa, A. (sf) Kjennetegn på formelle og faktavitenskap. Hentet 8. august 2019 fra Academia: academia.edu
8. SA (sf) Hva er statistikk? Typer og mål. Hentet 11. august 2019 fra Gestiopolis: Gestiopolis.com
9. SA (2018). Hva er teoretisk språkvitenskap? Hentet 11. august 2019 fra Quora: quora.com
10. Tegmark, M. Fordeler og risiko ved kunstig intelligens. Hentet 11. august 2019 fra Future of life: futureoflife.org
11. Figueras, C. (Sf) geometri. Hentet 11. august 2019 fra Monographs: monogramas.com