Gongsun Long (~300 SM) berargumen: "kuda" merujuk pada bentuk, "putih" pada warna, "kuda putih" pada kombinasi keduanya. Karena "kuda putih" memiliki referensi yang lebih spesifik dari "kuda" (tidak semua kuda adalah putih), "kuda putih" bukan sekedar "kuda". Jika seseorang minta kuda, dan kamu bawa kuda putih, kamu memenuhi permintaan — tapi secara logis kuda putih bukan hanya kuda.
Ini adalah perdebatan tentang relasi antara type dan token, universalia dan partikular, dalam tradisi filsafat Tiongkok kuno (sekolah Ming Jia — School of Names). Sangat relevan dalam logika predikat modern: relasi subsumsi antara kategori dan subkategori, intensi vs ekstensi konsep, dan perdebatan tentang apakah properti aditif mengubah identitas ontologis.
← Kembali ke Daftar Paradoks