Следующий план представляет собой обзор и актуальное руководство по формальной науке:
Формальная наука - отрасли знаний, которые связаны с формальными системами, например, относящиеся к таким отраслям, как логика, математика, информатика, статистика и некоторые аспекты лингвистики. В отличие от других наук, формальные науки не озабочены достоверностью теорий, основанных на наблюдениях в реальном мире, а вместо этого занимаются свойствами формальных систем, основанных на определениях и правилах.