J u m p t o c o n t e n t
M a i n m e n u
M a i n m e n u
N a v i g a t i o n
● M a i n p a g e ● C o n t e n t s ● C u r r e n t e v e n t s ● R a n d o m a r t i c l e ● A b o u t W i k i p e d i a ● C o n t a c t u s ● D o n a t e
C o n t r i b u t e
● H e l p ● L e a r n t o e d i t ● C o m m u n i t y p o r t a l ● R e c e n t c h a n g e s ● U p l o a d f i l e
S e a r c h
Search
A p p e a r a n c e
● C r e a t e a c c o u n t ● L o g i n
P e r s o n a l t o o l s
● C r e a t e a c c o u n t ● L o g i n
P a g e s f o r l o g g e d o u t e d i t o r s l e a r n m o r e ● C o n t r i b u t i o n s ● T a l k
( T o p )
1 B r a n c h e s
2 D i f f e r e n c e s f r o m o t h e r s c i e n c e s
3 S e e a l s o
4 R e f e r e n c e s
5 F u r t h e r r e a d i n g
6 E x t e r n a l l i n k s
T o g g l e t h e t a b l e o f c o n t e n t s
F o r m a l s c i e n c e
5 1 l a n g u a g e s
● A f r i k a a n s ● ا ل ع ر ب ي ة ● ব া ং ল া ● 閩 南 語 / B â n - l â m - g ú ● Б а ш ҡ о р т с а ● Б ъ л г а р с к и ● C a t a l à ● Č e š t i n a ● D e u t s c h ● E s p a ñ o l ● E s p e r a n t o ● E u s k a r a ● ف ا ر س ی ● F r a n ç a i s ● G a l e g o ● 한 국 어 ● ह ि न ् द ी ● I d o ● B a h a s a I n d o n e s i a ● I n t e r l i n g u a ● I t a l i a n o ● ქ ა რ თ უ ლ ი ● Қ а з а қ ш а ● K o t a v a ● K r e y ò l a y i s y e n ● B a h a s a M e l a y u ● N e d e r l a n d s ● 日 本 語 ● N o r s k b o k m å l ● O ʻ z b e k c h a / ў з б е к ч а ● پ ښ ت و ● P o l s k i ● P o r t u g u ê s ● Р у с и н ь с к ы й ● Р у с с к и й ● S h q i p ● س ن ڌ ي ● S l o v e n č i n a ● ک و ر د ی ● С р п с к и / s r p s k i ● S v e n s k a ● T a c l ḥ i t ● ไ ท ย ● Т о ҷ и к ӣ ● T ü r k ç e ● У к р а ї н с ь к а ● ا ر د و ● T i ế n g V i ệ t ● W i n a r a y ● 粵 語 ● 中 文
E d i t l i n k s
● A r t i c l e ● T a l k
E n g l i s h
● R e a d ● E d i t ● V i e w h i s t o r y
T o o l s
T o o l s
A c t i o n s
● R e a d ● E d i t ● V i e w h i s t o r y
G e n e r a l
● W h a t l i n k s h e r e ● R e l a t e d c h a n g e s ● U p l o a d f i l e ● S p e c i a l p a g e s ● P e r m a n e n t l i n k ● P a g e i n f o r m a t i o n ● C i t e t h i s p a g e ● G e t s h o r t e n e d U R L ● D o w n l o a d Q R c o d e ● W i k i d a t a i t e m
P r i n t / e x p o r t
● D o w n l o a d a s P D F ● P r i n t a b l e v e r s i o n
I n o t h e r p r o j e c t s
● W i k i m e d i a C o m m o n s
A p p e a r a n c e
F r o m W i k i p e d i a , t h e f r e e e n c y c l o p e d i a
( R e d i r e c t e d f r o m F o r m a l s c i e n c e s )
Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems , such as logic , mathematics , statistics , theoretical computer science , artificial intelligence , information theory , game theory , systems theory , decision theory and theoretical linguistics . Whereas the natural sciences and social sciences seek to characterize physical systems and social systems , respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems . The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them.[citation needed
Branches [ edit ]
Logic (also a branch of philosophy )
Mathematics
Computer science
Systems science
Statistics
Differences from other sciences [ edit ]
One reason why mathematics enjoys special esteem, above all other sciences, is that its laws are absolutely certain and indisputable, while those of other sciences are to some extent debatable and in constant danger of being overthrown by newly discovered facts.
Because of their non-empirical nature, formal sciences are construed by outlining a set of axioms and definitions from which other statements (theorems ) are deduced. For this reason, in Rudolf Carnap 's logical-positivist conception of the epistemology of science , theories belonging to formal sciences are understood to contain no synthetic statements , instead containing only analytic statements .[2] [3]
See also [ edit ]
Science
Rationalism
Abstract structure
Abstraction in mathematics
Abstraction in computer science
Formalism (philosophy of mathematics)
Formal grammar
Formal language
Formal method
Formal system
Form and content
Mathematical model
Mathematical sciences
Mathematics Subject Classification
Semiotics
Theory of forms
References [ edit ]
^ Carnap, Rudolf (1938). "Logical Foundations of the Unity of Science". International Encyclopaedia of Unified Science . Vol. I. Chicago: University of Chicago Press.
^
Thompson, Bill (2007), "2.4 Formal Science and Applied Mathematics", The Nature of Statistical Evidence , Lecture Notes in Statistics, vol. 189 (1st ed.), Springer, p. 15
Further reading [ edit ]
Mario Bunge (1985). Philosophy of Science and Technology . Springer.
Mario Bunge (1998). Philosophy of Science . Rev. ed. of: Scientific research . Berlin, New York: Springer-Verlag, 1967.
C. West Churchman (1940). Elements of Logic and Formal Science , J.B. Lippincott Co., New York.
James Franklin (1994). The formal sciences discover the philosophers' stone . In: Studies in History and Philosophy of Science . Vol. 25, No. 4, pp. 513–533, 1994
Stephen Leacock (1906). Elements of Political Science . Houghton, Mifflin Co, 417 pp.
Popper, Karl R. (2002) [1959]. The Logic of Scientific Discovery ISBN 0-415-27844-9 OCLC 59377149 .
Bernt P. Stigum (1990). Toward a Formal Science of Economics . MIT Press
Marcus Tomalin (2006), Linguistics and the Formal Sciences
William L. Twining (1997). Law in Context: Enlarging a Discipline . 365 pp.
External links [ edit ]
R e t r i e v e d f r o m " https://en.wikipedia.org/w/index.php?title=Formal_science&oldid=1232669868 " C a t e g o r i e s : ● F o r m a l s c i e n c e s ● B r a n c h e s o f s c i e n c e H i d d e n c a t e g o r i e s : ● A r t i c l e s w i t h s h o r t d e s c r i p t i o n ● S h o r t d e s c r i p t i o n i s d i f f e r e n t f r o m W i k i d a t a ● A l l a r t i c l e s w i t h u n s o u r c e d s t a t e m e n t s ● A r t i c l e s w i t h u n s o u r c e d s t a t e m e n t s f r o m J a n u a r y 2 0 1 7 ● C o m m o n s c a t e g o r y l i n k i s o n W i k i d a t a
● T h i s p a g e w a s l a s t e d i t e d o n 5 J u l y 2 0 2 4 , a t 0 0 : 0 6 ( U T C ) . ● T e x t i s a v a i l a b l e u n d e r t h e C r e a t i v e C o m m o n s A t t r i b u t i o n - S h a r e A l i k e L i c e n s e 4 . 0 ;
a d d i t i o n a l t e r m s m a y a p p l y . B y u s i n g t h i s s i t e , y o u a g r e e t o t h e T e r m s o f U s e a n d P r i v a c y P o l i c y . W i k i p e d i a ® i s a r e g i s t e r e d t r a d e m a r k o f t h e W i k i m e d i a F o u n d a t i o n , I n c . , a n o n - p r o f i t o r g a n i z a t i o n . ● P r i v a c y p o l i c y ● A b o u t W i k i p e d i a ● D i s c l a i m e r s ● C o n t a c t W i k i p e d i a ● C o d e o f C o n d u c t ● D e v e l o p e r s ● S t a t i s t i c s ● C o o k i e s t a t e m e n t ● M o b i l e v i e w
Media related to Formal sciences at Wikimedia Commons
