Tactile Graphics for the Formal Sciences: Formal Sciences are the study of abstract concepts, logical systems, and deductive reasoning, independent of empirical observation. Examples are: Mathematics, Logic, Theoretical Computer Science, Statistics.