علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
تحلیل مفاهیم صوری
تحلیل مفاهیم صوری روشی برای تحلیل، تجزیه و پردازش دقیق اطلاعات به منظور دستیابی به تفسیر معنادار و جامع از اطلاعات است. رادولف ویل، ریاضی‌دان آلمانی، در سال ۱۹۸۰ نظریه تحلیل مفاهیم صوری را پیشنهاد کرد. وی در نخستین مقاله خود دربارهٔ تحلیل مفاهیم صوری بیان می‌کند که این نظریه تحت تأثیر هارموت ون هنتیگ، یک متخصص و کارشناس آلمانی در حوزه آموزش و پروش، قرار دارد. یکی از دغدغه‌های هنتیگ، وضعیت علم در دنیای مدرن بود و در سال ۱۹۷۲، ایده بازسازی مجدد علوم را برای کاربرد بهتر از آنها مطرح کرد. ویل بیان می‌کند که نظریه تحلیل مفاهیم صوری نیز در واقع بازسازی مجدد نظریه شبکه ریاضی است تا هم توسط افرادی که با ریاضی ناآشنا هستند، درک شود و نیز به بهبود کاربرد آن منجر شود.