ILMU FORMAL: CIRI, OBJEK KAJIAN DAN CONTOH - SAINS

The sains formal terdiri daripada badan sistematik pengetahuan koheren dan rasional. Objektifnya bukan dunia fizikal-semula jadi, tetapi objek abstrak sepenuhnya; Walau bagaimanapun, pengetahuan sains formal dapat diterapkan dalam realiti fizikal-semula jadi dan digunakan oleh sains fakta atau empirikal.

Kaedah yang digunakan oleh sains formal adalah pemotongan dan, tidak seperti sains faktual, sains formal tidak mengakui penculikan atau induksi. Oleh itu, sains formal berfungsi dengan bentuk; iaitu, dengan objek yang hanya ada dalam fikiran manusia dan diperoleh dengan pengambilan.

Matematik dianggap sebagai sains formal. Sumber: pixabay.com

Demikian juga, kebenaran untuk sains formal difahami sebagai kebenaran logik: ia adalah satu siri akibat yang berlaku setelah mempertimbangkan semua kemungkinan atau cara-cara bagaimana fakta-fakta yang telah ditetapkan dapat digabungkan. Dalam konteks ini, contoh sains formal boleh menjadi matematik atau logik.

Ciri khas sains formal adalah bahawa mereka adalah cabang pengetahuan saintifik yang mempelajari sistem formal. Akibatnya, sains formal mengesahkan teorinya melalui sekumpulan proposisi, aksioma, definisi, dan peraturan inferensi.

Sains formal semuanya analitis. Ini membezakan mereka dari sains semula jadi dan sosial, yang diperdebatkan secara empirik; iaitu, mereka memerlukan pemerhatian dunia nyata untuk mencari bukti yang memihak kepada teori. Sebaliknya, pengetahuan sains formal disebut "teorema" dan berasal dari bukti matematik.

Selanjutnya, peraturan atau undang-undang yang ditentukan oleh sains formal selalu dipatuhi, tidak kira apa jadinya. Akibatnya, mereka adalah undang-undang universal yang tidak mempelajari fenomena konkrit, seperti yang berlaku dengan sains fakta. Isi sains formal kosong, kerana hanya dikekalkan dalam bentuk dan hubungan kausal.

Mengenai asal usulnya, ada yang menyatakan bahawa sains formal sudah setua manusia, sejak dari awal lagi manusia telah menggunakan matematik dan logik untuk mengatur dunianya. Namun, mereka mulai disebut dengan cara ini dari Zaman Moden, ketika mereka dikonseptualisasikan dan diklasifikasikan.

ciri

Berikut adalah ciri terpenting dari sains formal:

- Kaedah yang digunakan oleh sains formal adalah kaedah pemotongan.

- Kriteria sains formal untuk membuktikan kebenaran adalah berdasarkan konsistensi atau tidak bertentangan.

- Pernyataan sains formal selalu analitis, yang bermaksud bahawa ia disimpulkan melalui teorema atau postulat.

- Entiti sains formal hanya boleh wujud dalam minda manusia.

- Ahli matematik dan ahli logik membina objek kajian mereka sendiri melalui simbol kosong.

- Demonstrasi sains formal adalah lengkap, total dan muktamad.

- Pengajian sains formal menyegarkan kebiasaan keras.

Objek kajian

Secara umum, dapat dikatakan bahawa objek kajian sains formal adalah bentuknya; Ini dapat dikemukakan sebagai hubungan, pengabstrakan atau objek ideal yang telah dibina di dalam minda manusia.

Sebilangan saintis mendakwa bahawa sains formal tidak begitu berminat dengan sebab fenomena, tetapi lebih berfokus pada bagaimana; iaitu, kecenderungan adalah ke arah bentuk dan bukan ke arah isi itu sendiri.

Kesimpulannya, sains formal - juga dikenal sebagai sains yang ideal - adalah sains yang tidak menumpukan perhatian kepada dunia atau alam semula jadi, dan juga undang-undang kimia atau fizikal yang mengaturnya.

Minatnya terletak pada sistem hubungan formal yang tidak mempunyai kandungannya sendiri, tetapi dapat digunakan selama analisis dari aspek realiti apa pun.

Contoh perkara di atas dapat dibuktikan dengan fizik, yang merupakan sains fakta atau empirikal yang bertanggungjawab untuk kajian mengenai jasad, pergerakan, ruang dan jirim. Walau bagaimanapun, fizik menggunakan matematik - yang merupakan sains formal - untuk menjalankan analisis dan kesimpulannya.

Contoh sains formal

-Statistik

Statistik adalah disiplin formal yang bertugas mengatur, mentafsirkan dan memproses serangkaian data untuk menetapkan ciri-ciri tertentu dari populasi atau objektif sosial tertentu.

Menurut beberapa pengarang, statistik juga boleh didefinisikan sebagai sains yang mengkaji bagaimana maklumat harus digunakan dalam situasi praktikal tertentu yang menimbulkan ketidakpastian. Pada beberapa kesempatan statistik telah didefinisikan sebagai "sains data", kerana mengumpulkan, mengklasifikasikan dan menafsirkan yang terakhir.

Demikian juga, statistik membolehkan para penyelidik mengambil serangkaian data sebagai titik awal untuk melakukan pekerjaan mereka, menjamin analisis dan objektif memperoleh satu set hasil.

Statistik boleh dibahagikan kepada dua kumpulan utama:

Statistik deskriptif

Ini terdiri daripada kaedah yang secara numerik menerangkan sekumpulan data. Oleh itu, sebagai kaedah berangka, statistik deskriptif menggunakan nombor sebagai teknik untuk menerangkan.

Ciri utama statistik jenis ini adalah tidak membenarkan membuat kesimpulan konkrit; ia hanya memberikan hasil berangka.

Statistik deduktif, analitik atau inferens

Ia bertanggungjawab untuk mengkaji kebarangkalian kejayaan dalam pelbagai kemungkinan penyelesaian untuk masalah tertentu. Di samping itu, statistik inferensi menghasilkan model matematik yang menyimpulkan tingkah laku populasi berdasarkan kesimpulan yang diperoleh semasa pemerhatian sampel.

Berbeza dengan statistik deskriptif, statistik deduktif atau inferensi memungkinkan kita membuat kesimpulan konkrit.

-Gometri

Geometri adalah sains formal yang bermula dari matematik untuk mengkaji pengukuran dan sifat suatu angka yang terletak di ruang atau pada satah tertentu. Sebaliknya, geometri menggunakan sistem aksiomatik atau formal untuk mewakili aspek realiti yang berbeza.

Sistem aksiomatik ini terdiri dari simbol-simbol yang, sesuai dengan peraturan tertentu, dapat bergabung dan membentuk rantai, yang juga dapat dihubungkan antara satu sama lain. Contohnya, geometri berdasarkan konsep abstrak seperti lengkung, titik dan garis, antara lain.

Penting untuk diperhatikan bahawa geometri adalah salah satu disiplin tertua yang ada, sejak asalnya berasal dari Mesir Kuno. Sebenarnya, ahli matematik dan sarjana penting beralih ke geometri untuk mengembangkan kajian mengenai jumlah, bidang, dan panjang perkara; antara orang bijak ini Euclides dan Herodotus menonjol.

Salah satu tokoh terpenting dalam kajian geometri adalah René Descartes, seorang ahli fizik dan ahli falsafah Perancis yang mencadangkan agar geometri bentuk dapat dinyatakan atau diwakili oleh persamaan.

Geometri boleh dibahagikan kepada dua cabang utama:

Geometri analitik

Ia terdiri daripada jenis geometri yang mengkaji angka melalui sistem koordinat. Kajian ini melakukannya melalui penggunaan metodologi dari analisis matematik.

Geometri deskriptif

Geometri deskriptif terdiri daripada cabang yang didedikasikan untuk menyelesaikan masalah spasial melalui operasi yang dinyatakan dan dikembangkan pada satah; dalam hal ini, tokoh-tokoh tertentu dari objek realiti padat diwakili.

-Linguistik teori

Linguistik teori adalah sains formal yang berasal dari linguistik dan berminat dengan aspek utama bahasa semula jadi, dengan mengambil kira struktur bahasa dan ciri-ciri pengetahuan linguistik penutur.

Begitu juga, dapat dibuktikan bahawa linguistik teori terdiri daripada disiplin lain seperti semantik, fonologi, morfologi dan fonetik.

Ilmu ini didasarkan pada pembinaan skema dan teori universal, yang boleh berlaku untuk semua bahasa yang dituturkan di dunia. Akibatnya, linguistik teoritis tidak bertujuan untuk menjelaskan fakta-fakta tertentu dari bahasa tertentu, melainkan menunjukkan kesejajaran struktur linguistik.

Atas sebab ini, dapat dikatakan bahawa linguistik teoritis adalah sains formal kerana, seperti statistik, disiplin ini bertugas mengumpulkan data yang memungkinkan kita mentafsirkan, menganalisis dan membuat katalog struktur tatabahasa dan fonologi bahasa.

Tambahan pula, cabang linguistik ini menggunakan abstraksi teori bersama dengan skema kompleks yang tidak dapat dipahami dalam kenyataan, tetapi hanya wujud sebagai ideal dalam fikiran manusia.

-Kecerdasan buatan

Kecerdasan buatan (AI) adalah cabang sains komputer yang terdiri daripada pemprosesan serangkaian data abstrak yang dibuat oleh mesin; Data ini membolehkan alat elektronik melaksanakan tugas atau objektif.

Dengan kata lain, melalui rangkaian data abstrak dan berangka, kecerdasan buatan memberi anda akses ke mesin sehingga mereka dapat belajar, memahami, menaakul atau menyelesaikan masalah tertentu.

Sebilangan saintis mendefinisikan kecerdasan buatan sebagai cabang komputasi yang bertanggungjawab untuk mengkaji model komputer sehingga mereka dapat menjalankan aktiviti yang khas manusia melalui dua ciri utama: tingkah laku dan penaakulan.

Istilah "kecerdasan buatan" diciptakan oleh saintis komputer John McCarthy pada tahun 1956, yang menetapkan bahawa AI adalah ilmu kepintaran, kerana ia memungkinkan pembangunan program komputer pintar.

Rujukan

Castañeda, J. (sf) Ciri-ciri sains formal atau ideal. Diakses pada 8 Ogos 2019 dari Ciri-ciri sains: caracteristicasdeciencia.blogspot.com
Lowe, B. (2002) Ilmu-ilmu formal. Diakses pada 8 Ogos 2019 dari Jstor: jstor.org
Raffino, M. (2018) Konsep sains formal. Diakses pada 8 Ogos 2019 dari Concept: concept.de
SA (sf) Sains Formal. Diakses pada 8 Ogos 2019 dari Wikipedia: es.wikipedia.org
SA (sf) Konsep sains formal. Diakses pada 8 Ogos dari De Conceptos: deconceptos.com
SA (sf.) Apakah maksud sains formal? Diakses pada 8 Ogos 2019 dari Definisi: definitions.net
Soledispa, A. (sf) Ciri-ciri sains formal dan fakta. Diakses pada 8 Ogos 2019 dari Academia: academia.edu
SA (sf) Apakah statistik? Jenis dan objektif. Diakses pada 11 Ogos 2019 dari Gestiopolis: Gestiopolis.com
SA (2018). Apa itu linguistik teori? Diakses pada 11 Ogos 2019 dari Quora: quora.com
Tegmark, M. Faedah dan risiko kecerdasan buatan. Diakses pada 11 Ogos 2019 dari Future of life: futureoflife.org
Figueras, C. (Sf) Geometri. Diakses pada 11 Ogos 2019 dari Monograf: monogramas.com

ILMU FORMAL: CIRI, OBJEK KAJIAN DAN CONTOH - SAINS - 2026