Formālo zinātņu definīcija
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
Ī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