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