Definisi Sains Formal
Yang rasmi
Logik dan matematik adalah dua disiplin formal kerana mereka tidak mempunyai kandungan empirikal tertentu, seperti yang berlaku dengan biologi, meteorologi atau sejarah.
Logik adalah disiplin yang formal dan abstrak. Dalam erti kata yang ketat ia tidak mempunyai kandungan yang dapat dilihat, terukur dan ketara. Ia sebenarnya satu set peraturan yang boleh digunakan untuk apa-apa jenis pengetahuan, sama ada sains atau kehidupan seharian.
Peraturan logik adalah yang membolehkan kita berfikir secara rasional dan rasional. Oleh itu, saya tidak boleh mengatakan bahawa sesuatu adalah dan tidak pada masa yang sama kerana saya melanggar prinsip tidak bertentangan dan saya tidak dapat menegaskan bahawa sesuatu tidak sama dengan dirinya sendiri kerana saya menentang prinsip identiti.
Matematik sememangnya abstrak, kerana kandungannya adalah mental dan tidak material
Marilah kita ingat bahawa angka tidak wujud di mana-mana, kerana mereka adalah penemuan minda manusia untuk memberitahu atau mengira sesuatu tentang realiti. Dalam pengertian ini, aritmetik, geometri atau algebra adalah disiplin matematik yang berdasarkan kepada beberapa prinsip yang dapat ditunjukkan secara rasional.
Sekiranya kita mengambil apa-apa persamaan matematik sebagai rujukan, perumusannya adalah sah secara bebas daripada realiti.
Ringkasnya, logik dan matematik membentuk sistem formal yang merangkumi beberapa unsur: aksioma, simbol, peraturan kesimpulan dan teorema. Unsur-unsur ini dinyatakan dalam bentuk pernyataan yang diterangkan melalui tanda-tanda.
Fakta membayangkan sains formal
Pendek kata, sains formal diproyeksikan ke dunia fakta yang boleh dilihat. Sekiranya kita mengambil teorem Pythagorean sebagai rujukan, rumusannya adalah sah bagi mana-mana realiti di mana terdapat sudut yang betul membentuk segitiga yang betul.
Ringkasnya, sains formal dan sains faktual adalah saling melengkapi dan tidak boleh dianggap sebagai bidang yang bebas pengetahuan.
Foto: Fotolia - Artisticco / Sergey Bogdanov