رسمي سائنس يا تشڪيلي سائنس (Formal Sciences) علم جون شاخون آھن جن جو تعلق رسمي نظامن سان آھي، جھڙوڪ منطق، رياضي، نظرياتي ڪمپيوٽر سائنس، سسٽم ٿيوري، انفارميشن ٿيوري، فيصلو ٿيوري، شماريات ۽ لسانياتجي ڪجھ شڪلون. [1] [2]

ٻين (تجرباتي) سائنسن جي برعڪس، رسمي سائنسن جو دارومدار، انهن جي نظرين جي صحيحيت جو تعين ڪرڻ ۾، حقيقت ۾ مشاهدي تي نه آهي، بلڪه هڪ نظرياتي نقطه نظر کان رسمي نظامن جي خاصيتن تي، وصفن ۽ ضابطن جي بنياد تي آهي. پر سائنسي نمونن جي نظرياتي تعمير ۽ تجربن ۾ به رسمي سائنس جا طريقا استعمال ڪيا وڃن ٿا جيڪي زمين تي موجود شين سان لاڳاپيل آهن.

  1. Carnap, Rudolf. "Logical Foundations of the Unity of Science". International Encyclopaedia of Unified Science. Chicago: University of Chicago Press. 
  2. Albert Einstein (1923). "Geometry and Experience". Sidelights on relativity. Courier Dover Publications. p. 27.