- karakteristik
- Objek studi
- Contoh ilmu formal
- -Statistik
- Statistik deskriptif
- Statistik deduktif, analitis, atau inferensial
- -Geometri
- Geometri analitik
- Geometri deskriptif
- -Linguistik teoritis
- -Kecerdasan buatan
- Referensi
The sains formal terdiri dari tubuh yang sistematis pengetahuan yang koheren dan rasional. Tujuannya bukanlah dunia fisik-alam, tetapi objek yang sepenuhnya abstrak; Namun, ilmu pengetahuan formal dapat diterapkan dalam realitas fisik-alamiah dan digunakan oleh ilmu faktual atau empiris.
Metode yang digunakan oleh ilmu formal adalah deduksi dan, tidak seperti ilmu faktual, ilmu formal tidak menerima penculikan maupun induksi. Oleh karena itu, ilmu formal bekerja dengan bentuk; yaitu, dengan objek yang hanya ada di pikiran manusia dan diperoleh dengan abstraksi.

Matematika dianggap sebagai ilmu formal. Sumber: pixabay.com
Demikian pula, kebenaran untuk ilmu-ilmu formal dipahami sebagai kebenaran logis: ia adalah serangkaian konsekuensi yang mengikuti setelah mempertimbangkan semua kemungkinan atau cara-cara di mana fakta-fakta yang telah ditetapkan sebelumnya dapat digabungkan. Dalam konteks ini, contoh sains formal dapat berupa matematika atau logika.
Karakteristik dari ilmu formal adalah bahwa mereka merupakan cabang dari ilmu pengetahuan yang mempelajari sistem formal. Akibatnya, ilmu formal memvalidasi teorinya melalui seperangkat proposisi, aksioma, definisi, dan aturan inferensi.
Ilmu-ilmu formal semuanya analitis. Ini membedakan mereka dari ilmu alam dan ilmu sosial, yang diperdebatkan secara empiris; artinya, mereka membutuhkan observasi dunia nyata untuk menemukan bukti yang mendukung teori. Sebaliknya, pengetahuan sains formal disebut "teorema" dan berasal dari pembuktian matematika.
Selanjutnya, aturan atau hukum yang ditetapkan oleh ilmu formal selalu diikuti, apapun masalahnya. Akibatnya, mereka adalah hukum universal yang tidak mempelajari fenomena konkret, seperti yang terjadi dengan ilmu faktual. Isi ilmu formal kosong, karena hanya dipertahankan dalam bentuk dan hubungan kausal.
Mengenai asal-usulnya, ada yang mengemukakan bahwa ilmu-ilmu formal sama tuanya dengan kemanusiaan, sejak awal manusia telah menggunakan matematika dan logika untuk mengatur dunianya. Namun, mereka mulai disebut demikian sejak Zaman Modern, ketika dikonseptualisasikan dan diklasifikasikan.
karakteristik
Berikut ini adalah ciri-ciri terpenting dari ilmu-ilmu formal:
- Metode yang digunakan oleh ilmu formal adalah metode deduksi.
- Kriteria ilmu formal untuk menegakkan kebenaran didasarkan pada konsistensi atau non-kontradiksi.
- Pernyataan sains formal selalu analitis, artinya disimpulkan melalui teorema atau dalil.
- Entitas ilmu formal hanya bisa ada di dalam pikiran manusia.
- Ahli matematika dan ahli logika membangun objek studinya sendiri melalui simbol kosong.
- Peragaan ilmu formal selesai, total dan final.
- Studi ilmu formal memperkuat kebiasaan ketelitian.
Objek studi
Secara garis besar dapat dikatakan bahwa objek kajian ilmu-ilmu formal adalah bentuk-bentuk; Ini dapat disajikan sebagai hubungan, abstraksi atau objek ideal yang telah dibangun dalam pikiran manusia.
Beberapa ilmuwan menyatakan bahwa sains formal tidak begitu tertarik pada mengapa fenomena, tetapi lebih berfokus pada bagaimana; Artinya, kecenderungannya adalah pada bentuk dan bukan pada konten itu sendiri.
Kesimpulannya, ilmu formal - juga dikenal sebagai ilmu ideal - adalah ilmu yang tidak berfokus pada dunia atau alam, juga tidak pada hukum kimia atau fisika yang mengaturnya.
Minatnya terletak pada sistem hubungan formal yang tidak memiliki isinya sendiri, tetapi dapat digunakan selama analisis aspek realitas apa pun.
Contoh di atas dapat dibuktikan dengan fisika, yang merupakan ilmu faktual atau empiris yang bertanggung jawab untuk mempelajari benda, gerakan, ruang dan materi. Namun, fisika menggunakan matematika - yang merupakan ilmu formal - untuk melakukan analisis dan kesimpulannya.
Contoh ilmu formal
-Statistik
Statistika adalah disiplin formal yang bertugas mengatur, menafsirkan, dan mengolah serangkaian data untuk menetapkan karakteristik tertentu dari populasi atau tujuan sosial tertentu.
Menurut beberapa penulis, statistik juga dapat diartikan sebagai ilmu yang mempelajari bagaimana informasi harus digunakan dalam situasi praktis tertentu yang menimbulkan ketidakpastian. Dalam beberapa kesempatan, statistik telah didefinisikan sebagai "ilmu data", karena ia mengumpulkan, mengklasifikasikan dan menafsirkan yang terakhir.
Demikian pula, statistik memungkinkan para peneliti untuk mengambil sebagai titik awal serangkaian data untuk melakukan pekerjaan mereka, menjamin analisis dan tujuan memperoleh serangkaian hasil.
Statistik dapat dibagi menjadi dua kelompok utama:
Statistik deskriptif
Ini terdiri dari metode yang mendeskripsikan sekumpulan data secara numerik. Oleh karena itu, sebagai metode numerik, statistik deskriptif menggunakan angka sebagai teknik untuk mendeskripsikan.
Karakteristik utama dari jenis statistik ini adalah tidak memungkinkan untuk menarik kesimpulan yang konkret; itu hanya memberikan hasil numerik.
Statistik deduktif, analitis, atau inferensial
Ini bertanggung jawab untuk mempelajari probabilitas keberhasilan dalam berbagai kemungkinan solusi untuk masalah tertentu. Selain itu, statistik inferensial membuat model matematika yang menyimpulkan perilaku populasi berdasarkan kesimpulan yang diperoleh selama pengamatan sampel.
Berbeda dengan statistik deskriptif, statistik deduktif atau inferensial memang memungkinkan kita untuk menarik kesimpulan konkret.
-Geometri
Geometri merupakan ilmu formal yang dimulai dari matematika untuk mempelajari ukuran dan sifat dari suatu figur yang terletak pada suatu ruang atau pada suatu bidang tertentu. Pada gilirannya, geometri menggunakan sistem aksiomatik atau formal untuk merepresentasikan berbagai aspek realitas.
Sistem aksiomatik ini terdiri dari simbol yang, dengan menghormati aturan tertentu, dapat bergabung dan membentuk rantai, yang juga dapat dihubungkan satu sama lain. Misalnya, geometri didasarkan pada pengertian abstrak seperti kurva, titik, dan garis, antara lain.
Penting untuk dicatat bahwa geometri adalah salah satu disiplin ilmu tertua yang ada, karena asalnya berasal dari Mesir Kuno. Faktanya, ahli matematika dan sarjana penting beralih ke geometri untuk mengembangkan studi tentang volume, luas, dan panjang benda; di antara orang-orang bijak ini, Euclides dan Herodotus menonjol.
Salah satu tokoh terpenting dalam studi geometris adalah René Descartes, seorang fisikawan dan filsuf Prancis yang mengusulkan bahwa geometri suatu bentuk dapat diekspresikan atau diwakili oleh persamaan.
Geometri dapat dibagi menjadi dua cabang utama:
Geometri analitik
Ini terdiri dari jenis geometri yang mempelajari gambar melalui sistem koordinat. Studi ini melakukannya melalui penggunaan metodologi dari analisis matematika.
Geometri deskriptif
Geometri deskriptif terdiri dari cabang yang didedikasikan untuk memecahkan masalah spasial melalui operasi yang diekspresikan dan dikembangkan pada bidang; dalam hal ini, tokoh-tokoh tertentu dari benda padat realitas terwakili.
-Linguistik teoritis
Linguistik teoretis merupakan ilmu formal yang bersumber dari ilmu linguistik dan tertarik pada aspek-aspek utama bahasa alam, dengan memperhatikan struktur bahasa dan karakteristik pengetahuan linguistik penuturnya.
Demikian pula, dapat ditetapkan bahwa linguistik teoretis terdiri dari disiplin ilmu lain seperti semantik, fonologi, morfologi, dan fonetik.
Sains ini didasarkan pada konstruksi skema dan teori universal, yang dapat berlaku untuk semua bahasa yang digunakan di dunia. Akibatnya, linguistik teoritis tidak bertujuan untuk menjelaskan fakta-fakta tertentu dari bahasa tertentu, tetapi lebih mengarah pada universalitas struktur linguistik.
Untuk alasan ini, dapat dikatakan bahwa linguistik teoritis adalah ilmu formal karena, seperti statistik, disiplin ini bertugas mengumpulkan data yang memungkinkan kita untuk menafsirkan, menganalisis, dan membuat katalog struktur gramatikal dan fonologis bahasa.
Lebih jauh, cabang linguistik ini menggunakan abstraksi teoritis bersama dengan skema kompleks yang tidak dapat dipahami dalam kenyataan, tetapi hanya ada sebagai yang ideal dalam pikiran manusia.
-Kecerdasan buatan
Artificial Intelligence (AI) adalah cabang ilmu komputer yang terdiri dari pemrosesan rangkaian data abstrak yang dibuat oleh mesin; Data ini memungkinkan perangkat elektronik untuk melakukan suatu tugas atau tujuan.
Dengan kata lain, melalui serangkaian data abstrak dan numerik, kecerdasan buatan memberi Anda akses ke mesin sehingga mereka dapat mempelajari, memahami, menalar, atau memecahkan masalah tertentu.
Beberapa ilmuwan mendefinisikan kecerdasan buatan sebagai cabang komputasi yang bertanggung jawab mempelajari model komputer sehingga dapat melakukan aktivitas yang khas pada manusia melalui dua ciri utama: perilaku dan penalaran.
Istilah "kecerdasan buatan" diciptakan oleh ilmuwan komputer John McCarthy pada tahun 1956, yang menetapkan bahwa AI adalah ilmu kecerdasan, karena memungkinkan pembuatan program komputer yang cerdas.
Referensi
- Castañeda, J. (sf) Karakteristik ilmu formal atau ideal. Diperoleh pada 8 Agustus 2019 dari Karakteristik sains: caracteristicasdeciencia.blogspot.com
- Lowe, B. (2002) Ilmu-ilmu formal. Diperoleh pada 8 Agustus 2019 dari Jstor: jstor.org
- Raffino, M. (2018) Konsep ilmu formal. Diperoleh pada 8 Agustus 2019 dari Concept: concept.de
- SA (sf) Ilmu Formal. Diperoleh 8 Agustus 2019 dari Wikipedia: es.wikipedia.org
- SA (sf) Konsep ilmu formal. Diperoleh pada 8 Agustus dari De Conceptos: deconceptos.com
- SA (sf.) Apa arti ilmu formal? Diperoleh 8 Agustus 2019 dari Definitions: definitions.net
- Soledispa, A. (sf) Karakteristik ilmu formal dan faktual. Diperoleh pada 8 Agustus 2019 dari Academia: academia.edu
- SA (sf) Apa itu statistik? Jenis dan tujuan. Diperoleh pada 11 Agustus 2019 dari Gestiopolis: Gestiopolis.com
- SA (2018). Apa itu linguistik teoritis? Diperoleh pada 11 Agustus 2019 dari Quora: quora.com
- Tegmark, M. Manfaat dan risiko kecerdasan buatan. Diperoleh pada 11 Agustus 2019 dari Future of life: futureoflife.org
- Figueras, C. (Sf) Geometri. Diperoleh pada 11 Agustus 2019 dari Monograf: monogramas.com
