Formele wetenskap is 'n tak van wetenskap wat dissiplines bestudeer wat gemoeid is met abstrakte strukture wat beskryf word deur formele stelsels, soos logika, wiskunde, statistiek, teoretiese rekenaarwetenskap, kunsmatige intelligensie, inligtingsteorie, spelteorie, stelselteorie, besluit-teorie, en teoretiese taalwetenskap. Terwyl die natuurwetenskappe en sosiale wetenskappe poog om fisiese stelsels en sosiale stelsels onderskeidelik te karakteriseer, met die gebruik van empiriese metodes, die formele wetenskappe gebruik taal gereedskap gemoeid met die karakterisering van abstrakte strukture wat deur formele stelsels beskryf word. Die formele wetenskappe help die natuur- en sosiale wetenskappe deur inligting te verskaf oor die strukture wat gebruik word om die fisiese wêreld te beskryf, en watter afleidings daaroor gemaak kan word.
Verskille van ander wetenskappe
As gevolg van hul nie-empiriese aard, word formele wetenskappe vertolk deur 'n stel aksiomas en definisies uit te stippel waaruit ander stellings (stellings) afgelei word. Vir hierdie rede, in Rudolf Carnap se logies-positivistiese opvatting van die epistemologie van wetenskap, Teorieë wat tot formele wetenskappe behoort, word verstaan dat dit geen sintetiese stellings bevat nie, en in plaas daarvan slegs analitiese stellings bevat.
Sien ook Filosofie Wetenskap Rasionalisme
Verwysings
Bronnelys 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.
Bernt P. Stigum (1990). Toward a Formal Science of Economics. MIT Press Marcus Tomalin (2006), Linguistics and the Formal Sciences. Cambridge University Press William L. Twining (1997). Law in Context: Enlarging a Discipline. 365 pp.
Eksterne skakels
Interdisciplinary conferences — Foundations of the Formal Sciences