Caratteristiche delle scienze formali, oggetto di studio ed esempi

IL Scienze formali Sono costituiti da un insieme sistematico di conoscenze coerenti e razionali. Il suo obiettivo non è il mondo fisico-naturale, ma oggetti completamente astratti; Tuttavia, la conoscenza delle scienze formali può essere applicata nella realtà fisica-naturale e sono usate da scienze fattuali o empiriche.

Il metodo utilizzato dalle scienze formali è la detrazione e, a differenza delle scienze fattuali, formale non ammette il rapimento o l'induzione. Pertanto, una scienza formale lavora con forme; cioè, con oggetti che esistono solo nella mente umana e sono ottenuti per astrazione.

La matematica è considerata una scienza formale. Fonte: Pixabay.com

Allo stesso modo, la verità per le scienze formali è intesa come una verità logica: è una serie di conseguenze che seguono dopo aver considerato tutte le possibilità o i modi in cui i fatti pre -estestati avrebbero potuto essere combinati. In questo contesto, esempi di scienza formale possono essere matematici o logica.

Una caratteristica delle scienze formali è che sono rami della conoscenza scientifica che studiano sistemi formali. Pertanto, una scienza formale convalida la sua teoria attraverso un insieme di proposizioni, assiomi, definizioni e regole di inferenza.

Le scienze formali sono tutte analitiche. Questo li differenzia dalle scienze naturali e sociali, che sono discusse empiricamente; Cioè, richiedono l'osservazione del mondo reale per trovare prove a favore di una teoria. D'altra parte, la conoscenza delle scienze formali è chiamata "teoremi" e provengono da dimostrazioni matematiche.

Inoltre, le regole o le leggi stabilite dalle scienze formali sono sempre rispettate, indipendentemente dal caso. Di conseguenza, queste sono leggi universali che non studiano fenomeni concreti, come con le scienze fattuali. Il contenuto di una scienza formale è vuoto, poiché rimane solo nella forma e nelle relazioni causali.

Per quanto riguarda le loro origini, alcuni sottolineano che le scienze formali sono vecchie quanto l'umanità, dal momento che l'uomo iniziale ha servito matematica e logica per organizzare il suo mondo. Tuttavia, hanno iniziato a essere chiamati dall'era moderna, quando sono stati concettualizzati e classificati.

[TOC]

Caratteristiche

Le caratteristiche più importanti delle scienze formali sono menzionate di seguito:

- Il metodo utilizzato dalle scienze formali è quello della detrazione.

- Il criterio di una scienza formale per stabilire la verità si basa sulla coerenza o sulla non contraddizione.

- Le dichiarazioni di una scienza formale sono sempre analitiche, il che significa che sono dedotte attraverso teoremi o postulati.

Può servirti: applicazioni di fisica

- Le entità scientifiche formali possono esistere solo nella mente umana.

- Matematici e logica costruiscono i propri oggetti di studio attraverso simboli vuoti.

- La dimostrazione di una scienza formale è completa, totale e finale.

- Lo studio delle scienze formali rinvigorisce l'abitudine di rigore.

Oggetto di studio

In generale, si può dire che l'oggetto di studio delle scienze formali è forma; Questi possono essere presentati come relazioni, astrazioni o oggetti ideali che sono stati costruiti nella mente dell'uomo.

Alcuni scienziati affermano che la scienza formale non è così interessata alla ragione dei fenomeni, ma si concentra su come; cioè, l'inclinazione è verso le forme e non verso il contenuto stesso.

In conclusione, le scienze formali - note anche come scienze ideali - sono quelle che non si concentrano sul mondo o sulla natura, né nelle leggi chimiche o fisiche che lo regolano.

Il suo interesse si basa nei sistemi di relazione formale che non hanno il proprio contenuto, ma possono essere utilizzati durante l'analisi di qualsiasi aspetto della realtà.

Un esempio di quanto sopra può essere evidenziato con la fisica, che è una scienza fattuale o empirica che è responsabile dello studio di corpi, movimento, spazio e materia. Tuttavia, la fisica usa la matematica - che è una scienza formale - per realizzare le sue analisi e le sue conclusioni.

Esempi di scienze formali

-Statistiche

Le statistiche sono una disciplina formale responsabile dell'organizzazione, interpretazione e elaborazione di una serie di dati al fine di stabilire alcune caratteristiche di una determinata popolazione o obiettivo sociale.

Secondo alcuni autori, le statistiche possono anche essere definite come la scienza che studia come le informazioni dovrebbero essere utilizzate in determinate situazioni pratiche che generano incertezze. A volte le statistiche sono state definite come "scienza dei dati", perché raccoglie, classifica e interpreta quest'ultimo.

Allo stesso modo, le statistiche consentono i ricercatori.

Le statistiche possono essere divise in due gruppi principali:

Statistiche descrittive

È costituito da un metodo che descrive numerico un set di dati. Pertanto, essendo un metodo numerico, le statistiche descrittive utilizzano il numero come tecnica per descrivere.

La caratteristica principale di questo tipo di statistiche è che non consente di trarre conclusioni concrete; offre solo risultati numerici.

Può servirti: scienze fattuali: caratteristiche, oggetto di studio, esempi

Statistiche deducenti, analitiche o inferenziali

È responsabile dello studio delle possibilità di successo all'interno delle diverse possibili soluzioni a un problema particolare. Inoltre, le statistiche inferenziali creano un modello matematico che deduce il comportamento della popolazione in base alle conclusioni ottenute durante l'osservazione dei campioni.

Al contrario alle statistiche descrittive, le statistiche deduttive o inferenziali ti consentono di trarre conclusioni concrete.

-La geometria

La geometria è una scienza formale che parte dalla matematica per studiare le misure e le proprietà di una figura situata in uno spazio o in un piano specifico. A sua volta, la geometria ricorre a sistemi assiomatici o formali per essere in grado di rappresentare diversi aspetti della realtà.

Questi sistemi assiomatici sono costituiti da simboli che, nel rispetto di determinate regole, possono unirsi e formare catene, che possono anche essere collegate tra loro. Ad esempio, la geometria si basa su nozioni astratte come curve, punti e linee, tra gli altri.

È importante notare che la geometria è una delle discipline più antiche esistenti, poiché le sue origini risalgono all'antico Egitto. In effetti, importanti matematici e studiosi erano basati sulla geometria per sviluppare studi su volumi, aree e lunghezze delle cose; Tra questi saggi ci sono Euclide e Erodoto.

Una delle figure più importanti all'interno degli studi geometrici era René Descartes, un fisico e filosofo francese che propose che la geometria in un modo potesse essere espressa o rappresentata dalle equazioni.

La geometria può essere divisa in due rami principali:

Geometria analitica

È costituito da un tipo di geometria che studia le figure attraverso un sistema di coordinate. Questo studio viene condotto attraverso l'uso di metodologie dall'analisi matematica.

Geometria descrittiva

La geometria descrittiva è costituita da un ramo dedicato alla soluzione di problemi spaziali attraverso le operazioni espresse e sviluppate su un piano; In questo, sono rappresentate alcune figure di solidi oggetti della realtà.

-Linguistica teorica

La linguistica teorica è una scienza formale che viene dalla linguistica ed è interessata agli aspetti principali delle lingue naturali, tenendo conto della struttura del linguaggio e delle caratteristiche della conoscenza linguistica degli oratori.

Allo stesso modo, si può stabilire che la linguistica teorica è composta da altre discipline come semantica, fonologia, morfologia e fonetica.

Questa scienza si basa sulla costruzione di schemi e teorie universali, che possono essere valide per tutte le lingue parlate nel mondo. Di conseguenza, la linguistica teorica non ha lo scopo di spiegare alcuni fatti particolari di una lingua specifica, ma indica l'universalità delle strutture linguistiche.

Può servirti: ricerca sperimentale

Per questo motivo si può affermare che la linguistica teorica è una scienza formale poiché, come le statistiche, questa disciplina è responsabile della raccolta di dati che consentono di interpretare, analizzare e catalogare le strutture grammaticali e fonologiche delle lingue.

Inoltre, questo ramo della linguistica utilizza astrazioni teoriche insieme a schemi complessi che non possono essere arrestati nella realtà, ma esiste solo un ideale nella mente umana.

-Intelligenza artificiale

L'intelligenza artificiale (AI) è una filiale della scienza informatica che consiste nell'elaborazione di una serie di dati astratti effettuata dalle macchine; Questi dati consentono agli artefatti elettronici di eseguire un compito o un obiettivo.

In altre parole, attraverso una serie di dati astratti e numerici, l'intelligenza artificiale dà accesso alle macchine in modo che possano imparare, percepire, ragionare o risolvere alcuni problemi.

Alcuni scienziati definiscono l'intelligenza artificiale come un ramo computazionale responsabile dello studio dei modelli di computer in modo che possano svolgere attività tipiche degli esseri umani attraverso due caratteristiche principali: comportamento e ragionamento.

Il termine "intelligenza artificiale" è stato coniato dallo scienziato informatico John McCarthy nel 1956, che ha stabilito che l'IA è la scienza dell'ingenuità, perché consente di costruire programmi di informatica intelligente.

Riferimenti

1. Castañeda, J. (S.F.) Caratteristiche delle scienze formali o ideali. Estratto l'8 agosto 2019 dalle caratteristiche scientifiche: caratteristiche dell'eccentico.Blogspot.com
2. Lowe, b. (2002) Le scienze formali. Estratto l'8 agosto 2019 da JStor: JStor.org
3. Raffino, m. (2018) Concetto di scienze formali. Estratto l'8 agosto 2019 Concetto: concetto.Di
4. S.A. (S.F.) Scienze formali. Estratto l'8 agosto 2019 da Wikipedia: è.Wikipedia.org
5. S.A. (S.F.) Concetto di scienze formali. Estratto l'8 agosto, di concetti: deconcetti.com
6. S.A. (S.F.) Cosa significa scienza formale? Estratto l'8 agosto 2019 di definizioni: definizioni.netto
7. Soledispa, a. (S.F.) Caratteristiche delle scienze formali e fattuali. Estratto l'8 agosto 2019 dall'Accademia: Academy.Edu
8. S.A. (S.F.) Cos'è le statistiche? Tipi e obiettivi. Estratto l'11 agosto 2019 da Gestiopolis: Gestiopolis.com
9. S.A. (2018). Cos'è la linguistica teorica? Estratto l'11 agosto 2019 da Quora: Quora.com
10. Tegmark, m. Benefici e rischi di intelligenza artificiale. Estratto l'11 agosto 2019 da Future of Life: FutureOflife.org
11. Figueras, c. (S.F.) Geometria. Estratto l'11 agosto 2019 dalle monografie: monografie.com