Jika Anda seorang pemain catur yang luar biasa atau sangat ahli dalam memecahkan teka-teki analitis Anda mungkin sudah memiliki sifat untuk menjadi ahli logika. Seorang ahli logika adalah seseorang yang menemukan teori atau argumen di balik mengapa sesuatu terjadi seperti itu. Misalnya, gaya gravitasi adalah teori atau filsafat yang menegaskan mengapa semua benda yang terlempar ke udara kembali turun ke bumi. Matematikawan, filsuf, ahli bahasa atau bahkan ahli sosiologi dapat disebut sebagai ahli logika selama mereka menghasilkan argumen ilmiah untuk menggambarkan suatu fenomena. Ahli logika yang diakui memiliki kredensial akademik tertinggi dan pengalaman penelitian tingkat lanjut.
$config[code] not foundLengkapi gelar sarjana di bidang terkait.Carnegie Mellon dan University of Penn adalah dua perguruan tinggi yang menawarkan gelar sarjana dalam bidang logika dan komputasi. Namun, tidak banyak program sarjana di Amerika Serikat yang membawa kata "logika" dalam gelar mereka. Studi tentang logika adalah interdisipliner dan gelar sarjana dalam matematika, filsafat, ilmu komputer, teknik elektronik atau linguistik seringkali merupakan langkah pertama menuju mendapatkan gelar tingkat lanjut dalam logika.
Kejar gelar master dalam bidang logika. University of California, Berkeley, Carnegie Mellon dan University of Penn memiliki gelar khusus. Apakah Anda berada di jurusan filsafat, matematika atau ilmu komputer di tingkat master, Anda harus mempersempit bidang studi Anda ke bidang penelitian tertentu. Putuskan antara tugas kuliah pada logika terapan dan logika murni. Logika terapan mencakup algoritma, kecerdasan buatan, linguistik komputasi, riset operasi, dan sistem pemrograman matematika dan komputer. Logika murni mencakup studi dominan teoritis dan augmentatif, seperti filsafat matematika atau filsafat logika.
Dapatkan gelar doktor dalam logika terapan atau murni. Siswa dalam program ini diharapkan untuk belajar matematika dan filsafat, tetapi tidak selebar jika mereka memperoleh gelar dalam salah satu mata pelajaran ini. Anda juga dapat mempelajari bagian matematika yang sangat relevan dengan ilmu komputer. Ini biasanya program empat hingga lima tahun, sangat menantang dan diakhiri dengan tesis atau disertasi.
Temukan karier di industri ini sebagai ahli logika. Gelar master mungkin cukup dalam banyak kasus. Juga, untuk berkarir di "dunia nyata," gelar dalam logika terapan lebih menguntungkan daripada kursus dalam logika murni. Biasanya, Anda akan melamar pekerjaan sebagai analis sistem tingkat tinggi atau analis program di departemen R&D perusahaan teknologi informasi besar atau perusahaan ilmiah atau teknik. Pekerjaan yang diperuntukkan bagi kandidat dengan gelar tingkat lanjut dan penelitian dalam bidang statistik, matematika, ilmu komputer, filsafat atau linguistik seringkali relevan bagi seseorang dengan gelar master atau doktor dalam logika komputasi.
Menjadi profesor akademik. Kebanyakan ahli logika yang mendapatkan gelar doktoral sering bekerja sebagai profesor di departemen matematika atau filsafat atau bahkan memulai karir mereka mengisi posisi penelitian pasca-doktoral. Untuk memenuhi syarat Anda harus menunjukkan keterampilan mengajar yang berkualitas dan pengalaman penelitian tingkat lanjut. Disertasi Anda seringkali merupakan cerminan dari penekanan dan keahlian riset Anda. Anda juga perlu mempublikasikan pekerjaan Anda di jurnal penelitian dan mempresentasikan makalah di konferensi penelitian. "Jurnal Logika Terapan" dan "Jurnal Logika Komputasi" adalah publikasi penelitian akademik terkemuka di bidang ini.