Difference between revisions of "Formal science"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "'''Formal sciences''' are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, ...") |
Karl Jones (Talk | contribs) |
||
| Line 8: | Line 8: | ||
== See also == | == See also == | ||
| + | |||
| + | * [[Abstract structure]] | ||
| + | * [[Abstraction in mathematics]] | ||
| + | * [[Abstraction in computer science]] | ||
| + | * [[Formal grammar]] | ||
| + | * [[Formal language]] | ||
| + | * [[Formal method]] | ||
| + | * [[Formal system]] | ||
| + | * [[Mathematical model]] | ||
| + | * [[Rationalism]] | ||
== External links == | == External links == | ||
Revision as of 10:36, 21 September 2016
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 theoretical linguistics.
Description
Whereas the natural sciences seek to characterize physical systems using empirical methods, the formal sciences are concerned with characterizing abstract structures described by sign systems.
The formal sciences aid the natural sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them.
See also
- Abstract structure
- Abstraction in mathematics
- Abstraction in computer science
- Formal grammar
- Formal language
- Formal method
- Formal system
- Mathematical model
- Rationalism
External links
- Formal science @ Wikipedia
