Formālo zinātņu definīcija

Dažādās disciplīnas, kas veido zinātni, var sakārtot pēc trim parametriem: pēc mācību objekta, izmantotās metodes un mērķa. Cits klasifikācijas modelis sastāv no zinātņu iedalīšanas divās galvenajās grupās: formālās zinātnes un faktiskās vai empīriskās zinātnes.

Formāli

Loģika un matemātika ir divas formālas disciplīnas, jo tām nav īpaša empīriskā satura, kā tas notiek ar bioloģiju, meteoroloģiju vai vēsturi.

Loģika ir tīri formāla un abstrakta disciplīna. Stingrā nozīmē tam nav novērojama, izmērāma un taustāma satura. Tas faktiski ir noteikumu kopums, kas piemērojams jebkura veida zināšanām, neatkarīgi no tā, vai tā ir zinātniskā vai ikdienas dzīve.

Loģikas noteikumi ir tie, kas ļauj mums domāt saskaņoti un racionāli. Tādējādi es nevaru apgalvot, ka kaut kas ir un tajā pašā laikā nav, jo es pārkāpju pretrunu principu, un es nevaru apstiprināt, ka kaut kas pats nav identisks, jo tas ir pretrunā ar identitātes principu.

Matemātika ir pilnīgi abstrakta, jo tās saturs ir garīgs un nav materiāls

Atcerēsimies, ka skaitļi nekur dabā neeksistē, jo tie ir cilvēka prāta izgudrojumi, lai kaut ko pastāstītu vai aprēķinātu par realitāti. Šajā ziņā aritmētika, ģeometrija vai algebra ir matemātiskas disciplīnas, kuru pamatā ir virkne principu, kurus var racionāli demonstrēt.

Ja par atsauci izmantojam jebkuru matemātisko vienādojumu, tā formulējums ir derīgs pilnīgi neatkarīgi no realitātes.

Rezumējot, loģika un matemātika veido formālās sistēmas, kas satur virkni elementu: aksiomas, simbolus, secinājumu noteikumus un teorēmas. Šie elementi tiek izteikti paziņojumu veidā, kas aprakstīti ar zīmēm.

Fakti nozīmē formālu zinātni

Disciplīnu kopumam, kas nodarbojas ar faktu izpēti, ir nepieciešama formāla struktūra, lai to mācību objektam būtu jēga. No otras puses, lai pierādītu, ka bioloģijas vai ķīmijas apgalvojumi formāli ir patiesi, ir jābūt korelācijai ar empīriskajiem datiem.

Īsāk sakot, formālās zinātnes tiek projicētas novērojamo faktu pasaulē. Ja par atskaiti ņemsim Pitagora teorēmu, tās formulējums ir derīgs jebkurai realitātei, kurā ir taisns leņķis, kas veido taisnu trīsstūri.

Rezumējot, formālās un faktiskās zinātnes papildina viena otru, un tās nevajadzētu uztvert kā neatkarīgas zināšanu jomas.

Fotoattēli: Fotolia - Artisticco / Sergejs Bogdanovs

Saistītie Raksti