Spesialisasi (logika) itu apa sih?

Spesialisasi adalah sebuah cara yang penting untuk menghasilkan pengetahuan proposisional, dengan menerapkan pengetahuan umum, seperti teori gravitasi, untuk anggota tertentu, seperti "saat saya melepas apel ini, apel tersebut akan jatuh ke lantai". Spesialisasi adalah kebalikan dari generalisasi.

Konsep B adalah sebuah spesialisasi dari konsep A jika dan hanya jika:

setiap anggota dari konsep B juga merupakan anggota dari konsep A; dan

ada beberapa anggota dari konsep A yang bukan merupakan anggota dari konsep B.