close

  
Filter options:

Freebase Commons Metaweb System Types /type

Object is not asserted on this topic.
  • #9202a8c04000641f80000000009d6b9a

Freebase Commons Common /common

  • Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and portions of linguistics. Whereas natural sciences and other sciences like social sciences, behavioral sciences, and cognitive science seek soundness of scientific theory with respect to observations in order to successfully predict and perhaps accurately explain phenomena in the external world, the formal sciences are concerned with the internal properties of formal systems, especially definitions of terms and rules governing inferences. Formal sciences sometimes aid constructing, assessing, and testing scientific theories and scientific models, however, by revealing inconsistencies or invalid forms of inference. Wikipedia

Comments

Hide