De formell vetenskap de består av en systematisk grupp av sammanhängande och rationell kunskap. Dess mål är inte den fysiskt-naturliga världen utan helt abstrakta objekt; Men kunskapen om de formella vetenskaperna kan tillämpas i den fysiskt-naturliga verkligheten och används av de faktiska eller empiriska vetenskaperna..
Metoden som används av de formella vetenskaperna är deduktion och till skillnad från faktavetenskapen tillåter de formella vetenskaperna varken bortförande eller induktion. Därför arbetar en formell vetenskap med former; det vill säga med föremål som bara finns i det mänskliga sinnet och som erhålls genom abstraktion.
På samma sätt förstås sanningen för de formella vetenskaperna som en logisk sanning: det är en serie konsekvenser som följer efter att ha övervägt alla möjligheter eller sätt på vilka de förutbestämda fakta kunde ha kombinerats. I detta sammanhang kan exempel på formell vetenskap vara matematik eller logik.
Ett kännetecken för de formella vetenskaperna är att de är grenar av vetenskaplig kunskap som studerar formella system. Följaktligen validerar en formell vetenskap sin teori genom en uppsättning propositioner, axiom, definitioner och inferensregler..
De formella vetenskaperna är alla analytiska. Detta skiljer dem från naturvetenskapen och samhällsvetenskapen, som empiriskt argumenteras; det vill säga de kräver observation av den verkliga världen för att hitta bevis till förmån för en teori. Istället kallas formell vetenskaplig kunskap "teorems" och kommer från matematiska bevis..
Dessutom följs alltid de regler eller lagar som fastställs av de formella vetenskaperna, oavsett vad som är fallet. Följaktligen är de universella lagar som inte studerar konkreta fenomen, vilket sker med faktavetenskap. Innehållet i en formell vetenskap är tomt, eftersom den endast upprätthålls i formen och i kausalförhållandena.
När det gäller dess ursprung påpekar vissa att de formella vetenskaperna är lika gamla som mänskligheten, eftersom människan från början har använt matematik och logik för att organisera sin värld. De började emellertid kallas så här från modern tid, när de konceptualiserades och klassificerades.
Artikelindex
Följande är de viktigaste egenskaperna hos de formella vetenskaperna:
- Metoden som används av formell vetenskap är avdrag.
- Kriteriet för en formell vetenskap för att fastställa sanningen bygger på konsistens eller motsägelse.
- Uttalandena från en formell vetenskap är alltid analytiska, vilket innebär att de härleds genom satser eller postulat.
- Formella vetenskapliga enheter kan bara existera i det mänskliga sinnet.
- Matematiker och logiker konstruerar sina egna studieobjekt genom tomma symboler.
- Demonstrationen av en formell vetenskap är komplett, total och slutgiltig.
- Studien av de formella vetenskaperna förstärker vanan med stränghet.
I allmänna termer kan man säga att föremålet för studiet av de formella vetenskaperna är formerna; Dessa kan presenteras som relationer, abstraktioner eller ideala föremål som har konstruerats i människans sinne..
Vissa forskare hävdar att formell vetenskap inte är så intresserad av varför fenomen, utan snarare fokuserar på hur; lutningen är mot formerna och inte mot själva innehållet.
Sammanfattningsvis är de formella vetenskaperna - även kända som idealvetenskap - de som inte fokuserar på världen eller naturen eller på de kemiska eller fysiska lagar som styr den..
Hans intresse ligger i de formella relationssystemen som inte har eget innehåll, men som kan användas under analysen av alla aspekter av verkligheten..
Ett exempel på ovanstående kan bevisas med fysik, som är en faktisk eller empirisk vetenskap som är ansvarig för studiet av kroppar, rörelse, rymd och materia. Fysiken använder emellertid matematik - som är en formell vetenskap - för att utföra sina analyser och slutsatser..
Statistik är en formell disciplin som ansvarar för att organisera, tolka och bearbeta en serie data för att fastställa vissa egenskaper hos en viss befolkning eller socialt mål..
Enligt vissa författare kan statistik också definieras som vetenskapen som studerar hur information ska användas i vissa praktiska situationer som skapar osäkerhet. Vid vissa tillfällen har statistik definierats som "datavetenskap", eftersom den samlar in, klassificerar och tolkar den senare..
På samma sätt tillåter statistik forskare att ta utgångspunkt från en serie data för att genomföra sitt arbete, vilket garanterar analys och objektivt resultat av en uppsättning resultat..
Statistik kan delas in i två huvudgrupper:
Den består av en metod som numeriskt beskriver en uppsättning data. Som en numerisk metod använder beskrivande statistik numret som en teknik för att beskriva.
Huvudegenskapen för denna typ av statistik är att den inte tillåter att dra konkreta slutsatser; ger bara numeriska resultat.
Det ansvarar för att studera sannolikheten för framgång inom de olika möjliga lösningarna på ett visst problem. Dessutom skapar inferentiell statistik en matematisk modell som drar slutsatsen om populationsbeteendet baserat på slutsatserna som erhållits under observationen av proverna..
Till skillnad från beskrivande statistik tillåter deduktiv eller slutlig statistik oss att dra konkreta slutsatser.
Geometri är en formell vetenskap som börjar från matematik för att studera mätningarna och egenskaperna hos en figur som ligger i ett utrymme eller på ett visst plan. I sin tur använder geometri axiomatiska eller formella system för att representera olika aspekter av verkligheten.
Dessa axiomatiska system består av symboler som respekterar vissa regler kan sammanfoga och bilda kedjor, som också kan länkas till varandra. Till exempel är geometri baserad på abstrakta begrepp som kurvor, punkter och linjer, bland andra..
Det är viktigt att notera att geometri är en av de äldsta disciplinerna, eftersom dess ursprung går tillbaka till det antika Egypten. Faktum är att viktiga matematiker och forskare förlitade sig på geometri för att utveckla studier om saker, volymer och längder; bland dessa vise män sticker Euklides och Herodot ut.
En av de viktigaste figurerna i geometriska studier var René Descartes, en fransk fysiker och filosof som föreslog att geometrin i en form kunde uttryckas eller representeras av ekvationer.
Geometri kan delas in i två huvudgrenar:
Den består av en typ av geometri som studerar figurerna genom ett koordinatsystem. Denna studie gör det genom att använda metoder från matematisk analys.
Beskrivande geometri består av en gren som är avsedd för att lösa rumsliga problem genom operationer som uttrycks och utvecklas på ett plan; i detta representeras vissa figurer från fasta objekt av verkligheten.
Teoretisk lingvistik är en formell vetenskap som kommer från lingvistik och är intresserad av de viktigaste aspekterna av naturliga språk, med hänsyn till språkets struktur och egenskaperna hos talarnas språkliga kunskap..
På samma sätt kan det fastställas att teoretisk lingvistik består av andra discipliner som semantik, fonologi, morfologi och fonetik..
Denna vetenskap bygger på konstruktionen av universella system och teorier, som kan gälla för alla språk som talas i världen. Följaktligen syftar teoretisk lingvistik inte till att förklara vissa specifika fakta i ett specifikt språk utan pekar snarare på de språkliga strukturernas universalitet..
Av denna anledning kan man säga att teoretisk lingvistik är en formell vetenskap eftersom denna disciplin, precis som statistik, ansvarar för att samla in data som möjliggör tolkning, analys och katalogisering av språkens grammatiska och fonologiska strukturer..
Vidare använder denna gren av lingvistik teoretiska abstraktioner tillsammans med komplexa scheman som inte kan uppfattas i verkligheten utan existerar bara som idealiska i det mänskliga sinnet..
Artificiell intelligens (AI) är en gren av datavetenskap som består av bearbetning av en serie abstrakta data som utförs av maskiner; dessa data tillåter elektroniska enheter att utföra en uppgift eller ett mål.
Med andra ord, genom en serie abstrakta och numeriska data ger artificiell intelligens tillgång till maskiner så att de kan lära sig, uppfatta, resonera eller lösa vissa problem.
Vissa forskare definierar artificiell intelligens som en beräkningsgren som ansvarar för att studera datormodeller så att de kan utföra aktiviteter som är typiska för människor genom två huvudegenskaper: beteende och resonemang.
Termen "artificiell intelligens" myntades av datavetenskapsmannen John McCarthy 1956, som konstaterade att AI är vetenskapen om uppfinningsrikedom, eftersom det gör det möjligt att bygga intelligenta datorprogram..
Ingen har kommenterat den här artikeln än.