Formele wetenskap
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
wysigEen rede waarom wiskunde besondere aansien geniet, bo alle ander wetenskappe, is dat die wette daarvan absoluut seker en onbetwisbaar is, terwyl dié van ander wetenskappe tot 'n mate debatteerbaar is en voortdurend gevaar loop om deur nuut ontdekte feite omvergewerp te word.
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.[2][3]
Sien ook
wysigVerwysings
wysig- ↑ Albert Einstein (1923). "Geometry and Experience". Sidelights on relativity. Courier Dover Publications. p. 27. Reprinted by Dover (2010), ISBN 978-0-486-24511-9.
- ↑ Carnap, Rudolf (1938). "Logical Foundations of the Unity of Science". International Encyclopaedia of Unified Science 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, 189 (1st ed.), Springer, p. 15
Bronnelys
wysig- 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. New York, NY: Routledge Classics. 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. Cambridge University Press
- William L. Twining (1997). Law in Context: Enlarging a Discipline. 365 pp.
Eksterne skakels
wysig- Wikimedia Commons het meer media in die kategorie Formele wetenskap.
- Interdisciplinary conferences — Foundations of the Formal Sciences