Formalisasi. Kemajuan ilmu pengetahuan modern telah membawa perubahan besar dalam metode kognisi ilmiah. Salah satu yang paling penting adalah metode formalisasi - generalisasi bentuk-bentuk proses yang berbeda dalam konten, abstraksi bentuk-bentuk ini dari konten mereka. Di sini bentuknya dianggap sebagai objek penelitian yang relatif independen. Terkadang dianggap formalisasi hanya terhubung dengan matematika, dengan logika matematika dan sibernetika. Ini salah.
Formalisasi meresapi semua jenis kegiatan praktis dan teoritis dan hanya berbeda dalam tingkat atau tingkat. Secara historis ia muncul bersamaan dengan bahasa. Teknik-teknik tertentu dari kegiatan kerja, keterampilan tertentu muncul, digeneralisasikan, dideskripsikan dan diturunkan dari generasi ke generasi dalam bentuk yang terpisah dari tindakan, objek, dan sarana kerja yang konkret. Bahasa sehari-hari kita yang biasa mengekspresikan tingkat formalisasi yang paling lemah.
Ekstrim lainnya adalah matematika, dan logika matematika, yang mempelajari bentuk proses penalaran dengan abstrak dari konten. Di sini formalisasi strip dianggap tulang telanjang dan hanya menyisakan kerangka strukturnya. Setiap buku atau artikel tentang fisika, kimia, astronomi, mengesankan non-spesialis dengan banyaknya simbol dan rumus matematika dan lainnya dan pada saat yang sama oleh kekompakan yang luar biasa dari deskripsi tentang fenomena alam dalam bahasa biasa.
Ketika kita memformalisasikan garis penalaran, kita abstrak dari karakteristik kualitatif objek dan menemukan bentuk logis dari pernyataan yang berisi pernyataan tentang objek-objek ini. Silogisme, garis penalaran kemudian dipindahkan dari bidang pertimbangan hubungan antara objek-objek yang dipikirkan dengan bidang operasi dengan pernyataan berdasarkan hubungan formal di antara mereka.
Penggunaan simbol khusus memungkinkan kita untuk menghilangkan ambiguitas kata-kata yang digunakan dalam bahasa sehari-hari. Dalam penalaran yang diformalkan, setiap simbol sangat tidak dihargai, tidak ambigu. Simbol memungkinkan kita untuk merekam ekspresi singkat dan ekonomis yang dalam bahasa biasa canggung dan seringkali sulit dipahami. Keuntungan utama dari bahasa formula adalah tidak terlalu singkat dan ringkasnya, seperti kebebasannya dari ambiguitas.
Kata "air" memiliki lebih dari satu makna tetapi formlua H 2 0 hanya memiliki satu makna. Penggunaan simbol memudahkan untuk menarik kesimpulan logis dari premis, untuk menguji kebenaran hipotesis, untuk membuktikan pernyataan ilmiah, dan sebagainya.
Meskipun sangat penting untuk teknologi modern, formalisasi memiliki batas intrinsik tertentu untuk bidang penerapannya. Telah terbukti tidak ada metode universal yang akan memungkinkan kita untuk mengganti semua penalaran dengan perhitungan. Hanya konten yang sangat sedikit yang dapat diformalkan sepenuhnya.
Formalisasi hanya dapat menghadapi sedikit kehidupan yang terus berubah, diambil secara sepihak, dalam batas-batas stabilitas relatifnya. Formalisasi, seperti yang telah kami definisikan, tidak dapat digunakan untuk menggambarkan fakta, yang merupakan elemen penting dalam penelitian ilmiah apa pun. Kearifan ilmiah memberi tahu kita kita tidak boleh tergesa-gesa untuk meresmikan ketika pokok persoalannya, inti dari kasus itu masih belum jelas.
Dengan meningkatnya pengaruh abstraksi dan simbolisme dalam kemajuan pengetahuan, masalah interpretasi menjadi semakin akut. Sama seperti abstraksi menjadi tidak berarti tanpa konkretisasi, jadi formalisasi akhirnya terbukti steril tanpa interpretasi. Sedangkan formalisasi adalah proses pergerakan pemikiran dari isi objek ke bentuk abstraknya, interpretasi adalah proses sebaliknya, yang secara logis berlawanan.
Suatu sistem formal dibangun atas dasar makna dan, begitu dibangun, kembali lagi ke bidang hubungan yang bermakna. Abstraksi dari konten hanyalah proses sementara. Proses sebaliknya mungkin cukup sering diamati dalam sains modern. Pada awalnya persamaan matematika abstrak tertentu dikembangkan dan dipelajari, sistem formal dirancang, dan kemudian diterapkan secara konkret.
Metode historis dan logis. Dari dua aspek utama proses obyektif kognisi kita menggambar dua metode, historis dan logis. Metode logis digunakan untuk mengekspresikan garis umum, pola perkembangan suatu objek, perkembangan masyarakat dari satu formasi sosial ke yang lain, misalnya. Metode historis digunakan untuk menggambarkan manifestasi konkret dari pola atau hukum yang diberikan dalam semua keragaman tak terbatas dari manifestasi spesifik dan individualnya. Sehubungan dengan masyarakat, misalnya, ini adalah sejarah nyata dari semua negara dan masyarakat dengan semua nasib mereka yang unik.
