A formal science is any one of several sciences that is predominantly concerned with abstract form, for instance, logic, mathematics, and the theoretical branches of computer science, information theory, and statistics. Look up form in Wiktionary, the free dictionary. ... Logic, from Classical Greek λόγος logos (the word), is the study of patterns found in reasoning. ... Euclid, Greek mathematician, 3rd century BC, known today as the father of geometry; shown here in a detail of The School of Athens by Raphael. ... Computer science (informally, CS or compsci) is, in its most general sense, the study of computation and information processing, both in hardware and in software. ... A bundle of optical fiber. ... Template:Otherusescccc A graph of a bell curve in a normal distribution showing statistics used in educational assessment, comparing various grading methods. ...

See also

• Abstraction
  • Hypostatic abstraction
  • Prescisive abstraction
• Abstract structure
• Abstraction in mathematics
• Abstraction in computer science

Abstraction is the process of reducing the information content of a concept, typically in order to retain only information which is relevant for a particular purpose. ... Hypostatic abstraction, also known as hypostasis or subjectal abstraction, is the process or the product of a formal operation that takes an element of information, such as might be expressed in a proposition of the form X is Y, and conceives its information to consist in the relation between a... Prescisive abstraction or prescision, variously spelled as precisive abstraction or prescission, is a formal operation that marks, selects, or singles out one feature of a concrete experience to the disregard of others. ... An abstract structure is a set of laws, properties and relationships that is defined independently of any physical objects. ... Abstraction in mathematics is the process of extracting the underlying essence of a mathematical concept, removing any dependence on real world objects with which it might originally have been connected, and generalising it so that it has wider applications. ... In computer science, abstraction is a mechanism and practice to reduce and factor out details so that one can focus on a few concepts at a time. ...

External links

• Interdisciplinary conferences — Foundations of the Formal Sciences