Karakteristik Ilmu Formal, Objek Studi dan Contoh

Itu Ilmu formal Mereka terdiri dari seperangkat pengetahuan yang konsisten dan rasional secara sistematis. Tujuannya bukanlah dunia fisik-alami, tetapi objek yang sepenuhnya abstrak; Namun, pengetahuan tentang ilmu formal dapat diterapkan dalam realitas fisik-alami dan digunakan oleh ilmu faktual atau empiris.

Metode yang digunakan oleh ilmu formal adalah pengurangan dan, tidak seperti ilmu faktual, formal tidak mengakui penculikan atau induksi. Oleh karena itu, ilmu formal bekerja dengan bentuk; yaitu, dengan objek yang hanya ada dalam pikiran manusia dan diperoleh dengan abstraksi.

Matematika dianggap sebagai ilmu formal. Sumber: Pixabay.com

Demikian juga, kebenaran untuk ilmu formal dipahami sebagai kebenaran logis: itu adalah serangkaian konsekuensi yang mengikuti setelah mempertimbangkan semua kemungkinan atau cara di mana fakta yang telah ditetapkan sebelumnya bisa digabungkan. Dalam konteks ini, contoh sains formal dapat berupa matematika atau logika.

Karakteristik ilmu formal adalah bahwa mereka adalah cabang pengetahuan ilmiah yang mempelajari sistem formal. Oleh karena itu, ilmu formal memvalidasi teorinya melalui serangkaian proposisi, aksioma, definisi dan aturan inferensi.

Ilmu formal semuanya analitik. Ini membedakan mereka dari ilmu alam dan sosial, yang diperdebatkan secara empiris; yaitu, mereka membutuhkan pengamatan dunia nyata untuk menemukan bukti yang mendukung suatu teori. Di sisi lain, pengetahuan tentang ilmu formal disebut "teorema" dan berasal dari demonstrasi matematika.

Selain itu, aturan atau undang -undang yang diatur oleh ilmu formal selalu dipatuhi, terlepas dari kasusnya. Akibatnya, ini adalah hukum universal yang tidak mempelajari fenomena konkret, seperti halnya ilmu faktual. Isi sains formal kosong, karena tetap hanya dalam bentuk dan hubungan kausal.

Adapun asal mereka, beberapa menunjukkan bahwa ilmu formal sama tuanya dengan kemanusiaan, karena sejak awal manusia telah melayani matematika dan logika untuk mengatur dunianya. Namun, mereka mulai dipanggil dari zaman modern, ketika mereka dikonseptualisasikan dan diklasifikasikan.

[TOC]

Karakteristik

Karakteristik terpenting dari ilmu formal disebutkan di bawah ini:

- Metode yang digunakan oleh ilmu formal adalah pengurangan.

- Kriteria ilmu formal untuk menetapkan kebenaran didasarkan pada konsistensi atau non -kontradiksi.

- Pernyataan sains formal selalu analitis, yang berarti bahwa mereka disimpulkan melalui teorema atau postulat.

Dapat melayani Anda: aplikasi fisika

- Entitas sains formal hanya dapat ada dalam pikiran manusia.

- Matematikawan dan logika membangun objek studi mereka sendiri melalui simbol kosong.

- Demonstrasi ilmu formal lengkap, total dan final.

- Studi ilmu formal menyegarkan kebiasaan keras.

Objek studi

Secara umum, dapat dikatakan bahwa objek studi ilmu formal adalah bentuk; Ini dapat disajikan sebagai hubungan, abstraksi atau objek ideal yang telah dibangun di benak manusia.

Beberapa ilmuwan mengatakan bahwa ilmu formal tidak begitu tertarik pada alasan fenomena, tetapi berfokus pada bagaimana; yaitu, kecenderungannya menuju bentuk dan bukan ke arah konten itu sendiri.

Sebagai kesimpulan, ilmu formal - juga dikenal sebagai ilmu ideal - adalah yang tidak fokus pada dunia atau alam, atau dalam hukum kimia atau fisik yang mengaturnya.

Minatnya terletak pada sistem hubungan formal yang tidak memiliki konten sendiri, tetapi dapat digunakan selama analisis aspek realitas apa pun.

Contoh dari hal di atas dapat dibuktikan dengan fisika, yang merupakan ilmu faktual atau empiris yang bertanggung jawab untuk studi tubuh, gerakan, ruang dan materi. Namun, fisika menggunakan matematika - yang merupakan ilmu formal - untuk melakukan analisis dan kesimpulannya.

Contoh Ilmu Formal

-Statistik

Statistik adalah disiplin formal yang bertanggung jawab untuk mengatur, menafsirkan dan memproses serangkaian data untuk menetapkan karakteristik tertentu dari populasi tertentu atau tujuan sosial.

Menurut beberapa penulis, statistik juga dapat didefinisikan sebagai sains yang mempelajari bagaimana informasi harus digunakan dalam situasi praktis tertentu yang menghasilkan ketidakpastian. Terkadang statistik telah didefinisikan sebagai "ilmu data", karena mengumpulkan, mengklasifikasikan dan menafsirkan yang terakhir.

Demikian juga, statistik memungkinkan peneliti.

Statistik dapat dibagi menjadi dua kelompok utama:

Statistik deskriptif

Itu terdiri dari metode yang secara numerik menggambarkan set data. Oleh karena itu, menjadi metode numerik, statistik deskriptif menggunakan angka sebagai teknik untuk dijelaskan.

Karakteristik utama dari jenis statistik ini adalah tidak memungkinkan untuk menarik kesimpulan konkret; hanya menawarkan hasil numerik.

Dapat melayani Anda: Ilmu Faktual: Karakteristik, Objek Studi, Contoh

Statistik deduktif, analitik atau inferensial

Bertanggung jawab untuk mempelajari peluang keberhasilan dalam berbagai solusi yang mungkin untuk masalah tertentu. Selain itu, statistik inferensial menciptakan model matematika yang menyimpulkan perilaku populasi berdasarkan kesimpulan yang diperoleh selama pengamatan sampel.

Sebaliknya dengan statistik deskriptif, statistik deduktif atau inferensial memungkinkan Anda untuk menarik kesimpulan yang konkret.

-Geometri

Geometri adalah ilmu formal yang dimulai dari matematika untuk mempelajari langkah -langkah dan sifat -sifat gambar yang terletak di ruang atau bidang tertentu. Pada gilirannya, resor geometri ke sistem aksiomatik atau formal untuk dapat mewakili berbagai aspek realitas.

Sistem aksiomatik ini terdiri dari simbol -simbol yang, menghormati aturan tertentu, dapat bergabung dan membentuk rantai, yang juga dapat dihubungkan satu sama lain. Misalnya, geometri didasarkan pada gagasan abstrak seperti kurva, titik dan garis, antara lain.

Penting untuk dicatat bahwa geometri adalah salah satu disiplin tertua yang ada, karena asal -usulnya berasal dari Mesir kuno. Faktanya, matematikawan dan cendekiawan penting didasarkan pada geometri untuk mengembangkan studi tentang volume, bidang dan panjang hal -hal; Di antara orang bijak ini adalah Euclid dan Herodoto.

Salah satu tokoh terpenting dalam studi geometris adalah René Descartes, seorang fisikawan dan filsuf Prancis yang mengusulkan bahwa geometri dengan cara yang dapat diekspresikan atau diwakili oleh persamaan.

Geometri dapat dibagi menjadi dua cabang utama:

Geometri analitik

Ini terdiri dari jenis geometri yang mempelajari angka -angka melalui sistem koordinat. Studi ini dilakukan melalui penggunaan metodologi dari analisis matematika.

Geometri deskriptif

Geometri deskriptif terdiri dari cabang yang didedikasikan untuk solusi masalah spasial melalui operasi yang diekspresikan dan dikembangkan dalam bidang; Dalam hal ini, tokoh -tokoh tertentu dari objek solid realitas diwakili.

-Linguistik Teoritis

Linguistik teoretis adalah ilmu formal yang berasal dari linguistik dan tertarik pada aspek utama bahasa alami, dengan mempertimbangkan struktur bahasa dan karakteristik pengetahuan linguistik penutur.

Demikian juga, dapat ditetapkan bahwa linguistik teoretis terdiri dari disiplin ilmu lain seperti semantik, fonologi, morfologi dan fonetik.

Ilmu ini didasarkan pada konstruksi skema dan teori universal, yang dapat berlaku untuk semua bahasa lisan di dunia. Akibatnya, linguistik teoretis tidak dimaksudkan untuk menjelaskan fakta -fakta tertentu dari bahasa tertentu, tetapi menunjuk pada universalitas struktur linguistik.

Dapat melayani Anda: penelitian eksperimental

Untuk alasan ini dapat ditegaskan bahwa linguistik teoretis adalah ilmu formal karena, seperti statistik, disiplin ini bertanggung jawab untuk mengumpulkan data yang memungkinkan untuk menafsirkan, menganalisis, dan membuat katalog struktur bahasa tata bahasa dan fonologis bahasa.

Selain itu, cabang linguistik ini menggunakan abstraksi teoretis bersama dengan skema kompleks yang tidak dapat ditangkap dalam kenyataan, tetapi hanya ada cita -cita dalam pikiran manusia.

-Kecerdasan buatan

Kecerdasan Buatan (AI) adalah cabang ilmu komputasi yang terdiri dari pemrosesan seri data abstrak yang dilakukan oleh mesin; Data ini memungkinkan artefak elektronik untuk melakukan tugas atau tujuan.

Dengan kata lain, melalui serangkaian data abstrak dan numerik, kecerdasan buatan memberikan akses ke mesin sehingga mereka dapat belajar, memahami, alasan atau menyelesaikan masalah tertentu.

Beberapa ilmuwan mendefinisikan kecerdasan buatan sebagai cabang komputasi yang bertanggung jawab untuk mempelajari model komputer sehingga mereka dapat melakukan kegiatan yang khas manusia melalui dua karakteristik utama: perilaku dan penalaran.

Istilah "kecerdasan buatan" diciptakan oleh ilmuwan komputer John McCarthy pada tahun 1956, yang menetapkan bahwa AI adalah ilmu kecerdikan, karena memungkinkan untuk membangun program komputasi yang cerdas.

Referensi

1. Castañeda, j. (S.F.) Karakteristik ilmu formal atau ideal. Diperoleh pada 8 Agustus 2019 dari Karakteristik Sains: Karakteristik Eksentika.Blogspot.com
2. Lowe, b. (2002) Ilmu Formal. Diperoleh pada 8 Agustus 2019 oleh JSTOR: JSTOR.org
3. Raffino, m. (2018) Konsep Ilmu Formal. Diperoleh pada 8 Agustus 2019 Konsep: Konsep.dari
4. S.KE. (S.F.) Ilmu formal. Diperoleh 8 Agustus 2019 dari Wikipedia: Ini.Wikipedia.org
5. S.KE. (S.F.) Konsep Ilmu Formal. Diperoleh pada 8 Agustus, Konsep: Dekonepsi.com
6. S.KE. (S.F.) Apa arti sains formal? Diperoleh 8 Agustus 2019 dari Definisi: Definisi.bersih
7. Soledispa, a. (S.F.) Karakteristik ilmu formal dan faktual. Diperoleh pada 8 Agustus 2019 dari Academia: Academy.Edu
8. S.KE. (S.F.) Apa itu statistik? Jenis dan tujuan. Diperoleh pada 11 Agustus 2019 dari Gestiopolis: Gestiopolis.com
9. S.KE. (2018). Apa itu linguistik teoretis? Diperoleh pada 11 Agustus 2019 dari Quora: Quora.com
10. Tegmark, m. Manfaat dan Risiko Kecerdasan Buatan. Diperoleh pada 11 Agustus 2019 dari Future of Life: FutureOfLife.org
11. Figueras, c. (S.F.) Geometri. Diperoleh pada 11 Agustus 2019 dari monograf: monograf.com