Ilmu formal: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
←Membuat halaman berisi '{{sains}} '''Sains formal''' adalah disiplin yang terkait dengan sistem formal seperti logika, matematika, statistika, ilmu komputer teoritis, te...' |
Tidak ada ringkasan suntingan |
||
Baris 1:
{{sains}}
<ref name=":0" />'''Sains formal''' adalah disiplin yang terkait dengan [[sistem formal]] seperti [[logika]], [[matematika]], [[statistika]], [[ilmu komputer teoritis]], [[teori informasi]], [[teori permainan]], [[teori sistem]], [[teori pengambilan keputusan]], dan [[linguistika]].
Ketika [[ilmu alam]] dan sains lainnya seperti [[ilmu sosial]], [[sains perilaku]], dan [[sains kognitif]] yang mencari [[teori ilmiah]] dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, sains formal bekerja dengan sifat internal dari dari [[sistem formal]], terutama [[definisi]] dari suatu istilah dan [[Peraturan kesimpulan|peraturan yang mengatur suatu kesimpulan]].
Baris 20:
Berlawanan dengan sains empiris (alam dan sosial), sains formal tidak melibatkan prosedur empiris. Sains formal juga tidak membutuhkan hipotesis, fakta terkait, atau penjelasan di dunia nyata. Dalam pandangan ini, sains formal adalah bersifat [[a priori dan a posteriori|a priori]] secara logika dan metodologi, dengan isi dan validitasnya independen terhadap setiap prosedur empiris.
Karena sifat non-empirisnya, sains formal ditafsirkan dengan menguraikan serangkaian [[aksioma]] dan [[definisi]] dari penyataan ([[teorema]]) yang dideduksi. Dengan kata lain, teori dalam sains formal tidak mengandung pernyataan sintetis. Semua pernyataan di dalam sains formal adalah analitik.<ref>{{Cite encyclopedia | last = Carnap | first = Rudolf | authorlink = Rudolf Carnap | title = Logical Foundations of the Unity of Science | encyclopedia = International Encyclopaedia of Unified Science | volume = I | publisher = University of Chicago Press | location = Chicago | year = 1938}}</ref><ref name=":0">{{Citation | first = Thompson | last = Bill | title = The Nature of Statistical Evidence | chapter = 2.4 Formal Science and Applied Mathematics | publisher = Springer | series = Lecture Notes in Statistics | volume = 189 | edition = 1st | year = 2007 | page = 15}}</ref>
== Lihat pula ==
| |||