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