Teka-teki #
Setelah AI berkembang pesat di tahun 2050, seluruh dunia memiliki ketergantungan berlebih pada robot. Manusia telah berhenti menggunakan pikirannya sendiri, sedangkan robot-robot mengembangkan pikiran mereka. Pada satu waktu, seorang profesor tua menggunakan teka-teki untuk mendapatkan teman baru. Berkat sosial media, cukup mudah untuk menemukan keberadaan sang profesor. Ini adalah kesempatan saya, barangkali dengan berteman dengannya, saya akan terajari hal baru.
Saya telah berada di kedai kopi tempat profesor biasa menghabiskan waktu. Saya begitu bersemangat karena akhirnya saya benar-benar bisa berteman dengan manusia sungguhan. Namun, sebelum profesor mengizinkan saya duduk, dia memberikan saya secarik kertas, dan bertanya apakah menurut saya argumen yang tertulis pada kertas tersebut logis dan benar.
Semua robot takut dengan hantu
Doramenyon adalah robot
Maka, Doramenyon takut dengan hantu
Jawaban Pertama #
Saya terkekeh setelah membacanya. Dengan penuh percaya diri, saya katakan kepadanya bahwa argumen pada kertas ini adalah argumen konyol yang tidak logis. Maksud saya, bagaimana mungkin sebuah robot takut dengan hantu?
Sayangnya jawaban saya salah.
“Seringkali pengalaman hidup dan keyakinan kita tidak benar-benar logis. Hanya karena kamu percaya bahwa robot tidak takut dengan hantu, kamu berpikir bahwa argumen pada kertas ini tidak valid.” Setelah mengatakannya, profesor mengambil sebuah buku dan memberikannya pada saya. Lalu dia pergi meninggalkan kedai kopi.
Dengan rasa penasaran yang aneh, saya membuka halaman pertama buku ini, dan menemukan argumen ikonik dari Socrates.
Semua manusia tidak kekal
Socrates adalah manusia
Oleh karena itu, Socrates tidak kekal
Menyelami Lebih Dalam #
Meskipun tidak terbatas cara untuk bernalar dalam bahasa manusia, nyatanya beberapa filsuf di masa lalu mendedikasikan hidup mereka untuk mempelajari bentuk-bentuk penalaran yang sahih dan tidak sahih. Dan ternyata hanya ada segelintir bentuk yang sahih. Pertanyaannya, apa sih yang dimaksud bentuk penalaran?
Semua manusia tidak kekal
Socrates adalah manusia
Oleh karena itu, Socrates tidak kekal
Semua [X] tidak kekal
Socrates adalah [X]
Oleh karena itu, Socrates tidak kekal
Sebuah bentuk penalaran dapat disebut sebagai template jika segala sesuatu yang spesifik yang dapat diabaikan untuk sementara waktu akan diabstraksikan. Dalam logika, bentuk sebuah argumen mengacu pada struktur logisnya, yang disarikan dari konten atau makna spesifik dari makna yang terlibat. Bentuk ini seperti kerangka argumen yang tetap konsisten meski kita mengganti detail kontennya.
Pada kutipan di atas, saya mengganti kata “manusia” menjadi simbol lain. Ini bisa dianggap sebagai penampung, dalam hal ini saya menggantinya dengan [X]. Bagi seorang ahli logika, apa yang ditempatkan pada penampung [X] tidak menjadi masalah. Dalam hal argumen logika, bentuk adalah sebuah struktur di mana tidak penting istilah tertentu yang kita gunakan; yang penting adalah pengaturan yang konsisten dari istilah-istilah tersebut relatif satu sama lain. Premisnya adalah, jika kita berhasil menempatkan istilah pada penampung yang tepat, maka argumen tersebut benar.
Semua [X] adalah [Y]
[Z] adalah [X]
Oleh karena itu, [Z] adalah [Y]