14 Januari: Peringatan Hari Logika Sedunia, Ini Sejarah dan Tujuannya

Menurut tradisi klasik Barat, manusia didefinisikan sebagai “hewan rasional” atau “hewan logis”. Logika, sebagai penyelidikan terhadap prinsip-prinsip penalaran, telah dipelajari oleh banyak peradaban sepanjang sejarah dan, sejak formulasi paling awal, logika telah memainkan peran penting dalam perkembangan filsafat dan ilmu pengetahuan.

Meskipun tidak dapat disangkal relevansinya dengan perkembangan ilmu pengetahuan, sains, dan teknologi, kesadaran masyarakat akan pentingnya logika masih sangat sedikit.

Penetepan Hari Logika Sedunia oleh UNESCO, bekerja sama dengan Dewan Internasional untuk Filsafat dan Ilmu Pengetahuan Manusia (CIPSH), bertujuan untuk membawa sejarah intelektual, signifikansi konseptual dan implikasi praktis logika menjadi perhatian komunitas sains interdisipliner dan masyarakat luas.

Pada Konferensi Umum UNESCO ke-40 yang diadakan pada 26 November 2019, UNESCO secara resmi memproklamasikan tanggal 14 Januari sebagai Hari Logika Sedunia.

Tujuan dari peringatan hari ini adalah untuk mendorong kerja sama internasional, mempromosikan pengembangan logika dalam penelitian dan pengajaran, serta meningkatkan pemahaman publik tentang logika dan implikasinya terhadap sains, teknologi, dan inovasi.

Tanggal 14 Januari dipilih untuk menghormati dua tokoh ahli logika terkemuka di abad ke-20, yaitu Kurt Gödel dan Alfred Tarski.

Tanggal ini bertepatan dengan tanggal kematian Gödel dan tanggal lahir Tarski, yang keduanya memberikan kontribusi besar dalam bidang logika.

Perayaan Hari Logika Sedunia juga berkontribusi pada promosi budaya perdamaian, dialog, dan saling pengertian, yang didasarkan pada kemajuan pendidikan dan ilmu pengetahuan.

Tujuan dari perayaan Hari Logika Sedunia adalah untuk:

• Meningkatkan kesadaran tentang pentingnya logika dalam pengembangan ilmu pengetahuan dan teknologi.

• Memperkuat kerja sama internasional dalam bidang logika, baik dalam penelitian maupun pengajaran

• Mendukung pengembangan logika sebagai disiplin ilmu dan praktiknya dalam berbagai aspek kehidupan.

• Meningkatkan pemahaman publik tentang bagaimana logika mempengaruhi sains, teknologi, dan inovasi.

• Menghormati dan merayakan kontribusi para ahli logika, seperti Kurt Gödel dan Alfred Tarski, yang karyanya telah memberikan dampak besar pada bidang ini.

Kurt Gödel (1906-1978) adalah seorang logikawan, matematikawan, dan filsuf yang lahir di Brünn, Austria-Hungaria (sekarang Brno, Republik Ceko).

Gödel dianggap sebagai salah satu logikawan paling signifikan dalam sejarah, bersama dengan Aristoteles dan Gottlob Frege. Dia memiliki pengaruh besar terhadap pemikiran ilmiah dan filosofis pada abad ke-20, terutama melalui karyanya dalam fondasi matematika.

Gödel terkenal dengan Teorema Ketidaklengkapan Gödel yang dia publikasikan pada tahun 1931.

Teorema ini menyatakan bahwa untuk setiap sistem aksiomatik rekursif yang ω-konsisten dan cukup kuat untuk mendeskripsikan aritmetika bilangan alami (seperti Aritmetika Peano), terdapat proposisi yang benar tentang bilangan alami yang tidak dapat dibuktikan atau disangkal dari aksioma-aksioma tersebut.

Gödel juga mengembangkan teknik yang sekarang dikenal sebagai Penomoran Gödel, yang mengkode ekspresi formal sebagai bilangan alami.

Tarski terkenal dengan Teori Semantik Kebenaran Tarski dan Teorema Ketakdefinisian Tarski.

Ia mengajar dan melakukan penelitian di matematika di University of California, Berkeley, dari tahun 1942 hingga kematiannya pada tahun 1983. Karya Tarski telah mengubah wajah logika pada abad ke-20, terutama melalui karyanya tentang konsep kebenaran dan teori model.

Kedua tokoh ini dihormati dan dirayakan dalam Hari Logika Sedunia karena kontribusi mereka yang luar biasa dalam bidang logika.

• Berpikir Logis: Terapkan logika dalam aktivitas sehari-hari, seperti dalam pengambilan keputusan dan pembentukan kesimpulan yang benar.

• Terus Belajar: Logika adalah bidang yang luas dan menarik. Tingkatkan pengetahuan Anda dengan mempelajari berbagai jenis logika dan pengaruhnya terhadap dunia.

• Sebarkan Beritanya: Informasikan kepada orang lain tentang Hari Logika Sedunia agar mereka juga dapat berpartisipasi dan memahami pentingnya logika dalam kehidupan sehari-hari.

• Selain itu, Anda juga bisa mengikuti atau mengorganisir acara-acara seperti seminar, lokakarya, atau diskusi publik yang berkaitan dengan logika dan aplikasinya dalam berbagai bidang.