تبب

💡 مجموعه‌ای از رابط‌های منطقی در ارتباط با یک سیستم صوری تابعاً تام است اگر بتواند بیان همه توابع گزاره‌ای (یا گزاره‌نماها) را تببین کند.

💡 پدیده دیگری که نیگل، ماده‌گرایی را ناتوان از تببین آن برمی‌شمارد ارزش‌های اخلاقی است. برای اینکه بتوانیم ارزشها را بفهمیم باید آگاهی و عقل داشته باشیم.