Difference between revisions of "Formal science"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) |
||
Line 3: | Line 3: | ||
== Description == | == 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. | + | Whereas the natural sciences seek to characterize physical systems using empirical methods, the formal sciences are concerned with characterizing abstract structures described by [[Sign system|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. | 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. | ||
Line 18: | Line 18: | ||
* [[Mathematical model]] | * [[Mathematical model]] | ||
* [[Rationalism]] | * [[Rationalism]] | ||
+ | * [[Sign system]] | ||
== External links == | == External links == |
Latest 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
- Sign system
External links
- Formal science @ Wikipedia