Definició i Classificació de la Ciència: Ciències Formals i Empíriques
Ciència i Tipus de Ciències
La ciència és un mode de conèixer alguna cosa. La paraula ciència és anàloga, ja que existeixen molts objectes de coneixement i molts mètodes diferents per conèixer-los.
La ciència és una activitat humana que dóna lloc a un cos sistemàtic i organitzat de coneixements que es basa en lleis o principis generals. La ciència utilitza un mètode adequat a allò que investiga i els seus resultats poden ser compartits.
Classificació de les Ciències
Les ciències poden classificar-se de diferents maneres segons el seu mètode o el seu objecte de coneixement. La classificació principal separa:
- Ciències Formals
- Ciències Empíriques
Dins de les ciències empíriques, cal distingir entre:
- Ciències Naturals
- Ciències Humanes
També s’ha afegit una nova divisió on apareixen les Ciències Aplicades.
La Filosofia com a Meta-Ciència
La filosofia és una ciència que compleix amb tots els requisits científics. A més a més, la filosofia se situa per sobre de les ciències, ja que no només té un mètode i un objecte de coneixement, sinó que li pertany l’estudi de la ciència i de la seva cientificitat. És a dir, la filosofia és una meta-ciència.
Les Ciències Formals
Les ciències formals són aquelles que no es refereixen a fets de l’experiència, sinó a la forma dels raonaments. Es regeixen per la seva coherència interna, utilitzen la deducció i són de gran utilitat gràcies a la seva aplicació sobre la realitat.
Estructura dels Sistemes Axiomàtics
Les ciències formals s’organitzen mitjançant axiomes establerts, que formen sistemes axiomàtics formals.
Des d’aquestes proposicions bàsiques (els axiomes), que són el punt de partida, les ciències formals apliquen un seguit de regles de formació i transformació que permeten, per deducció, obtenir teoremes. Aquests teoremes són noves veritats que s’incorporen als axiomes i permeten ampliar el sistema. Un exemple clàssic és el teorema de Pitàgores.
Conceptes Clau de les Ciències Formals
Axioma
Principi evident que constitueix el fonament d’una ciència. És un postulat acceptat com a vertader sense tenir en compte la seva validesa.
Deducció
Procés de raonament que permet derivar d’una o diverses proposicions donades (anomenades premisses) una altra proposició, que és la seva conseqüència lògica necessària i que s’anomena conclusió.
Teorema
Enunciat obtingut deductivament a partir d’axiomes o d’altres teoremes ja demostrats.