Formalna nauka

Formalne nauke su discipline koje se bave formalnim sistemima, kao sto su logika, matematika, teoretska informatika, teorija informacije, teorija igara, teorija sistema, teorija odlucivanja, i delovi lingvistike.