علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
نام‌گرایی
در مبحث مابعدالطبیعه یا متافیزیک نام‌گرایی یا اصالت تسمیه، نظر یا آیینی فلسفی است که اعلام می‌کند موجودات دارای ماهیت یا ذات نیستند و تعریف‌ها در کل به گوهر موجودات بازنمی‌گردند و بیان عینی یا بازتاب واقعی نیستند؛ بلکه برداشت‌هایی هستند که خودمان آن‌ها را در مورد چیزها و امور مطرح کرده‌ایم. تمامی عنوان‌ها و اصطلاح‌های کلی از جمله آن‌ها که گویا قرار است در منطق، نوع و جنس را متمایز و مشخص کنند، اسامی قراردادی هستند؛ یعنی نشانه‌ها یا نمادهایی برخاسته‌اند و وجود عینی و واقعی ندارند. فقط امور خاص و مشخص وجود دارند. امور کلی یا جهان‌شمول یعنی امور تجریدی، ایده‌ها و ذات‌ها وجود عینی ندارند و جز زاده‌های تخیل یا زبان ما به حساب نمی‌آیند. سرخی در دنیا نیست؛ چیزهایی وجود دارند که سرخ هستند. از نظر یک نام‌گرا اموری که با یک نام خوانده می‌شوند، در هیچ چیز با هم شریک نیستند، مگر همان نام.